| 2025 | EUMAS | The Agent Metamodel in CATALINA (Cognitive AgenT prActicaL reasonINg Architecture). | Massimo Cossentino, Giovanni Pilato, Guido Averna, Myrto Mylopoulos, John Mylopoulos |
| 2025 | ICSE | Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo. | Mounira Nihad Zitouni, Amal Ahmed Anda, Sahil Rajpal, Daniel Amyot, John Mylopoulos |
| 2024 | ER | Model-Driven Design and Generation of Training Simulators for Reinforcement Learning. | Sotirios Liaskos, Shakil M. Khan, John Mylopoulos, Reza Golipour |
| 2024 | ER | Modeling and Reasoning About Explanation Requirements Using Goal Models. | Sotirios Liaskos, John Mylopoulos, Alexander Borgida, Shakil M. Khan |
| 2024 | RE | SymboleoNLP: A Tool for Generating Formal Specifications from Legal Contract Templates. | Regan Meloche, Daniel Amyot, John Mylopoulos |
| 2023 | PST | Protection against Ransomware in Industrial Control Systems through Decentralization using Blockchain. | Alireza Parvizimosaed, Hamid Azad, Daniel Amyot, John Mylopoulos |
| 2023 | RE | Towards Legal Contract Formalization with Controlled Natural Language Templates. | Regan Meloche, Daniel Amyot, John Mylopoulos |
| 2022 | MODELS | Model-checking legal contracts with SymboleoPC. | Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos |
| 2022 | MODELS | Symboleo2SC: from legal contract specifications to smart contracts. | Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, John Mylopoulos |
| 2022 | RCIS | Contratto - A Method for Transforming Legal Contracts into Formal Specifications. | Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich |
| 2022 | RE | Towards Improved Certification of Complex FinTech Systems - A Requirements-based Approach. | Sepehr Sharifi, Daniel Amyot, John Mylopoulos, Patrick McLaughlin, Ray Feodoroff |
| 2021 | ER | Trustworthiness Requirements: The Pix Case Study. | Glenda C. M. Amaral, Renata S. S. Guizzardi, Giancarlo Guizzardi, John Mylopoulos |
| 2021 | ER | Empirically Evaluating the Semantic Qualities of Language Vocabularies. | Sotirios Liaskos, John Mylopoulos, Shakil M. Khan |
| 2021 | REFSQ | From Legal Contracts to Formal Specifications: A Progress Report. | Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich |
| 2020 | AI | Ethical Requirements for AI Systems. | Renata S. S. Guizzardi, Glenda Carla Moura Amaral, Giancarlo Guizzardi, John Mylopoulos |
| 2020 | ER | Ontology-Based Modeling and Analysis of Trustworthiness Requirements: Preliminary Results. | Glenda C. M. Amaral, Renata S. S. Guizzardi, Giancarlo Guizzardi, John Mylopoulos |
| 2020 | ER | A Refinement Calculus for Requirements Engineering Based on Argumentation Theory. | Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos |
| 2020 | ER | Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo. | Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, John Mylopoulos |
| 2020 | RCIS | COPri - A Core Ontology for Privacy Requirements Engineering. | Mohamad Gharib, John Mylopoulos, Paolo Giorgini |
| 2020 | RE | Symboleo: Towards a Specification Language for Legal Contracts. | Sepehr Sharifi, Alireza Parvizimosaed, Daniel Amyot, Luigi Logrippo, John Mylopoulos |
| 2019 | CaiSE | A Pattern Language for Value Modeling in ArchiMate. | Tiago Prince Sales, Ben Roelens, Geert Poels, Giancarlo Guizzardi, Nicola Guarino, John Mylopoulos |
| 2019 | EJC | On the Philosophical Foundations of Conceptual Models. | Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos |
| 2019 | RCIS | A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics. | John Mylopoulos |
| 2019 | RCIS | Design Thinking and Acceptance Requirements for Designing Gamified Software. | Luca Piras, Daniele Dellagiacoma, Anna Perini, Angelo Susi, Paolo Giorgini, John Mylopoulos |
| 2018 | EDOC | Planning with Strategic Goals. | Evellin Cristine Souza Cardoso, Jennifer Horkoff, Roberto Sebastiani, John Mylopoulos |
| 2018 | ER | The Common Ontology of Value and Risk. | Tiago Prince Sales, Fernanda Baio, Giancarlo Guizzardi, Joo Paulo A. Almeida, Nicola Guarino, John Mylopoulos |
| 2018 | FOIS | Ontological Foundations of Competition. | Tiago Prince Sales, Daniele Porello, Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos |
| 2018 | ICDE | Finding Related Forum Posts through Content Similarity over Intention-Based Segmentation (Extended Abstract). | Dimitra Papadimitriou, Georgia Koutrika, Yannis Velegrakis, John Mylopoulos |
| 2018 | RE | The Next Release Problem Revisited: A New Avenue for Goal Models. | Fatma Basak Aydemir, Fabiano Dalpiaz, Sjaak Brinkkemper, Paolo Giorgini, John Mylopoulos |
| 2018 | RE | CaRE: A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics. | Yehia Elrakaiby, Alessio Ferrari, John Mylopoulos |
| 2017 | EDOC | An Ontological Analysis of Value Propositions. | Tiago Prince Sales, Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos |
| 2017 | ER | Goal-Oriented Regulatory Intelligence: How Can Watson Analytics Help? | Okhaide Akhigbe, Susie Heap, Sakib Islam, Daniel Amyot, John Mylopoulos |
| 2017 | ER | Towards an Ontology for Privacy Requirements via a Systematic Literature Review. | Mohamad Gharib, Paolo Giorgini, John Mylopoulos |
| 2017 | ER | Goal Models for Acceptance Requirements Analysis and Gamification Design. | Luca Piras, Elda Paja, Paolo Giorgini, John Mylopoulos |
| 2017 | RCIS | What can information systems do for regulators? A review of the state-of-practice in Canada. | Okhaide Akhigbe, Daniel Amyot, John Mylopoulos, Gregory Richards |
| 2017 | RCIS | A tool-supported compliance process for software systems. | Priscila Engiel, Julio Csar Sampaio do Prado Leite, John Mylopoulos |
| 2017 | RCIS | Gamification solutions for software acceptance: A comparative study of Requirements Engineering and Organizational Behavior techniques. | Luca Piras, Elda Paja, Paolo Giorgini, John Mylopoulos, Roberta Cuel, Diego Ponte |
| 2017 | RCIS | Evaluation of MUSER, a holistic security requirements analysis framework. | Elias A. Seid, Kazi Robin, Tong Li, John Mylopoulos |
| 2017 | RE | Panel: Context-Dependent Evaluation of Tools for NL RE Tasks: Recall vs. Precision, and Beyond. | Daniel M. Berry, Jane Cleland-Huang, Alessio Ferrari, Walid Maalej, John Mylopoulos, Didar Zowghi |
| 2017 | SEFM | Modeling and Reasoning on Requirements Evolution with Constrained Goal Models. | Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos |
| 2016 | CaiSE | Engineering Requirements with Desiree: An Empirical Evaluation. | Feng-Lin Li, Jennifer Horkoff, Lin Liu, Alexander Borgida, Giancarlo Guizzardi, John Mylopoulos |
| 2016 | ER | Modeling Structured and Unstructured Processes: An Empirical Evaluation. | Evellin Cardoso, Katsiaryna Labunets, Fabiano Dalpiaz, John Mylopoulos, Paolo Giorgini |
| 2016 | ER | Key Performance Indicator Elicitation and Selection Through Conceptual Modelling. | Alejandro Mat, Juan Trujillo, John Mylopoulos |
| 2016 | ER | Requirements Evolution and Evolution Requirements with Constrained Goal Models. | Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos |
| 2016 | ER | Can Goal Reasoning Techniques Be Used for Strategic Decision-Making? | Elda Paja, Alejandro Mat, Carson C. Woo, John Mylopoulos |
| 2016 | ER | Building Large Models of Law with NmosT. | Nicola Zeni, Elias A. Seid, Priscila Engiel, Silvia Ingolfo, John Mylopoulos |
| 2016 | ICSE | Model predictive control for software systems with CobRA. | Konstantinos Angelopoulos, Alessandro Vittorio Papadopoulos, Vtor E. Silva Souza, John Mylopoulos |
| 2016 | RCIS | Solving the next adaptation problem with prometheus. | Konstantinos Angelopoulos, Fatma Basak Aydemir, Paolo Giorgini, John Mylopoulos |
| 2016 | RCIS | Multi-objective risk analysis with goal models. | Fatma Basak Aydemir, Paolo Giorgini, John Mylopoulos |
| 2016 | RCIS | Security attack analysis using attack patterns. | Tong Li, Elda Paja, John Mylopoulos, Jennifer Horkoff, Kristian Beckers |
| 2016 | RCIS | How software changes the world: The role of assumptions. | Xiaowei Wang, John Mylopoulos, Giancarlo Guizzardi, Nicola Guarino |
| 2016 | RE | Goal-Oriented Requirements Engineering: A Systematic Literature Map. | Jennifer Horkoff, Fatma Basak Aydemir, Evellin Cardoso, Tong Li, Alejandro Mat, Elda Paja, Mattia Salnitri, John Mylopoulos, Paolo Giorgini |
| 2016 | RE | Acceptance Requirements and Their Gamification Solutions. | Luca Piras, Paolo Giorgini, John Mylopoulos |
| 2015 | CaiSE | The Importance of Teaching Goal-Oriented Analysis Techniques: an Experience Report. | Elda Paja, Jennifer Horkoff, John Mylopoulos |
| 2015 | EDOC | Monitoring Strategic Business Goals with Argus. | Alejandro Mate, Juan Trujillo, Elvis Koci, Kostas Zoumpatianos, John Mylopoulos |
| 2015 | ER | Capturing Variability in Adaptation Spaces: A Three-Peaks Approach. | Konstantinos Angelopoulos, Vtor E. Silva Souza, John Mylopoulos |
| 2015 | ER | Stress Testing Strategic Goals with SWOT Analysis. | Alejandro Mat, Juan Trujillo, John Mylopoulos |
| 2015 | ER | The Importance of Teaching Systematic Analysis for Conceptual Models: An Experience Report. | Elda Paja, Jennifer Horkoff, John Mylopoulos |
| 2015 | ICDE | Goals in Social Media, information retrieval and intelligent agents. | Dimitra Papadimitriou, Yannis Velegrakis, Georgia Koutrika, John Mylopoulos |
| 2015 | RCIS | Social specifications of business processes with Azzurra. | Fabiano Dalpiaz, Evellin Cardoso, Giulia Canobbio, Paolo Giorgini, John Mylopoulos |
| 2015 | RCIS | Models for strategic planning: Applying TBIM to the Montreux Jazz Festival case study. | Fabiano Francesconi, Fabiano Dalpiaz, John Mylopoulos |
| 2015 | RE | Holistic security requirements analysis: An attacker's perspective. | Tong Li, Elda Paja, John Mylopoulos, Jennifer Horkoff, Kristian Beckers |
| 2015 | REFSQ | From Stakeholder Requirements to Formal Specifications Through Refinement. | Feng-Lin Li, Jennifer Horkoff, Alexander Borgida, Giancarlo Guizzardi, Lin Liu, John Mylopoulos |
| 2015 | REFSQ | Analyzing and Enforcing Security Mechanisms on Requirements Specifications. | Tong Li, Jennifer Horkoff, John Mylopoulos |
| 2014 | CaiSE | A Prototype Tool for Modeling and Analyzing Security Requirements from A Holistic Viewpoint. | Tong Li, Jennifer Horkoff, John Mylopoulos |
| 2014 | ER | Evaluating Modeling Languages: An Example from the Requirements Domain. | Jennifer Horkoff, Fatma Basak Aydemir, Feng-Lin Li, Tong Li, John Mylopoulos |
| 2014 | ER | Modeling Regulatory Compliance in Requirements Engineering. | Silvia Ingolfo, Alberto Siena, John Mylopoulos |
| 2014 | ER | Software as a Social Artifact: A Management and Evolution Perspective. | Xiaowei Wang, Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos |
| 2014 | FOIS | An Ontological Interpretation of Non-Functional Requirements. | Renata S. S. Guizzardi, Feng-Lin Li, Alexander Borgida, Giancarlo Guizzardi, Jennifer Horkoff, John Mylopoulos |
| 2014 | FOIS | Towards an Ontology of Software: a Requirements Engineering Perspective. | Xiaowei Wang, Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos |
| 2014 | ICECCS | Evolving Commitments for Self-Adaptive Socio-technical Systems. | Xin Peng, Yi Xie, Yijun Yu, John Mylopoulos, Wenyun Zhao |
| 2014 | ICSE | Dealing with multiple failures in zanshin: a control-theoretic approach. | Konstantinos Angelopoulos, Vtor E. Silva Souza, John Mylopoulos |
| 2014 | RCIS | Exploring alternative designs for sociotechnical systems. | Fatma Basak Aydemir, Paolo Giorgini, John Mylopoulos, Fabiano Dalpiaz |
| 2014 | RCIS | Taking goal models downstream: A systematic roadmap. | Jennifer Horkoff, Tong Li, Feng-Lin Li, Mattia Salnitri, Evellin Cardoso, Paolo Giorgini, John Mylopoulos, Joo Pimentel |
| 2014 | RE | Applying knowledge representation and reasoning to (simple) goal models. | Alexander Borgida, Jennifer Horkoff, John Mylopoulos |
| 2014 | RE | Protos: Foundations for engineering innovative sociotechnical systems. | Amit K. Chopra, Fabiano Dalpiaz, Fatma Basak Aydemir, Paolo Giorgini, John Mylopoulos, Munindar P. Singh |
| 2014 | RE | Nmos 3: Reasoning about regulatory compliance of requirements. | Silvia Ingolfo, Alberto Siena, John Mylopoulos |
| 2014 | RE | Non-functional requirements as qualities, with a spice of ontology. | Feng-Lin Li, Jennifer Horkoff, John Mylopoulos, Renata S. S. Guizzardi, Giancarlo Guizzardi, Alexander Borgida, Lin Liu |
| 2014 | RE | Rationalism with a dose of empiricism: Case-based reasoning for requirements-driven self-adaptation. | Wenyi Qian, Xin Peng, Bihuan Chen, John Mylopoulos, Huanhuan Wang, Wenyun Zhao |
| 2014 | SAC | From requirements to statecharts via design refinement. | Joo Pimentel, Jaelson Castro, John Mylopoulos, Konstantinos Angelopoulos, Vtor E. Silva Souza |
| 2013 | ER | TBIM: A Language for Modeling and Reasoning about Business Plans. | Fabiano Francesconi, Fabiano Dalpiaz, John Mylopoulos |
| 2013 | ER | Modeling and Reasoning with Decision-Theoretic Goals. | Sotirios Liaskos, Shakil M. Khan, Mikhail Soutchanski, John Mylopoulos |
| 2013 | ER | Automated Reasoning for Regulatory Compliance. | Alberto Siena, Silvia Ingolfo, Anna Perini, Angelo Susi, John Mylopoulos |
| 2013 | ICSE | Requirements models for design- and runtime: a position paper. | Alexander Borgida, Fabiano Dalpiaz, Jennifer Horkoff, John Mylopoulos |
| 2013 | RCIS | Runtime goal models: Keynote. | Fabiano Dalpiaz, Alexander Borgida, Jennifer Horkoff, John Mylopoulos |
| 2013 | RE | Modeling laws with nomos 2. | Silvia Ingolfo, Alberto Siena, Angelo Susi, Anna Perini, John Mylopoulos |
| 2013 | RE | Requirements Models at Design and Runtime. | John Mylopoulos |
| 2013 | RE | Requirements engineering conferences: Wither industry tracks? | Roel J. Wieringa, Pascal van Eck, John Mylopoulos |
| 2013 | RE | Applying gaiust for extracting requirements from legal documents. | Nicola Zeni, Luisa Mich, John Mylopoulos, James R. Cordy |
| 2013 | REFSQ | Choosing Compliance Solutions through Stakeholder Preferences. | Silvia Ingolfo, Alberto Siena, Ivan Jureta, Angelo Susi, Anna Perini, John Mylopoulos |
| 2012 | CaiSE | Business Intelligence Modeling in Action: A Hospital Case Study. | Daniele Barone, Thodoros Topaloglou, John Mylopoulos |
| 2012 | CaiSE | Agile Requirements Evolution via Paraconsistent Reasoning. | Neil A. Ernst, Alexander Borgida, John Mylopoulos, Ivan Jureta |
| 2012 | CaiSE | Requirements-Driven Root Cause Analysis Using Markov Logic Networks. | Hamzeh Zawawy, Kostas Kontogiannis, John Mylopoulos, Serge Mankovski |
| 2012 | COMPSAC | Software Service Evolution: A Requirements Perspective. | Feng-Lin Li, Lin Liu, John Mylopoulos |
| 2012 | ER | Conceptualizing and Specifying Key Performance Indicators in Business Strategy Models. | Alejandro Mat, Juan Trujillo, John Mylopoulos |
| 2012 | ER | Requirements, Intentions, Goals and Applicable Norms. | Alberto Siena, Silvia Ingolfo, Angelo Susi, Ivan Jureta, Anna Perini, John Mylopoulos |
| 2012 | ER | Capturing Variability of Law with Nmos 2. | Alberto Siena, Ivan Jureta, Silvia Ingolfo, Angelo Susi, Anna Perini, John Mylopoulos |
| 2012 | ICSE | (Requirement) evolution requirements for adaptive systems. | Vtor Estvo Silva Souza, Alexei Lapouchnian, John Mylopoulos |
| 2012 | RE | Stateful requirements monitoring for self-repairing socio-technical systems. | Lingxiao Fu, Xin Peng, Yijun Yu, John Mylopoulos, Wenyun Zhao |
| 2012 | SAC | Monitoring strategic goals in data warehouses with awareness requirements. | Vtor Estvo Silva Souza, Jose-Norberto Mazn, Irene Garrigs, Juan Trujillo, John Mylopoulos |
| 2011 | CaiSE | Modeling Design Patterns with Description Logics: A Case Study. | Yudistira Asnar, Elda Paja, John Mylopoulos |
| 2011 | CaiSE | Goal-Based Behavioral Customization of Information Systems. | Sotirios Liaskos, Marin Litoiu, Marina Daoud Jungblut, John Mylopoulos |
| 2011 | CaiSE | An Extended Ontology for Security Requirements. | Fabio Massacci, John Mylopoulos, Federica Paci, Thein Than Tun, Yijun Yu |
| 2011 | CIKM | Supporting queries spanning across phases of evolving artifacts using Steiner forests. | Siarhei Bykau, John Mylopoulos, Flavio Rizzolo, Yannis Velegrakis |
| 2011 | ER | Composite Indicators for Business Intelligence. | Daniele Barone, Lei Jiang, Daniel Amyot, John Mylopoulos |
| 2011 | ER | Establishing Regulatory Compliance for Software Requirements. | Silvia Ingolfo, Alberto Siena, John Mylopoulos |
| 2011 | ER | Strategic Models for Business Intelligence. | Lei Jiang, Daniele Barone, Daniel Amyot, John Mylopoulos |
| 2011 | ER | System Identification for Adaptive Software Systems: A Requirements Engineering Perspective. | Vtor Estvo Silva Souza, Alexei Lapouchnian, John Mylopoulos |
| 2011 | ICSE | Awareness requirements for adaptive systems. | Vtor Estvo Silva Souza, Alexei Lapouchnian, William N. Robinson, John Mylopoulos |
| 2011 | ICWS | Adaptive Service Composition Based on Runtime Requirements Monitoring. | Zhanlei Ma, Lin Liu, Hongji Yang, John Mylopoulos |
| 2011 | MSR | Automated topic naming to support cross-project analysis of software maintenance activities. | Abram Hindle, Neil A. Ernst, Michael W. Godfrey, John Mylopoulos |
| 2011 | RE | From awareness requirements to adaptive systems: A control-theoretic approach. | Vtor E. Silva Souza, John Mylopoulos |
| 2010 | CaiSE | Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments. | Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos |
| 2010 | CaiSE | The Brave New World of Design Requirements: Four Key Principles. | Matthias Jarke, Pericles Loucopoulos, Kalle Lyytinen, John Mylopoulos, William N. Robinson |
| 2010 | ER | Adaptation in Open Systems: Giving Interaction Its Rightful Place. | Fabiano Dalpiaz, Amit K. Chopra, Paolo Giorgini, John Mylopoulos |
| 2010 | ER | Reasoning with Optional and Preferred Requirements. | Neil A. Ernst, John Mylopoulos, Alexander Borgida, Ivan Jureta |
| 2010 | ER | Extending Organizational Modeling with Business Services Concepts: An Overview of the Proposed Architecture. | Hugo Estrada, Alicia Martnez, Oscar Pastor, John Mylopoulos, Paolo Giorgini |
| 2010 | ER | The Model Role Level - A Vision. | Rick Salay, John Mylopoulos |
| 2010 | ER | Establishing Regulatory Compliance for Information System Requirements: An Experience Report from the Health Care Domain. | Alberto Siena, Giampaolo Armellin, Gianluca Mameli, John Mylopoulos, Anna Perini, Angelo Susi |
| 2010 | RE | Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling. | Ivan Jureta, Alexander Borgida, Neil A. Ernst, John Mylopoulos |
| 2010 | RE | Integrating Preferences into Goal Models for Requirements Engineering. | Sotirios Liaskos, Sheila A. McIlraith, Shirin Sohrabi, John Mylopoulos |
| 2010 | RE | Towards a continuous requirements engineering framework for self-adaptive systems. | Nauman A. Qureshi, Anna Perini, Neil A. Ernst, John Mylopoulos |
| 2010 | REFSQ | On the Perception of Software Quality Requirements during the Project Lifecycle. | Neil A. Ernst, John Mylopoulos |
| 2009 | CaiSE | An Architecture for Requirements-Driven Self-reconfiguration. | Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos |
| 2009 | CaiSE | Measuring and Comparing Effectiveness of Data Quality Techniques. | Lei Jiang, Daniele Barone, Alexander Borgida, John Mylopoulos |
| 2009 | CaiSE | Improving Model Quality Using Diagram Coverage Criteria. | Rick Salay, John Mylopoulos |
| 2009 | CaiSE | Using Macromodels to Manage Collections of Related Models. | Rick Salay, John Mylopoulos, Steve M. Easterbrook |
| 2009 | ER | Modeling Domain Variability in Requirements Engineering with Contexts. | Alexei Lapouchnian, John Mylopoulos |
| 2009 | ER | Conceptual Modeling in the Time of the Revolution: Part II. | John Mylopoulos |
| 2009 | ER | Modeling Concept Evolution: A Historical Perspective. | Flavio Rizzolo, Yannis Velegrakis, John Mylopoulos, Siarhei Bykau |
| 2009 | ER | Designing Law-Compliant Software Requirements. | Alberto Siena, John Mylopoulos, Anna Perini, Angelo Susi |
| 2009 | ER | Monitoring and Diagnosing Malicious Attacks with Autonomic Software. | Vtor Estvo Silva Souza, John Mylopoulos |
| 2009 | ICSE | Towards a framework for law-compliant software requirements. | Alberto Siena, Anna Perini, Angelo Susi, John Mylopoulos |
| 2009 | KSEM | Required Knowledge for Delivering Services. | Brian Donnellan, Diem Ho, John Mylopoulos, Stefan Schambron, Hans-Georg Fill |
| 2009 | KSEM | Models in Knowledge Management. | John Mylopoulos |
| 2009 | RE | Analysis of Multi-Party Agreement in Requirements Validation. | Ivan Jureta, John Mylopoulos, Stphane Faulkner |
| 2009 | RE | A Meta-Model for Modelling Law-Compliant Requirements. | Alberto Siena, Anna Perini, Angelo Susi, John Mylopoulos |
| 2009 | SEKE | From Organizational Models to Software Requirements. | Alicia Martnez, Oscar Pastor, John Mylopoulos, Hugo Estrada |
| 2008 | ER | Towards a Compositional Semantic Account of Data Quality Attributes. | Lei Jiang, Alexander Borgida, John Mylopoulos |
| 2008 | ER | Automating the Extraction of Rights and Obligations for Regulatory Compliance. | Nadzeya Kiyavitskaya, Nicola Zeni, Travis D. Breaux, Annie I. Antn, James R. Cordy, Luisa Mich, John Mylopoulos |
| 2008 | ISMIS | From Goals to High-Variability Software Design. | Yijun Yu, Alexei Lapouchnian, Sotirios Liaskos, John Mylopoulos, Julio Csar Sampaio do Prado Leite |
| 2008 | NLDB | Automating the Generation of Semantic Annotation Tools Using a Clustering Technique. | Vtor Estvo Silva Souza, Nicola Zeni, Nadzeya Kiyavitskaya, Periklis Andritsos, Luisa Mich, John Mylopoulos |
| 2008 | RE | Supporting Requirements Model Evolution throughout the System Life-Cycle. | Neil A. Ernst, John Mylopoulos, Yijun Yu, Tien Nguyen |
| 2008 | RE | Revisiting the Core Ontology and Problem in Requirements Engineering. | Ivan Jureta, John Mylopoulos, Stphane Faulkner |
| 2008 | RE | From Laws to Requirements. | Alberto Siena, John Mylopoulos, Anna Perini, Angelo Susi |
| 2008 | SAC | Configuring features with stakeholder goals. | Yijun Yu, Julio Csar Sampaio do Prado Leite, Alexei Lapouchnian, John Mylopoulos |
| 2007 | BPM | Requirements-Driven Design and Configuration Management of Business Processes. | Alexei Lapouchnian, Yijun Yu, John Mylopoulos |
| 2007 | ENTER | Annotating Accommodation Advertisements Using CERNO. | Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, James R. Cordy, John Mylopoulos |
| 2007 | ER | An Ontology for Requirements. | John Mylopoulos, Ivan Jureta, Stphane Faulkner |
| 2007 | ICDE | A Semantic Approach to Discovering Schema Mapping Expressions. | Yuan An, Alexander Borgida, Rene J. Miller, John Mylopoulos |
| 2007 | NLDB | A Lightweight Approach to Semantic Annotation of Research Papers. | Nicola Zeni, Nadzeya Kiyavitskaya, Luisa Mich, John Mylopoulos, James R. Cordy |
| 2007 | PRIMA | Supporting Requirements Analysis in Tropos: A Planning-Based Approach. | Volha Bryl, Paolo Giorgini, John Mylopoulos |
| 2007 | RE | Goal-Oriented Conceptual Database Design. | Lei Jiang, Thodoros Topaloglou, Alexander Borgida, John Mylopoulos |
| 2007 | RE | Business Process-Based Regulation Compliance: The Case of the Sarbanes-Oxley Act. | Dimitris Karagiannis, John Mylopoulos, Margit Schwab |
| 2007 | RE | Tracing and Validating Goal Aspects. | Yijun Yu, Nan Niu, Bruno Gonzlez-Baixauli, William Candillon, John Mylopoulos, Steve M. Easterbrook, Julio Csar Sampaio do Prado Leite, Gilles Vanwormhoudt |
| 2006 | AAAI | Building Semantic Mappings from Databases to Ontologies. | Yuan An, John Mylopoulos, Alexander Borgida |
| 2006 | AAAI | Decision Making in Uncertain Real-World Domains Using DT-Golog. | Mikhail Soutchanski, Huy Pham, John Mylopoulos |
| 2006 | CaiSE | A Tropos Model-Driven Development Environment. | Davide Bertolini, Loris Delpero, John Mylopoulos, Aliaksei Novikau, Alessandro Orler, Loris Penserini, Anna Perini, Angelo Susi, Barbara Tomasi |
| 2006 | CaiSE | Designing Security Requirements Models Through Planning. | Volha Bryl, Fabio Massacci, John Mylopoulos, Nicola Zannone |
| 2006 | CaiSE | An Empirical Evaluation of the | Hugo Estrada, Alicia Martnez Rebollar, Oscar Pastor, John Mylopoulos |
| 2006 | CaiSE | From Stakeholder Intentions to Software Agent Implementations. | Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos |
| 2006 | COMPSAC | Security Design Based on Social Modeling. | Lin Liu, Eric S. K. Yu, John Mylopoulos |
| 2006 | ECAI | Decision Making in Large-Scale Domains: A Case Study. | Mikhail Soutchanski, Huy Pham, John Mylopoulos |
| 2006 | EDBT | An ECA Rule Rewriting Mechanism for Peer Data Management Systems. | Dan Zhao, John Mylopoulos, Iluju Kiringa, Verena Kantere |
| 2006 | ER | A Multi-perspective Framework for Organizational Patterns. | Enzo Colombo, John Mylopoulos |
| 2006 | ER | Conceptualizing the Co-evolution of Organizations and Information Systems: An Agent-Oriented Perspective. | Ning Su, John Mylopoulos |
| 2006 | EUMAS | Agent Capability: Automating the Design to Code Process. | Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos |
| 2006 | RE | Using Aspects to Simplify iModels. | Fernanda M. R. Alencar, Ana Moreira, Joo Arajo, Jaelson Castro, Carla T. L. L. Silva, John Mylopoulos |
| 2006 | RE | Deriving Architectures from Requirements. | Lcia R. D. Bastos, Jaelson Castro, John Mylopoulos |
| 2006 | RE | Detecting Conflicts of Interest. | Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone |
| 2006 | RE | Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management. | Lei Jiang, Thodoros Topaloglou, Alexander Borgida, John Mylopoulos |
| 2006 | RE | On Goal-based Variability Acquisition and Analysis. | Sotirios Liaskos, Alexei Lapouchnian, Yijun Yu, Eric S. K. Yu, John Mylopoulos |
| 2006 | RE | Goal-Oriented Requirements Engineering, Part II. | John Mylopoulos |
| 2005 | APSEC | Goal-Oriented Requirements Engineering. | John Mylopoulos |
| 2005 | APWEB | Databases and the Semantic Web: Data Semantics Revisited. | Alexander Borgida, John Mylopoulos |
| 2005 | CaiSE | Quality-Based Software Reuse. | Julio Csar Sampaio do Prado Leite, Yijun Yu, Lin Liu, Eric S. K. Yu, John Mylopoulos |
| 2005 | ESORICS | Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation. | Fabio Massacci, John Mylopoulos, Nicola Zannone |
| 2005 | FASE | Improving the Build Architecture of Legacy C/C++ Software Systems. | Homayoun Dayani-Fard, Yijun Yu, John Mylopoulos, Periklis Andritsos |
| 2005 | ICDE | Representing and Querying Data Transformations. | Yannis Velegrakis, Rene J. Miller, John Mylopoulos |
| 2005 | ICSE | DEAS 2005: workshop on the design and evolution of autonomic application software. | David Garlan, John Mylopoulos, Marin Litoiu, Dennis B. Smith, Hausi A. Mller, Kenny Wong |
| 2005 | ICSOC | Modeling and Analyzing Context-Aware Composition of Services. | Enzo Colombo, John Mylopoulos, Paola Spoletini |
| 2005 | RE | Modeling Security Requirements Through Ownership, Permission and Delegation. | Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone |
| 2005 | RE | ST-Tool: A CASE Tool for Security Requirements Engineering. | Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone |
| 2005 | RE | Reverse Engineering Goal Models from Legacy Code. | Yijun Yu, Yiqiao Wang, John Mylopoulos, Sotirios Liaskos, Alexei Lapouchnian, Julio Csar Sampaio do Prado Leite |
| 2005 | VLDB | Data Sharing in the Hyperion Peer Database System. | Patricia Rodrguez-Gianolli, Maddalena Garzetti, Lei Jiang, Anastasios Kementsietsidis, Iluju Kiringa, Mehedi Masud, Rene J. Miller, John Mylopoulos |
| 2004 | CaiSE | Simple and Minimum-Cost Satisfiability for Goal Models. | Roberto Sebastiani, Paolo Giorgini, John Mylopoulos |
| 2004 | ICDE | ToMAS: A System for Adapting Mappings while Schemas Evolve. | Yannis Velegrakis, Rene J. Miller, Lucian Popa, John Mylopoulos |
| 2004 | ICWS | Designing Web Services with Tropos. | Diana Lau, John Mylopoulos |
| 2004 | NLDB | Experimenting with Linguistic Tools for Conceptual Modelling: Quality of the Models and Critical Features. | Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, John Mylopoulos |
| 2004 | RE | Visual Variability Analysis for Goal Models. | Bruno Gonzlez-Baixauli, Julio Csar Sampaio do Prado Leite, John Mylopoulos |
| 2004 | RE | From Goals to Aspects: Discovering Aspects from Requirements Goal Models. | Yijun Yu, Julio Csar Sampaio do Prado Leite, John Mylopoulos |
| 2004 | WWW | A Lightweight Approach to Semantic Tagging. | Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, John Mylopoulos |
| 2003 | CaiSE | Modeling Organizational Architectural Styles in UML. | Jaelson Castro, Carla T. L. L. Silva, John Mylopoulos |
| 2003 | CaiSE | Organizational Patterns for Early Requirements Analysis. | Manuel Kolp, Paolo Giorgini, John Mylopoulos |
| 2003 | CoopIS | A Distributed Rule Mechanism for Multidatabase Systems. | Vasiliki Kantere, John Mylopoulos, Iluju Kiringa |
| 2003 | CoopIS | Tenth Anniversasy of CoopIS: Cooperative Information Systems Then and Now. | John Mylopoulos |
| 2003 | ER | Requirement Engineering Meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard. | Paolo Giorgini, Fabio Massacci, John Mylopoulos |
| 2003 | ICSE | Integrating Organizational Requirements and Socio-Intentional Architectural Styles. | Lcia R. D. Bastos, Jaelson Brelaz de Castro, John Mylopoulos |
| 2003 | ICSE | Detailing Architectural Design in the Tropos Methodology. | Carla T. L. L. Silva, Jaelson Brelaz de Castro, John Mylopoulos |
| 2003 | IDEAS | Automated EJB Client Code Generation Using Database Query Rewriting. | Jianguo Lu, John Mylopoulos |
| 2003 | RE | Specifying and Analyzing Early Requirements: Some Experimental Results. | Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos |
| 2003 | RE | Requirements Analysis for Customizable Software Goals-Skills-Preferences Framework. | Bowen Hui, Sotirios Liaskos, John Mylopoulos |
| 2003 | RE | Security and Privacy Requirements Analysis within a Social Setting. | Lin Liu, Eric S. K. Yu, John Mylopoulos |
| 2003 | WISE | From Task-Oriented to Goal-Oriented Web Requirements Analysis. | Davide Bolchini, John Mylopoulos |
| 2003 | WISE | SemanticWeb Services: Facts and Fiction. | John Mylopoulos, Maria E. Orlowska |
| 2002 | ER | Reasoning with Goal Models. | Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani |
| 2002 | SEKE | Information systems development through social structures. | Manuel Kolp, Paolo Giorgini, John Mylopoulos |
| 2001 | CaiSE | A Requirements-Driven Development Methodology. | Jaelson Castro, Manuel Kolp, John Mylopoulos |
| 2001 | ER | A Semantic Approach to XML-based Data Integration. | Patricia Rodrguez-Gianolli, John Mylopoulos |
| 2001 | FOIS | Information systems as social structures. | Ariel Fuxman, Paolo Giorgini, Manuel Kolp, John Mylopoulos |
| 2001 | RE | Integrating Organizational Requirements and Object Oriented Modeling. | Jaelson Castro, John Mylopoulos, Fernanda M. R. Alencar, Gilberto A. Cysneiros Filho |
| 2001 | RE | Model Checking Early Requirements Specifications in Tropos. | Ariel Fuxman, John Mylopoulos, Marco Pistore, Paolo Traverso |
| 2001 | SEKE | Agent- Oriented Software Development: A Case Study. | Paolo Giorgini, Anna Perini, John Mylopoulos, Fausto Giunchiglia, Paolo Bresciani |
| 2001 | WISE | Semantic Models for Knowledge Management. | Raoul Jarvis, Gregory McArthur, John Mylopoulos, Patricia Rodrguez-Gianolli, Shun Zhou |
| 2000 | CaiSE | Why Is It So Difficult to Introduce RE Research Results into Mainstream RE Practice? | Hermann Kaindl, John Mylopoulos |
| 2000 | CaiSE | Towards Extensible Information Brokers Based on XML. | Jianguo Lu, John Mylopoulos, Jamie Ho |
| 2000 | ER | From Entities and Relationships to Social Actors and Dependencies. | John Mylopoulos, Ariel Fuxman, Paolo Giorgini |
| 1999 | CaiSE | Modeling Dynamic Domains with ConGolog. | Yves Lesprance, Todd G. Kelley, John Mylopoulos, Eric S. K. Yu |
| 1998 | CoopIS | Information Services for the Web: Building and Maintaining Domain Models. | Scott Kerr, Avigdor Gal, John Mylopoulos |
| 1998 | SIGMOD | Panel on Next Generation Database Systems Won't Work Without Semantics! | John Mylopoulos |
| 1998 | REFSQ | Why Goal-Oriented Requirements Engineering. | Eric S. K. Yu, John Mylopoulos |
| 1996 | AI | Developing an Expert System Technology for Industrial Process Control: An Experience Report. | Bryan M. Kramer, John Mylopoulos, Michael E. Benjamin, Q. B. Chou, Peter Ahn, John Opala |
| 1996 | CaiSE | Semantics, Features, and Applications of the Viewpoint Abstraction. | Renate Motschnig-Pitrik, John Mylopoulos |
| 1996 | CoopIS | A Generic Integration Architecture for Cooperative Information Systems. | John Mylopoulos, Avigdor Gal, Kostas Kontogiannis, Martin Stanley |
| 1996 | CSCW | Cooperative Information Systems: A Research Agenda (Tutorial). | Matthias Jarke, John Mylopoulos |
| 1996 | EDBT | Accomodating Integrity Constraints During Database Design. | Dimitris Plexousakis, John Mylopoulos |
| 1996 | ER | Representing Partial Spatial Information in Databases. | Thodoros Topaloglou, John Mylopoulos |
| 1995 | CoopIS | Partitioning Information Bases with Contexts. | John Mylopoulos, Renate Motschnig-Pitrik |
| 1995 | CoopIS | From Organization Models to System Requirements: A 'Cooperating Agents' Approach. | Eric S. K. Yu, Philippe Du Bois, Eric Dubois, John Mylopoulos |
| 1995 | IJCAI | Efficient Algorithms and Performance Results for Multi-User Knowledge Bases. | Vinay K. Chaudhri, John Mylopoulos |
| 1994 | CIKM | Quantitative Evaluation of a Transaction Facility for a Knowledge Base Management System. | Vinay K. Chaudhri, Vassos Hadzilacos, John Mylopoulos, Kenneth C. Sevcik |
| 1994 | DEXA | Expert Systems for Industrial Process Control: A Study in Technology Transfer. | John Mylopoulos |
| 1994 | ER | From E-R to "A-R" - Modelling Strategic Actor Relationships for Business Process Reengineering. | Eric S. K. Yu, John Mylopoulos |
| 1994 | ICSE | On Formal Requirements Modeling Languages: RML Revisited. | Sol J. Greenspan, John Mylopoulos, Alexander Borgida |
| 1994 | ICSE | Understanding "Why" in Software Process Modelling, Analysis, and Design. | Eric S. K. Yu, John Mylopoulos |
| 1993 | CoopIS | Task-Oriented Development of Intelligent Information Systems. | John Mylopoulos, Thomas Rose, Carson C. Woo |
| 1993 | Group | An actor dependency model of organizational work: with application to business process reengineering. | Eric S. K. Yu, John Mylopoulos |
| 1993 | ICSE | "...And Nothing Else Changes": The Frame Problem in Procedure Specifications. | Alexander Borgida, John Mylopoulos, Raymond Reiter |
| 1993 | ICTAI | The Future Direction of AI Tools (Panel). | John Mylopoulos |
| 1992 | COMPSAC | Organizing software repositories modeling requirements and implementation experiences. | Thomas Rose, Matthias Jarke, John Mylopoulos |
| 1992 | ICRA | Introducing robotic 'common sense' in real time dexterous manipulation. | S. P. Ananthanarayanan, David Gershon, Andrew A. Goldenberg, John Mylopoulos |
| 1992 | KR | Concurrency Control for Knowledge Bases. | Vinay K. Chaudhri, Vassos Hadzilacos, John Mylopoulos |
| 1992 | VLDB | Software Repositories. | John Mylopoulos, Thomas Rose |
| 1991 | Group | A conceptual modelling approach to authoring-in-the-large for hypertext documents. | Rick Sobiesiak, John Mylopoulos |
| 1990 | CaiSE | IRIS - A Mapping Assistant for Generating Designs from Requirements. | Yannis Vassiliou, Manolis Marakakis, Panagiotis Katalagarianos, Lawrence Chung, Michalis Mertikas, John Mylopoulos |
| 1990 | DS | Object-Orientation and Knowledge Representation. | John Mylopoulos |
| 1990 | ICTAI | KNOWBEL: a hybrid expert system building tool. | John Mylopoulos, Huaiqing Wang, Andre Kushniruk |
| 1988 | EDBT | Process Management and Assertion Enforcement for a Semantic Data Model. | Lawrence Chung, Daniel Rios-Zertuche, Brian A. Nixon, John Mylopoulos |
| 1987 | SIGMOD | Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis. | Brian A. Nixon, Lawrence Chung, David Lauzon, Alexander Borgida, John Mylopoulos, Martin Stanley |
| 1985 | WI | Knowledge Reperesentation as the Basis for Requirements Specification (Reprint). | Alexander Borgida, Sol J. Greenspan, John Mylopoulos |
| 1983 | IJCAI | A Panel on AI and Databases. | Raymond Reiter, Herv Gallaire, Jonathan J. King, John Mylopoulos, Bonnie L. Webber |
| 1983 | IJCAI | CAA: A Knowledge Based System Using Causal Knowledge to Diagnose Cardiac Rhythm Disorders. | Tetsutaro Shibahara, John K. Tsotsos, John Mylopoulos, H. Dominic Covvey |
| 1983 | KI | An Overview of Knowledge Representation. | John Mylopoulos, Hector J. Levesque |
| 1982 | ICSE | Capturing More World Knowledge in the Requirements Specification. | Sol J. Greenspan, John Mylopoulos, Alexander Borgida |
| 1980 | SIGMOD | An Overview of Knowledge Representation. | John Mylopoulos |
| 1980 | SIGMOD | Tutorial on Artificial Intelligence Research. | John Mylopoulos |
| 1980 | SIGMOD | A Perspective for Research on Conceptual Modelling. | John Mylopoulos |
| 1980 | SIGMOD | Relationships Between and Among Models (discussion). | John Mylopoulos, Martin S. Feather, Bertrand Meyer, Paolo Paolini, Diane C. P. Smith, Gary G. Hendrix |
| 1980 | VLDB | Some Features of the TAXIS Data Model. | John Mylopoulos, Harry K. T. Wong |
| 1979 | IJCAI | ALVEN: A Study on Motion Understanding by Computer. | John K. Tsotsos, John Mylopoulos, H. Dominic Cowey, Steven W. Zucker |
| 1978 | SIGMOD | A Language Facility for Designing Interactive Database-Intensive Applications (Abstract). | John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong |
| 1977 | IJCAI | An Overview of a Procedural Approach to Semantic Networks. | Hector J. Levesque, John Mylopoulos |
| 1975 | IJCAI | TORUS - A Natural Language Understanding System For Data Management. | John Mylopoulos |
| 1975 | IJCAI | Semantic Networks and the Generation of Context. | John Mylopoulos, Philip R. Cohen, Alexander Borgida, Laszlo Sugar |
| 1975 | VLDB | Using Semantic Networks for Database Management. | Nick Roussopoulos, John Mylopoulos |
| 1973 | IJCAI | l.Pak: A SNOBOL-Based Programming Language for Artificial Intelligence Applications. | John Mylopoulos, Norman I. Badler, L. Melli, Nick Roussopoulos |
| 1972 | FOCS | On the Relation of Graph Grammars and Graph Automata | John Mylopoulos |
| 1972 | FOCS | Some Results in Computational Topology | George Tourlakis, John Mylopoulos |