"Specifying and Analyzing Early Requirements"
Submitted for pubblication to the Requirements Engineering Journal.
"Specifying and Analyzing Early Requirements: Some Experimental Results"
Accepted for publication in RE-2003, the 11th IEEE International Requirements Engineering Conference, 8th-12th September 2003, Monterey Bay, California U.S.A.
"Agent-oriented modeling by interleaving formal and informal specification"
Accepted for publication in Agent Oriented Software Engineering (AOSE-2003). Melbourne, Australia - July 15, 2003. To be published in Lecture Notes in Computer Science.
"Model Checking Early Requirements Specifications in Tropos"
Accepted for publication in RE-2001, the 9th IEEE International Requirements Engineering Conference, August 2001, Toronto Canada
"Formal Analysis of Early Requirements Specifications"
MsC Thesis, University of Toronto, Canada. 2001.
"Formal Tropos: language and semantics"
Trento, 2003.
"T-Tool Tutorial"
Trento, 2003.
"A Framework for Integrating Business Processes and Business Requirements"
Accepted for publication in 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"
Accepted for publication in SEFM-2004, 2nd IEEE International Conference on Software Engineering and Formal Methods, 26th-30th September 2004, Beijing, China