Publications
Energy-aware scheduling of FIR filter structures using a timed automata model. DDECS 2016. :163-168.
.
2016. A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. FMICS-AVoCS 2016. :133-141.
.
2016. Online and Compositional Learning of Controllers with Application to Floor Heating.. TACAS 2016. :244-259.
.
2016. Optimizing the resource requirements of hierarchical scheduling systems.. SIGBED. 13:41-48.
.
2016. On the Power of Statistical Model Checking. ISoLA 2016. :843-862.
.
2016. Reachability Problems. 10th International Workshop, RP 2016 / Lecture Notes in Computer Science 9899.
.
2016. Statistical and exact schedulability analysis of hierarchical scheduling systems. . Science of Computer Programming. 127:103-130.
.
2016. Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. ISORC 2015. :74-83.
.
2015. Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. CBSE 2015. :91-100.
.
2015. A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. Science of Computer Programming. 113:236-260.
.
2015. Resource-Parameterized Timing Analysis of Real-Time Systems. . Haifa Verification Conference 2015. :190-205.
.
2015.