Publications

(2024). An Enhanced Fault Injection Framework for FPGA-Based Soft-Cores. DFT.

(2024). Introduction to the Special Issue on Fault-Resilient Cyber-Physical Systems – Part I. ACM TCPS.

DOI

(2024). Towards Enabling Synchronous Releases for Periodic Tasks in RTEMS. OSPERT.

(2024). TREE: Tree Regularization for Efficient Execution. arXiv.

DOI

(2024). Language-Based Deployment Optimization for Random Forest. LCTES.

DOI

(2024). Register Your Forests: Decision Tree Ensemble Optimization by Explicit CPU Register Allocation. arXiv.

DOI

(2024). Lightweight Instrumentation for Accurate Performance Monitoring in RTOSes. Design, Automation & Test in Europe Conference & Exhibition.

(2023). Accelerated Real-Time Classification of Evolving Data Streams using Adaptive Random Forests. FPT.

(2023). Probabilistic Reaction Time Analysis. ACM TECS.

DOI

(2023). On the Equivalence of Maximum Reaction Time and Maximum Data Age for Cause-Effect Chains. ECRTS.

DOI

(2023). Rapid NVM Simulation and Analysis on Single Bit Granularity Featuring Gem5 and NVMain. NVMSA.

(2023). Timing-Aware ROS2 Architecture and System Optimization. RTCSA.

(2023). Assessment of Efficient Dispatching in FreeRTOS. OSPERT.

(2023). Compositional Timing Analysis of Asynchronized Distributed Cause-Effect Chains. TECS.

DOI

(2023). Timing Analysis of Cause-Effect Chains with Heterogeneous Communication Mechanisms. RTNS.

DOI

(2023). Scheduling Periodic Segmented Self-Suspending Tasks without Timing Anomalies. RTAS'23.

(2023). Average Task Execution Time Minimization under (m,k) Soft-Error Constraint. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

(2022). 7 Memory Awareness. Volume 1 Machine Learning under Resource Constraints - Fundamentals.

DOI

(2022). Memory Carousel: LLVM-Based Bitwise Wear-Leveling for Non-Volatile Main Memory. TCAD.

DOI

(2022). Critical Instant for Probabilistic Timing Guarantees: Refuted and Revisited. IEEE Real-Time Systems Symposium (RTSS).

DOI

(2022). 8 Communication Awareness. Volume 1 Machine Learning under Resource Constraints - Fundamentals.

DOI

(2022). Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS. TCAD, presented in EMSOFT'22.

DOI

(2022). EDF-Like Scheduling for Self-Suspending Real-Time Tasks. IEEE Real-Time Systems Symposium (RTSS).

(2022). Racetrack Memory Optimized Linear Layout and Efficient Decomposition of Decision Trees. IEEE Transactions on Computers (TC).

DOI

(2022). Immediate Split Trees: Immediate Encoding of Floating Point Split Values in Random Forests. European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD).

(2022). LLVMTA: An LLVM-Based WCET Analysis Tool. 20th International Workshop on Worst-Case Execution Time Analysis (WCET 2022).

DOI

(2022). AuNa: Modularly Integrated Simulation Framework for Cooperative Autonomous Navigation. arXiv.

DOI

(2022). Unikernel-Based Real-Time Virtualization under Deferrable Servers: Analysis and Realization. In 34th Euromicro Conference on Real-Time Systems (ECRTS).

Cite DOI

(2022). Software-Managed Read and Write Wear-Leveling for Non-Volatile Main Memory. ACM Trans. Embed. Comput. Syst. (TECS).

Cite DOI

(2022). Efficient Realization of Decision Trees for Real-Time Inference. ACM Trans. Embed. Comput. Syst. (TECS).

Cite DOI

(2022). This is SPATEM! A Spatial-Temporal Optimization Framework for Efficient Inference on ReRAM-based CNN Accelerator. 27th Asia and South Pacific Design Automation Conference (ASP-DAC).

DOI

(2021). Efficiently Approximating the Worst-Case Deadline Failure Probability under EDF. IEEE Real-Time Systems Symposium (RTSS).

DOI

(2021). Work-in-Progress: Evaluation Framework for Self-Suspending Schedulability Tests. IEEE Real-Time Systems Symposium (RTSS).

DOI

(2021). Renovation of EdgeCloudSim: An Efficient Discrete-Event Approach. Sixth International Conference on Fog and Mobile Edge Computing (FMEC).

DOI

(2021). BLOwing Trees to the Ground: Layout Optimization of Decision Trees on Racetrack Memory. 58th ACM/IEEE Design Automation Conference (DAC).

DOI

(2021). HEART: Hybrid Memory and Energy-Aware Real-Time Scheduling for Multi-Processor Systems. ACM Transactions on Embedded Computing Systems (TECS).

DOI

(2021). OCTO+: Optimized Checkpointing of B+ Trees for Non-Volatile Main Memory Wear-Leveling. 10th Non-Volatile Memory Systems and Applications Symposium (NVMSA).

DOI

(2021). FeFET-based Binarized Neural Networks Under Temperature-dependent Bit Errors. IEEE Transactions on Computers.

DOI

(2021). MODES: model-based optimization on distributed embedded systems. Machine Learning.

DOI

(2021). Timing analysis of asynchronized distributed cause-effect chains. IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS).

DOI

(2021). Supporting multiprocessor resource synchronization protocols in RTEMS. arXiv preprint arXiv:2104.06366.

DOI

(2021). Bit Error Tolerance Metrics for Binarized Neural Networks. arXiv preprint arXiv:2102.01344.

DOI

(2021). FeFET and NCFET for Future Neural Networks: Visions and Opportunities. Design, Automation & Test in Europe Conference & Exhibition (DATE).

DOI

(2021). Future Computing Platform Design: A Cross-Layer Design Approach. Design, Automation & Test in Europe Conference & Exhibition (DATE).

DOI

(2021). Margin-maximization in binarized neural networks for optimizing bit error tolerance. Design, Automation & Test in Europe Conference & Exhibition (DATE).

DOI

(2021). On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems. A Journey of Embedded and Cyber-Physical Systems.

DOI

(2021). Dependable Software Generation and Execution on Embedded Systems. Dependable Embedded Systems.

DOI

(2020). Can wear-aware memory allocation be intelligent?. ACM/IEEE 2nd Workshop on Machine Learning for CAD (MLCAD).

DOI

(2020). Using a set of triangle inequalities to accelerate k-means clustering. International Conference on Similarity Search and Applications (SISAP).

DOI

(2020). Demo Abstract: Perception vs. Reality-Never Believe in What You See. 19th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN).

DOI

(2020). Ns-ftl: Alleviating the uneven bit-level wearing of nvram-based ftl via nand-spin. 9th Non-Volatile Memory Systems and Applications Symposium (NVMSA).

DOI

(2020). Split'n Trace NVM: Leveraging Library OSes for Semantic Memory Tracing. 9th Non-Volatile Memory Systems and Applications Symposium (NVMSA).

DOI

(2020). Project-based CPS education: A Case Study of an Autonomous Driving Student Project. IEEE Design & Test.

DOI

(2020). Offloading safety-and mission-critical tasks via unreliable connections. 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020).

DOI

(2020). Softwear: Software-only in-memory wear-leveling for non-volatile main memory. arXiv preprint arXiv:2004.03244.

DOI

(2020). Towards explainable bit error tolerance of resistive ram-based binarized neural networks. arXiv preprint arXiv:2002.00909.

DOI

(2020). Software-Based Memory Analysis Environments for In-Memory Wear-Leveling. 25th Asia and South Pacific Design Automation Conference (ASP-DAC).

DOI

(2019). End-to-end timing analysis of sporadic cause-effect chains in distributed systems. ACM Transactions on Embedded Computing Systems (TECS).

DOI

(2019). Nanoparticle classification using frequency domain analysis on resource-limited platforms. Sensors.

DOI

(2019). Stack Usage Analysis for Efficient Wear Leveling in Non-Volatile Main Memory Systems. ACM/IEEE 1st Workshop on Machine Learning for CAD (MLCAD).

DOI

(2019). Efficient computation of deadline-miss probability and potential pitfalls. Design, Automation & Test in Europe Conference & Exhibition (DATE).

DOI

(2019). Resource-Efficient Nanoparticle Classification Using Frequency Domain Analysis.

DOI

(2019). Evaluation framework for self-suspending task systems. International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS).

(2018). Realization of random forest for real-time evaluation through tree framing. IEEE International Conference on Data Mining (ICDM).

DOI

(2018). Analysis of deadline miss rates for uniprocessor fixed-priority scheduling. IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).

DOI

(2018). Schedulability analysis and priority assignment for segmented self-suspending tasks. IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).

DOI

(2018). Examining and Supporting Multi-Tasking in EV3OSEK. Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT).

(2018). Efficiently approximating the probability of deadline misses in real-time systems. 30th Euromicro Conference on Real-Time Systems (ECRTS 2018).

DOI

(2018). Shared-resource-centric limited preemptive scheduling: A comprehensive study of suspension-based partitioning approaches. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

DOI

(2018). Fault tolerance on control applications: empirical investigations of impacts from incorrect calculations. 4th International Workshop on Emerging Ideas and Trends in the Engineering of Cyber-Physical Systems (EITEC).

DOI

(2017). Reliability optimization on multi-core systems with multi-tasking and redundant multi-threading. IEEE Transactions on Computers.

DOI

(2017). Probabilistic schedulability tests for uniprocessor fixed-priority scheduling under soft errors. 12th IEEE International Symposium on Industrial Embedded Systems (SIES).

DOI

(2017). Implementation and Evaluation of Multiprocessor Resource Synchronization Protocol (MrsP). 13th Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT).

(2016). Systems with dynamic real-time guarantees in uncertain and faulty execution environments. IEEE Real-Time Systems Symposium (RTSS).

DOI

(2016). Overrun Handling for Mixed-Criticality Support in RTEMS. Workshop on Mixed Criticality Systems.

(2016). Compensate or ignore? Meeting control robustness requirements through adaptive soft-error handling. ACM SIGPLAN Notices.

DOI

(2015). Multi-layer software reliability for unreliable hardware. it-Information Technology.

DOI

(2015). Cross-layer software dependability on unreliable hardware. IEEE Transactions on Computers.

DOI