Author of the publication

Deciding the Satisfiability of MITL Specifications.

, , and . GandALF, volume 119 of EPTCS, page 64-78. (2013)

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

SLEEP-SEE-THROUGH: Explainable Deep Learning for Sleep Event Detection and Quantification From Wearable Somnography., , , , , , , and . IEEE J. Biomed. Health Informatics, 27 (7): 3129-3140 (July 2023)Monte Carlo Tree Search for automatic differential characteristics search: application to SPECK., , , and . IACR Cryptol. ePrint Arch., (2024)SCORE: the first student contest on software engineering., , , , , and . ACM SIGSOFT Softw. Eng. Notes, 35 (4): 24-30 (2010)Model Checking MITL Formulae on Timed Automata: A Logic-based Approach., , , and . ACM Trans. Comput. Log., 21 (3): 26:1-26:44 (2020)A tool for deciding the satisfiability of continuous-time metric temporal logic., , and . Acta Informatica, 53 (2): 171-206 (2016)FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems., , , , , and . ICTAC, volume 4711 of Lecture Notes in Computer Science, page 366-380. Springer, (2007)The SoftHand Pro-H: A Hybrid Body-Controlled, Electrically Powered Hand Prosthesis for Daily Living and Working., , , , , , , and . IEEE Robotics Autom. Mag., 24 (4): 87-101 (2017)Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing., , , , , , , , , and 1 other author(s). IEEE Intell. Transp. Syst. Mag., 6 (3): 96-108 (2014)A formal approach for designing CORBA-based applications., , , and . ACM Trans. Softw. Eng. Methodol., 12 (2): 107-151 (2003)Lecture Notes on Monadic First- and Second-Order Logic on Strings., , , , and . CoRR, (2023)