Design and Verification of Systems with Exogenous Coordination Using Vereofy.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009
The Credo Methodology - (Extended Version).
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009
A Uniform Framework for Modeling and Verifying Components and Connectors.
Proceedings of the Coordination Models and Languages, 11th International Conference, 2009
Formal Verification for Components and Connectors.
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008
Checking Equivalence for Reo Networks.
Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007