Carlo Ghezzi

Latest

• A verification-driven framework for iterative design of controllers
• Specification patterns for robotic missions
• 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
• 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
• A control-theoretic approach to self-adaptive systems and an application to cloud-based software
• On requirements verification for model refinements
• Towards Agile Verification