default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJohn Mylopoulos
Person information
- affiliation: University of Toronto, Canada
- award: Peter P. Chen Award, 2010
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j133]Robert Buchmann, Johann Eder, Hans-Georg Fill, Ulrich Frank, Dimitris Karagiannis, Emanuele Laurenzi, John Mylopoulos, Dimitris Plexousakis, Maribel Yasmina Santos:
Large language models: Expectations for semantics-driven systems engineering. Data Knowl. Eng. 152: 102324 (2024)- [j132]Sotirios Liaskos, Saba Zarbaf, John Mylopoulos, Shakil M. Khan:
Empirically evaluating modeling language ontologies: the Peira framework. Softw. Syst. Model. 23(4): 1025-1052 (2024) - [c419]Regan Meloche, Daniel Amyot, John Mylopoulos:
SymboleoNLP: A Tool for Generating Formal Specifications from Legal Contract Templates. RE 2024: 498-499 - [e29]Sokratis K. Katsikas
, Frédéric Cuppens, Nora Cuppens-Boulahia, Costas Lambrinoudakis, Joaquín García-Alfaro, Guillermo Navarro-Arribas, Pantaleone Nespoli, Christos Kalloniatis, John Mylopoulos, Annie I. Antón, Stefanos Gritzalis:
Computer Security. ESORICS 2023 International Workshops - CyberICS, DPM, CBT, and SECPRE, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part I. Lecture Notes in Computer Science 14398, Springer 2024, ISBN 978-3-031-54203-9 [contents] - 2023
- [j131]Sofana Alfuhaid, Daniel Amyot, Amal Ahmed Anda, John Mylopoulos:
A Mapping Review on Cyber-Physical Smart Contracts: Architectures, Platforms, and Challenges. IEEE Access 11: 65872-65890 (2023) - [j130]Massimo Cossentino, Luca Sabatucci, John Mylopoulos:
Consciousness as a Trigger to Adaptation. J. Artif. Intell. Conscious. 10(1): 27-47 (2023) - [j129]Renata S. S. Guizzardi, Glenda C. M. Amaral, Giancarlo Guizzardi, John Mylopoulos:
An ontology-based approach to engineering ethicality requirements. Softw. Syst. Model. 22(6): 1897-1923 (2023) - [c418]Kostas Kontogiannis, Daniel Amyot, John Mylopoulos:
3rd Workshop on Software Techniques for Engineering Cyber-Physical Systems. CASCON 2023: 222-223 - [c417]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: 235-237 - [c416]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: 114 - [c415]Atefeh Zareh Chahoki, Marco Roveri, Daniel Amyot, John Mylopoulos:
Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements. OVERLAY@AI*IA 2023: 55-60 - [c414]Alireza Parvizimosaed, Hamid Azad, Daniel Amyot, John Mylopoulos:
Protection against Ransomware in Industrial Control Systems through Decentralization using Blockchain. PST 2023: 1-5 - [c413]Regan Meloche, Daniel Amyot, John Mylopoulos:
Towards Legal Contract Formalization with Controlled Natural Language Templates. RE 2023: 317-322 - [e28]Sokratis K. Katsikas, Frédéric Cuppens, Christos Kalloniatis, John Mylopoulos, Frank Pallas, Jörg Pohle, M. Angela Sasse, Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Jorge Maestre Vidal, Marco Antonio Sotelo Monge, Massimiliano Albanese, Basel Katt, Sandeep Pirbhulal, Ankur Shukla:
Computer Security. ESORICS 2022 International Workshops - CyberICPS 2022, SECPRE 2022, SPOSE 2022, CPS4CIP 2022, CDT&SECOMANE 2022, EIS 2022, and SecAssure 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13785, Springer 2023, ISBN 978-3-031-25459-8 [contents] - 2022
- [j128]Malak Baslyman, Daniel Amyot, John Mylopoulos:
Reasoning about Confidence in Goal Satisfaction. Algorithms 15(10): 343 (2022) - [j127]Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich:
Semantic Annotation of Legal Contracts with ContrattoA. Informatics 9(4): 72 (2022) - [j126]Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich:
From Legal Contracts to Formal Specifications: A Systematic Literature Review. SN Comput. Sci. 3(5): 345 (2022) - [j125]Sotirios Liaskos, Shakil M. Khan, John Mylopoulos:
Modeling and reasoning about uncertainty in goal models: a decision-theoretic approach. Softw. Syst. Model. 21(6): 1-24 (2022) - [j124]Yehia Elrakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos:
CaRE: a refinement calculus for requirements engineering based on argumentation theory. Softw. Syst. Model. 21(6): 2113-2132 (2022) - [j123]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): 2395-2427 (2022) - [c412]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: 221-236 - [c411]Kostas Kontogiannis, John Mylopoulos, Daniel Amyot:
2nd Workshop on Software Techniques for Engineering Cyber Physical Systems. CASCON 2022: 243-244 - [c410]Sotirios Liaskos, Shakil M. Khan, Reza Golipour, John Mylopoulos:
Towards Goal-based Generation of Reinforcement Learning Domain Simulations. iStar 2022: 22-28 - [c409]Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos:
Model-checking legal contracts with SymboleoPC. MoDELS 2022: 278-288 - [c408]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: 300-310 - [c407]Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich:
Contratto - A Method for Transforming Legal Contracts into Formal Specifications. RCIS 2022: 338-353 - [c406]Sepehr Sharifi, Daniel Amyot, John Mylopoulos, Patrick McLaughlin, Ray Feodoroff:
Towards Improved Certification of Complex FinTech Systems - A Requirements-based Approach. RE Workshops 2022: 205-214 - [e27]Sokratis K. Katsikas, Costas Lambrinoudakis, Nora Cuppens, John Mylopoulos, Christos Kalloniatis, Weizhi Meng, Steven Furnell, Frank Pallas, Jörg Pohle, M. Angela Sasse, Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Jorge Maestre Vidal, Marco Antonio Sotelo Monge:
Computer Security. ESORICS 2021 International Workshops - CyberICPS, SECPRE, ADIoT, SPOSE, CPS4CIP, and CDT&SECOMANE, Darmstadt, Germany, October 4-8, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13106, Springer 2022, ISBN 978-3-030-95483-3 [contents] - 2021
- [j122]Mohamad Gharib, Paolo Giorgini, John Mylopoulos:
COPri v.2 - A core ontology for privacy requirements. Data Knowl. Eng. 133: 101888 (2021) - [j121]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): 1-23 (2021) - [c405]John Mylopoulos, Daniel Amyot, Luigi Logrippo, Alireza Parvizimosaed, Sepehr Sharifi:
Social Requirements Models for Services. Next-Gen Digital Services 2021: 100-108 - [c404]Kostas Kontogiannis, Daniel Amyot, John Mylopoulos:
Software techniques for engineering cyber-physical systems. CASCON 2021: 289-290 - [c403]Glenda C. M. Amaral, Renata S. S. Guizzardi, Giancarlo Guizzardi, John Mylopoulos:
Trustworthiness Requirements: The Pix Case Study. ER 2021: 257-267 - [c402]Sotirios Liaskos, John Mylopoulos, Shakil M. Khan:
Empirically Evaluating the Semantic Qualities of Language Vocabularies. ER 2021: 330-344 - [c401]Mohamad Gharib, John Mylopoulos:
On the Philosophical Foundations of Privacy: Five Theses. PoEM 2021: 215-229 - [c400]Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich:
From Legal Contracts to Formal Specifications: A Progress Report. REFSQ Workshops 2021 - 2020
- [j120]Mohamad Gharib, Paolo Giorgini, John Mylopoulos:
An Ontology for Privacy Requirements via a Systematic Literature Review. J. Data Semant. 9(4): 123-149 (2020) - [c399]Renata S. S. Guizzardi, Glenda Carla Moura Amaral, Giancarlo Guizzardi, John Mylopoulos:
Ethical Requirements for AI Systems. Canadian AI 2020: 251-256 - [c398]Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos:
A Refinement Calculus for Requirements Engineering Based on Argumentation Theory. ER 2020: 3-18 - [c397]Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, John Mylopoulos:
Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo. ER 2020: 271-285 - [c396]Glenda C. M. Amaral, Renata S. S. Guizzardi, Giancarlo Guizzardi, John Mylopoulos:
Ontology-Based Modeling and Analysis of Trustworthiness Requirements: Preliminary Results. ER 2020: 342-352 - [c395]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: 1-6 - [c394]Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich:
ContracT - from Legal Contracts to Formal Specifications: Preliminary Results. PoEM 2020: 124-137 - [c393]John Mylopoulos, Daniel Amyot, Luigi Logrippo, Alireza Parvizimosaed, Sepehr Sharifi:
Social Dependence Relationships in Requirements Engineering. iStar 2020: 55-60 - [c392]Sepehr Sharifi, Patrick McLaughlin, Daniel Amyot, John Mylopoulos:
Goal Modeling for FinTech Certification. iStar 2020: 73-78 - [c391]Mohamad Gharib, John Mylopoulos, Paolo Giorgini:
COPri - A Core Ontology for Privacy Requirements Engineering. RCIS 2020: 472-489 - [c390]Sepehr Sharifi, Alireza Parvizimosaed, Daniel Amyot, Luigi Logrippo, John Mylopoulos:
Symboleo: Towards a Specification Language for Legal Contracts. RE 2020: 364-369 - [e26]Sokratis K. Katsikas, Frédéric Cuppens, Nora Cuppens, Costas Lambrinoudakis, Christos Kalloniatis, John Mylopoulos, Annie I. Antón, Stefanos Gritzalis, Frank Pallas, Jörg Pohle, M. Angela Sasse, Weizhi Meng, Steven Furnell, Joaquín García-Alfaro:
Computer Security - ESORICS 2019 International Workshops, CyberICPS, SECPRE, SPOSE, and ADIoT, Luxembourg City, Luxembourg, September 26-27, 2019 Revised Selected Papers. Lecture Notes in Computer Science 11980, Springer 2020, ISBN 978-3-030-42047-5 [contents] - [e25]Sokratis K. Katsikas, Frédéric Cuppens, Nora Cuppens, Costas Lambrinoudakis, Christos Kalloniatis, John Mylopoulos, Annie I. Antón, Stefanos Gritzalis, Weizhi Meng, Steven Furnell:
Computer Security - ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, Guildford, UK, September 14-18, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12501, Springer 2020, ISBN 978-3-030-64329-4 [contents] - [d3]Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos:
CaRE: A Refinement Calculus for Requirements Engineering based on Argumentation Theory (Proofs and Tool). Zenodo, 2020
- [d2]Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos:
A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material. Version 2.0. Zenodo, 2020 [all versions] - [d1]Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos:
A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material. Version 1.0. Zenodo, 2020 [all versions]
2010 – 2019
- 2019
- [j119]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): 133-160 (2019) - [c389]Giancarlo Guizzardi, John Mylopoulos:
Taking It to the Next Level: Nicola Guarino, Formal Ontology and Conceptual Modeling. Ontology Makes Sense 2019: 223-241 - [c388]Tiago Prince Sales, Ben Roelens, Geert Poels, Giancarlo Guizzardi, Nicola Guarino, John Mylopoulos:
A Pattern Language for Value Modeling in ArchiMate. CAiSE 2019: 230-245 - [c387]Hallan Medeiros, Patricia Vilain, John Mylopoulos, Hans-Arno Jacobsen:
SolUnit: a framework for reducing execution time of smart contract unit tests. CASCON 2019: 264-273 - [c386]Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos:
On the Philosophical Foundations of Conceptual Models. EJC 2019: 1-15 - [c385]John Mylopoulos:
A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics. RCIS 2019: 1 - [c384]Luca Piras, Daniele Dellagiacoma, Anna Perini, Angelo Susi, Paolo Giorgini, John Mylopoulos:
Design Thinking and Acceptance Requirements for Designing Gamified Software. RCIS 2019: 1-12 - [e24]Yijun Yu, Arosha K. Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi A. Müller, John Mylopoulos, Bashar Nuseibeh:
Engineering Adaptive Software Systems - Communications of NII Shonan Meetings. Springer 2019, ISBN 978-981-13-2184-9 [contents] - [e23]Sokratis K. Katsikas, Frédéric Cuppens, Nora Cuppens, Costas Lambrinoudakis, Annie I. Antón, Stefanos Gritzalis, John Mylopoulos, Christos Kalloniatis:
Computer Security - ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6-7, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11387, Springer 2019, ISBN 978-3-030-12785-5 [contents] - 2018
- [j118]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: 407-418 (2018) - [j117]Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos:
Multi-objective reasoning with constrained goal models. Requir. Eng. 23(2): 189-225 (2018) - [j116]Mohamad Gharib, Paolo Giorgini, John Mylopoulos:
Analysis of information quality requirements in business processes, revisited. Requir. Eng. 23(2): 227-249 (2018) - [j115]Tong Li, Jennifer Horkoff, John Mylopoulos:
Holistic security requirements analysis for socio-technical systems. Softw. Syst. Model. 17(4): 1253-1285 (2018) - [j114]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): 1:1-1:27 (2018) - [j113]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): 384-398 (2018) - [c383]Evellin Cristine Souza Cardoso, Jennifer Horkoff, Roberto Sebastiani, John Mylopoulos:
Planning with Strategic Goals. EDOC 2018: 44-50 - [c382]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: 121-135 - [c381]Tiago Prince Sales, Daniele Porello, Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos:
Ontological Foundations of Competition. FOIS 2018: 96-109 - [c380]Dimitra Papadimitriou, Georgia Koutrika, Yannis Velegrakis, John Mylopoulos:
Finding Related Forum Posts through Content Similarity over Intention-Based Segmentation (Extended Abstract). ICDE 2018: 1805-1806 - [c379]Fatma Basak Aydemir, Fabiano Dalpiaz, Sjaak Brinkkemper, Paolo Giorgini, John Mylopoulos:
The Next Release Problem Revisited: A New Avenue for Goal Models. RE 2018: 5-16 - [c378]Yehia Elrakaiby, Alessio Ferrari, John Mylopoulos:
CaRE: A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics. RE 2018: 364-369 - [c377]Tiago Prince Sales, Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos:
Towards an Ontology of Competition. VMBO 2018: 64-73 - [e22]Sokratis K. Katsikas, Frédéric Cuppens, Nora Cuppens, Costas Lambrinoudakis, Christos Kalloniatis, John Mylopoulos, Annie I. Antón, Stefanos Gritzalis:
Computer Security - ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10683, Springer 2018, ISBN 978-3-319-72816-2 [contents] - [r4]Alexander Borgida, John Mylopoulos:
Conceptual Schema Design. Encyclopedia of Database Systems (2nd ed.) 2018 - [r3]John Mylopoulos:
Database Design. Encyclopedia of Database Systems (2nd ed.) 2018 - [i17]Mohamad Gharib, John Mylopoulos:
A Core Ontology for Privacy Requirements Engineering. CoRR abs/1811.12621 (2018) - 2017
- [j112]Alejandro Maté, Juan Trujillo, John Mylopoulos:
Specification and derivation of key performance indicators for business analytics: A semantic approach. Data Knowl. Eng. 108: 30-49 (2017) - [j111]Nicola Zeni, Luisa Mich, John Mylopoulos:
Annotating legal documents with GaiusT 2.0. Int. J. Metadata Semant. Ontologies 12(1): 47-58 (2017) - [j110]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): 1860-1873 (2017) - [c376]Alejandro Maté, Juan Trujillo, John Mylopoulos:
Conceptual Modeling for Indicator Selection. Conceptual Modeling Perspectives 2017: 55-68 - [c375]Tiago Prince Sales, Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos:
An Ontological Analysis of Value Propositions. EDOC 2017: 184-193 - [c374]Okhaide Akhigbe, Susie Heap, Sakib Islam, Daniel Amyot, John Mylopoulos:
Goal-Oriented Regulatory Intelligence: How Can Watson Analytics Help? ER 2017: 77-91 - [c373]Mohamad Gharib, Paolo Giorgini, John Mylopoulos:
Towards an Ontology for Privacy Requirements via a Systematic Literature Review. ER 2017: 193-208 - [c372]Luca Piras, Elda Paja, Paolo Giorgini, John Mylopoulos:
Goal Models for Acceptance Requirements Analysis and Gamification Design. ER 2017: 223-230 - [c371]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: 57-65 - [c370]Priscila Engiel, Julio César Sampaio do Prado Leite, John Mylopoulos:
A tool-supported compliance process for software systems. RCIS 2017: 66-76 - [c369]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: 255-265 - [c368]Elias A. Seid, Kazi Robin, Tong Li, John Mylopoulos:
Evaluation of MUSER, a holistic security requirements analysis framework. RCIS 2017: 293-304 - [c367]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: 570-573 - [c366]Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos:
Modeling and Reasoning on Requirements Evolution with Constrained Goal Models. SEFM 2017: 70-86 - 2016
- [j109]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): 23:1-23:43 (2016) - [c365]Feng-Lin Li, Jennifer Horkoff, Lin Liu, Alexander Borgida, Giancarlo Guizzardi, John Mylopoulos:
Engineering Requirements with Desiree: An Empirical Evaluation. CAiSE 2016: 221-238 - [c364]Alexei Lapouchnian, Yijun Yu, Sotirios Liaskos, John Mylopoulos:
Requirements-driven design of autonomic application software. CASCON 2016: 23-37 - [c363]Hausi A. Müller, Marin Litoiu, John Mylopoulos:
Engineering cybersecurity in cyber physical systems. CASCON 2016: 316-320 - [c362]Alejandro Maté, Juan Trujillo, John Mylopoulos:
Key Performance Indicator Elicitation and Selection Through Conceptual Modelling. ER 2016: 73-80 - [c361]Nicola Zeni, Elias A. Seid, Priscila Engiel, Silvia Ingolfo, John Mylopoulos:
Building Large Models of Law with NómosT. ER 2016: 233-247 - [c360]Evellin Cardoso, Katsiaryna Labunets, Fabiano Dalpiaz, John Mylopoulos, Paolo Giorgini:
Modeling Structured and Unstructured Processes: An Empirical Evaluation. ER 2016: 347-361 - [c359]Elda Paja, Alejandro Maté, Carson C. Woo, John Mylopoulos:
Can Goal Reasoning Techniques Be Used for Strategic Decision-Making? ER 2016: 530-543 - [c358]Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos:
Requirements Evolution and Evolution Requirements with Constrained Goal Models. ER 2016: 544-552 - [c357]Konstantinos Angelopoulos, Alessandro Vittorio Papadopoulos, Vítor E. Silva Souza, John Mylopoulos:
Model predictive control for software systems with CobRA. SEAMS@ICSE 2016: 35-46 - [c356]Evellin Cardoso, John Mylopoulos, Alejandro Mate, Juan Trujillo:
Strategic Enterprise Architectures. PoEM 2016: 57-71 - [c355]Feng-Lin Li, Lin Liu, John Mylopoulos:
Similarity-based Reasoning with Quality Goals. iStar 2016: 13-18 - [c354]Nicola Zeni, Luisa Mich, John Mylopoulos:
GaiusT 2.0: Evolution of a Framework for Annotating Legal Documents. MTSR 2016: 43-54 - [c353]Konstantinos Angelopoulos, Fatma Basak Aydemir, Paolo Giorgini, John Mylopoulos:
Solving the next adaptation problem with prometheus. RCIS 2016: 1-10 - [c352]Fatma Basak Aydemir, Paolo Giorgini, John Mylopoulos:
Multi-objective risk analysis with goal models. RCIS 2016: 1-10 - [c351]Tong Li, Elda Paja, John Mylopoulos, Jennifer Horkoff, Kristian Beckers:
Security attack analysis using attack patterns. RCIS 2016: 1-13 - [c350]Xiaowei Wang, John Mylopoulos, Giancarlo Guizzardi, Nicola Guarino:
How software changes the world: The role of assumptions. RCIS 2016: 1-12 - [c349]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: 106-115 - [c348]Luca Piras, Paolo Giorgini, John Mylopoulos:
Acceptance Requirements and Their Gamification Solutions. RE 2016: 365-370 - [e21]Dimitris Karagiannis, Heinrich C. Mayr, John Mylopoulos:
Domain-Specific Conceptual Modeling, Concepts, Methods and Tools. Springer 2016, ISBN 978-3-319-39416-9 [contents] - [i16]Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos:
Multi Object Reasoning with Constrained Goal Model. CoRR abs/1601.07409 (2016) - [i15]Feng-Lin Li, John Mylopoulos:
Desiree - a Refinement Calculus for Requirements Engineering. CoRR abs/1604.03184 (2016) - [i14]