( en | de | ru )

 

Disambiguation of "Menghi, Claudio"

Author of the publication

copydeleteadd this publication to your clipboard
Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification.

, , , and . ICSE, page 372-384. ACM, (2020)

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.

Claudio Meiss

Paoloni Claudio

Claudio Wilmanns

Claudio Puschel

Claudio Narcisi

 

Other publications of authors with the same name

High-level mission specification for multiple robots., , , , and . SLE, page 127-140. ACM, (2019)RoboMAX: Robotic Mission Adaptation eXemplars., , , , , , , , , and 3 other author(s). SEAMS@ICSE, page 245-251. IEEE, (2021)Towards Agile Verification., , and . Perspectives on the Future of Software Engineering, page 31-47. Springer, (2013)Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors., , , and . ESEC/SIGSOFT FSE, page 27-38. ACM, (2019)A Control-Theoretic Approach to Self-adaptive Systems and an Application to Cloud-Based Software., , , and . LASER Summer School, volume 8987 of Lecture Notes in Computer Science, page 63-83. Springer, (2014)Dealing with Incompleteness in Automata-Based Model Checking., , and . FM, volume 9995 of Lecture Notes in Computer Science, page 531-550. (2016)From model checking to a temporal proof for partial models: preliminary example., , , , and . CoRR, (2017)Integrating Topological Proofs with Model Checking to Instrument Iterative Design., , and . CoRR, (2018)Dealing with incompleteness in automata based model checking.. Polytechnic University of Milan, Italy, (2015)PsALM: specification of dependable robotic missions., , , and . ICSE (Companion Volume), page 99-102. IEEE / ACM, (2019)