Susi, Angelo
Susi, Angelo
A Design Framework for Generating BDI-Agents from Goal Models
2007-01-01 Penserini, Loris; Perini, Anna; Susi, Angelo; Morandini, Mirko; Mylopoulos, Ioannis
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System
2020-01-01 Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Scaglione, Giuseppe; Susi, Angelo; Tacchella, Alberto; Tessi, Matteo
Agent-oriented modeling by interleaving formal and informal specification
2003-01-01 Perini, Anna; Pistore, Marco; Roveri, Marco; Susi, Angelo
Arguing Regulatory Compliance for Software Requirements, Special Issue: 30th International Conference on Conceptual Modelling (ER’11)
2012-01-01 Ingolfo, Silvia; Siena, Alberto; Mylopoulos, Ioannis; Perini, Anna; Susi, Angelo
Automated Reasoning for Regulatory Compliance
2013-01-01 Ingolfo, Silvia; Siena, Alberto; Jureta, I.; Susi, Angelo; Perini, Anna; Mylopoulos, Ioannis
Capturing Variability of Norms
2012-01-01 Siena, Alberto; Jureta, I.; Ingolfo, Silvia; Perini, Anna; Susi, Angelo; Mylopoulos, Ioannis
Choosing Compliance Solutions through Stakeholder Preferences
2013-01-01 Ingolfo, Silvia; Siena, Alberto; Jureta, I.; Susi, Angelo; Perini, Anna; Mylopoulos, Ioannis
Coordination specification in MultiAgent Systems. From requirements to architecture with the Tropos methodology
2002-01-01 Susi, Angelo; Giunchiglia, Fausto; Perini, Anna
Design Thinking and Acceptance Requirements for Designing Gamified Software
2019-01-01 Piras, L.; Dellagiacoma, D.; Perini, A.; Susi, A.; Giorgini, P.; Mylopoulos, J.
Design Thinking and Acceptance Requirements for Gamification Design. A Research Preview.
2018-01-01 Piras, Luca; Dellagiacoma, Daniele; Perini, Anna; Susi, Angelo; Giorgini, Paolo; Mylopoulos, Ioannis
Designinig Coordination among Human and Software Agents
2002-01-01 Susi, Angelo; Giunchiglia, Fausto; Perini, Anna
Establishing Regulatory Compliance for Information System Requirements: An Experience Report from the Health Care Domain
2010-01-01 Siena, Alberto; G., Armellin; G., Mameli; Mylopoulos, Ioannis; Perini, Anna; Susi, Angelo
Formalization and validation of a subset of the European Train Control System
2010-01-01 Chiappini, Angelo; Cimatti, Alessandro; Macchi, Luca; Rebollo, Oscar; Roveri, Marco; Susi, Angelo; Tonetta, Stefano; Vittorini, Berardino
Formalization and Validation of Safety-Critical Requirements
2010-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
From Capability Specifications to Code for Multi-Agent Software
2006-01-01 Penserini, Loris; Perini, Anna; Susi, Angelo; Mylopoulos, Ioannis
From Informal Requirements to Property-Driven Formal Validation
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
From Stakeholder Intentions to Software Agent Implementations
2006-01-01 Penserini, Loris; Perini, Anna; Susi, Angelo; Mylopoulos, Ioannis
Nomos: from Strategic Dependencies to Obligations
2011-01-01 S., Ingolfo; Mylopoulos, Ioannis; Perini, Anna; Siena, Alberto; Susi, Angelo
Object Models with Temporal Constraints
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
OthelloPlay: a plug-in based tool for requirement formalization and validation
2011-01-01 Cavada, Roberto; Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco; Susi, Angelo; Tonetta, Stefano