"Formal Analysis of Early Requirements Specifications in Tropos"
Tropos Meeting, University of Toronto, Department of Computer Science, April 5, 2001.
"Model Checking Early Requirements Specifications in Tropos"
RE-2001, the 5th IEEE International Symposium on Requirements Engineering, August 27-31, 2001, Toronto, Canada
"Model Checking Early Requirements Specifications in Tropos"
the 1st Tropos Workshop, 15--16 November 2001. Trento.
"Formal Tropos: Integrating Formal Methods and Software Engineering"
MRG-SRA Symposium, Levanto, Italy, June 25-27, 2002.
"Agent-oriented modeling by interleaving formal and informal specification"
Agent Oriented Software Engineering (AOSE-2003). Melbourne, Australia - July 15, 2003.
"Specifying and Analyzing Early Requirements: Some Experimental Results"
RE-2003, the 11th IEEE International Symposium on Requirements Engineering, 8th-12th September 2003, Monterey Bay, California U.S.A.
"A Framework for Integrating Business Processes and Business Requirements"
EDOC-2004, 8th IEEE International Enterprise Distributed Object Computing Conference, 20th-24th September 2004, Monterey, California U.S.A.
"Formal Verification of Requirements Using SPIN: A Case Study on Web Services"
SEFM-2004, 2nd IEEE International Conference on Software Engineering and Formal Methods, 26th-30th September 2004, Beijing, China