Claudio Menghi

Latest

• Mining Assumptions for Software Components using Machine Learning
• Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification
• Integrating Model Checking and Topological Proofs to Instrument Iterative Design
• Mind the gap: Robotic Mission Planning Meets Software Engineering
• Model Checking MITL formulae on Timed Automata: a Logic-Based Approach
• PuRSUE - From Specification of Robotic Environments to Synthesis of Controllers
• UML consistency rules: a case study with open-source UML models
• 2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering (RoSE)
• A verification-driven framework for iterative design of controllers
• Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models
• Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors
• High-level mission specification for multiple robots
• MAPmAKER: performing multi-robot LTL planning under uncertainty
• On Explainability and its Characterization
• PsALM: specification of dependable robotic missions
• Specification patterns for robotic missions
• Strategy Patterns for Multi-Agent CPS
• A Flexible Approach for Checking Timed Automata on Continuous Time Semantics
• An Architecture for Decentralized, Collaborative, and Autonomous Robots
• Integrating Topological Proofs with Model Checking to Instrument Iterative Design
• Keeping intelligence under control
• Multi-Robot LTL Planning Under Uncertainty
• Property specification patterns for robotic missions
• Supporting Verification-Driven Incremental Distributed Design of Components.
• COVER: Change-based Goal Verifier and Reasoner.
• From model checking to a temporal proof for partial models
• Integrating goal model analysis with iterative design
• Systems and methods for runtime adaptive security to protect variable assets
• Dealing with Incompleteness in Automata-Based Model Checking
• Modeling, refining and analyzing Incomplete Büchi Automata
• Engineering topology aware adaptive security: Preventing requirements violations at runtime
• On requirement verification for evolving statecharts specifications
• Topology aware adaptive security
• Verifying incomplete and evolving specifications
• A control-theoretic approach to self-adaptive systems and an application to cloud-based software
• Adaptation in the Context of the Cloud: Models at Run-time and Model-Driven Adaptation
• On requirements verification for model refinements
• Towards Agile Verification
• Contextual, requirements driven, adaptive access control
• SecuriTAS: a tool for engineering adaptive security