John Mylopoulos

ORCID

Publication Activity (10 Years)

Years Active: 1971-2023
Publications (10 Years): 123

Top Venues

RCIS

CASCON

Publications

Renata Guizzardi, Glenda C. M. Amaral, Giancarlo Guizzardi, John Mylopoulos
An ontology-based approach to engineering ethicality requirements. Softw. Syst. Model. 22 (6) (2023)
Sofana Alfuhaid, Daniel Amyot, Amal Ahmed Anda, John Mylopoulos
A Mapping Review on Cyber-Physical Smart Contracts: Architectures, Platforms, and Challenges. IEEE Access 11 (2023)
Daniel Amyot, Luigi Logrippo, John Mylopoulos, Marco Roveri, Amal Ahmed Anda, Alireza Parvizimosaed, Sofana Alfuhaid, Sepehr Sharifi, Aidin Rasti, Regan Meloche, Daniel Sousa-Diaz
Engineering Smart Contracts with Symboleo: A Progress Report. CASCON (2023)
Renata S. S. Guizzardi, Glenda C. M. Amaral, Giancarlo Guizzardi, John Mylopoulos
Lessons Learned on Applying an Ontology-based Approach to Engineer Trustworthiness Requirements. ONTOBRAS (2023)
Kostas Kontogiannis, Daniel Amyot, John Mylopoulos
3rd Workshop on Software Techniques for Engineering Cyber-Physical Systems. CASCON (2023)
Massimo Cossentino, Luca Sabatucci, John Mylopoulos
Consciousness as a Trigger to Adaptation. J. Artif. Intell. Conscious. 10 (1) (2023)
Regan Meloche, Daniel Amyot, John Mylopoulos
Towards Legal Contract Formalization with Controlled Natural Language Templates. RE (2023)
Alireza Parvizimosaed, Hamid Azad, Daniel Amyot, John Mylopoulos
Protection against Ransomware in Industrial Control Systems through Decentralization using Blockchain. PST (2023)
Atefeh Zareh Chahoki, Marco Roveri, Daniel Amyot, John Mylopoulos
Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements. OVERLAY@AI*IA (2023)
Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich
Contratto - A Method for Transforming Legal Contracts into Formal Specifications. RCIS (2022)
Yehia Elrakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos
CaRE: a refinement calculus for requirements engineering based on argumentation theory. Softw. Syst. Model. 21 (6) (2022)
Sotirios Liaskos, Shakil M. Khan, John Mylopoulos
Modeling and reasoning about uncertainty in goal models: a decision-theoretic approach. Softw. Syst. Model. 21 (6) (2022)
Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich
From Legal Contracts to Formal Specifications: A Systematic Literature Review. SN Comput. Sci. 3 (5) (2022)
Kostas Kontogiannis, John Mylopoulos, Daniel Amyot
2nd Workshop on Software Techniques for Engineering Cyber Physical Systems. CASCON (2022)
Renata S. S. Guizzardi, Glenda C. M. Amaral, Giancarlo Guizzardi, John Mylopoulos
Eliciting Ethicality Requirements Using the Ontology-Based Requirements Engineering Method. BPMDS/EMMSAD@CAiSE (2022)
Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos
Model-checking legal contracts with SymboleoPC. MoDELS (2022)
Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, John Mylopoulos
Symboleo2SC: from legal contract specifications to smart contracts. MoDELS (2022)
Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, Marco Roveri, Aidin Rasti, Ali Roudak, John Mylopoulos
Specification and analysis of legal contracts with Symboleo. Softw. Syst. Model. 21 (6) (2022)
Sepehr Sharifi, Daniel Amyot, John Mylopoulos, Patrick McLaughlin, Ray Feodoroff
Towards Improved Certification of Complex FinTech Systems - A Requirements-based Approach. RE Workshops (2022)
Sotirios Liaskos, Shakil M. Khan, Reza Golipour, John Mylopoulos
Towards Goal-based Generation of Reinforcement Learning Domain Simulations. iStar (2022)
Malak Baslyman, Daniel Amyot, John Mylopoulos
Reasoning about Confidence in Goal Satisfaction. Algorithms 15 (10) (2022)
Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich
Semantic Annotation of Legal Contracts with ContrattoA. Informatics 9 (4) (2022)
Glenda C. M. Amaral, Renata S. S. Guizzardi, Giancarlo Guizzardi, John Mylopoulos
Trustworthiness Requirements: The Pix Case Study. ER (2021)
Mohamad Gharib, John Mylopoulos
On the Philosophical Foundations of Privacy: Five Theses. PoEM (2021)
Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich
From Legal Contracts to Formal Specifications: A Progress Report. REFSQ Workshops (2021)
Kostas Kontogiannis, Daniel Amyot, John Mylopoulos
Software techniques for engineering cyber-physical systems. CASCON (2021)
John Mylopoulos, Daniel Amyot, Luigi Logrippo, Alireza Parvizimosaed, Sepehr Sharifi
Social Requirements Models for Services. Next-Gen Digital Services (2021)
Manolis Koubarakis, Alexander Borgida, Panos Constantopoulos, Martin Doerr, Matthias Jarke, Manfred A. Jeusfeld, John Mylopoulos, Dimitris Plexousakis
A retrospective on Telos as a metamodeling language for requirements engineering. Requir. Eng. 26 (1) (2021)
Mohamad Gharib, Paolo Giorgini, John Mylopoulos
COPri v.2 - A core ontology for privacy requirements. Data Knowl. Eng. 133 (2021)
Sotirios Liaskos, John Mylopoulos, Shakil M. Khan
Empirically Evaluating the Semantic Qualities of Language Vocabularies. ER (2021)
Glenda C. M. Amaral, Renata S. S. Guizzardi, Giancarlo Guizzardi, John Mylopoulos
Ontology-Based Modeling and Analysis of Trustworthiness Requirements: Preliminary Results. ER (2020)
Sepehr Sharifi, Alireza Parvizimosaed, Daniel Amyot, Luigi Logrippo, John Mylopoulos
Symboleo: Towards a Specification Language for Legal Contracts. RE (2020)
Mohamad Gharib, John Mylopoulos, Paolo Giorgini
COPri - A Core Ontology for Privacy Requirements Engineering. RCIS (2020)
Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, John Mylopoulos
Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo. ER (2020)
Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich
ContracT - from Legal Contracts to Formal Specifications: Preliminary Results. PoEM (2020)
Renata S. S. Guizzardi, Glenda Carla Moura Amaral, Giancarlo Guizzardi, John Mylopoulos
Ethical Requirements for AI Systems. Canadian Conference on AI (2020)
Sepehr Sharifi, Patrick McLaughlin, Daniel Amyot, John Mylopoulos
Goal Modeling for FinTech Certification. iStar (2020)
Mohamad Gharib, Paolo Giorgini, John Mylopoulos
An Ontology for Privacy Requirements via a Systematic Literature Review. J. Data Semant. 9 (4) (2020)
Patrícia Vilain, John Mylopoulos, Hans-Arno Jacobsen
A preliminary study on using acceptance tests for representing business requirements of smart contracts. IEEE ICBC (2020)
Yehia Elrakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos
A Refinement Calculus for Requirements Engineering Based on Argumentation Theory. ER (2020)
John Mylopoulos, Daniel Amyot, Luigi Logrippo, Alireza Parvizimosaed, Sepehr Sharifi
Social Dependence Relationships in Requirements Engineering. iStar (2020)
Jennifer Horkoff, Fatma Basak Aydemir, Evellin Cardoso, Tong Li, Alejandro Maté, Elda Paja, Mattia Salnitri, Luca Piras, John Mylopoulos, Paolo Giorgini
Goal-oriented requirements engineering: an extended systematic mapping study. Requir. Eng. 24 (2) (2019)
Giancarlo Guizzardi, John Mylopoulos
Taking It to the Next Level: Nicola Guarino, Formal Ontology and Conceptual Modeling. Ontology Makes Sense (2019)
Tiago Prince Sales, Ben Roelens, Geert Poels, Giancarlo Guizzardi, Nicola Guarino, John Mylopoulos
A Pattern Language for Value Modeling in ArchiMate. CAiSE (2019)
Hallan Medeiros, Patricia Vilain, John Mylopoulos, Hans-Arno Jacobsen
SolUnit: a framework for reducing execution time of smart contract unit tests. CASCON (2019)
Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos
On the Philosophical Foundations of Conceptual Models. EJC (2019)
John Mylopoulos
A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics. RCIS (2019)
Luca Piras, Daniele Dellagiacoma, Anna Perini, Angelo Susi, Paolo Giorgini, John Mylopoulos
Design Thinking and Acceptance Requirements for Designing Gamified Software. RCIS (2019)
Wenyi Qian, Xin Peng, Huanhuan Wang, John Mylopoulos, Jiahuan Zheng, Wenyun Zhao
MobiGoal: Flexible Achievement of Personal Goals for Mobile Users. IEEE Trans. Serv. Comput. 11 (2) (2018)
Tiago Prince Sales, Fernanda Baião, Giancarlo Guizzardi, João Paulo A. Almeida, Nicola Guarino, John Mylopoulos
The Common Ontology of Value and Risk. ER (2018)
Tiago Prince Sales, Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos
Towards an Ontology of Competition. VMBO (2018)
Mohamad Gharib, Paolo Giorgini, John Mylopoulos
Analysis of information quality requirements in business processes, revisited. Requir. Eng. 23 (2) (2018)
Tong Li, Jennifer Horkoff, John Mylopoulos
Holistic security requirements analysis for socio-technical systems. Softw. Syst. Model. 17 (4) (2018)
Dimitra Papadimitriou, Georgia Koutrika, Yannis Velegrakis, John Mylopoulos
Finding Related Forum Posts through Content Similarity over Intention-Based Segmentation (Extended Abstract). ICDE (2018)
Mohamad Gharib, John Mylopoulos
A Core Ontology for Privacy Requirements Engineering. CoRR (2018)
Nicola Zeni, Elias A. Seid, Priscila Engiel, John Mylopoulos
NómosT: Building large models of law with a tool-supported process. Data Knowl. Eng. 117 (2018)
Evellin Cristine Souza Cardoso, Jennifer Horkoff, Roberto Sebastiani, John Mylopoulos
Planning with Strategic Goals. EDOC (2018)
Tiago Prince Sales, Daniele Porello, Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos
Ontological Foundations of Competition. FOIS (2018)
Fatma Basak Aydemir, Fabiano Dalpiaz, Sjaak Brinkkemper, Paolo Giorgini, John Mylopoulos
The Next Release Problem Revisited: A New Avenue for Goal Models. RE (2018)
Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos
Multi-objective reasoning with constrained goal models. Requir. Eng. 23 (2) (2018)
Konstantinos Angelopoulos, Alessandro Vittorio Papadopoulos, Vítor E. Silva Souza, John Mylopoulos
Engineering Self-Adaptive Software Systems: From Requirements to Model Predictive Control. ACM Trans. Auton. Adapt. Syst. 13 (1) (2018)
Yehia Elrakaiby, Alessio Ferrari, John Mylopoulos
CaRE: A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics. RE (2018)
Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos
Modeling and Reasoning on Requirements Evolution with Constrained Goal Models. SEFM (2017)
Nicola Zeni, Luisa Mich, John Mylopoulos
Annotating legal documents with GaiusT 2.0. Int. J. Metadata Semant. Ontologies 12 (1) (2017)
Alejandro Maté, Juan Trujillo, John Mylopoulos
Conceptual Modeling for Indicator Selection. Conceptual Modeling Perspectives (2017)
Daniel M. Berry, Jane Cleland-Huang, Alessio Ferrari, Walid Maalej, John Mylopoulos, Didar Zowghi
Panel: Context-Dependent Evaluation of Tools for NL RE Tasks: Recall vs. Precision, and Beyond. RE (2017)
Dimitra Papadimitriou, Georgia Koutrika, Yannis Velegrakis, John Mylopoulos
Finding Related Forum Posts through Content Similarity over Intention-Based Segmentation. IEEE Trans. Knowl. Data Eng. 29 (9) (2017)
Tiago Prince Sales, Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos
An Ontological Analysis of Value Propositions. EDOC (2017)
Luca Piras, Elda Paja, Paolo Giorgini, John Mylopoulos
Goal Models for Acceptance Requirements Analysis and Gamification Design. ER (2017)
Elias A. Seid, Kazi Robin, Tong Li, John Mylopoulos
Evaluation of MUSER, a holistic security requirements analysis framework. RCIS (2017)
Luca Piras, Elda Paja, Paolo Giorgini, John Mylopoulos, Roberta Cuel, Diego Ponte
Gamification solutions for software acceptance: A comparative study of Requirements Engineering and Organizational Behavior techniques. RCIS (2017)
Okhaide Akhigbe, Daniel Amyot, John Mylopoulos, Gregory Richards
What can information systems do for regulators? A review of the state-of-practice in Canada. RCIS (2017)
Okhaide Akhigbe, Susie Heap, Sakib Islam, Daniel Amyot, John Mylopoulos
Goal-Oriented Regulatory Intelligence: How Can Watson Analytics Help? ER (2017)
Mohamad Gharib, Paolo Giorgini, John Mylopoulos
Towards an Ontology for Privacy Requirements via a Systematic Literature Review. ER (2017)
Priscila Engiel, Julio Cesar Sampaio do Prado Leite, John Mylopoulos
A tool-supported compliance process for software systems. RCIS (2017)
Alejandro Maté, Juan Trujillo, John Mylopoulos
Specification and derivation of key performance indicators for business analytics: A semantic approach. Data Knowl. Eng. 108 (2017)
Hausi A. Müller, Marin Litoiu, John Mylopoulos
Engineering cybersecurity in cyber physical systems. CASCON (2016)
Mohamad Gharib, Paolo Giorgini, John Mylopoulos
Ontologies for Privacy Requirements Engineering: A Systematic Literature Review. CoRR (2016)
Feng-Lin Li, Jennifer Horkoff, Lin Liu, Alexander Borgida, Giancarlo Guizzardi, John Mylopoulos
Engineering Requirements with Desiree: An Empirical Evaluation. CAiSE (2016)
Elda Paja, Alejandro Maté, Carson C. Woo, John Mylopoulos
Can Goal Reasoning Techniques Be Used for Strategic Decision-Making? ER (2016)
Konstantinos Angelopoulos, Fatma Basak Aydemir, Paolo Giorgini, John Mylopoulos
Solving the next adaptation problem with prometheus. RCIS (2016)
Nicola Zeni, Luisa Mich, John Mylopoulos
GaiusT 2.0: Evolution of a Framework for Annotating Legal Documents. MTSR (2016)
Xiaowei Wang, John Mylopoulos, Giancarlo Guizzardi, Nicola Guarino
How software changes the world: The role of assumptions. RCIS (2016)
Evellin Cardoso, Katsiaryna Labunets, Fabiano Dalpiaz, John Mylopoulos, Paolo Giorgini
Modeling Structured and Unstructured Processes: An Empirical Evaluation. ER (2016)
Evellin Cardoso, John Mylopoulos, Alejandro Mate, Juan Trujillo
Strategic Enterprise Architectures. PoEM (2016)
Jennifer Horkoff, Fatma Basak Aydemir, Evellin Cardoso, Tong Li, Alejandro Maté, Elda Paja, Mattia Salnitri, John Mylopoulos, Paolo Giorgini
Goal-Oriented Requirements Engineering: A Systematic Literature Map. RE (2016)
Feng-Lin Li, Lin Liu, John Mylopoulos
Similarity-based Reasoning with Quality Goals. iStar (2016)
Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos
Requirements Evolution and Evolution Requirements with Constrained Goal Models. ER (2016)
Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos
Multi Object Reasoning with Constrained Goal Model. CoRR (2016)
Tong Li, Elda Paja, John Mylopoulos, Jennifer Horkoff, Kristian Beckers
Security attack analysis using attack patterns. RCIS (2016)
Fatma Basak Aydemir, Paolo Giorgini, John Mylopoulos
Multi-objective risk analysis with goal models. RCIS (2016)
Alexei Lapouchnian, Yijun Yu, Sotirios Liaskos, John Mylopoulos
Requirements-driven design of autonomic application software. CASCON (2016)
Nicola Zeni, Elias A. Seid, Priscila Engiel, Silvia Ingolfo, John Mylopoulos
Building Large Models of Law with NómosT. ER (2016)
Dimitra Papadimitriou, Georgia Koutrika, John Mylopoulos, Yannis Velegrakis
The Goal Behind the Action: Toward Goal-Aware Systems and Applications. ACM Trans. Database Syst. 41 (4) (2016)
Alejandro Maté, Juan Trujillo, John Mylopoulos
Key Performance Indicator Elicitation and Selection Through Conceptual Modelling. ER (2016)
Konstantinos Angelopoulos, Alessandro Vittorio Papadopoulos, Vítor E. Silva Souza, John Mylopoulos
Model predictive control for software systems with CobRA. SEAMS@ICSE (2016)
Feng-Lin Li, Alexander Borgida, Giancarlo Guizzardi, Jennifer Horkoff, Lin Liu, John Mylopoulos
Desiree: a Refinement Calculus for Requirements Problems. CoRR (2016)
Feng-Lin Li, John Mylopoulos
Desiree - a Refinement Calculus for Requirements Engineering. CoRR (2016)
Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos
Requirements Evolution and Evolution Requirements with Constrained Goal Models. CoRR (2016)
Luca Piras, Paolo Giorgini, John Mylopoulos
Acceptance Requirements and Their Gamification Solutions. RE (2016)

John Mylopoulos.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

John Mylopoulos