Author of the publication

Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking.

, , , , , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 36 (12): 1989-2002 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Sharp Corner/Edge Recognition in Domestic Environments Using RGB-D Camera Systems., , , , , and . IEEE Trans. on Circuits and Systems, 62-II (10): 987-991 (2015)Quasi-static fault-tolerant scheduling schemes for energy-efficient hard real-time systems., , , and . Journal of Systems and Software, 85 (6): 1386-1399 (2012)Throughput Maximization for Multicore Energy-Harvesting Systems Suffering Both Transient and Permanent Faults., , , , , and . IEEE Access, (2019)A Survey of Deployment Solutions and Optimization Strategies for Hybrid SDN Networks., , , , , and . IEEE Communications Surveys and Tutorials, 21 (2): 1483-1507 (2019)Game Theoretic Feedback Control for Reliability Enhancement of EtherCAT-Based Networked Systems., , , , , , , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 38 (9): 1599-1610 (2019)Designing a multi-core hard real-time test bed for energy measurement experiments., , and . SAC, page 1998-1999. ACM, (2009)Energy-adaptive scheduling of imprecise computation tasks for QoS optimization in real-Time MPSoC systems., , , , and . DATE, page 1402-1407. IEEE, (2017)State-Aware Dynamic Frequency Selection Scheme for Energy-Harvesting Real-Time Systems., , and . IEEE Trans. VLSI Syst., 22 (8): 1679-1692 (2014)An Interconnect Reliability-Driven Routing Technique for Electromigration Failure Avoidance., , , and . IEEE Trans. Dependable Sec. Comput., 9 (5): 770-776 (2012)Reliability-Driven Energy-Efficient Task Scheduling for Multiprocessor Real-Time Systems., , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 30 (10): 1569-1573 (2011)