Author of the publication

Efficient Parametric Model Checking Using Domain Knowledge.

, , and . IEEE Trans. Software Eng., 47 (6): 1114-1133 (2021)

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

CADS*: Computer-Aided Development of Self-* Systems., and . FASE, volume 5503 of Lecture Notes in Computer Science, page 421-424. Springer, (2009)Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems., , , , , and . IEEE Trans. Reliab., 65 (1): 107-125 (2016)Detection and Mitigation of Rare Subclasses in Neural Network Classifiers., and . CoRR, (2019)Taming Service Uncertainty through Probabilistic Model Learning, Analysis and Synthesis.. UCC Companion, page 163. ACM, (2019)Probabilistic program performance analysis with confidence intervals., , and . Inf. Softw. Technol., (April 2023)Mission specification and decomposition for multi-robot systems., , , and . Robotics Auton. Syst., (May 2023)Efficient synthesis of robust models for stochastic systems., , , , and . J. Syst. Softw., (2018)Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems., , and . FMAS/ASYDE@SEFM, volume 371 of EPTCS, page 156-174. (2022)Protecting Shared Virtualized Environments against Cache Side-channel Attacks., , and . ICISSP, page 507-514. SCITEPRESS, (2022)Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents., , , , , and . CoRR, (2023)