selected scholarly activity
-
books
- Preface. Ed. 13122 LNCS. 2021
-
chapters
- 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
- Search-based Trace Diagnostic 2024
- Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator 2023
- Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models 2023
- Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks 2022
- Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions 2022
- Trace Diagnostics for Signal-based Temporal Properties 2022
- Combining Genetic Programming and Model Checking to Generate Environment Assumptions 2021
- Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap 2020
- Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy 2020
- Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification 2019
- Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models 2019
- Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors 2019
- Specification Patterns for Robotic Missions 2019
- Integrating Topological Proofs with Model Checking to Instrument Iterative Design 2018
- Verifying MITL formulae on Timed Automata considering a Continuous Time Semantics 2018
- From model checking to a temporal proof for partial models: preliminary example 2017
- Modeling, refining and analyzing Incomplete Büchi Automata 2016