Dalpiaz, Fabiano and Chopra, Amit and Canobbio, Giulia and Zeni, Nicola and Giorgini, Paolo and Mylopoulos, John (2014) Specifying Business Processes with Azzurra. DISI-14-002 . Trento : University of Trento. (Unpublished)

Francesconi, Fabiano and Dalpiaz, Fabiano and Mylopoulos, John (2013) TBIM: A Language for Modeling and Reasoning about Business Plans. Trento : University of Trento. Department of Information Engineering and Computer Science.

Silva Souza, Vítor E. and Lapouchnian, Alexei and Robinson, William N. and Mylopoulos, John (2010) Awareness Requirements for Adaptive Systems. UNSPECIFIED. (Submitted)

Dalpiaz, Fabiano and Giorgini, Paolo and Mylopoulos, John (2009) An Architecture for Requirements-driven Self-reconfiguration. UNSPECIFIED. (Unpublished)

Chopra, Amit K. and Dalpiaz, Fabiano and Giorgini, Paolo and Mylopoulos, John (2009) Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments. UNSPECIFIED. (Unpublished)

Dalpiaz, Fabiano and Giorgini, Paolo and Mylopoulos, John (2008) Talos: an architecture for self-configuration. UNSPECIFIED. (Unpublished)

Bryl, Volha and Massacci, Fabio and Mylopoulos, John and Zannone, Nicola (2006) Designing Security Requirements Models through Planning. UNSPECIFIED.

Colombo, Enzo and Mylopoulos, John (2006) A Multi-View Framework for Organizational Patterns. UNSPECIFIED.

Bryl, Volha and Giorgini, Paolo and Mylopoulos, John (2006) Requirements Analysis for Socio-technical Systems: Exploring and Evaluating Alternatives. UNSPECIFIED. (Unpublished)

Asnar, Yudistira and Giorgini, Paolo and Mylopoulos, John (2006) Risk Modelling and Reasoning in Goal Models. UNSPECIFIED. (Submitted)

Giorgini, Paolo and Massacci, Fabio and Mylopoulos, John and Zannone, Nicola (2005) Modeling Security Requirements Through Ownership, Permission and Delegation. UNSPECIFIED. (Unpublished)

Giorgini, Paolo and Massacci, Fabio and Mylopoulos, John and Zannone, Nicola (2005) Modeling Social and Individual Trust in Requirements Engineering Methodologies. UNSPECIFIED. (Submitted)

Giorgini, Paolo and Massacci, Fabio and Mylopoulos, John and Zannone, Nicola (2004) Filling the gap between Requirements Engineering and Public Key/Trust Management Infrastructures. UNSPECIFIED.

Giorgini, Paolo and Massacci, Fabio and Mylopoulos, John and Zannone, Nicola (2004) Requirements Engineering meets Trust Management: Model, Methodology, and Reasoning. UNSPECIFIED. (Unpublished)

Kiyavitskaya, Nadzeya and Zeni, Nicola and Mich, Luisa and Mylopoulos, John (2004) NLP-Based Requirements Modeling: Experiments on the Quality of the models. UNSPECIFIED. (Submitted)

Giorgini, Paolo and Massacci, Fabio and Mylopoulos, John (2003) Requirement Engineering meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard. UNSPECIFIED.

Serafini, Luciano and Giunchiglia, Fausto and Mylopoulos, John and Bernstein, Philip A. (2003) Local Relational Model: a logical formalization of database coordination. UNSPECIFIED. (Unpublished)

Garzetti, Maddalena and Giorgini, Paolo and Mylopoulos, John and Sannicolò, Fabrizio (2002) Applying Tropos Methodology to a real case study: Complexity and Criticality Analysis. UNSPECIFIED.

Bresciani, Paolo and Giorgini, Paolo and Giunchiglia, Fausto and Mylopoulos, John and Perini, Anna (2002) TROPOS: An Agent-Oriented Software Development Methodology. UNSPECIFIED.

Bernstein, Philip A. and Giunchiglia, Fausto and Kementsietsidis, Anastasios and Mylopoulos, John and Serafini, Luciano and Zaihrayeu, Ilya (2002) Data Management for Peer-to-Peer Computing: A Vision. UNSPECIFIED.

Mich, Luisa and Mylopoulos, John and Zeni, Nicola (2002) Improving the Quality of Conceptual Models with NLP Tools: An Experiment. UNSPECIFIED. (Unpublished)

Serafini, Luciano and Giunchiglia, Fausto and Mylopoulos, John and Bernstein, Philip A. (2001) The Local Relational Model: Model and Proof Theory. UNSPECIFIED.

Giunchiglia, Fausto and Mylopoulos, John and Perini, Anna (2001) The Tropos Software Development Methodology: Processes, Models and Diagrams. UNSPECIFIED. (In Press)

Perini, Anna and Giunchiglia, Fausto and Mylopoulos, John and Bresciani, Paolo and Giorgini, Paolo (2000) A Knowledge Level Software Engineering Methodology for Agent Oriented Programming. UNSPECIFIED.