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