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
Books and Theses
- 2013
[b2]Raymond T. Ng, Patricia C. Arocena, Denilson Barbosa, Giuseppe Carenini, Luiz Celso Gomes Jr., Stephan Jou, Rock Anthony Leung, Evangelos E. Milios, Renée J. Miller, John Mylopoulos, Rachel Pottinger, Frank Wm. Tompa
, Eric S. K. Yu:
Perspectives on Business Intelligence. Synthesis Lectures on Data Management, Morgan & Claypool Publishers 2013, ISBN 9781627050937, pp. 1-163- 2000
- [b1]Lawrence Chung, Brian A. Nixon, Eric Yu, John Mylopoulos:
Non-Functional Requirements in Software Engineering. International Series in Software Engineering 5, Springer 2000, ISBN 978-1-4613-7403-9, pp. 1-441
Journal Articles
- 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 2015
- [j108]Jennifer Horkoff, Tong Li, Feng-Lin Li, Mattia Salnitri, Evellin Cardoso, Paolo Giorgini, John Mylopoulos:
Using Goal Models Downstream: A Systematic Roadmap and Literature Review. Int. J. Inf. Syst. Model. Des. 6(2): 1-42 (2015) - [j107]Matthias Jarke, John Mylopoulos, Christoph Quix:
Special issue on advanced information systems engineering. Inf. Syst. 53: 251-252 (2015) - [j106]Daniele Barone, Liam Peyton, Flavio Rizzolo, Daniel Amyot, John Mylopoulos, Omar Badreddin:
Model-Based Management of Strategic Initiatives. J. Data Semant. 4(3): 149-165 (2015) - [j105]Nicola Zeni, Nadzeya Kiyavitskaya, Luisa Mich, James R. Cordy, John Mylopoulos:
GaiusT: supporting the extraction of rights and obligations for regulatory compliance. Requir. Eng. 20(1): 1-22 (2015) - [j104]Wenyi Qian, Xin Peng, Bihuan Chen, John Mylopoulos, Huanhuan Wang, Wenyun Zhao:
Rationalism with a dose of empiricism: combining goal reasoning and case-based reasoning for self-adaptive software systems. Requir. Eng. 20(3): 233-252 (2015) - [j103]Jennifer Horkoff, James Lockerbie, Xavier Franch, Eric S. K. Yu, John Mylopoulos:
Report on the First International i* Teaching Workshop (iStarT): June 9th, Co-located with the Conference on Advanced Information Systems Engineering (CAiSE'15), Stockholm, Sweden. ACM SIGSOFT Softw. Eng. Notes 40(6): 24-27 (2015) - [j102]Vítor E. Silva Souza, John Mylopoulos:
Designing an adaptive computer-aided ambulance dispatch system with Zanshin: an experience report. Softw. Pract. Exp. 45(5): 689-725 (2015) - 2014
- [j101]Neil A. Ernst, Alexander Borgida, Ivan Jureta, John Mylopoulos:
Agile requirements engineering via paraconsistent reasoning. Inf. Syst. 43: 100-116 (2014) - [j100]Jennifer Horkoff, Daniele Barone, Lei Jiang, Eric S. K. Yu, Daniel Amyot, Alexander Borgida, John Mylopoulos:
Strategic business modeling: representation and reasoning. Softw. Syst. Model. 13(3): 1015-1041 (2014) - [j99]Ivan Jureta, Alexander Borgida, Neil A. Ernst, John Mylopoulos:
The Requirements Problem for Adaptive Systems. ACM Trans. Manag. Inf. Syst. 5(3): 17:1-17:33 (2014) - 2013
- [j98]Silvia Ingolfo, Alberto Siena, John Mylopoulos, Angelo Susi, Anna Perini:
Arguing regulatory compliance of software requirements. Data Knowl. Eng. 87: 279-296 (2013) - [j97]Abram Hindle, Neil A. Ernst, Michael W. Godfrey, John Mylopoulos:
Automated topic naming - Supporting cross-project analysis of software maintenance activities. Empir. Softw. Eng. 18(6): 1125-1155 (2013) - [j96]Vítor E. Silva Souza, Alexei Lapouchnian, Konstantinos Angelopoulos, John Mylopoulos:
Requirements-driven software evolution. Comput. Sci. Res. Dev. 28(4): 311-329 (2013) - [j95]Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos:
Adaptive socio-technical systems: a requirements-based approach. Requir. Eng. 18(1): 1-24 (2013) - 2012
- [j94]Sotirios Liaskos, Marina Daoud Jungblut, John Mylopoulos:
From intentions to code: exploring the life of user goals in two web-based systems. IET Softw. 6(2): 103-113 (2012) - [j93]Sotirios Liaskos, Shakil M. Khan, Marin Litoiu, Marina Daoud Jungblut, Vyacheslav Rogozhkin, John Mylopoulos:
Behavioral adaptation of information systems through goal models. Inf. Syst. 37(8): 767-783 (2012) - [j92]Siarhei Bykau, John Mylopoulos, Flavio Rizzolo, Yannis Velegrakis:
On Modeling and Querying Concept Evolution. J. Data Semant. 1(1): 31-55 (2012) - 2011
- [j91]Matthias Jarke, Pericles Loucopoulos, Kalle Lyytinen, John Mylopoulos, William N. Robinson:
The brave new world of design requirements. Inf. Syst. 36(7): 992-1008 (2011) - [j90]Annie I. Antón, Travis D. Breaux, Stefanos Gritzalis, John Mylopoulos:
Digital privacy: theory, policies and technologies. Requir. Eng. 16(1): 1-2 (2011) - [j89]Yudistira Asnar, Paolo Giorgini, John Mylopoulos:
Goal-driven risk assessment in requirements engineering. Requir. Eng. 16(2): 101-116 (2011) - [j88]Sotirios Liaskos, Sheila A. McIlraith, Shirin Sohrabi, John Mylopoulos:
Representing and reasoning about preferences in requirements engineering. Requir. Eng. 16(3): 227-249 (2011) - 2010
- [j87]Verena Kantere, Maher Manoubi, Iluju Kiringa, Timos K. Sellis, John Mylopoulos:
Peer coordination through distributed triggers. Proc. VLDB Endow. 3(2): 1561-1564 (2010) - 2009
- [j86]Ivan Jureta, John Mylopoulos, Stéphane Faulkner:
A core ontology for requirements. Appl. Ontology 4(3-4): 169-244 (2009) - [j85]Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos:
Monitoring and diagnosing software requirements. Autom. Softw. Eng. 16(1): 3-35 (2009) - [j84]Nadzeya Kiyavitskaya, Nicola Zeni, James R. Cordy, Luisa Mich, John Mylopoulos:
Cerno: Light-weight tool support for semantic annotation of textual documents. Data Knowl. Eng. 68(12): 1470-1492 (2009) - [j83]Carla T. L. L. Silva, Jaelson Castro, João Araújo, Ana Moreira, Patrícia Azevedo Tedesco, John Mylopoulos:
Advanced separation of concerns in agent-oriented design patterns. Int. J. Agent Oriented Softw. Eng. 3(2/3): 306-327 (2009) - [j82]Lin Liu, Eric S. K. Yu, John Mylopoulos:
Secure-I*: Engineering Secure Software Systems through Social Analysis. Int. J. Softw. Informatics 3(1): 89-120 (2009) - [j81]Volha Bryl, Paolo Giorgini, John Mylopoulos:
Designing socio-technical systems: from stakeholder goals to social networks. Requir. Eng. 14(1): 47-70 (2009) - [j80]Nan Niu, Yijun Yu, Bruno González-Baixauli, Neil A. Ernst, Julio César Sampaio do Prado Leite, John Mylopoulos:
Aspects across Software Life Cycle: A Goal-Driven Approach. LNCS Trans. Aspect Oriented Softw. Dev. 6: 83-110 (2009) - 2008
- [j79]Yuan An, Alexander Borgida, John Mylopoulos:
Discovering and Maintaining Semantic Mappings between XML Schemas and Ontologies. J. Comput. Sci. Eng. 2(1): 44-73 (2008) - 2007
- [j78]Fabio Massacci, John Mylopoulos, Nicola Zannone:
Computer-aided Support for Secure Tropos. Autom. Softw. Eng. 14(3): 341-364 (2007) - [j77]Verena Kantere, Iluju Kiringa, John Mylopoulos:
Supporting Distributed Event-Condition-Action Rules in a Multidatabase Environment. Int. J. Cooperative Inf. Syst. 16(3/4): 467-506 (2007) - [j76]Fabio Massacci, John Mylopoulos, Nicola Zannone:
From Hippocratic Databases to Secure Tropos: a Computer-Aided Re-Engineering Approach. Int. J. Softw. Eng. Knowl. Eng. 17(2): 265-284 (2007) - [j75]Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos:
High variability design for software agents: Extending Tropos. ACM Trans. Auton. Adapt. Syst. 2(4): 16 (2007) - 2006
- [j74]Manuel Kolp, Paolo Giorgini, John Mylopoulos:
Multi-Agent Architectures as Organizational Structures. Auton. Agents Multi Agent Syst. 13(1): 3-25 (2006) - [j73]Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone:
Requirements engineering for trust management: model, methodology, and reasoning. Int. J. Inf. Sec. 5(4): 257-274 (2006) - [j72]Yuan An, Alexander Borgida, John Mylopoulos:
Discovering the Semantics of Relational Tables Through Mappings. J. Data Semant.: 1-32 (2006) - [j71]Fabio Massacci, John Mylopoulos, Nicola Zannone:
Hierarchical hippocratic databases with minimal disclosure for virtual organizations. VLDB J. 15(4): 370-387 (2006) - 2005
- [j70]Paolo Giorgini, John Mylopoulos, Roberto Sebastiani:
Goal-oriented requirements analysis and reasoning in the Tropos methodology. Eng. Appl. Artif. Intell. 18(2): 159-171 (2005) - [j69]Angelo Susi, Anna Perini, John Mylopoulos, Paolo Giorgini:
The Tropos Metamodel and its Use. Informatica (Slovenia) 29(4): 401-408 (2005) - [j68]David Garlan, Marin Litoiu, Hausi A. Müller, John Mylopoulos, Dennis B. Smith, Kenny Wong:
DEAS 2005: workshop on the design and evolution of autonomic application software. ACM SIGSOFT Softw. Eng. Notes 30(4): 1 (2005) - [j67]Alexei Lapouchnian, Sotirios Liaskos, John Mylopoulos, Yijun Yu:
Towards requirements-driven autonomic systems design. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-7 (2005) - [j66]Yijun Yu, Jianguo Lu, John Mylopoulos, Weiwei Sun, Jing-Hao Xue, Erik H. D'Hollander:
Making XML document markup international. Softw. Pract. Exp. 35(1): 1-14 (2005) - [j65]Tiziana Catarci, John Mylopoulos, Maria E. Orlowska:
Editorial. World Wide Web 8(3): 231-232 (2005) - 2004
- [j64]Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos:
Tropos: An Agent-Oriented Software Development Methodology. Auton. Agents Multi Agent Syst. 8(3): 203-236 (2004) - [j63]Andrea De Lucia, James R. Cordy, John Mylopoulos:
Introduction. Autom. Softw. Eng. 11(1): 5-6 (2004) - [j62]John Mylopoulos, Carson C. Woo:
Introduction to special issue with best papers from CAiSE 2002. Inf. Syst. 29(2): 95-96 (2004) - [j61]Igor Jurisica, John Mylopoulos, Eric S. K. Yu:
Ontologies for Knowledge Management: An Information Systems Perspective. Knowl. Inf. Syst. 6(4): 380-401 (2004) - [j60]Ariel Fuxman, Lin Liu, John Mylopoulos, Marco Roveri, Paolo Traverso:
Specifying and analyzing early requirements in Tropos. Requir. Eng. 9(2): 132-150 (2004) - [j59]Katia P. Sycara, John Mylopoulos:
Editorial - International Semantic Web Conference 2003. J. Web Semant. 1(4): 323-324 (2004) - 2003
- [j58]Terence C. Lau, Jianguo Lu, John Mylopoulos, Kostas Kontogiannis:
The Migration of Multi-tier E-commerce Applications to an Enterprise Java Environment. Inf. Syst. Frontiers 5(2): 149-160 (2003) - [j57]Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani:
Formal Reasoning Techniques for Goal Models. J. Data Semant. 1: 1-20 (2003) - [j56]Ladan Tahvildari, Kostas Kontogiannis, John Mylopoulos:
Quality-driven software re-engineering. J. Syst. Softw. 66(3): 225-239 (2003) - [j55]Pericles Loucopoulos, John Mylopoulos:
Requirements Engineering editorial. Requir. Eng. 8(1): 1 (2003) - [j54]Marcelo Arenas, Vasiliki Kantere, Anastasios Kementsietsidis, Iluju Kiringa, Renée J. Miller, John Mylopoulos:
The hyperion project: from data integration to data coordination. SIGMOD Rec. 32(3): 53-58 (2003) - [j53]Loris Penserini, Lin Liu, John Mylopoulos, Maurizio Panti, Luca Spalazzi:
Cooperation strategies for agent-based P2P systems. Web Intell. Agent Syst. 1(1): 3-21 (2003) - 2002
- [j52]Huaiqing Wang, John Mylopoulos, Stephen Shaoyi Liao:
Intelligent agents and financial risk monitoring systems. Commun. ACM 45(3): 83-88 (2002) - [j51]Jianguo Lu, John Mylopoulos:
Extensible Information Brokers. Int. J. Artif. Intell. Tools 11(1): 95-115 (2002) - [j50]Jaelson Castro, Manuel Kolp, John Mylopoulos:
Towards requirements-driven information systems engineering: the Tropos project. Inf. Syst. 27(6): 365-389 (2002) - [j49]Hermann Kaindl, Sjaak Brinkkemper, Janis A. Bubenko Jr., Barbara Farbey, Sol J. Greenspan, Constance L. Heitmeyer, Julio César Sampaio do Prado Leite, Nancy R. Mead, John Mylopoulos, Jawed I. A. Siddiqi:
Requirements Engineering and Technology Transfer: Obstacles, Incentives and Improvement Agenda. Requir. Eng. 7(3): 113-123 (2002) - 2001
- [j48]John Mylopoulos, Lawrence Chung, Stephen Shaoyi Liao, Huaiqing Wang, Eric S. K. Yu:
Exploring Alternatives during Requirements Analysis. IEEE Softw. 18(1): 92-96 (2001) - [j47]Avigdor Gal, John Mylopoulos:
Toward Web-Based Application Management Systems. IEEE Trans. Knowl. Data Eng. 13(4): 683-702 (2001) - 2000
- [j46]Jianguo Lu, John Mylopoulos, Masateru Harao, Masami Hagiya:
Higher order generalization and its application in program verification. Ann. Math. Artif. Intell. 28(1-4): 107-126 (2000) - [j45]Igor Jurisica, Janice I. Glasgow, John Mylopoulos:
Incremental Iterative Retrieval and Browsing for Efficient Conversational CBR Systems. Appl. Intell. 12(3): 251-268 (2000) - [j44]John Mylopoulos:
Desert Island Column: A Trip to Carthea. Autom. Softw. Eng. 7(4): 377-380 (2000) - [j43]Weidong Kou, David Lauzon, William G. O'Farrell, Teo Loo See, Daniel Wee, Daniel Tan, Kelvin Cheung, Richard Gregory, Kostas Kontogiannis, John Mylopoulos:
End-to-end E-commerce Application Development Based on XML Tools. IEEE Data Eng. Bull. 23(1): 29-36 (2000) - [j42]Avigdor Gal, John Mylopoulos:
Supporting Distributed Autonomous Information Services Using Coordination. Int. J. Cooperative Inf. Syst. 9(3): 255-282 (2000) - 1999
- [j41]John Mylopoulos, Lawrence Chung, Eric S. K. Yu:
From Object-Oriented to Goal-Oriented Requirements Analysis. Commun. ACM 42(1): 31-37 (1999) - [j40]Avigdor Gal, Scott Kerr, John Mylopoulos:
Information Services for the Web: Building and Maintaining Domain Models. Int. J. Cooperative Inf. Syst. 8(4): 227-254 (1999) - 1998
- [j39]Igor Jurisica, John Mylopoulos, Janice I. Glasgow, Heather Shapiro, Robert F. Casper:
Case-based reasoning in IVF: prediction and knowledge mining. Artif. Intell. Medicine 12(1): 1-24 (1998) - [j38]Giorgio De Michelis, Eric Dubois, Matthias Jarke, Florian Matthes, John Mylopoulos, Joachim W. Schmidt, Carson C. Woo, Eric S. K. Yu:
A Three-Faced View of Information Systems. Commun. ACM 41(12): 64-70 (1998) - [j37]Avigdor Gal, John Mylopoulos:
Information Services: Coping with the Information Crisis - Guest Editors' Introduction. Int. J. Cooperative Inf. Syst. 7(2-3): 117-122 (1998) - [j36]John Mylopoulos:
Information Modeling in the Time of the Revolution. Inf. Syst. 23(3-4): 127-155 (1998) - 1997
- [j35]John Mylopoulos, Alexander Borgida, Eric S. K. Yu:
Representing Software Engineering Knowledge. Autom. Softw. Eng. 4(3): 291-317 (1997) - [j34]John Mylopoulos, Mike P. Papazoglou:
Guest Editors' Introduction. IEEE Expert 12(5): 28-31 (1997) - [j33]Patrick J. Finnigan, Richard C. Holt, Ivan Kalas, Scott Kerr, Kostas Kontogiannis, Hausi A. Müller, John Mylopoulos, Stephen G. Perelgut, Martin Stanley, Kenny Wong:
The Software Bookshelf. IBM Syst. J. 36(4): 564-593 (1997) - 1996
- [j32]Eric S. K. Yu, John Mylopoulos, Yves Lespérance:
AI Models for Business Process Reengineering. IEEE Expert 11(4): 16-23 (1996) - [j31]Eric S. K. Yu, John Mylopoulos:
Using Goals, Rules and Methods to Support Reasoning in Business Process Reengineering. Intell. Syst. Account. Finance Manag. 5(1): 1-13 (1996) - [j30]John Mylopoulos, Vinay K. Chaudhri, Dimitris Plexousakis, Adel Shrufi, Thodoros Topaloglou:
Building Knowledge Base Management Systems. VLDB J. 5(4): 238-263 (1996) - 1995
- [j29]Linda A. Macaulay, John Mylopoulos:
Requirements Engineering: An Educational Dilemma. Autom. Softw. Eng. 2(4): 343-351 (1995) - [j28]Eric S. K. Yu, John Mylopoulos:
From E-R to "A-R" - Modelling Strategic Actor Relationships for Business Process Reengineering. Int. J. Cooperative Inf. Syst. 4(2-3): 125-144 (1995) - [j27]Alexander Borgida, John Mylopoulos, Raymond Reiter:
On the Frame Problem in Procedure Specifications. IEEE Trans. Software Eng. 21(10): 785-798 (1995) - [j26]Panos Constantopoulos, Matthias Jarke, John Mylopoulos, Yannis Vassiliou:
The Software Information Base: A Server for Reuse. VLDB J. 4(1): 1-43 (1995) - 1994
- [j25]John Mylopoulos:
Introduction. Appl. Intell. 4(2): 107-108 (1994) - [j24]Erich B. Buss, Renato de Mori, W. Morven Gentleman, John Henshaw, J. Howard Johnson, Kostas Kontogiannis, Ettore Merlo, Hausi A. Müller, John Mylopoulos, Santanu Paul, Atul Prakash, Martin Stanley, Scott R. Tilley, Joel Troster, Kenny Wong:
Investigating Reverse Engineering Technologies for the CAS Program Understanding Project. IBM Syst. J. 33(3): 477-500 (1994) - [j23]Michael L. Brodie, Matthias Jarke, John Mylopoulos, Mike P. Papazoglou:
Preface. Int. J. Cooperative Inf. Syst. 3(1): 1-2 (1994) - [j22]S. P. Ananthanarayanan, Andrew A. Goldenberg, John Mylopoulos:
A qualitative theoretical framework for 'common-sense' based multiple contact robotic manipulation. Robotica 12(2): 175-186 (1994) - 1993
- [j21]John Mylopoulos, Huaiqing Wang, Bryan M. Kramer:
Knowbel: A Hybrid Tool for Building Expert Systems. IEEE Expert 8(1): 17-24 (1993) - 1992
- [j20]Renate Motschnig-Pitrik, John Mylopoulos:
Classes and Instances. Int. J. Cooperative Inf. Syst. 1(1): 61-92 (1992) - [j19]K. Huff, John Mylopoulos:
Developing Intelligent Information Systems: A Workshop Summary. Int. J. Cooperative Inf. Syst. 1(2): 233-248 (1992) - [j18]Matthias Jarke, John Mylopoulos, Joachim W. Schmidt, Yannis Vassiliou:
DAIDA: An Environment for Evolving Information Systems. ACM Trans. Inf. Syst. 10(1): 1-50 (1992) - [j17]John Mylopoulos, Lawrence Chung, Brian A. Nixon:
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach. IEEE Trans. Software Eng. 18(6): 483-497 (1992) - 1991
- [j16]Lawrence Chung, Panagiotis Katalagarianos, Manolis Marakakis, Michalis Mertikas, John Mylopoulos, Yannis Vassiliou:
From information system requirements to designs: a mapping framework. Inf. Syst. 16(4): 429-461 (1991) - [j15]Bryan M. Kramer, Vinay K. Chaudhri, Manolis Koubarakis, Thodoros Topaloglou, Huaiqing Wang, John Mylopoulos:
Implementing Telos. SIGART Bull. 2(3): 77-83 (1991) - 1990
- [j14]John Mylopoulos, Alexander Borgida, Matthias Jarke, Manolis Koubarakis:
Telos: Representing Knowledge About Information Systems. ACM Trans. Inf. Syst. 8(4): 325-362 (1990) - 1989
- [j13]Joachim W. Schmidt, Ingrid Wetzel, Alexander Borgida, John Mylopoulos:
Database Programming by Formal Refinement of Conceptual Designs. IEEE Data Eng. Bull. 12(3): 53-61 (1989) - 1986
- [j12]Sol J. Greenspan, Alexander Borgida, John Mylopoulos:
A requirements modeling language and its logic. Inf. Syst. 11(1): 9-23 (1986) - 1985
- [j11]Alexander Borgida, Sol J. Greenspan, John Mylopoulos:
Knowledge Representation as the Basis for Requirements Specifications. Computer 18(4): 82-91 (1985) - 1984
- [j10]John Mylopoulos, Alexander Borgida, Sol J. Greenspan, Harry K. T. Wong:
Information System Design at the Conceptual Level - The Taxis Project. IEEE Database Eng. Bull. 7(4): 4-9 (1984) - 1983
- [j9]John Mylopoulos, Tetsutaro Shibahara, John K. Tsotsos:
Building Knowledge-Based Systems: The PSN Experience. Computer 16(10): 83-89 (1983) - 1981
- [j8]Richard Peacocke, John Mylopoulos:
A region-based formalism for picture processing. Pattern Recognit. 13(6): 399-416 (1981) - 1980
- [j7]John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong:
A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst. 5(2): 185-207 (1980) - 1976
- [j6]John Mylopoulos, Alexander Borgida, Phil Cohen, Nick Roussopoulos, John K. Tsotsos, Harry K. T. Wong:
TORUS: a step towards bridging the gap between data bases and the casual user. Inf. Syst. 2(2): 49-64 (1976) - 1973
- [j5]George Tourlakis, John Mylopoulos:
Some Results in Computational Topology. J. ACM 20(3): 439-455 (1973) - 1972
- [j4]John Mylopoulos:
On the recognition of topological invariants by 4-way finite automata. Comput. Graph. Image Process. 1(3): 308-316 (1972) - [j3]John Mylopoulos:
On the application of formal language and automata theory to pattern recognition. Pattern Recognit. 4(1): 37-51 (1972) - 1971
- [j2]John Mylopoulos, Theodosios Pavlidis:
On the Topological Properties of Quantized Spaces, I. The Notion of Dimension. J. ACM 18(2): 239-246 (1971) - [j1]John Mylopoulos, Theodosios Pavlidis:
On the Topological Properties of Quantized Spaces, II. Connectivity and Order of Connectivity. J. ACM 18(2): 247-254 (1971)
Conference and Workshop Papers
- 2024
- [c422]Sotirios Liaskos, Shakil M. Khan, John Mylopoulos, Reza Golipour:
Model-Driven Design and Generation of Training Simulators for Reinforcement Learning. ER 2024: 170-191 - [c421]Sotirios Liaskos, John Mylopoulos, Alexander Borgida, Shakil M. Khan:
Modeling and Reasoning About Explanation Requirements Using Goal Models. ER 2024: 215-234 - [c420]Sofana Alfuhaid, Amal Ahmed Anda, Daniel Amyot, Marco Roveri, John Mylopoulos:
SymboleoAC: An Access Control Model for Legal Contracts. PoEM 2024: 227-243 - [c419]Regan Meloche, Daniel Amyot, John Mylopoulos:
SymboleoNLP: A Tool for Generating Formal Specifications from Legal Contract Templates. RE 2024: 498-499 - 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 - 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 - 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
- [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 - 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 - 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 - 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
- [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 - 2015
- [c347]Elda Paja, Jennifer Horkoff, John Mylopoulos:
The Importance of Teaching Goal-Oriented Analysis Techniques: an Experience Report. iStarT@CAiSE 2015: 37-42 - [c346]Hausi A. Müller, John Mylopoulos, Marin Litoiu:
Engineering cyber physical systems. CASCON 2015: 328-332 - [c345]Alejandro Mate, Juan Trujillo, Elvis Koci, Kostas Zoumpatianos, John Mylopoulos:
Monitoring Strategic Business Goals with Argus. EDOC 2015: 1-8 - [c344]Alejandro Maté, Juan Trujillo, John Mylopoulos:
Stress Testing Strategic Goals with SWOT Analysis. ER 2015: 65-78 - [c343]Elda Paja, Jennifer Horkoff, John Mylopoulos:
The Importance of Teaching Systematic Analysis for Conceptual Models: An Experience Report. ER Workshops 2015: 347-357 - [c342]Konstantinos Angelopoulos, Vítor E. Silva Souza, John Mylopoulos:
Capturing Variability in Adaptation Spaces: A Three-Peaks Approach. ER 2015: 384-398 - [c341]Dimitra Papadimitriou, Yannis Velegrakis, Georgia Koutrika, John Mylopoulos:
Goals in Social Media, information retrieval and intelligent agents. ICDE 2015: 1538-1540 - [c340]Tong Li, Jennifer Horkoff, Elda Paja, Kristian Beckers, John Mylopoulos:
Analyzing Attack Strategies Through Anti-goal Refinement. PoEM 2015: 75-90 - [c339]Tong Li, Jennifer Horkoff, Kristian Beckers, Elda Paja, John Mylopoulos:
A Holistic Approach to Attack Modeling and Analysis. iStar 2015: 49-54 - [c338]Yanzhen Zou, Ting Ye, Yangyang Lu, John Mylopoulos, Lu Zhang:
Learning to Rank for Question-Oriented Software Text Retrieval (T). ASE 2015: 1-11 - [c337]Fabiano Dalpiaz, Evellin Cardoso, Giulia Canobbio, Paolo Giorgini, John Mylopoulos:
Social specifications of business processes with Azzurra. RCIS 2015: 7-18 - [c336]Fabiano Francesconi, Fabiano Dalpiaz, John Mylopoulos:
Models for strategic planning: Applying TBIM to the Montreux Jazz Festival case study. RCIS 2015: 229-238 - [c335]Tong Li, Elda Paja, John Mylopoulos, Jennifer Horkoff, Kristian Beckers:
Holistic security requirements analysis: An attacker's perspective. RE 2015: 282-283 - [c334]Tong Li, Jennifer Horkoff, John Mylopoulos:
Analyzing and Enforcing Security Mechanisms on Requirements Specifications. REFSQ 2015: 115-131 - [c333]Feng-Lin Li, Jennifer Horkoff, Alexander Borgida, Giancarlo Guizzardi, Lin Liu, John Mylopoulos:
From Stakeholder Requirements to Formal Specifications Through Refinement. REFSQ 2015: 164-180 - [c332]Konstantinos Angelopoulos, Alessandro Vittorio Papadopoulos, John Mylopoulos:
Adaptive predictive control for software systems. CTSE@SIGSOFT FSE 2015: 17-21 - 2014
- [c331]Tong Li, Jennifer Horkoff, John Mylopoulos:
A Prototype Tool for Modeling and Analyzing Security Requirements from A Holistic Viewpoint. CAiSE (Forum/Doctoral Consortium) 2014: 185-192 - [c330]Alejandro Maté, Kostas Zoumpatianos, Themis Palpanas, Juan Trujillo, John Mylopoulos, Elvis Koci:
A systematic approach for dynamic targeted monitoring of KPIs. CASCON 2014: 192-206 - [c329]Silvia Ingolfo, Alberto Siena, John Mylopoulos:
Modeling Regulatory Compliance in Requirements Engineering. ER Workshops 2014: 127-132 - [c328]Jennifer Horkoff, Fatma Basak Aydemir, Feng-Lin Li, Tong Li, John Mylopoulos:
Evaluating Modeling Languages: An Example from the Requirements Domain. ER 2014: 260-274 - [c327]Xiaowei Wang, Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos:
Software as a Social Artifact: A Management and Evolution Perspective. ER 2014: 321-334 - [c326]Xiaowei Wang, Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos:
Towards an Ontology of Software: a Requirements Engineering Perspective. FOIS 2014: 317-329 - [c325]Renata S. S. Guizzardi, Feng-Lin Li, Alexander Borgida, Giancarlo Guizzardi, Jennifer Horkoff, John Mylopoulos:
An Ontological Interpretation of Non-Functional Requirements. FOIS 2014: 344-357 - [c324]Xin Peng, Yi Xie, Yijun Yu, John Mylopoulos, Wenyun Zhao:
Evolving Commitments for Self-Adaptive Socio-technical Systems. ICECCS 2014: 98-107 - [c323]Konstantinos Angelopoulos, Vítor E. Silva Souza, John Mylopoulos:
Dealing with multiple failures in zanshin: a control-theoretic approach. SEAMS 2014: 165-174 - [c322]Tong Li, Jennifer Horkoff, John Mylopoulos:
Integrating Security Patterns with Security Requirements Analysis Using Contextual Goal Models. PoEM 2014: 208-223 - [c321]Fatma Basak Aydemir, Paolo Giorgini, John Mylopoulos:
Designing Sociotechnical Systems with Protos. iStar 2014 - [c320]Silvia Ingolfo, Alberto Siena, John Mylopoulos:
Goals and Compliance in Nomos 3. iStar 2014 - [c319]Tong Li, John Mylopoulos:
Modeling and Applying Security Patterns Using Contextual Goal Models. iStar 2014 - [c318]Fatma Basak Aydemir, Paolo Giorgini, John Mylopoulos, Fabiano Dalpiaz:
Exploring alternative designs for sociotechnical systems. RCIS 2014: 1-12 - [c317]Jennifer Horkoff, Tong Li, Feng-Lin Li, Mattia Salnitri, Evellin Cardoso, Paolo Giorgini, John Mylopoulos, João Pimentel:
Taking goal models downstream: A systematic roadmap. RCIS 2014: 1-12 - [c316]Alexander Borgida, Jennifer Horkoff, John Mylopoulos:
Applying knowledge representation and reasoning to (simple) goal models. AIRE 2014: 53-59 - [c315]Amit K. Chopra, Fabiano Dalpiaz, Fatma Basak Aydemir, Paolo Giorgini, John Mylopoulos, Munindar P. Singh:
Protos: Foundations for engineering innovative sociotechnical systems. RE 2014: 53-62 - [c314]Wenyi Qian, Xin Peng, Bihuan Chen, John Mylopoulos, Huanhuan Wang, Wenyun Zhao:
Rationalism with a dose of empiricism: Case-based reasoning for requirements-driven self-adaptation. RE 2014: 113-122 - [c313]Feng-Lin Li, Jennifer Horkoff, John Mylopoulos, Renata S. S. Guizzardi, Giancarlo Guizzardi, Alexander Borgida, Lin Liu:
Non-functional requirements as qualities, with a spice of ontology. RE 2014: 293-302 - [c312]Silvia Ingolfo, Alberto Siena, John Mylopoulos:
Nòmos 3: Reasoning about regulatory compliance of requirements. RE 2014: 313-314 - [c311]João Pimentel, Jaelson Castro, John Mylopoulos, Konstantinos Angelopoulos, Vítor E. Silva Souza:
From requirements to statecharts via design refinement. SAC 2014: 995-1000 - 2013
- [c310]Konstantinos Zoumpatianos, Themis Palpanas, John Mylopoulos, Alejandro Maté, Juan Trujillo:
Monitoring and diagnosing indicators for business analytics. CASCON 2013: 177-191 - [c309]Sotirios Liaskos, Shakil M. Khan, Mikhail Soutchanski, John Mylopoulos:
Modeling and Reasoning with Decision-Theoretic Goals. ER 2013: 19-32 - [c308]Fabiano Francesconi, Fabiano Dalpiaz, John Mylopoulos:
TBIM: A Language for Modeling and Reasoning about Business Plans. ER 2013: 33-46 - [c307]Alberto Siena, Silvia Ingolfo, Anna Perini, Angelo Susi, John Mylopoulos:
Automated Reasoning for Regulatory Compliance. ER 2013: 47-60 - [c306]Alexander Borgida, Fabiano Dalpiaz, Jennifer Horkoff, John Mylopoulos:
Requirements models for design- and runtime: a position paper. MiSE 2013: 62-68 - [c305]Silvia Ingolfo, Jennifer Horkoff, John Mylopoulos:
Uncertainty in Goal and Law Modeling and Analysis. iStar 2013: 31-36 - [c304]João Pimentel, Konstantinos Angelopoulos, Vítor Estêvão Silva Souza, John Mylopoulos, Jaelson Castro:
From Requirements to Architectures for Better Adaptive Software Systems. iStar 2013: 91-96 - [c303]Feng-Lin Li, Jennifer Horkoff, John Mylopoulos, Lin Liu, Alexander Borgida:
Non-Functional Requirements Revisited. iStar 2013: 109-114 - [c302]Fabiano Dalpiaz, Daniele Barone, Jennifer Horkoff, Lei Jiang, John Mylopoulos:
BIM-Tool: Modeling and Reasoning Support for Strategic Business Models. iStar 2013: 134-136 - [c301]Fabiano Dalpiaz, Alexander Borgida, Jennifer Horkoff, John Mylopoulos:
Runtime goal models: Keynote. RCIS 2013: 1-11 - [c300]Silvia Ingolfo, Alberto Siena, Angelo Susi, Anna Perini, John Mylopoulos:
Modeling laws with nomos 2. RELAW 2013: 69-71 - [c299]John Mylopoulos:
Requirements Models at Design and Runtime. ER@BR 2013 - [c298]Nicola Zeni, Luisa Mich, John Mylopoulos, James R. Cordy:
Applying gaiust for extracting requirements from legal documents. RELAW 2013: 65-68 - [c297]Roel J. Wieringa, Pascal van Eck, John Mylopoulos:
Requirements engineering conferences: Wither industry tracks? RE 2013: 349-352 - [c296]Silvia Ingolfo, Alberto Siena, Ivan Jureta, Angelo Susi, Anna Perini, John Mylopoulos:
Choosing Compliance Solutions through Stakeholder Preferences. REFSQ 2013: 206-220 - 2012
- [c295]Patricia C. Arocena, Renée J. Miller, John Mylopoulos:
The Vivification Problem in Real-Time Business Intelligence: A Vision. BIRTE 2012: 37-49 - [c294]Konstantinos Zoumpatianos, Themis Palpanas, John Mylopoulos:
Strategic Management for Real-Time Business Intelligence. BIRTE 2012: 118-128 - [c293]Hamzeh Zawawy, Kostas Kontogiannis, John Mylopoulos, Serge Mankovski:
Requirements-Driven Root Cause Analysis Using Markov Logic Networks. CAiSE 2012: 350-365 - [c292]Neil A. Ernst, Alexander Borgida, John Mylopoulos, Ivan Jureta:
Agile Requirements Evolution via Paraconsistent Reasoning. CAiSE 2012: 382-397 - [c291]Daniele Barone, Thodoros Topaloglou, John Mylopoulos:
Business Intelligence Modeling in Action: A Hospital Case Study. CAiSE 2012: 502-517 - [c290]Alejandro Maté, Juan Trujillo, John Mylopoulos:
Conceptualizing and specifying key performance indicators in business strategy models. CASCON 2012: 102-115 - [c289]Feng-Lin Li, Lin Liu, John Mylopoulos:
Software Service Evolution: A Requirements Perspective. COMPSAC Workshops 2012: 353-358 - [c288]Alexander Borgida, Jennifer Horkoff, John Mylopoulos, Riccardo Rosati:
Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts. Description Logics 2012 - [c287]Alberto Siena, Silvia Ingolfo, Angelo Susi, Ivan Jureta, Anna Perini, John Mylopoulos:
Requirements, Intentions, Goals and Applicable Norms. ER Workshops 2012: 195-200 - [c286]Alejandro Maté, Juan Trujillo, John Mylopoulos:
Conceptualizing and Specifying Key Performance Indicators in Business Strategy Models. ER 2012: 282-291 - [c285]Alberto Siena, Ivan Jureta, Silvia Ingolfo, Angelo Susi, Anna Perini, John Mylopoulos:
Capturing Variability of Law with Nómos 2. ER 2012: 383-396 - [c284]Vítor Estêvão Silva Souza, Alexei Lapouchnian, John Mylopoulos:
(Requirement) evolution requirements for adaptive systems. SEAMS 2012: 155-164 - [c283]Vítor Estêvão Silva Souza, Alexei Lapouchnian, John Mylopoulos:
Requirements-Driven Qualitative Adaptation. OTM Conferences (1) 2012: 342-361 - [c282]Jennifer Horkoff, Alexander Borgida, John Mylopoulos, Daniele Barone, Lei Jiang, Eric S. K. Yu, Daniel Amyot:
Making Data Meaningful: The Business Intelligence Model and Its Formal Semantics in Description Logics. OTM Conferences (2) 2012: 700-717 - [c281]Lingxiao Fu, Xin Peng, Yijun Yu, John Mylopoulos, Wenyun Zhao:
Stateful requirements monitoring for self-repairing socio-technical systems. RE 2012: 121-130 - [c280]Vítor Estêvão Silva Souza, Jose-Norberto Mazón, Irene Garrigós, Juan Trujillo, John Mylopoulos:
Monitoring strategic goals in data warehouses with awareness requirements. SAC 2012: 1075-1082 - 2011
- [c279]Sotirios Liaskos, Marin Litoiu, Marina Daoud Jungblut, John Mylopoulos:
Goal-Based Behavioral Customization of Information Systems. CAiSE 2011: 77-92 - [c278]Yudistira Asnar, Elda Paja, John Mylopoulos:
Modeling Design Patterns with Description Logics: A Case Study. CAiSE 2011: 169-183 - [c277]Fabio Massacci, John Mylopoulos, Federica Paci, Thein Than Tun, Yijun Yu:
An Extended Ontology for Security Requirements. CAiSE Workshops 2011: 622-636 - [c276]Hamzeh Zawawy, Kostas Kontogiannis, John Mylopoulos, Serge Mankovski:
Towards a requirements-driven framework for detecting malicious behavior against software systems. CASCON 2011: 15-29 - [c275]Siarhei Bykau, John Mylopoulos, Flavio Rizzolo, Yannis Velegrakis:
Supporting queries spanning across phases of evolving artifacts using Steiner forests. CIKM 2011: 1649-1658 - [c274]Silvia Ingolfo, Alberto Siena, John Mylopoulos:
Establishing Regulatory Compliance for Software Requirements. ER 2011: 47-61 - [c273]Vítor Estêvão Silva Souza, Alexei Lapouchnian, John Mylopoulos:
System Identification for Adaptive Software Systems: A Requirements Engineering Perspective. ER 2011: 346-361 - [c272]Lei Jiang, Daniele Barone, Daniel Amyot, John Mylopoulos:
Strategic Models for Business Intelligence. ER 2011: 429-439 - [c271]Daniele Barone, Lei Jiang, Daniel Amyot, John Mylopoulos:
Composite Indicators for Business Intelligence. ER 2011: 448-458 - [c270]Vítor Estêvão Silva Souza, Alexei Lapouchnian, William N. Robinson, John Mylopoulos:
Awareness requirements for adaptive systems. SEAMS 2011: 60-69 - [c269]Zhanlei Ma, Lin Liu, Hongji Yang, John Mylopoulos:
Adaptive Service Composition Based on Runtime Requirements Monitoring. ICWS 2011: 339-346 - [c268]Daniele Barone, Lei Jiang, Daniel Amyot, John Mylopoulos:
Reasoning with Key Performance Indicators. PoEM 2011: 82-96 - [c267]Silvia Ingolfo, John Mylopoulos, Anna Perini, Alberto Siena, Angelo Susi:
Nòmos: from Strategic Dependencies to Obligations. iStar 2011: 72-77 - [c266]Alexei Lapouchnian, John Mylopoulos:
Capturing Contextual Variability in i* Models. iStar 2011: 96-101 - [c265]Neil A. Ernst, Alexander Borgida, John Mylopoulos:
Requirements evolution drives software evolution. EVOL/IWPSE 2011: 16-20 - [c264]Daniele Barone, Liam Peyton, Flavio Rizzolo, Daniel Amyot, John Mylopoulos:
Towards Model-Based Support for Managing Organizational Transformation. MCETECH 2011: 17-31 - [c263]Abram Hindle, Neil A. Ernst, Michael W. Godfrey, John Mylopoulos:
Automated topic naming to support cross-project analysis of software maintenance activities. MSR 2011: 163-172 - [c262]Vítor E. Silva Souza, John Mylopoulos:
From awareness requirements to adaptive systems: A control-theoretic approach. RE@RunTime 2011: 9-15 - 2010
- [c261]Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos:
Reasoning about agents and protocols via goals and commitments. AAMAS 2010: 457-464 - [c260]Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos:
Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments. CAiSE 2010: 113-128 - [c259]Matthias Jarke, Pericles Loucopoulos, Kalle Lyytinen, John Mylopoulos, William N. Robinson:
The Brave New World of Design Requirements: Four Key Principles. CAiSE 2010: 470-482 - [c258]Yiqiao Wang, John Mylopoulos:
Diagnosing software using statecharts. CASCON 2010: 298-312 - [c257]Leslie Dolman, Frank Wm. Tompa, Iluju Kiringa, Rachel Pottinger, John Mylopoulos:
Next generation business intelligence (BI) tools. CASCON 2010: 352-354 - [c256]Kenny Wong, Serge Mankovski, Kostas Kontogiannis, Hausi A. Müller, John Mylopoulos:
Integrated system diagnosis and root cause analysis. CASCON 2010: 427-428 - [c255]Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovski, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Dennis B. Smith, João Pedro Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke:
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems 2010: 1-32 - [c254]Vítor Estêvão Silva Souza, Alexei Lapouchnian, William N. Robinson, John Mylopoulos:
Awareness Requirements. Software Engineering for Self-Adaptive Systems 2010: 133-161 - [c253]Fabiano Dalpiaz, Amit K. Chopra, Paolo Giorgini, John Mylopoulos:
Adaptation in Open Systems: Giving Interaction Its Rightful Place. ER 2010: 31-45 - [c252]Rick Salay, John Mylopoulos:
The Model Role Level - A Vision. ER 2010: 76-89 - [c251]Alberto Siena, Giampaolo Armellin, Gianluca Mameli, John Mylopoulos, Anna Perini, Angelo Susi:
Establishing Regulatory Compliance for Information System Requirements: An Experience Report from the Health Care Domain. ER 2010: 90-103 - [c250]Neil A. Ernst, John Mylopoulos, Alexander Borgida, Ivan Jureta:
Reasoning with Optional and Preferred Requirements. ER 2010: 118-131 - [c249]Hugo Estrada, Alicia Martínez, Oscar Pastor, John Mylopoulos, Paolo Giorgini:
Extending Organizational Modeling with Business Services Concepts: An Overview of the Proposed Architecture. ER 2010: 483-488 - [c248]Hamzeh Zawawy, Kostas Kontogiannis, John Mylopoulos:
Log filtering and interpretation for root cause analysis. ICSM 2010: 1-5 - [c247]Daniele Barone, Eric S. K. Yu, Jihyun Won, Lei Jiang, John Mylopoulos:
Enterprise Modeling for Business Intelligence. PoEM 2010: 31-45 - [c246]Raian Ali, Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos, Vítor Estêvão Silva Souza:
The Evolution of Tropos: Contexts, Commitments and Adaptivity. iStar 2010: 15-19 - [c245]Sotirios Liaskos, John Mylopoulos:
On Temporally Annotating Goal Models. iStar 2010: 62-66 - [c244]Mirko Morandini, Luca Sabatucci, Alberto Siena, John Mylopoulos, Loris Penserini, Anna Perini, Angelo Susi:
On the use of the Goal-Oriented Paradigm for System Design and Law Compliance Reasoning. iStar 2010: 71-75 - [c243]Chrisa Tsinaraki, Yannis Velegrakis, Nadzeya Kiyavitskaya, John Mylopoulos:
A Context-Based Model for the Interpretation of Polysemous Terms. OTM Conferences (2) 2010: 939-956 - [c242]Nauman A. Qureshi, Anna Perini, Neil A. Ernst, John Mylopoulos:
Towards a continuous requirements engineering framework for self-adaptive systems. RE@RunTime 2010: 9-16 - [c241]Ivan Jureta, Alexander Borgida, Neil A. Ernst, John Mylopoulos:
Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling. RE 2010: 115-124 - [c240]Sotirios Liaskos, Sheila A. McIlraith, Shirin Sohrabi, John Mylopoulos:
Integrating Preferences into Goal Models for Requirements Engineering. RE 2010: 135-144 - [c239]Neil A. Ernst, John Mylopoulos:
On the Perception of Software Quality Requirements during the Project Lifecycle. REFSQ 2010: 143-157 - 2009
- [c238]Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos:
Software self-reconfiguration: a BDI-based approach. AAMAS (2) 2009: 1159-1160 - [c237]Rick Salay, John Mylopoulos, Steve M. Easterbrook:
Using Macromodels to Manage Collections of Related Models. CAiSE 2009: 141-155 - [c236]Lei Jiang, Daniele Barone, Alexander Borgida, John Mylopoulos:
Measuring and Comparing Effectiveness of Data Quality Techniques. CAiSE 2009: 171-185 - [c235]Rick Salay, John Mylopoulos:
Improving Model Quality Using Diagram Coverage Criteria. CAiSE 2009: 186-200 - [c234]Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos:
An Architecture for Requirements-Driven Self-reconfiguration. CAiSE 2009: 246-260 - [c233]John Mylopoulos:
Conceptual Modeling in the Time of the Revolution: Part II. ER 2009: 25 - [c232]Vítor Estêvão Silva Souza, John Mylopoulos:
Monitoring and Diagnosing Malicious Attacks with Autonomic Software. ER 2009: 84-98 - [c231]Alexei Lapouchnian, John Mylopoulos:
Modeling Domain Variability in Requirements Engineering with Contexts. ER 2009: 115-130 - [c230]Flavio Rizzolo, Yannis Velegrakis, John Mylopoulos, Siarhei Bykau:
Modeling Concept Evolution: A Historical Perspective. ER 2009: 331-345 - [c229]Alberto Siena, John Mylopoulos, Anna Perini, Angelo Susi:
Designing Law-Compliant Software Requirements. ER 2009: 472-486 - [c228]Alberto Siena, Anna Perini, Angelo Susi, John Mylopoulos:
Towards a framework for law-compliant software requirements. ICSE Companion 2009: 251-254 - [c227]Wenting Ma, Lin Liu, Xiaojun Ye, Jianmin Wang, John Mylopoulos:
Requirements-driven Internetware services evaluation. Internetware 2009: 6 - [c226]Yiqiao Wang, John Mylopoulos:
Self-Repair through Reconfiguration: A Requirements Engineering Approach. ASE 2009: 257-268 - [c225]Sotirios Liaskos, Sheila A. McIlraith, John Mylopoulos:
Towards Augmenting Requirements Models with Preferences. ASE 2009: 565-569 - [c224]John Mylopoulos:
Models in Knowledge Management. KSEM 2009: 1 - [c223]Brian Donnellan, Diem Ho, John Mylopoulos, Stefan Schambron, Hans-Georg Fill:
Required Knowledge for Delivering Services. KSEM 2009: 4 - [c222]Alberto Siena, Anna Perini, Angelo Susi, John Mylopoulos:
A Meta-Model for Modelling Law-Compliant Requirements. RELAW 2009: 45-51 - [c221]Ivan Jureta, John Mylopoulos, Stéphane Faulkner:
Analysis of Multi-Party Agreement in Requirements Validation. RE 2009: 57-66 - [c220]Alicia Martínez, Oscar Pastor, John Mylopoulos, Hugo Estrada:
From Organizational Models to Software Requirements. SEKE 2009: 61-66 - [c219]Jianguo Lu, Minghao Li, John Mylopoulos, Kenneth Cheung:
Complete and Equivalent Query Rewriting Using Views. APWeb/WAIM 2009: 641-646 - 2008
- [c218]Nicola Zeni, Nadzeya Kiyavitskaya, James R. Cordy, Luisa Mich, John Mylopoulos:
Annotating Regulations Using Cerno: An Application to Italian Documents - Extended Abstract. ARES 2008: 1437-1442 - [c217]John Mylopoulos:
Goal-Oriented Requirements Engineering. CIbSE 2008 - [c216]John Mylopoulos:
Software Maintenance and Reengineering in the Days of Software Agents. CSMR 2008: 1 - [c215]Lei Jiang, Alexander Borgida, John Mylopoulos:
Towards a Compositional Semantic Account of Data Quality Attributes. ER 2008: 55-68 - [c214]Nadzeya Kiyavitskaya, Nicola Zeni, Travis D. Breaux, Annie I. Antón, James R. Cordy, Luisa Mich, John Mylopoulos:
Automating the Extraction of Rights and Obligations for Regulatory Compliance. ER 2008: 154-168 - [c213]Yijun Yu, Jan Jürjens, John Mylopoulos:
Traceability for the maintenance of secure software. ICSM 2008: 297-306 - [c212]Yijun Yu, Alexei Lapouchnian, Sotirios Liaskos, John Mylopoulos, Julio César Sampaio do Prado Leite:
From Goals to High-Variability Software Design. ISMIS 2008: 1-16 - [c211]Hugo Estrada, Alicia Martínez Rebollar, Oscar Pastor, John Mylopoulos, Paolo Giorgini:
A Service-oriented Approach for the i* Framework. iStar 2008: 21-24 - [c210]Paolo Giorgini, John Mylopoulos, Loris Penserini, Anna Perini, Angelo Susi:
Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT. iStar 2008: 83-89 - [c209]Rick Salay, John Mylopoulos, Steve M. Easterbrook:
Managing Models through Macromodeling. ASE 2008: 447-450 - [c208]Vítor Estêvão Silva Souza, Nicola Zeni, Nadzeya Kiyavitskaya, Periklis Andritsos, Luisa Mich, John Mylopoulos:
Automating the Generation of Semantic Annotation Tools Using a Clustering Technique. NLDB 2008: 91-96 - [c207]Alberto Siena, John Mylopoulos, Anna Perini, Angelo Susi:
From Laws to Requirements. RELAW 2008: 6-10 - [c206]Ivan Jureta, John Mylopoulos, Stéphane Faulkner:
Revisiting the Core Ontology and Problem in Requirements Engineering. RE 2008: 71-80 - [c205]Neil A. Ernst, John Mylopoulos, Yijun Yu, Tien Nguyen:
Supporting Requirements Model Evolution throughout the System Life-Cycle. RE 2008: 321-322 - [c204]Yijun Yu, Julio César Sampaio do Prado Leite, Alexei Lapouchnian, John Mylopoulos:
Configuring features with stakeholder goals. SAC 2008: 645-649 - 2007
- [c203]Loris Penserini, Anna Perini, Angelo Susi, Mirko Morandini, John Mylopoulos:
A design framework for generating BDI-agents from goal models. AAMAS 2007: 149 - [c202]Alexei Lapouchnian, Yijun Yu, John Mylopoulos:
Requirements-Driven Design and Configuration Management of Business Processes. BPM 2007: 246-261 - [c201]Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, James R. Cordy, John Mylopoulos:
Annotating Accommodation Advertisements Using CERNO. ENTER 2007: 389-400 - [c200]John Mylopoulos, Ivan Jureta, Stéphane Faulkner:
An Ontology for Requirements. ER Workshops 2007: 224 - [c199]Yuan An, Alexander Borgida, Renée J. Miller, John Mylopoulos:
A Semantic Approach to Discovering Schema Mapping Expressions. ICDE 2007: 206-215 - [c198]Lei Jiang, Alexander Borgida, Thodoros Topaloglou, John Mylopoulos:
Data Quality By Design: A Goal-Oriented Approach. ICIQ 2007: 249-263 - [c197]John Mylopoulos:
Goal-oriented Requirements Engineering. JISBD 2007: 17 - [c196]Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos:
An automated approach to monitoring and diagnosing requirements. ASE 2007: 293-302 - [c195]Nadzeya Kiyavitskaya, Nicola Zeni, Travis D. Breaux, Annie I. Antón, James R. Cordy, Luisa Mich, John Mylopoulos:
Extracting rights and obligations from regulations: toward a tool-supported process. ASE 2007: 429-432 - [c194]Nicola Zeni, Nadzeya Kiyavitskaya, Luisa Mich, John Mylopoulos, James R. Cordy:
A Lightweight Approach to Semantic Annotation of Research Papers. NLDB 2007: 61-72 - [c193]Elizabeth Chang, John Mylopoulos:
SWWS 2007 PC Co-chairs' Message. OTM Workshops (2) 2007: 1203 - [c192]Volha Bryl, Paolo Giorgini, John Mylopoulos:
Supporting Requirements Analysis in Tropos: A Planning-Based Approach. PRIMA 2007: 243-254 - [c191]Yijun Yu, Nan Niu, Bruno González-Baixauli, William Candillon, John Mylopoulos, Steve M. Easterbrook, Julio César Sampaio do Prado Leite, Gilles Vanwormhoudt:
Tracing and Validating Goal Aspects. RE 2007: 53-56 - [c190]Lei Jiang, Thodoros Topaloglou, Alexander Borgida, John Mylopoulos:
Goal-Oriented Conceptual Database Design. RE 2007: 195-204 - [c189]Dimitris Karagiannis, John Mylopoulos, Margit Schwab:
Business Process-Based Regulation Compliance: The Case of the Sarbanes-Oxley Act. RE 2007: 315-321 - [c188]Sotirios Liaskos, Lei Jiang, Alexei Lapouchnian, Yiqiao Wang, Yijun Yu, Julio César Sampaio do Prado Leite, John Mylopoulos:
Exploring the Dimensions of Variability: a Requirements Engineering Perspective. VaMoS 2007: 17-26 - 2006
- [c187]Yuan An, John Mylopoulos, Alexander Borgida:
Building Semantic Mappings from Databases to Ontologies. AAAI 2006: 1557-1566 - [c186]Mikhail Soutchanski, Huy Pham, John Mylopoulos:
Decision Making in Uncertain Real-World Domains Using DT-Golog. AAAI 2006 - [c185]Alicia Martínez, Oscar Pastor, John Mylopoulos, Paolo Giorgini:
From Early to Late Requirements: A Goal-Based Approach. AOIS 2006: 123-142 - [c184]Fernanda M. R. Alencar, Jaelson Brelaz de Castro, Ana Moreira, João Araújo, Carla T. L. L. Silva, Ricardo Argenton Ramos, John Mylopoulos:
Integration of Aspects with i* Models. AOIS 2006: 183-201 - [c183]Davide Bertolini, Loris Delpero, John Mylopoulos, Aliaksei Novikau, Alessandro Orler, Loris Penserini, Anna Perini, Angelo Susi, Barbara Tomasi:
A Tropos Model-Driven Development Environment. CAiSE Forum 2006 - [c182]Volha Bryl, Fabio Massacci, John Mylopoulos, Nicola Zannone:
Designing Security Requirements Models Through Planning. CAiSE 2006: 33-47 - [c181]Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos:
From Stakeholder Intentions to Software Agent Implementations. CAiSE 2006: 465-479 - [c180]Hugo Estrada, Alicia Martínez Rebollar, Oscar Pastor, John Mylopoulos:
An Empirical Evaluation of the i* Framework in a Model-Based Software Generation Environment. CAiSE 2006: 513-527 - [c179]Alexei Lapouchnian, Yijun Yu, Sotirios Liaskos, John Mylopoulos:
Requirements-driven design of autonomic application software. CASCON 2006: 80-94 - [c178]Lin Liu, Eric S. K. Yu, John Mylopoulos:
Security Design Based on Social Modeling. COMPSAC (2) 2006: 71-78 - [c177]Mikhail Soutchanski, Huy Pham, John Mylopoulos:
Decision Making in Large-Scale Domains: A Case Study. ECAI 2006: 773-774 - [c176]Dan Zhao, John Mylopoulos, Iluju Kiringa, Verena Kantere:
An ECA Rule Rewriting Mechanism for Peer Data Management Systems. EDBT 2006: 1069-1078 - [c175]Ning Su, John Mylopoulos:
Conceptualizing the Co-evolution of Organizations and Information Systems: An Agent-Oriented Perspective. ER 2006: 296-310 - [c174]Enzo Colombo, John Mylopoulos:
A Multi-perspective Framework for Organizational Patterns. ER 2006: 451-467 - [c173]Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos:
Agent Capability: Automating the Design to Code Process. EUMAS 2006 - [c172]Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos:
From Capability Specifications to Code for Multi-Agent Software. ASE 2006: 253-256 - [c171]Verena Kantere, Iluju Kiringa, QingQing Zhou, John Mylopoulos, Gregory McArthur:
Distributed Triggers for Peer Data Management. OTM Conferences (1) 2006: 17-35 - [c170]Volha Bryl, Paolo Giorgini, John Mylopoulos:
Designing Cooperative IS: Exploring and Evaluating Alternatives. OTM Conferences (1) 2006: 533-550 - [c169]Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, James R. Cordy, John Mylopoulos:
Text Mining Through Semi Automatic Semantic Annotation. PAKM 2006: 143-154 - [c168]John Mylopoulos:
Goal-Oriented Requirements Engineering, Part II. RE 2006: 4 - [c167]Sotirios Liaskos, Alexei Lapouchnian, Yijun Yu, Eric S. K. Yu, John Mylopoulos:
On Goal-based Variability Acquisition and Analysis. RE 2006: 76-85 - [c166]Lei Jiang, Thodoros Topaloglou, Alexander Borgida, John Mylopoulos:
Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management. RE 2006: 196-204 - [c165]Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone:
Detecting Conflicts of Interest. RE 2006: 308-311 - [c164]Fernanda M. R. Alencar, Ana Moreira, João Araújo, Jaelson Castro, Carla T. L. L. Silva, John Mylopoulos:
Using Aspects to Simplify iModels. RE 2006: 328-329 - [c163]Lúcia R. D. Bastos, Jaelson Castro, John Mylopoulos:
Deriving Architectures from Requirements. RE 2006: 332-333 - [c162]Lei Jiang, Thodoros Topaloglou, Alexander Borgida, John Mylopoulos:
Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management. SEBD 2006: 14-19 - [c161]Carla Silva, Jaelson Castro, Patrícia Azevedo Tedesco, João Araújo, Ana Moreira, John Mylopoulos:
Improving the architectural design of multi-agent systems: the tropos case. SELMAS 2006: 107-113 - [c160]Renata S. S. Guizzardi, Giancarlo Guizzardi, Anna Perini, John Mylopoulos:
Towards an Ontological Account of Agent-Oriented Goals. SELMAS (LNCS) 2006: 148-164 - [c159]Carla T. L. L. Silva, Jaelson Castro, Patrícia Azevedo Tedesco, João Araújo, Ana Moreira, John Mylopoulos:
Improving Multi-Agent Architectural Design. SELMAS (LNCS) 2006: 165-184 - 2005
- [c158]John Mylopoulos:
Goal-Oriented Requirements Engineering. APSEC 2005: 3 - [c157]Alexander Borgida, John Mylopoulos:
Databases and the Semantic Web: Data Semantics Revisited. APWeb 2005: 1 - [c156]Julio César Sampaio do Prado Leite, Yijun Yu, Lin Liu, Eric S. K. Yu, John Mylopoulos:
Quality-Based Software Reuse. CAiSE 2005: 535-550 - [c155]Fabio Massacci, John Mylopoulos, Nicola Zannone:
Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation. ESORICS 2005: 438-454 - [c154]Homayoun Dayani-Fard, Yijun Yu, John Mylopoulos, Periklis Andritsos:
Improving the Build Architecture of Legacy C/C++ Software Systems. FASE 2005: 96-110 - [c153]Nadzeya Kiyavitskaya, Nicola Zeni, James R. Cordy, Luisa Mich, John Mylopoulos:
Applying Software Analysis Technology to Lightweight Semantic Markup of Document Text. ICAPR (1) 2005: 590-600 - [c152]Yannis Velegrakis, Renée J. Miller, John Mylopoulos:
Representing and Querying Data Transformations. ICDE 2005: 81-92 - [c151]David Garlan, John Mylopoulos, Marin Litoiu, Dennis B. Smith, Hausi A. Müller, Kenny Wong:
DEAS 2005: workshop on the design and evolution of autonomic application software. ICSE 2005: 699 - [c150]Yijun Yu, Homayoun Dayani-Fard, John Mylopoulos, Periklis Andritsos:
Reducing Build Time through Precompilations for Evolving Large Software. ICSM 2005: 59-68 - [c149]Homayoun Dayani-Fard, Janice I. Glasgow, John Mylopoulos:
A Datawarehouse for Managing Commercial Software Release. ICSM 2005: 209-218 - [c148]Enzo Colombo, John Mylopoulos, Paola Spoletini:
Modeling and Analyzing Context-Aware Composition of Services. ICSOC 2005: 198-213 - [c147]Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone:
Modeling Social and Individual Trust in Requirements Engineering Methodologies. iTrust 2005: 161-176 - [c146]Paolo Giorgini, Fabio Massacci, John Mylopoulos, Alberto Siena, Nicola Zannone:
ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements. iTrust 2005: 415-419 - [c145]Yuan An, John Mylopoulos:
Translating XML Web Data into Ontologies. OTM Workshops 2005: 967-976 - [c144]Yuan An, Alexander Borgida, John Mylopoulos:
Inferring Complex Semantic Mappings Between Relational Tables and Ontologies from Simple Correspondences. OTM Conferences (2) 2005: 1152-1169 - [c143]Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone:
Modeling Security Requirements Through Ownership, Permission and Delegation. RE 2005: 167-176 - [c142]Yijun Yu, Yiqiao Wang, John Mylopoulos, Sotirios Liaskos, Alexei Lapouchnian, Julio César Sampaio do Prado Leite:
Reverse Engineering Goal Models from Legacy Code. RE 2005: 363-372 - [c141]Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone:
ST-Tool: A CASE Tool for Security Requirements Engineering. RE 2005: 451-452 - [c140]Yuan An, Alexander Borgida, John Mylopoulos:
Constructing Complex Semantic Mappings Between XML Data and Ontologies. ISWC 2005: 6-20 - [c139]Nadzeya Kiyavitskaya, Nicola Zeni, James R. Cordy, Luisa Mich, John Mylopoulos:
Semi-Automatic Semantic Annotations for Web Documents. SWAP 2005 - [c138]Patricia Rodríguez-Gianolli, Maddalena Garzetti, Lei Jiang, Anastasios Kementsietsidis, Iluju Kiringa, Mehedi Masud, Renée J. Miller, John Mylopoulos:
Data Sharing in the Hyperion Peer Database System. VLDB 2005: 1291-1294 - [c137]Yijun Yu, John Mylopoulos, Yiqiao Wang, Sotirios Liaskos, Alexei Lapouchnian, Ying Zou, Martin Littou, Julio César Sampaio do Prado Leite:
RETR: Reverse Engineering to Requirements. WCRE 2005: 234 - [c136]Jianguo Lu, Yijun Yu, John Mylopoulos:
A Lightweight Approach to Semantic Web Service Synthesis. WIRI 2005: 240-247 - 2004
- [c135]Roberto Sebastiani, Paolo Giorgini, John Mylopoulos:
Simple and Minimum-Cost Satisfiability for Goal Models. CAiSE 2004: 20-35 - [c134]Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone:
Filling the Gap between Requirements Engineering and Public Key/Trust Management Infrastructures. EuroPKI 2004: 98-111 - [c133]Yannis Velegrakis, Renée J. Miller, Lucian Popa, John Mylopoulos:
ToMAS: A System for Adapting Mappings while Schemas Evolve. ICDE 2004: 862 - [c132]Diana Lau, John Mylopoulos:
Designing Web Services with Tropos. ICWS 2004: 306- - [c131]Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone:
Requirements Engineering Meets Trust Management: Model, Methodology, and Reasoning. iTrust 2004: 176-190 - [c130]Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, John Mylopoulos:
Experimenting with Linguistic Tools for Conceptual Modelling: Quality of the Models and Critical Features. NLDB 2004: 135-146 - [c129]Yijun Yu, Julio César Sampaio do Prado Leite, John Mylopoulos:
From Goals to Aspects: Discovering Aspects from Requirements Goal Models. RE 2004: 38-47 - [c128]Bruno González-Baixauli, Julio César Sampaio do Prado Leite, John Mylopoulos:
Visual Variability Analysis for Goal Models. RE 2004: 198-207 - [c127]Alexander Borgida, John Mylopoulos:
Data Semantics Revisited. SWDB 2004: 9-26 - [c126]Yuan An, Alexander Borgida, John Mylopoulos:
Refining Semantic Mappings from Relational Tables to Ontologies. SWDB 2004: 84-90 - [c125]Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, John Mylopoulos:
A Lightweight Approach to Semantic Tagging. WWW Workshop on Application Design, Development and Implementation Issues in the Semantic Web 2004 - 2003
- [c124]Jaelson Castro, Carla T. L. L. Silva, John Mylopoulos:
Modeling Organizational Architectural Styles in UML. CAiSE 2003: 111-126 - [c123]Manuel Kolp, Paolo Giorgini, John Mylopoulos:
Organizational Patterns for Early Requirements Analysis. CAiSE 2003: 617-632 - [c122]Yijun Yu, Homayoun Dayani-Fard, John Mylopoulos:
Removing false code dependencies to speedup software build processes. CASCON 2003: 343-352 - [c121]Luciano Serafini, Fausto Giunchiglia, John Mylopoulos, Philip A. Bernstein:
Local Relational Model: A Logical Formalization of Database Coordination. CONTEXT 2003: 286-299 - [c120]John Mylopoulos:
Tenth Anniversasy of CoopIS: Cooperative Information Systems Then and Now. OTM 2003: 1 - [c119]Vasiliki Kantere, John Mylopoulos, Iluju Kiringa:
A Distributed Rule Mechanism for Multidatabase Systems. OTM 2003: 56-73 - [c118]Vasiliki Kantere, Iluju Kiringa, John Mylopoulos, Anastasios Kementsietsidis, Marcelo Arenas:
Coordinating Peer Databases Using ECA Rules. DBISP2P 2003: 108-122 - [c117]John Mylopoulos:
Modeling Software. Description Logics 2003 - [c116]Paolo Giorgini, Fabio Massacci, John Mylopoulos:
Requirement Engineering Meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard. ER 2003: 263-276 - [c115]Carla T. L. L. Silva, Jaelson Brelaz de Castro, John Mylopoulos:
Detailing Architectural Design in the Tropos Methodology. STRAW 2003: 85-93 - [c114]Lúcia R. D. Bastos, Jaelson Brelaz de Castro, John Mylopoulos:
Integrating Organizational Requirements and Socio-Intentional Architectural Styles. STRAW 2003: 114-121 - [c113]Jianguo Lu, John Mylopoulos:
Automated EJB Client Code Generation Using Database Query Rewriting. IDEAS 2003: 308-319 - [c112]John Mylopoulos:
Agent Oriented Software Development. OOIS 2003: 1 - [c111]Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos:
Specifying and Analyzing Early Requirements: Some Experimental Results. RE 2003: 105- - [c110]Bowen Hui, Sotirios Liaskos, John Mylopoulos:
Requirements Analysis for Customizable Software Goals-Skills-Preferences Framework. RE 2003: 117-126 - [c109]Lin Liu, Eric S. K. Yu, John Mylopoulos:
Security and Privacy Requirements Analysis within a Social Setting. RE 2003: 151-161 - [c108]Carla T. L. L. Silva, Jaelson F. B. Castro, John Mylopoulos:
Detailing Architectural Design in Requirements Driven Software Development: The Tropos Case. SBES 2003: 79-94 - [c107]Davide Bolchini, John Mylopoulos:
From Task-Oriented to Goal-Oriented Web Requirements Analysis. WISE 2003: 166-175 - [c106]John Mylopoulos, Maria E. Orlowska:
SemanticWeb Services: Facts and Fiction. WISE 2003: 369-372 - 2002
- [c105]Paolo Giorgini, Manuel Kolp, John Mylopoulos:
Socio-Intentional Architectures for Multi-Agent Systems: the Mobile Robot Control case. AOIS@CAiSE 2002 - [c104]Paolo Giorgini, Manuel Kolp, John Mylopoulos:
Multi-agent and Software Architectures: A Comparative Case Study. AOSE 2002: 101-112 - [c103]Fausto Giunchiglia, John Mylopoulos, Anna Perini:
The Tropos Software Development Methodology: Processes, Models and Diagrams. AOSE 2002: 162-173 - [c102]Loris Penserini, Lin Liu, John Mylopoulos, Luca Spalazzi:
Modeling and Evaluating Cooperation Strategies in P2P Agent Systems. AP2PC 2002: 87-99 - [c101]Fausto Giunchiglia, John Mylopoulos, Anna Perini:
The tropos software development methodology: processes, models and diagrams. AAMAS 2002: 35-36 - [c100]Manuel Kolp, Paolo Giorgini, John Mylopoulos:
Organizational multi-agent architectures: a mobile robot example. AAMAS 2002: 94-95 - [c99]Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani:
Reasoning with Goal Models. ER 2002: 167-181 - [c98]Manuel Kolp, Paolo Giorgini, John Mylopoulos:
Information systems development through social structures. SEKE 2002: 183-190 - [c97]Jaelson Castro, Rosa Candida Pinto, Andréa Castor, John Mylopoulos:
Requirements Traceability in Agent Oriented Development. SELMAS 2002: 57-72 - [c96]John Mylopoulos, Manuel Kolp, Paolo Giorgini:
Agent-Oriented Software Development. SETN 2002: 3-17 - [c95]Gregory McArthur, John Mylopoulos, Siu Kee Keith Ng:
An Extensible Tool for Source Code Representation Using XML. WCRE 2002: 199- - [c94]Philip A. Bernstein, Fausto Giunchiglia, Anastasios Kementsietsidis, John Mylopoulos, Luciano Serafini, Ilya Zaihrayeu:
Data Management for Peer-to-Peer Computing : A Vision. WebDB 2002: 89-94 - [c93]Maddalena Garzetti, Paolo Giorgini, John Mylopoulos, Fabrizio Sannicolò:
Applying Tropos Methodology to a real case study: Complexity and Criticality Analysis. WOA 2002: 7-13 - 2001
- [c92]Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos:
A knowledge level software engineering methodology for agent oriented programming. Agents 2001: 648-655 - [c91]Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos:
Modeling Early Requirements in Tropos: A Transformation Based Approach. AOSE 2001: 151-168 - [c90]Manuel Kolp, Paolo Giorgini, John Mylopoulos:
A Goal-Based Organizational Perspective on Multi-agent Architectures. ATAL 2001: 128-140 - [c89]Jaelson Castro, Manuel Kolp, John Mylopoulos:
A Requirements-Driven Development Methodology. CAiSE 2001: 108-123 - [c88]Patricia Rodríguez-Gianolli, John Mylopoulos:
A Semantic Approach to XML-based Data Integration. ER 2001: 117-132 - [c87]Ariel Fuxman, Paolo Giorgini, Manuel Kolp, John Mylopoulos:
Information systems as social structures. FOIS 2001: 10-21 - [c86]Jaelson Castro, John Mylopoulos, Fernanda M. R. Alencar, Gilberto A. Cysneiros Filho:
Integrating Organizational Requirements and Object Oriented Modeling. RE 2001: 146-153 - [c85]Ariel Fuxman, John Mylopoulos, Marco Pistore, Paolo Traverso:
Model Checking Early Requirements Specifications in Tropos. RE 2001: 174-181 - [c84]Paolo Giorgini, Anna Perini, John Mylopoulos, Fausto Giunchiglia, Paolo Bresciani:
Agent- Oriented Software Development: A Case Study. SEKE 2001: 283-290 - [c83]John Mylopoulos, Manuel Kolp, Jaelson Castro:
UML for Agent-Oriented Software Development: The Tropos Proposal. UML 2001: 422-441 - [c82]Ladan Tahvildari, Kostas Kontogiannis, John Mylopoulos:
Requirements-Driven Software Re-engineering Framework. WCRE 2001: 71-80 - [c81]Raoul Jarvis, Gregory McArthur, John Mylopoulos, Patricia Rodríguez-Gianolli, Shun Zhou:
Semantic Models for Knowledge Management. WISE (1) 2001: 8-20 - [c80]Anna Perini, Paolo Bresciani, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos:
Towards an Agent Oriented Approach to Software Engineering. WOA 2001: 74-79 - 2000
- [c79]Hermann Kaindl, John Mylopoulos:
Why Is It So Difficult to Introduce RE Research Results into Mainstream RE Practice? CAiSE 2000: 7-12 - [c78]Jianguo Lu, John Mylopoulos, Jamie Ho:
Towards Extensible Information Brokers Based on XML. CAiSE 2000: 32-46 - [c77]John Mylopoulos, Ariel Fuxman, Paolo Giorgini:
From Entities and Relationships to Social Actors and Dependencies. ER 2000: 27-36 - [c76]Jaelson Castro, Manuel Kolp, John Mylopoulos:
Developing Agent-Oriented Information Systems for the Enterprise. ICEIS 2000: IS 9-24 - [c75]Fernanda M. R. Alencar, Jaelson Castro, Gilberto A. Cysneiros Filho, John Mylopoulos:
From Early Requirements Modeled by the i* Technique to Later Requirements Modeled in Precise UML. WER 2000: 92-108 - 1999
- [c74]Yves Lespérance, Todd G. Kelley, John Mylopoulos, Eric S. K. Yu:
Modeling Dynamic Domains with ConGolog. CAiSE 1999: 365-380 - [c73]Prashant Patil, Ying Zou, Kostas Kontogiannis, John Mylopoulos:
Migration of procedural systems to network-centric platforms. CASCON 1999: 8 - 1998
- [c72]Kostas Kontogiannis, Johannes Martin, Kenny Wong, Richard Gregory, Hausi A. Müller, John Mylopoulos:
Code migration through transformations: an experience report. CASCON 1998: 13 - [c71]Scott Kerr, Avigdor Gal, John Mylopoulos:
Information Services for the Web: Building and Maintaining Domain Models. CoopIS 1998: 4-13 - [c70]Eric S. K. Yu, John Mylopoulos:
Why Goal-Oriented Requirements Engineering. REFSQ 1998: 15-22 - [c69]John Mylopoulos:
Panel on Next Generation Database Systems Won't Work Without Semantics! SIGMOD Conference 1998: 497 - 1997
- [c68]Eric S. K. Yu, John Mylopoulos:
Modelling Organizational Issues for Enterprise Integration. ICEIMT 1997: 529-538 - 1996
- [c67]Bryan M. Kramer, John Mylopoulos, Michael E. Benjamin, Q. B. Chou, Peter Ahn, John Opala:
Developing an Expert System Technology for Industrial Process Control: An Experience Report. AI 1996: 172-186 - [c66]Renate Motschnig-Pitrik, John Mylopoulos:
Semantics, Features, and Applications of the Viewpoint Abstraction. CAiSE 1996: 514-539 - [c65]John Mylopoulos, Avigdor Gal, Kostas Kontogiannis, Martin Stanley:
A Generic Integration Architecture for Cooperative Information Systems. CoopIS 1996: 208-217 - [c64]Matthias Jarke, John Mylopoulos:
Cooperative Information Systems: A Research Agenda (Tutorial). CSCW 1996: 5 - [c63]Dimitris Plexousakis, John Mylopoulos:
Accomodating Integrity Constraints During Database Design. EDBT 1996: 497-513 - [c62]Thodoros Topaloglou, John Mylopoulos:
Representing Partial Spatial Information in Databases. ER 1996: 325-340 - 1995
- [c61]Michael J. Whitney, Morris Bernstein, Renato de Mori, Kostas Kontogiannis, Brian Corrie, Hausi A. Müller, Scott R. Tilley, Ettore Merlo, John Mylopoulos, Kenny Wong, J. Howard Johnson, James McDaniel, Martin Stanley:
Using an integrated toolset for program understanding. CASCON 1995: 59 - [c60]John Mylopoulos, Renate Motschnig-Pitrik:
Partitioning Information Bases with Contexts. CoopIS 1995: 44-54 - [c59]Eric S. K. Yu, Philippe Du Bois, Eric Dubois, John Mylopoulos:
From Organization Models to System Requirements: A 'Cooperating Agents' Approach. CoopIS 1995: 194-204 - [c58]Vinay K. Chaudhri, John Mylopoulos:
Efficient Algorithms and Performance Results for Multi-User Knowledge Bases. IJCAI (1) 1995: 759-767 - 1994
- [c57]John Mylopoulos, Martin Stanley, Kenny Wong, Morris Bernstein, Renato de Mori, Graham W. Ewart, Kostas Kontogiannis, Ettore Merlo, Hausi A. Müller, Scott R. Tilley, Marijana Tomic:
Towards an integrated toolset for program understanding. CASCON 1994: 48 - [c56]Vinay K. Chaudhri, Vassos Hadzilacos, John Mylopoulos, Kenneth C. Sevcik:
Quantitative Evaluation of a Transaction Facility for a Knowledge Base Management System. CIKM 1994: 122-131 - [c55]John Mylopoulos:
Expert Systems for Industrial Process Control: A Study in Technology Transfer. DEXA 1994: 359 - [c54]Eric S. K. Yu, John Mylopoulos:
From E-R to "A-R" - Modelling Strategic Actor Relationships for Business Process Reengineering. ER 1994: 548-565 - [c53]Eric S. K. Yu, John Mylopoulos:
Using Goals, Rules, and Methods to Support Reasoning in Business Process Re-engineering. HICSS (4) 1994: 234-243 - [c52]Sol J. Greenspan, John Mylopoulos, Alexander Borgida:
On Formal Requirements Modeling Languages: RML Revisited. ICSE 1994: 135-147 - [c51]Eric S. K. Yu, John Mylopoulos:
Understanding "Why" in Software Process Modelling, Analysis, and Design. ICSE 1994: 159-168 - 1993
- [c50]John Mylopoulos, Thomas Rose, Carson C. Woo:
Task-Oriented Development of Intelligent Information Systems. ICICIS 1993: 206-219 - [c49]Eric S. K. Yu, John Mylopoulos:
An actor dependency model of organizational work: with application to business process reengineering. COOCS 1993: 258-268 - [c48]Vinay K. Chaudhri, Vassos Hadzilacos, John Mylopoulos:
Concurrency Control for Knowledge Bases. HPTS 1993 - [c47]Alexander Borgida, John Mylopoulos, Raymond Reiter:
"...And Nothing Else Changes": The Frame Problem in Procedure Specifications. ICSE 1993: 303-314 - [c46]John Mylopoulos:
The Future Direction of AI Tools (Panel). ICTAI 1993: 11 - [c45]John Mylopoulos:
Aligning Information Strategy with Business Strategy - A Technical Perspective. NGITS 1993 - 1992
- [c44]Thomas Rose, Matthias Jarke, John Mylopoulos:
Organizing software repositories modeling requirements and implementation experiences. COMPSAC 1992: 31-38 - [c43]S. P. Ananthanarayanan, David Gershon, Andrew A. Goldenberg, John Mylopoulos:
Introducing robotic 'common sense' in real time dexterous manipulation. ICRA 1992: 2776-2781 - [c42]Vinay K. Chaudhri, Vassos Hadzilacos, John Mylopoulos:
Concurrency Control for Knowledge Bases. KR 1992: 762-773 - [c41]John Mylopoulos, Thomas Rose:
Software Repositories. VLDB 1992: 455 - 1991
- [c40]Rick Sobiesiak, John Mylopoulos:
A conceptual modelling approach to authoring-in-the-large for hypertext documents. COOCS 1991: 225-239 - 1990
- [c39]Yannis Vassiliou, Manolis Marakakis, Panagiotis Katalagarianos, Lawrence Chung, Michalis Mertikas, John Mylopoulos:
IRIS - A Mapping Assistant for Generating Designs from Requirements. CAiSE 1990: 307-338 - [c38]John Mylopoulos:
Object-Orientation and Knowledge Representation. DS-4 1990: 23-37 - [c37]John Mylopoulos, Huaiqing Wang, André Kushniruk:
KNOWBEL: a hybrid expert system building tool. TAI 1990: 864-870 - [c36]John Mylopoulos, Michael L. Brodie:
Knowledge Bases and Databases: Current Trends and Future Directions. IS/KI 1990: 153-180 - 1989
- [c35]Alexander Borgida, John Mylopoulos, Joachim W. Schmidt, Ingrid Wetzel:
Support for Data-Intensive Applications: Conceptual Design and Software Development. DBPL 1989: 258-280 - 1988
- [c34]Lawrence Chung, Daniel Rios-Zertuche, Brian A. Nixon, John Mylopoulos:
Process Management and Assertion Enforcement for a Semantic Data Model. EDBT 1988: 469-487 - 1987
- [c33]Brian A. Nixon, John Mylopoulos:
Integration Issues in Implementing Semantic Data Models. DBPL 1987: 187-217 - [c32]Brian A. Nixon, Lawrence Chung, David Lauzon, Alexander Borgida, John Mylopoulos, Martin Stanley:
Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis. SIGMOD Conference 1987: 118-131 - 1986
- [c31]John Mylopoulos:
Environments for the Development of Specifications (Panel). IFIP Congress 1986: 317-319 - 1985
- [c30]James P. Delgrande, John Mylopoulos:
Knowledge Representation: Features of Knowledge. Advanced Course: Fundamentals of Artificial Intelligence 1985: 3-36 - [c29]John Mylopoulos:
On Knowledge Base Management Systems. On Knowledge Base Management Systems (Islamorada) 1985: 3-8 - [c28]Michael L. Brodie, John Mylopoulos:
Knowledge Bases vs. Databases. On Knowledge Base Management Systems (Islamorada) 1985: 83-86 - [c27]Brian A. Nixon, Lawrence Chung, David Lauzon, Alexander Borgida, John Mylopoulos, Martin Stanley:
Design of a Compiler for a Semantic Data Model. Foundations of Knowledge Base Management (Xania) 1985: 293-343 - [c26]Alexander Borgida, Matthias Jarke, John Mylopoulos, Joachim W. Schmidt, Yannis Vassiliou:
The Software Development Environment as a Knowledge Base Management System. Foundations of Knowledge Base Management (Xania) 1985: 411-442 - [c25]Sol J. Greenspan, Alexander Borgida, John Mylopoulos:
A Requirements Modeling Language and Its Logic. On Knowledge Base Management Systems (Islamorada) 1985: 471-502 - [c24]John Mylopoulos:
The Need for a Knowledge Representation Framework. Foundations of Knowledge Base Management (Xania) 1985: 495-498 - [c23]Alexander Borgida, Sol J. Greenspan, John Mylopoulos:
Knowledge Reperesentation as the Basis for Requirements Specification (Reprint). Wissensbasierte Systeme 1985: 152-169 - 1984
- [c22]Michael L. Brodie, Robert Balzer, Gio Wiederhold, Ronald J. Brachman, John Mylopoulos:
Knowledge Base Management Systems: Discussions from the Working Group. Expert Database Workshop 1984: 19-33 - 1983
- [c21]Tetsutaro Shibahara, John K. Tsotsos, John Mylopoulos, H. Dominic Covvey:
CAA: A Knowledge Based System Using Causal Knowledge to Diagnose Cardiac Rhythm Disorders. IJCAI 1983: 242-245 - [c20]Raymond Reiter, Hervé Gallaire, Jonathan J. King, John Mylopoulos, Bonnie L. Webber:
A Panel on AI and Databases. IJCAI 1983: 1199 - [c19]John Mylopoulos, Hector J. Levesque:
An Overview of Knowledge Representation. GWAI 1983: 143-157 - 1982
- [c18]John Mylopoulos, Hector J. Levesque:
An Overview of Knowledge Representation. On Conceptual Modelling (Intervale) 1982: 3-17 - [c17]Alexander Borgida, John Mylopoulos, Harry K. T. Wong:
Generalization/Specialization as a Basis for Software Specification. On Conceptual Modelling (Intervale) 1982: 87-117 - [c16]Sol J. Greenspan, John Mylopoulos, Alexander Borgida:
Capturing More World Knowledge in the Requirements Specification. ICSE 1982: 225-235 - 1980
- [c15]John Mylopoulos:
An Overview of Knowledge Representation. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 5-12 - [c14]John Mylopoulos:
Tutorial on Artificial Intelligence Research. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 13-18 - [c13]John Mylopoulos, Martin S. Feather, Bertrand Meyer, Paolo Paolini, Diane C. P. Smith, Gary G. Hendrix:
Relationships Between and Among Models (discussion). Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 77-82 - [c12]John Mylopoulos:
A Perspective for Research on Conceptual Modelling. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 167-170 - [c11]John Mylopoulos, Harry K. T. Wong:
Some Features of the TAXIS Data Model. VLDB 1980: 399-410 - 1979
- [c10]John K. Tsotsos, John Mylopoulos, H. Dominic Cowey, Steven W. Zucker:
ALVEN: A Study on Motion Understanding by Computer. IJCAI 1979: 890-892 - 1978
- [c9]John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong:
A Language Facility for Designing Interactive Database-Intensive Applications (Abstract). SIGMOD Conference 1978: 17 - 1977
- [c8]Hector J. Levesque, John Mylopoulos:
An Overview of a Procedural Approach to Semantic Networks. IJCAI 1977: 283 - 1975
- [c7]John Mylopoulos, Stewart A. Schuster, Dennis Tsichritzis:
A multi-level relational system. AFIPS National Computer Conference 1975: 403-408 - [c6]John Mylopoulos, Philip R. Cohen, Alexander Borgida, Laszlo Sugar:
Semantic Networks and the Generation of Context. IJCAI 1975: 134-142 - [c5]John Mylopoulos:
TORUS - A Natural Language Understanding System For Data Management. IJCAI 1975: 414-421 - [c4]Nick Roussopoulos, John Mylopoulos:
Using Semantic Networks for Database Management. VLDB 1975: 144-172 - 1973
- [c3]John Mylopoulos, Norman I. Badler, L. Melli, Nick Roussopoulos:
l.Pak: A SNOBOL-Based Programming Language for Artificial Intelligence Applications. IJCAI 1973: 691-696 - 1972
- [c2]George Tourlakis, John Mylopoulos:
Some Results in Computational Topology. SWAT 1972: 40-51 - [c1]John Mylopoulos:
On the Relation of Graph Grammars and Graph Automata. SWAT 1972: 108-120
Parts in Books or Collections
- 2015
- [p11]Hamzeh Zawawy, Serge Mankovskii, Kostas Kontogiannis, John Mylopoulos:
Mining Software Logs for Goal-Driven Root Cause Analysis. The Art and Science of Analyzing Software Data 2015: 519-554 - 2014
- [p10]Neil A. Ernst, Alexander Borgida, Ivan Jureta, John Mylopoulos:
An Overview of Requirements Evolution. Evolving Software Systems 2014: 3-32 - 2013
- [p9]Jaelson Castro, Manuel Kolp, John Mylopoulos:
A Requirements-Driven Development Methodology. Seminal Contributions to Information Systems Engineering 2013: 265-280 - [p8]John Mylopoulos, Jaelson Castro, Manuel Kolp:
The Evolution of Tropos. Seminal Contributions to Information Systems Engineering 2013: 281-287 - 2011
- [p7]Eric Yu, Paolo Giorgini, Neil A. M. Maiden, John Mylopoulos:
Social Modeling for Requirements Engineering: An Introduction. Social Modeling for Requirements Engineering 2011: 3-10 - [p6]Paolo Giorgini, John Mylopoulos, Anna Perini, Angelo Susi:
The Tropos Methodology and Software Development Environment. Social Modeling for Requirements Engineering 2011: 405-424 - [p5]Enzo Colombo, John Mylopoulos:
Requirements Analysis for Run-Time Service Compositions. Social Modeling for Requirements Engineering 2011: 485-516 - [p4]Paolo Giorgini, John Mylopoulos, Roberto Sebastiani:
Goal Modeling and Reasoning in Tropos. Social Modeling for Requirements Engineering 2011: 645-668 - 2010
- [p3]Amit K. Chopra, John Mylopoulos, Fabiano Dalpiaz, Paolo Giorgini, Munindar P. Singh:
Requirements as Goals and Commitments Too. Intentional Perspectives on Information Systems Engineering 2010: 137-153 - [p2]Fabio Massacci, John Mylopoulos, Nicola Zannone:
Security Requirements Engineering: The SI* Modeling Language and the Secure Tropos Methodology. Advances in Intelligent Information Systems 2010: 147-174 - 2006
- [p1]John Mylopoulos, Alexander Borgida:
Properties of Information Modeling Techniques for Information Systems Engineering. Handbook on Architectures of Information Systems 2006: 17-58
Editorship
- 2024
- [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
- [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
- [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] - 2020
- [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] - 2019
- [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
- [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] - 2016
- [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] - 2015
- [e20]Jennifer Horkoff, James Lockerbie, Xavier Franch, Eric S. K. Yu, John Mylopoulos:
Proceedings of the 1st International iStar Teaching Workshop co-located with the 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015), Stockholm, Sweden, June 9, 2015. CEUR Workshop Proceedings 1370, CEUR-WS.org 2015 [contents] - 2014
- [e19]Matthias Jarke, John Mylopoulos, Christoph Quix, Colette Rolland, Yannis Manolopoulos, Haralambos Mouratidis, Jennifer Horkoff:
Advanced Information Systems Engineering - 26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014. Proceedings. Lecture Notes in Computer Science 8484, Springer 2014, ISBN 978-3-319-07880-9 [contents] - 2013
- [e18]Marin Litoiu, John Mylopoulos:
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2013, San Francisco, CA, USA, May 20-21, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-4401-2 [contents] - 2011
- [e17]Eric S. K. Yu, Paolo Giorgini, Neil A. M. Maiden, John Mylopoulos:
Social Modeling for Requirements Engineering. Cooperative information systems, MIT Press 2011, ISBN 978-0-262-24055-0 [contents] - [e16]Jaelson Brelaz de Castro, Xavier Franch, John Mylopoulos, Eric S. K. Yu:
Proceedings of the 5th International i* Workshop 2011, Trento, Italy, August 28-29, 2011. CEUR Workshop Proceedings 766, CEUR-WS.org 2011 [contents] - 2010
- [e15]Jaelson Brelaz de Castro, Xavier Franch, John Mylopoulos, Eric S. K. Yu:
Proceedings of the 4th International i* Workshop, Hammamet, Tunisia, June 07-08, 2010. CEUR Workshop Proceedings 586, CEUR-WS.org 2010 [contents] - 2008
- [e14]Matthias Jarke, Kalle Lyytinen, John Mylopoulos:
Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems, 08.10. - 11.10.2008. Dagstuhl Seminar Proceedings 08412, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 2007
- [e13]Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu:
Journal on Data Semantics VIII. Lecture Notes in Computer Science 4380, Springer 2007, ISBN 978-3-540-70663-2 [contents] - [e12]Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu:
Journal on Data Semantics IX. Lecture Notes in Computer Science 4601, Springer 2007, ISBN 978-3-540-74982-0 [contents] - 2006
- [e11]Patrick Doherty, John Mylopoulos, Christopher A. Welty:
Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006. AAAI Press 2006, ISBN 978-1-57735-271-6 [contents] - 2005
- [e10]Lois M. L. Delcambre, Christian Kop, Heinrich C. Mayr, John Mylopoulos, Oscar Pastor:
Conceptual Modeling - ER 2005, 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings. Lecture Notes in Computer Science 3716, Springer 2005, ISBN 3-540-29389-2 [contents] - [e9]Robert Meersman, Zahir Tari, Mohand-Said Hacid, John Mylopoulos, Barbara Pernici, Özalp Babaoglu, Hans-Arno Jacobsen, Joseph P. Loyall, Michael Kifer, Stefano Spaccapietra:
On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I. Lecture Notes in Computer Science 3760, Springer 2005, ISBN 3-540-29736-7 [contents] - [e8]Robert Meersman, Zahir Tari, Mohand-Said Hacid, John Mylopoulos, Barbara Pernici, Özalp Babaoglu, Hans-Arno Jacobsen, Joseph P. Loyall, Michael Kifer, Stefano Spaccapietra:
On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part II. Lecture Notes in Computer Science 3761, Springer 2005, ISBN 3-540-29738-3 [contents] - 2003
- [e7]Dieter Fensel, Katia P. Sycara, John Mylopoulos:
The Semantic Web - ISWC 2003, Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings. Lecture Notes in Computer Science 2870, Springer 2003, ISBN 3-540-20362-1 [contents] - 2002
- [e6]Anne Banks Pidduck, John Mylopoulos, Carson C. Woo, M. Tamer Özsu:
Advanced Information Systems Engineering, 14th International Conference, CAiSE 2002, Toronto, Canada, May 27-31, 2002, Proceedings. Lecture Notes in Computer Science 2348, Springer 2002, ISBN 3-540-43738-X [contents] - 1996
- [e5]Panos Constantopoulos, John Mylopoulos, Yannis Vassiliou:
Advances Information System Engineering, 8th International Conference, CAiSE'96, Heraklion, Crete, Greece, May 20-24, 1996, Proceedings. Lecture Notes in Computer Science 1080, Springer 1996, ISBN 3-540-61292-0 [contents] - 1991
- [e4]John Mylopoulos, Raymond Reiter:
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24-30, 1991. Morgan Kaufmann 1991, ISBN 1-55860-160-0 [contents] - 1986
- [e3]Michael L. Brodie, John Mylopoulos:
On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies, Book resulting from the Islamorada Workshop 1985 (Islamorada, FL, USA). Topics in Information Systems, Springer 1986, ISBN 3-540-96382-0 [contents] - 1984
- [e2]Michael L. Brodie, John Mylopoulos, Joachim W. Schmidt:
On Conceptual Modelling, Perspectives from Artificial Intelligence, Databases, and Programming Languages, Book resulting from the Intervale Workshop 1982. Topics in information systems, Springer 1984, ISBN 978-3-540-90842-5 [contents] - [e1]Michael L. Brodie, John Mylopoulos, Joachim W. Schmidt:
On Conceptual Modelling, Perspectives from Artificial Intelligence, Databases, and Programming Languages, Book resulting from the Intervale Workshop 1982. Topics in Information Systems, Springer 1984, ISBN 3-540-90842-0 [contents]
Reference Works
- 2018
- [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 - 2009
- [r2]Alexander Borgida, John Mylopoulos:
Conceptual Schema Design. Encyclopedia of Database Systems 2009: 438-442 - [r1]John Mylopoulos:
Database Design. Encyclopedia of Database Systems 2009: 708-710
Data and Artifacts
- 2020
- [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]
Informal and Other Publications
- 2024
- [i18]Mounira Nihad Zitouni, Amal Ahmed Anda, Sahil Rajpal, Daniel Amyot, John Mylopoulos:
Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo. CoRR abs/2411.15898 (2024) - 2018
- [i17]Mohamad Gharib, John Mylopoulos:
A Core Ontology for Privacy Requirements Engineering. CoRR abs/1811.12621 (2018) - 2016
- [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]Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos:
Requirements Evolution and Evolution Requirements with Constrained Goal Models. CoRR abs/1604.04716 (2016) - [i13]Feng-Lin Li, Alexander Borgida, Giancarlo Guizzardi, Jennifer Horkoff, Lin Liu, John Mylopoulos:
Desiree: a Refinement Calculus for Requirements Problems. CoRR abs/1605.02263 (2016) - [i12]Mohamad Gharib, Paolo Giorgini, John Mylopoulos:
Ontologies for Privacy Requirements Engineering: A Systematic Literature Review. CoRR abs/1611.10097 (2016) - 2013
- [i11]Shinichi Honiden, Zhenjiang Hu, Hausi A. Müller, John Mylopoulos, Yijun Yu:
Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2013-7). NII Shonan Meet. Rep. 2013 (2013) - 2010
- [i10]Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Bradley R. Schmerl, Dennis B. Smith, João Pedro Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, Jochen Wuttke:
Software Engineering for Self-Adaptive Systems: A second Research Roadmap. Software Engineering for Self-Adaptive Systems 2010 - [i9]Ivan Jureta, Alberto Siena, John Mylopoulos, Anna Perini, Angelo Susi:
Theory of Regulatory Compliance for Requirements Engineering. CoRR abs/1002.3711 (2010) - [i8]Neil A. Ernst, Steve M. Easterbrook, John Mylopoulos:
Code forking in open-source software: a requirements perspective. CoRR abs/1004.2889 (2010) - 2009
- [i7]Ivan Jureta, John Mylopoulos, Stéphane Faulkner:
Towards a Theory of Requirements Elicitation: Acceptability Condition for the Relative Validity of Requirements. CoRR abs/0902.0924 (2009) - 2008
- [i6]Matthias Jarke, Pericles Loucopoulos, Kalle Lyytinen, John Mylopoulos, William N. Robinson:
08412 Manifesto - High-Impact Requirements for Software-Intensive Systems. Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems 2008 - [i5]Matthias Jarke, Kalle Lyytinen, John Mylopoulos:
08412 Abstracts Collection - Science of Design : High-Impact Requirements for Software-Intensive Systems. Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems 2008 - [i4]Matthias Jarke, Kalle Lyytinen, John Mylopoulos:
08412 Executive Summary - Science of Design : High-Impact Requirements for Software-Intensive Systems. Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems 2008 - [i3]Matthias Jarke, Kalle Lyytinen, John Mylopoulos, Gerti Kappel, Julio César Sampaio do Prado Leite, Gloria Mark, Balasubramaniam Ramesh, Dominik Schmitz, Alistair G. Sutcliffe:
08412 Seminar Outlines and Working Group Summaries. Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems 2008 - [i2]John Mylopoulos:
The Logic of Requirements. Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems 2008 - [i1]Ivan Jureta, John Mylopoulos, Stéphane Faulkner:
Revisiting the Core Ontology and Problem in Requirements Engineering. CoRR abs/0811.4364 (2008)
Coauthor Index
[j124] [j121] [j101] [j100] [j99] [j79] [j72] [j35] [j27] [j14] [j13] [j12] [j11] [j10] [j6] [c421] [c398] [c365] [c333] [c325] [c316] [c313] [c306] [c303] [c301] [c292] [c288] [c282] [c265] [c250] [c241] [c236] [c215] [c199] [c198] [c190] [c187] [c166] [c162] [c157] [c144] [c140] [c127] [c126] [c52] [c47] [c35] [c32] [c27] [c26] [c25] [c23] [c17] [c16] [c6] [p10] [p1] [r4] [r2] [d3] [d2] [d1] [i13]
[j122] [j120] [j119] [j117] [j116] [j108] [j95] [j89] [j81] [j74] [j73] [j70] [j69] [j64] [j57] [c391] [c384] [c379] [c373] [c372] [c369] [c366] [c360] [c358] [c353] [c352] [c349] [c348] [c337] [c321] [c318] [c317] [c315] [c261] [c260] [c253] [c249] [c246] [c238] [c234] [c211] [c210] [c192] [c185] [c170] [c165] [c147] [c146] [c143] [c141] [c135] [c134] [c131] [c123] [c116] [c105] [c104] [c100] [c99] [c98] [c96] [c93] [c92] [c91] [c90] [c87] [c84] [c80] [c77] [p7] [p6] [p4] [p3] [e17] [i16] [i14] [i12]
Alejandro Maté
aka: Alejandro Mate
aka: Alejandro Mate
Vítor E. Silva Souza
aka: Vítor Estêvão Silva Souza
aka: Vítor Estêvão Silva Souza
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-05 21:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
