Publications

2016
2015

  • Maté A., Trujillo J., Koci E., Zoumpatianos K., and Mylopoulos J “Monitoring Strategic Business Goals with Argus”, 19th IEEE International Conference on Enterprise Distributed Object Computing (EDOC’15), Adelaide, September 2015. (invited paper).
  • Dalpiaz F., Cardozo E., Canobbio G., Giorgini P., Mylopoulos J., “Specifying Business Processes with Azzurra”, 9th IEEE International Conference on Research Challenges in Information Science (RCIS’15), Athens, May 2015. (Acceptance rate: 19.1%, 199 submissions; best paper award).
  • Francesconi F., Dalpiaz F., Mylopoulos J., “Modeling Strategic Business Plans: the Montreux Jazz Festival Case Study”, 9th IEEE International Conference on Research Challenges in Information Science (RCIS’15), Athens, May 2015. (Acceptance rate: 19.1%, 199 submissions).
  • Tong Li, Horkoff J., Mylopoulos J., “Analyzing and Enforcing Security Mechanisms on Requirements Specifications”, 21st International Working Conference on Requirements Engineering: Foundations for Software Quality (REFSQ’15), Essen, March 2015.
  • Feng-Lin Li, Borgida A., Horkoff J., Lin Liu, Mylopoulos J., “From Informal Requirements to Formal Specifications through Refinement”, 21st International Working Conference on Requirements Engineering: Foundations for Software Quality (REFSQ’15), Essen, March 2015

2014

  • Horkoff J., Tong Li, Feng-Lin Li, Pimentel J., Salnitri M., Cardoso E., Giorgini P., Mylopoulos J., “Using Goal Models Downstream: A Systematic Roadmap and Literature Review”, International Journal of Systems Modeling and Design (IJSMD) 6(2), 1-42, 2015.
  • Horkoff J., Aydemir F., Feng-Lin Li, Tong Li, Mylopoulos J., “Evaluating the Expressiveness and Effectiveness of a Conceptual Modelling Language: A Requirements Modelling Language Example”, 33rd International Conference on Conceptual Modelling (ER’14), Atlanta, October 2014. (Acceptance rate: 28.7%, 84 submissions).
  • Xiaowei Wang, Guarino N., Guizzardi G. and Mylopoulos J., “Software as a Social Artifact: a Management and Evolution Perspective”, 33rd International Conference on Conceptual Modelling (ER’14), Atlanta, October 2014. (Acceptance rate: 28.7%, 84 submissions).
  • Guizzardi R., Feng-Lin Li, Borgida A., Guizzardi G., Horkoff J., and Mylopoulos J., “An Ontological Interpretation of Non-Functional Requirements”, 8th International Conference on Formal Ontology in Information Systems (FOIS’14), Rio de Janeiro, September 2014. (Acceptance rate: 28.4%, 81 submissions).
  • Xiaowei Wang, Guarino N., Guizzardi G., and Mylopoulos J., “Towards an Ontology of Computer Software: a Requirements Engineering Perspective”, 8th Int. Conference on Formal Ontology in Information Systems (FOIS’14), Rio de Janeiro, September 2014. (Acceptance rate: 28.4%, 81 submissions; runner-up for best paper award).
  • Jureta I., Borgida A., Ernst N., Mylopoulos J., “The Requirements Problem for Adaptive Systems”, ACM Transactions on Managing Information Systems (TMIS), September 2014, (online version).
  • Barone D., Peyton L., Rizzolo F., Amyot D., Mylopoulos J., Badreddin O., “Model-Based Management of Strategic Initiatives”, Journal of Data Semantics (JoDS), September 2014, (online version).
  • Chopra A., Dalpiaz F., Aydemir F., Giorgini P., Mylopoulos J., Singh M., “Protos: Foundations for Engineering Innovative Socio-Technical Systems”, 22nd IEEE International Requirements Engineering Conference (RE’14), Karlskrona Sweden, August 2014. (Acceptance rate: 26.9%, 115 submissions)
  • Feng-Lin Li, Horkoff J., Mylopoulos J., Borgida A., Guizzardi G., Guizzardi R., Lin Liu, “Non-Functional Requirements as Qualities, with a Spice of Ontology”, 22nd IEEE International Requirements Engineering Conference (RE’14), Karlskrona Sweden, August 2014. (Acceptance rate: 26.9%, 115 submissions).
  • Wenyi Qian, Xin Peng, Bihuan Chen, Mylopoulos J., Huanhuan Wang, Wenyun Zhao, “Rationalism with a Dose of Empiricism: Case-Based Reasoning for Requirements-Driven Self-Adaptation”, 22nd IEEE International Requirements Engineering Conference (RE’14), Karlskrona Sweden, August 2014. (Acceptance rate: 26.9%, 115 submissions; ranked among the top 5 papers of RE’14).
  • Horkoff J., Tong Li, Feng-Lin Li, Pimentel J., Salnitri M., Cardoso E., Giorgini P., Mylopoulos J., “Taking Goal Models Downstream: A Systematic Roadmap”, IEEE Eighth International Conference on Research Challenges in Information Science (RCIS’14), Marrakesh Morocco, May 2014 (Best paper award, 153 submissions).
  • Aydemir F., Dalpiaz F., Giorgini P., Mylopoulos J., “Exploring Alternative Designs of Socio-Technical Systems”, IEEE 8th Int. Conference on Research Challenges in Information Science (RCIS’14), Marrakesh Morocco, May 2014.

2013

  • Fabiano Dalpiaz, Alexander Borgida, Jennifer Horkoff, John Mylopoulos (2013) Runtime Goal Models. In Proceedings of the 7th IEEE International Conference on Research Challenges in Information Science (RCIS 2013). Invited paper.

2012

  • Barone D., Topaloglou T., Mylopoulos J. , Designing Business Intelligence Solutions using Strategic Models: A Hospital Case Study In: 24th International Conference on Advanced Information Systems Engineering (CAiSE’12)
  • Borgida A., Horkoff J., Mylopoulos J., and Riccardo R. , Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts In: 25th International Workshop on Description Logics (DL’12), Rome
  • Bykau S., Mylopoulos J., Rizzolo F., Velegrakis Y. , On Modelling and Querying Concept Evolution In: Journal of Data Semantics
  • Dalpiaz F., Giorgini P. and Mylopoulos J., Adaptive Socio-Technical Systems: a Requirements-driven Approach. Requirements Engineering Springer London. To appear
  • Ernst N., Borgida A., Mylopoulos J., Jureta I. , Agile Requirements Evolution via Paraconsistent Reasoning In: 24th International Conference on Advanced Information Systems Engineering (CAiSE’12)
  • Fu Lingxiao, Peng Xin, Yu Yijun, Mylopoulos J. and Zhao Wenyun , Stateful Requirements Monitoring for Self-Repairing Socio-Technical Systems In: 20th IEEE International Requirements Engineering Conference (RE’12), Chicago
  • Hindle A., Ernst N., Godfrey M. and Mylopoulos J. , Automated Topic Naming In: Empirical Software Engineering
  • Horkoff J., Borgida A., Mylopoulos J., Barone D., Jiang L., Yu E. and Amyot D. , Making Data Meaningful: The Business Intelligence Model and its Formal Semantics in Description Logics In: 11th International Conference on Ontologies, Databases, and Applications of Semantics (ODBASE’12), Rome
  • Li, Feng-Lin, John Mylopoulos and Lin Liu. , Requirements-Driven Software Service Evolution In: Service Oriented Computing PhD Symposiums, 2012 IEEE 10th
  • Li, Feng-Lin, Lin Liu and Mylopoulos J. , Software Service Evolution: A Requirements Perspective In: Computer Software and Applications Conference Workshops (COMPSACW), 2012 IEEE 36th
  • Liaskos S., Jungblut M. and Mylopoulos J. , From Intentions to Code: Exploring the Life of User Goals in Web-based Systems In: IET Software
  • Maté A., Trujillo J. and Mylopoulos J. , Conceptualizing and Specifying Key Performance Indicators in Business Strategy Models In: 22nd International Conference on Computer Science and Software Engineering (CASCON’12), Toronto
  • Maté A., Trujillo J. and Mylopoulos J., , MultiDimBIM: A Multidimensional View of Business Intelligence Models In: 31th International Conference on Conceptual Modelling (ER’12), Florence
  • Salnitri M., Dalpiaz F. and Giorgini P. , Aligning Service-Oriented Architectures with Security Requirements In: OTM 12
  • Rick Salay, Marsha Chechik, Jennifer Horkoff , Managing Requirements Uncertainty with Partial Models In: 20th IEEE International Requirements Engineering Conference (RE’12)
  • Siena A., Jureta I., Ingolfo S., Perini A., Susi A. and Mylopoulos J. , Capturing Variability of Norms In: 31th International Conference on Conceptual Modelling (ER’12), Florence.
  • Silva Souza, V., Lapouchnian A., Angellopoulos K. and Mylopoulos J. , Requirements-Driven Software Evolution In: Computer Science – Research and Development
  • Souza V., Lapouchnian A. and Mylopoulos J. , Evolution Requirements for Adaptive Systems In: 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’12), Zürich
  • Souza V., Lapouchnian A. and Mylopoulos J. , Requirements-Driven Qualitative Adaptation In: 20th International Conference on Cooperative Information Systems (CoopIS’12)
  • Souza V., Maz?n J-N., Garrig?s I., Trujillo J., Mylopoulos J., , Monitoring Strategic Goals in Data Warehouses with Awareness Requirements In: 27th ACM Symposium On Applied Computing, Requirements Engineering track (SAC-RE’12), Riva del Garda (Italy)
  • Zawawy H., Kontogiannis K., Mylopoulos J., Mankovski S., , Requirements-Driven Root Cause Analysis Using Markov Logic Networks In: 24th International Conference on Advanced Information Systems Engineering (CAiSE’12)

2011

  • Ali R., Dalpiaz F., Giorgini P. and Souza V. E. S., Requirements Evolution From Assumptions to Reality. In Proceedings of the 16th International Conference on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD 2011). pp. 372-382. Springer
  • Asnar Y., Paja E.  and Mylopoulos J. , Modeling Design Patterns with Description Logics: A Case Study In: 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11), London
  • Asnar, Y., Giorgini, P. and Mylopoulos J. , Goal-Driven Risk Assessment in Requirements Engineering In: Requirements Engineering Journal
  • Amit K. Chopra, E. Paja, Paolo Giorgini, Sociotechnical Trust: An Architectural Approach in Conceptual Modeling – ER 2011. 30th International Conference on Conceptual Modeling, Brussels, Belgium, October 31 – November 3, 2011, Berlin: Springer, 2011, p. 104-117 -(Lecture Notes in Computer Science; 6998). – ISBN: 9783642246050. Proceedings of: Conceptual Modeling – ER 2011, Brussels, Belgium, October 31 – November 3, 2011
  • Barone D., Jiang L., Amyot D.  and Mylopoulos J. , Reasoning with Key Performance Indicators In: 4rd IFIP WG 8.1 Working Conference on The Practice of Enterprise Modeling (PoEM’11), Oslo
  • Barone D., Jiang L., Amyot D. and Mylopoulos J. , Composite Indicators for Business Intelligence In: 30th International Conference on Conceptual Modelling (ER’11), Brussels
  • Bykau S., Velegrakis Y., Rizzolo F., Mylopoulos J. , Supporting queries spanning across phases of evolving artifacts with Steiner forests In: 20th ACM Conference on Information and Knowledge Management (CIKM’11), Glasgow
  • Dalpiaz F., Giorgini P. and Mylopoulos J. , Adaptive Socio-Technical Systems: A Requirements-Based Approach In: Requirements Engineering Journal
  • Dalpiaz F., Amit K. Chopra, Mylopoulos J. and Giorgini P., “From Intentions to Social Commitments: Adaptation in Multiagent Systems” in G. Lakemeyer, S. A. Mcilraith (edited by), Knowing, Reasoning, and Acting: Essays in Honour of Hector J. Levesque, England: College Publications, 2011.
  • Aloia N., Concordia C., Tuan L. A., Meghini C., Spyratos N., Sugibuchi T. and Zeni N., Design, implementation and user evaluation of a user generated content service for Europeana, Berlino: Springer Verlag, 2011, p. 0-0 -(Springer’s Lecture Notes on Computer Science (LNCS) series). Atti di: International Conference on Theory and Practice of Digital Libraries 2011, Berlin, 26-28 September 2011
  • Giampaolo Armellin, Annamaria Chiasera, Ivan Jureta, Alberto Siena, Angelo Susi, Establishing information system compliance: An argumentation-based framework. RCIS 2011: 1-9
  • Hindle A., Ernst N., Godfrey M. and Mylopoulos J. Mylopoulos J. , Automated Topic-Naming to Support Cross-Project Analysis of Software Maintenance Activities In: 8th International Working Conference on Mining Software Repositories (MSR’11) Waikiki Honolulu
  • Ingolfo S., Siena A. and Mylopoulos J. , Establishing Regulatory Compliance for Software Requirements In: 30th International Conference on Conceptual Modelling (ER’11), Brussels
  • Jiang L., Barone D., Amyot D. and Mylopoulos J. , Strategic Models for Business Intelligence In: 30th International Conference on Conceptual Modelling (ER’11), Brussels
  • Liaskos S., Khan S., Litoiu M., Jungblut M., Rogozhkin V. and Mylopoulos J. , Behavioral Adaptation of Information Systems Through Goal Models, Information Systems In: Advanced Information Systems Engineering (CAiSE’11)
  • Liaskos S., Litoiu M., Jungblut M. and Mylopoulos J. , Goal-based Behavioral Customization of Information Systems In: 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11), London
  • Liaskos S., McIlraith S., Sohrabi S. and Mylopoulos J. , Representing and Reasoning about Preferences in Requirements Engineering In: Requirements Engineering Journal
  • Lyytinen K., Jarke M., Loucopoulos P., Mylopoulos J., Robinson W. , The Brave New World of Design Requirements Information Systems In: Information Systems
  • Perini A., Nauman A. Qureshi, Sabatucci L., Siena A. and  Susi A. (2011), Evolving Requirements in Socio-Technical Systems: Concepts and Practice. ER 2011: 440-447
  • Raian A., Dalpiaz F., Giorgini P. and Souza V. E. , Requirements Evolution: From Assumptions to Reality In: 16th International Conference on Exploring Modeling Methods for Systems Analysis and Design (EMMSAD ’11), London, UK.
  • Serrano M., Lucena C. J. P., Mylopoulos J. and Yu E. , Experiences with Requirements Model Reuse: The NFR Catalogue for Ubiquitous Systems In: Handbook of Research in Mobile Software Engineering: Design, Architecture and Implementation, IGI Global. Alencar P. and Cowan D. (eds.)
  • Souza V., E. Silva and Mylopoulos J. , From Awareness Requirements to Adaptive Systems: a Control-Theoretic Approach In: 2nd International Workshop on requirements (RRT’11), Trento, TN, Italy
  • Souza V., E. Silva; Lapouchnian, Alexei and Mylopoulos J. , System Identification for Adaptive Software Systems: A Requirements Engineering Perspective In: 30th International Conference on Conceptual Modeling (ER’11), Brussels, Belgium, Oct 31 – Nov 3, 2011.
  • Souza V., Lapouchnian A. and Mylopoulos J. , System Identification for Adaptive Software Systems: A Requirements Engineering Perspective In: 30th International Conference on Conceptual Modelling (ER’11), Brussels
  • Souza V., Lapouchnian A., Robinson W. and Mylopoulos J. , Awareness Requirements for Adaptive Systems In: 6th ICSE International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’11), , Honolulu, Hawaii, USA, May 23-24, 2011.
  • Zawawy H., Kontogiannis K., Mylopoulos J., Mankovksi S. , Towards a Requirements-Driven Framework for Detecting Malicious Behavior against Software Systems In: 21st International Conference on Computer Science and Software Engineering (CASCON’11), Toronto
  • Zhan-Lei Ma, Lin Liu, Hongji Yang, Mylopoulos J. , Adaptive Service Composition Based on Runtime Requirements Monitoring In: 9th IEEE International Conference on Web Services (ICWS’11), Washington DC

2010

  • Amit K. Chopra, John Mylopoulos, Fabiano Dalpiaz, Paolo Giorgini, M. Singh, , Requirements as Goals and Commitments too in S. Nurcan, C. Salinesi, C. Souveyet, J. Ralyte (edited by), Intentional Perpectives on Information Systems Engineering, Berlin ; Heidelberg: Springer, 2010, p. 137-154.
  • Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos, Reasoning about Agents and Protocols via Goals and Commitments in AAMAS ’10: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, 2010, p. 457-464.
  • Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos,  Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments in Advanced Information Systems Engineering: 22nd International Conference: CAiSE 2010: Proceedings, Berlin; Heidelberg: Springer, 2010, p. 113-128 -(Lecture Notes in Computer Science; 6051). Proceedings of: Caise, Hammamet, Tunisia, 7th-9th June 2010.
  • Fabiano Dalpiaz, Amit K. Chopra, Paolo Giorgini, John Mylopoulos, Adaptation in Open Systems: Giving Interaction its Rightful Place. In Proceedings of the 29th International Conference on Conceptual Modeling (ER 2010). pp. 31-45. Springer.
  • Raian Ali, Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos, V.E. Silva Souza, The Evolution of Tropos: Contexts, Commitments and Adaptivity in iStar 2010: Proceedings of the 4th International i* Workshop, Germany: CEUR-WS.org, 2010, p. 15-19. Proceedings of: iStar 2010, Hammamet, 7th-8th June 2010.
  • Alberto Siena, Giampaolo Armellin, Gianluca Mameli, John Mylopoulos, Anna Perini, Angelo Susi(2010), Establishing Regulatory Compliance for Information System Requirements: An Experience Report from the Health Care Domain. ER 2010: 90-103
  • Sepideh Ghanavati, Daniel Amyot, Liam Peyton, Alberto Siena, Anna Perini, Angelo Susi, Integrating business strategies with requirement models of legal compliance. IJEB 8(3): 260-280 (2010)

2009

  • Raian Ali, Fabiano Dalpiaz, Paolo Giorgini, A Goal Modeling Framework for Self-Contextualizable Software. In Proceedings of the 14th International Conference on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD 2009). pp. 326-338
  • Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos, An Architecture for Requirements-Driven Self-Reconfiguration. In Proceedings of the 21st International Conference on Advanced Information Systems Engineering (CAiSE’09). pp. 246-260. Springer
  • Alexei Lapouchnian and John Mylopoulos, Modeling Domain Variability in Requirements Engineering with Contexts. In Proc. 28th International Conference on Conceptual Modeling (ER 2009), Gramado, Brazil, Nov 9-12, 2009. A.H.F. Laender, S. Castano, U. Dayal, F. Casati, J.P.M. de Oliveira (Eds.), LNCS Vol. 5829, pp. 115-130, Springer-Verlag, Berlin Heidelberg, 2009.
  • Alberto Siena, John Mylopoulos, Anna Perini, Angelo Susi, Designing Law-Compliant Software Requirements. ER 2009: 472-486
  • Alberto Siena, Anna Perini, Angelo Susi, John Mylopoulos, Towards a framework for law-compliant software requirements. ICSE Companion 2009: 251-254

2008

  • Alberto Siena, Neil A. M. Maiden, James Lockerbie, Inger Kristine Karlsen, Anna Perini, Angelo Susi, Exploring the Effectiveness of Normative i* Modelling: Results from a Case Study on Food Chain Traceability. CAiSE 2008: 182-196
  • Y. Yu, Alexi Lapouchnian, S. Liaskos John Mylopoulos, J.C.S.P. Leite. From Goals to High-Variability Software Design. In Proc. 17th International Symposium on Methodologies for Intelligent Systems (ISMIS 2008), Toronto, Canada, May 20-23, 2008, pp. 1-16. Invited Paper. A. An, et al. (Eds.), Foundations of Intelligent Systems, ISMIS 2008, LNAI Vol. 4994, pp. 1-16, Springer-Verlag, Berlin Heidelberg, 2008.
  • Nicola Zeni, Nadzeya Kiyavitskaya, Luisa Mich, John Mylopoulos, Jim Cordy, Annotating Regulations Using Cerno: an Application to Italian Documents, ARES 2008, Los Alamitos: IEEE Computer Society, 2008, p. 1437-1442 -(IEEE Computer Society). – 2008 Third International Conference on Availability, Reliability and Security, Barcelona, 4th-7th March 2008.
  • Nadzeya Kiyavitskaya, N. Zeni, Travis Breaux, Annie Anton, Jim Cordy, Luisa Mich, John Mylopoulos, Automating the extraction of rights and obligations for regulatory compliance, in Proceedings of the 27th International Conference on Conceptual Modeling (ER 2008), Springer,  p. 154-168 -LNCS  5231. Barcellona, 20th-23rd October 2008.
  • Vítor Souza, Nicola Zeni, Nadzeya Kiyavitskaya, Periklis Andritsos, Luisa Mich, John Mylopoulos, Automating the Generation of Semantic Annotation Schema Using a Clustering Technique, NLDB08, Londra: Springer Verlag, 2008, p. 91-96 London, 24-27 June 2008.
  • Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, Daniel Berry, Requirements for tools ambiguity identification and measurement in natural language requirements specification” in REQUIREMENTS ENGINEERING, v. 13, n. 3 (2008), p. 207-239

Older

  • Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, Travis Breaux, Annie Anton, Jim Cordy, Luisa Mich, John Mylopoulos, Extracting Rights and Obligations from Regulations: Towards a Tool-Supported Process in Proceedings Automated Software Engineering ACM, 2007, p. 429-432., ASE’07, Atlanta, November 2007.
  • Alexi Lapouchnian, Y. Yu, John Mylopoulos. Requirements-Driven Design and Configuration Management of Business Processes. In Proc. 5th International Conference on Business Process Management (BPM 2007), Brisbane, Australia, Sep 24-28, 2007. G. Alonso, P. Dadam, and M. Rosemann (Eds.), LNCS Vol. 4714, pp. 246-261, Springer-Verlag, Berlin Heidelberg, 2007.
  • Alexi Lapouchnian, Y. Yu, S. Liaskos, John Mylopoulos. Requirements-Driven Design of Autonomic Application Software. In Proc. 16th Annual International Conference on Computer Science and Software Engineering CASCON 2006, Toronto, Canada, Oct 16-19, 2006.
  • Borgida A., Mylopoulos J. and Wong H. K. T., Generalization/Specialization as a basis for Software Specification, in Conceptual Modeling
  • Levesque H. and Mylopoulos J. A Procedural Semantics for Semantic Networks, Academic Press, 1979

{ Comments are closed! }