Claudio Menghi - McMaster Experts

Affiliations

Faculty of Engineering, McMaster University
Adjunct Assistant Professor, Computing and Software, Faculty of Engineering

Scholarly Activity in McMaster Experts

Co-author Network

Scholarly Activity
Teaching
Contact
View All

selected scholarly activity

books
- Preface. Ed. 13122 LNCS. 2021
chapters
- The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems. Lecture Notes in Computer Science. 1-37. 2025
- Assurance Case Arguments in the Large: The CERN LHC Machine Protection System. Lecture Notes in Computer Science. 3-10. 2023
- Software Architectures for AI Systems: State of Practice and Challenges. 25-39. 2023
- Towards Agile Verification. 31-47. 2013
conferences
- ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise. Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering. 587-591. 2024
- ARCH-COMP 2024 Category Report: Falsification. EPiC Series in Computing. 122-144. 2024
- Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator. Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1949-1960. 2023
- Assurance Case Development as Data: A Manifesto. Proceedings - International Conference on Software Engineering. 135-139. 2023
- ARCH-COMP23 Category Report: Falsification. EPiC Series in Computing. 151-169. 2023
- ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. EPiC Series in Computing. 204-221. 2022
- Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device. EPiC Series in Computing. 18-25. 2022
- RoboMAX: Robotic Mission Adaptation eXemplars. 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). 245-251. 2021
- ThEodorE: a Trace Checker for CPS Properties. Proceedings - International Conference on Software Engineering. 183-184. 2021
- Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap. Proceedings - International Conference on Software Engineering. 847-859. 2021
- ARCH-COMP 2021 Category Report: Falsification with Validation of Results. EPiC Series in Computing. 133-152. 2021
- Trace-checking signal-based temporal properties. Proceedings / IEEE International Conference, Automated Software Engineering ; sponsored by IEEE Computer Society, NASA Ames Research Center, in cooperation with AAAI, ACM SIGART and SIGSOFT. IEEE International Automated Software Enginee.... 1004-1015. 2020
- Mining assumptions for software components using machine learning. Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 159-171. 2020
- Mind the gap. Proceedings of the 8th International Conference on Formal Methods in Software Engineering. 55-65. 2020
- UML Consistency Rules. Proceedings of the 8th International Conference on Formal Methods in Software Engineering. 130-140. 2020
- Approximation-refinement testing of compute-intensive cyber-physical models. Proceedings - International Conference on Software Engineering. 372-384. 2020
- PROMISE. Proceedings - International Conference on Software Engineering. 5-8. 2020
- ARCH-COMP 2020 Category Report: Falsification. EPiC Series in Computing. 140-152. 2020
- Integrating Topological Proofs with Model Checking to Instrument Iterative Design. Lecture Notes in Computer Science. 53-74. 2020
- High-level mission specification for multiple robots. Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering. 127-140. 2019
- Evaluating model testing and model checking for finding requirements violations in Simulink models. Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1015-1025. 2019
- Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors. Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 27-38. 2019
- MAPmAKER: Performing Multi-Robot LTL Planning under Uncertainty. 2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering (RoSE). 1-4. 2019
- PsALM: Specification of Dependable Robotic Missions. 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). 99-102. 2019
- Keeping intelligence under control. Proceedings - International Conference on Software Engineering. 37-40. 2018
- Property specification patterns for robotic missions. Proceedings - International Conference on Software Engineering. 434-435. 2018
- Towards multi-robot applications planning under uncertainty. Proceedings - International Conference on Software Engineering. 438-439. 2018
- An Architecture for Decentralized, Collaborative, and Autonomous Robots. 2018 IEEE International Conference on Software Architecture (ICSA). 75-84. 2018
- Multi-robot LTL Planning Under Uncertainty. Lecture Notes in Computer Science. 399-417. 2018
- Supporting Verification-Driven Incremental Distributed Design of Components. Lecture Notes in Computer Science. 169-188. 2018
- COVER: Change-based goal verifier and reasoner. CEUR Workshop Proceedings. 2017
- From Model Checking to a Temporal Proof for Partial Models. Lecture Notes in Computer Science. 54-69. 2017
- Integrating Goal Model Analysis with Iterative Design. Lecture Notes in Computer Science. 112-128. 2017
- Dealing with Incompleteness in Automata-Based Model Checking. Lecture Notes in Computer Science. 531-550. 2016
- A Control-Theoretic Approach to Self-adaptive Systems and an Application to Cloud-Based Software. Lecture Notes in Computer Science. 63-83. 2015
- Engineering topology aware adaptive security: Preventing requirements violations at runtime. 2014 IEEE 22nd International Requirements Engineering Conference (RE). 203-212. 2014
- Topology aware adaptive security. Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. 43-48. 2014
- Verifying incomplete and evolving specifications. Companion Proceedings of the 36th International Conference on Software Engineering. 670-673. 2014
- On requirements verification for model refinements. Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC. 62-71. 2013
- SecuriTAS. Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. 1-4. 2012
journal articles
- Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions. ACM Transactions on Software Engineering and Methodology. 33:1-37. 2024
- Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks. IEEE Transactions on Software Engineering. 50:239-257. 2024
- Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models. Information and Software Technology. 163:107286-107286. 2023
- The ForeMoSt approach to building valid model-based safety arguments. Software and Systems Modeling (SoSyM). 22:1473-1494. 2023
- Trace Diagnostics for Signal-Based Temporal Properties. IEEE Transactions on Software Engineering. 49:3131-3154. 2023
- Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties. IEEE Transactions on Software Engineering. 49:2741-2760. 2023
- Combining Genetic Programming and Model Checking to Generate Environment Assumptions. IEEE Transactions on Software Engineering. 48:3664-3685. 2022
- TOrPEDO: witnessing model correctness with topological proofs. Formal Aspects of Computing. 33:1039-1066. 2021
- Specification Patterns for Robotic Missions. IEEE Transactions on Software Engineering. 47:2208-2224. 2021
- Special Issue: Agents and Robots for Reliable Engineered Autonomy. Journal of Sensor and Actuator Networks. 10:47-47. 2021
- A survey on the design space of end-user-oriented languages for specifying robotic missions. Software and Systems Modeling (SoSyM). 20:1123-1158. 2021
- Agents and Robots for Reliable Engineered Autonomy:A Perspective from the Organisers of AREA 2020. Journal of Sensor and Actuator Networks. 10:33-33. 2021
- Model Checking MITL Formulae on Timed Automata. ACM Transactions on Computational Logic. 21:1-44. 2020
- PuRSUE -from specification of robotic environments to synthesis of controllers. Formal Aspects of Computing. 32:187-227. 2020
- Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report. ACM SIGSOFT Software Engineering Notes. 44:11-13. 2019
- A verification-driven framework for iterative design of controllers. Formal Aspects of Computing. 31:459-502. 2019
- On requirement verification for evolving Statecharts specifications. Requirements Engineering. 19:231-255. 2014
- Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy. Electronic Proceedings in Theoretical Computer Science. 319.
preprints