Secure Tropos: A Security-Oriented Extension of the Tropos Methodology., Giorgini, P.; Mouratidis, H. , Journal of Autonomous Agents and Mult-Agent Systems, (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 

When Security Meets Software Engineering: A Case of Modeling Secure Information Systems., Giorgini, P.; Manson, G.; Mouratidis, H. , Information System (2005), (2005)
 Export: Tagged XML BibTex   Download:  gior-mass-mylo-03-ER.pdf 

Using Security Attack Scenarios to Analyse Security During Information Systems Design., Giorgini, P.; Manson, G.; Mouratidis, H. , 6th International Conference on Enterprise Information Systems (2004), 13/04/2004, Porto, Portugal, (2004)
 Export: Tagged XML BibTex

Analysing Security in Information Systems., Giorgini, P.; Mouratidis, H. , Second International Workshop on Security In Information Systems (WOSIS-2004), (2004)
 Export: Tagged XML BibTex

Designing a Decision Support System for Integrated Production in Agriculture. An Agent-Oriented approach., Perini, A.; Susi, A. , Environmental Modelling and Software Journal, (2004)
 Export: Tagged XML BibTex   Download:  EMSjournal.pdf 

Developing Tools for Agent-Oriented Visual Modeling., Perini, A.; Susi, A. , Second German Conference (MATES 2004), (2004)
 Export: Tagged XML BibTex   Download:  tropos.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 

Multi-Agent Systems and Security Requirements Analysis., Bresciani, P.; Giorgini, P.; Manson, G.; Mouratidis, H. , Software Engineering for Multi-Agent Systems II, (2004)
 Export: Tagged XML BibTex   Download:  selmas2003-post-proc.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

TROPOS: An Agent-Oriented Software Development Methodology., Bresciani, P.; Giorgini, P.; Giunchiglia, F.; Mylopoulos, J.; Perini, A. , Journal of Autonomous Agents and Multi-Agent Systems, (2004)
 Export: Tagged XML BibTex   Download:  jaamas04.pdf 

Towards the Development of Secure Information Systems: Security Reference Diagrams and Security Attack Scenarios., Giorgini, P.; Manson, G.; Mouratidis, H. , 16th Conference On Advanced Information Systems Engineering (CAiSE*04), (2004)
 Export: Tagged XML BibTex

Integrating Security and Systems Engineering: Towards the Modelling of Secure Information Systems., Giorgini, P.; Manson, G.; Mouratidis, H. , 15th Conference On Advanced Information Systems Engineering (CAiSE*03), 16/06/2003, Austria, (2003)
 Export: Tagged XML BibTex

Agent-oriented modeling by interleaving formal and informal specification., Perini, A.; Pistore, M.; Roveri, M.; Susi, A. , Agent Oriented Software Engineering (AOSE-2003), 15/07/2003, Melbourne, Australia, (2003)
 Export: Tagged XML BibTex   Download:  AOSE03.pdf 

Integrating Patterns and Agent-Oriented Methodologies to Provide Better Solutions for the Development of Secure Agent Systems., Giorgini, P.; Mouratidis, H.; Weiss, M. , Workshop on Expressiveness of Pattern Languages 2003, at ChiliPLoP (2003), 11/03/2003, Carefree, Arizona, (2003)
 Export: Tagged XML BibTex   Download:  chili2003.pdf 

Specifying and Analyzing Early Requirements: Some Experimental Results., Fuxman, A.; Liu, L.; Mylopoulos, J.; Pistore, M.; Roveri, M. , RE-2003, the 11th IEEE International Requirements Engineering Conference, 08/09/2003, Monterey Bay, California U.S.A., (2003)
 Export: Tagged XML BibTex   Download:  RE03.pdf 

On Security Requirements Analysis for Multi-Agent Systems., Giorgini, P.; Manson, G.; Mouratidis, H. , 2nd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems SELMAS 2003 in conjunction with the 25th International Conference on Software Engineering (ICSE 2003), 03/05/2003, Portland, Oregon, USA, (2003)
 Export: Tagged XML BibTex   Download:  selmas2003.pdf 

An Ontology for Modelling Security: The Tropos Approach., Giorgini, P.; Manson, G.; Mouratidis, H. , KES 2003 Invited Session Ontology and Multi-Agent Systems Design (OMASD'03), (2003)
 Export: Tagged XML BibTex   Download:  omasd03.pdf 

Analysing Security Requirements of Information Systems Using Tropos., Gani, A.; Giorgini, P.; Manson, G.; Mouratidis, H. , International Conference on Enterprise Information Systems, Angers, France, (2003)
 Export: Tagged XML BibTex