Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments, Chopra, A.; Dalpiaz, F.; Giorgini, P.; Mylopoulos, J. , Conference on Advanced Information Systems Engineering, (2010)
 Export: Tagged XML BibTex   Download:  chop-dalp-gior-mylo-10-caise.pdf 

Reasoning about Agents and Protocols via Goals and Commitments, Chopra, A.; Dalpiaz, F.; Giorgini, P.; Mylopoulos, J. , Autonomous Agents and Multi-Agent Systems, (2010)
 Export: Tagged XML BibTex   Download:  chop-dalp-gior-mylo-10-aamas.pdf 

An Architecture for Requirements-driven Self-Reconfiguration., Dalpiaz, F.; Giorgini, P.; Mylopoulos, J. , 21st International Conference on Advanced Information Systems Engineering (CAiSE '09), (2009)
 Export: Tagged XML BibTex   Download:  dalp-gior-mylo-09-caise.pdf 

Designing Socio-Technical Systems: From Stakeholder Goals to Social Networks., Bryl, V.; Giorgini, P.; Mylopoulos, J. , Requirement Engineering, (2009)
 Export: Tagged XML BibTex   Download:  bryl-gior-mylo-09-REJ.pdf 

Designing Law-Compliant Software Requirements., Siena, A.; Mylopoulos, J.; Perini, A.; Susi, A. , ER 2009, (2009)
 Export: Tagged XML BibTex   Download:  sie-myl-per-susi-ER09-LawCompliantReq-CR.pdf 

Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments, Chopra, A.; Dalpiaz, F.; Giorgini, P.; Mylopoulos, J. , DISI Technical Report 09-068, (2009)
 Export: Tagged XML BibTex   Download:  TR-DISI-09-068.pdf 

Software Self-Reconfiguration: a BDI-based approach (Extended Abstract)., Dalpiaz, F.; Giorgini, P.; Mylopoulos, J. , 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), (2009)
 Export: Tagged XML BibTex   Download:  dalp-gior-mylo-09-aamas.pdf 

Towards a Framework for Law-Compliant Software Requirements., Siena, A.; Mylopoulos, J.; Perini, A.; Susi, A. , 31st International Conference on Software Engineering (ICSE09), (2009)
 Export: Tagged XML BibTex   Download:  ICSE2009_NIER_0567_siena_alberto.pdf 

From Laws to Requirements., Siena, A.; Mylopoulos, J.; Perini, A.; Susi, A. , 1st International Workshop on Requirements Engineering and Law (Relaw'08), Barcelona, Spain, (2008)
 Export: Tagged XML BibTex   Download:  siena-relaw08.pdf 

A Design Framework for Generating BDI-agents from Goal Models, Penserini, L.; Perini, A.; Susi, A.; Morandini, M.; Mylopoulos, J. , 6th Int. Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS'07), Honolulu, Hawaii, p.610-612, (2007)
 Export: Tagged XML BibTex   Download:  aamas07_penseriniEtal_short.pdf 

High variability design for software agents: Extending Tropos, Penserini, L.; Perini, A.; Susi, A.; Mylopoulos, J. , ACM Transactions on Autonomous and Adaptive Systems (TAAS), Volume 2, Number 4, (2007)
 Export: Tagged XML BibTex

Designing Security Requirements Models through Planning., Bryl, V.; Massacci, F.; Mylopoulos, J.; Zannone, N. , 18th Conference on Advanced Information Systems Engineering (CAiSE'06), 05/06/2006, Luxembourg, (2006)
 Export: Tagged XML BibTex   Download:  bryl-mass-mylo-zann-06-CAiSE.pdf 

Modeling Security Requirements Through Ownership, Permission and Delegation., Giorgini, P.; Massacci, F.; Mylopoulos, J.; Zannone, N. , 13th IEEE International Requirements Engineering Conference (RE'05), 29/08/2005, (2005)
 Export: Tagged XML BibTex   Download:  054.pdf 

A Requirements-Driven Methodology for Agent-Oriented Software., Castro, J.; Giorgini, P.; Kethers, S.; Mylopoulos, J. , Agent-Oriented Methodologies, (2005)
 Export: Tagged XML BibTex

Goal-Oriented Requirements Analysis and Reasoning in the Tropos Methodology., Giorgini, P.; Mylopoulos, J.; Sebastiani, R. , Engineering Applications of Artifcial Intelligence, Volume 18/2, (2005)
 Export: Tagged XML BibTex

Modeling Social and Individual Trust in Requirements Engineering Methodologies., Giorgini, P.; Massacci, F.; Mylopoulos, J.; Zannone, N. , Third International Conference on Trust Management (iTrust 2005), (2005)
 Export: Tagged XML BibTex

ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements, Giorgini, P.; Massacci, F.; Mylopoulos, J.; Siena, A.; Zannone, N. , Third International Conference on Trust Management (iTrust 2005), (2005)
 Export: Tagged XML BibTex   Download:  gior-mass-mylo-sien-zann-05-iTrust.pdf 

The Tropos Metamodel and its Use., Giorgini, P.; Mylopoulos, J.; Perini, A.; Susi, A. , Informatical journal, (2005)
 Export: Tagged XML BibTex   Download:  informaticaJ_susi_perini_giorgini_mylopoulos.pdf 

Formal Reasoning Techniques for Goal Models., Giorgini, P.; Mylopoulos, J.; Nicchiarelli, E.; Sebastiani, R. , Journal of Data Semantics, (2004)
 Export: Tagged XML BibTex   Download:  jdatasemantics-2004.pdf 

Filling the gap between Requirements Engineering and Public Key/Trust Management Infrastructures., Giorgini, P.; Massacci, F.; Mylopoulos, J.; Zannone, N. , 1st European PKI Workshop: Research and Applications (1st EuroPKI), (2004)
 Export: Tagged XML BibTex   Download:  gior-mass-mylo-zann-04-EUROPKI.pdf 

Requirements Engineering meets Trust Management: Model, Methodology, and Reasoning., Giorgini, P.; Massacci, F.; Mylopoulos, J.; Zannone, N. , Second International Conference on Trust Management (iTrust 2004), (2004)
 Export: Tagged XML BibTex   Download:  iTrust04.pdf 

Specifying and analyzing early requirements in Tropos, Fuxman, A.; Liu, L.; Mylopoulos, J.; Pistore, M.; Roveri, M.; Traverso, P. , Requirements Engineering Journal, (2004)
 Export: Tagged XML BibTex

Simple and Minimum-Cost Satisfiability for Goal Models., Giorgini, P.; Mylopoulos, J.; Sebastiani, R. , 16th Conference On Advanced Information Systems Engineering (CAiSE*04), (2004)
 Export: Tagged XML BibTex   Download:  caise04.pdf 

The Tropos Methodology: an overview., Giorgini, P.; Kolp, M.; Mylopoulos, J.; Pistore, M. , Methodologies And Software Engineering For Agent Systems, (2004)
 Export: Tagged XML BibTex   Download:  MASM-bookchapter04.pdf 

Tropos: An Agent-Oriented Software Development Methodology, Bresciani, P.; Perini, A.; Giorgini, P.; Giunchiglia, F.; Mylopoulos, J. , Autonomous Agents and Multi-Agent Systems, Volume 8, Number 3, p.203--236, (2004)
 Export: Tagged XML BibTex