04 - Delibera Mylopoulos emerito.doc - Pagina 1 di 1 DELIBERA ORGANO SENATO ACCADEMICO DEL 28 OTTOBRE 2014 VIA CALEPINA, 14 - TRENTO Struttura proponente Direzione Risorse Umane e Organizzazione Divisione gestione rapporto di lavoro personale docente e ricercatore N. ordine del giorno 04 Oggetto Proposta di conferimento del titolo di professore emerito al prof. John Mylopoulos Documentazione allegata Curriculum del prof. John Mylopoulos Sono presenti alla deliberazione: DE PRETIS Daria Rettore che presiede P ARMANINI Aronne Componente P BUZZI Carlo Componente P CASATI Fabio Componente P COLLINI Paolo Componente P DEFLORIAN Flavio Componente P GATTI Paolo Componente P LOCATELLI Carla Componente P (vc) * collegata in videoconferenza È presente il Direttore Generale, dott.ssa Giancarla Masè, in qualità di Segretario verbalizzante. Visto lo Statuto dell’Università degli Studi di Trento emanato con D.R. n. 167 del 23.04.2012; Visto il Regio decreto 1592/1933, art. 111, il quale recita: “ Ai professori ordinari, che siano stati collocati a riposo o dei quali siano state accettate le dimissioni, potrà essere conferito il titolo di “professore emerito”, qualora abbiano prestato almeno venti anni di servizio in qualità di professori ordinari; il titolo di “professore onorario” qualora tale servizio abbia avuto la durata di almeno quindici anni. Detti titoli sono concessi con decreto Reale, su proposta del Ministro, previa deliberazione della Facoltà o Scuola cui l’interessato apparteneva all’atto della cessazione dal servizio. Ai professori emeriti ed onorari non competono particolari prerogative accademiche”; Vista la delibera del Consiglio del Dipartimento di Ingegneria e Scienza dell’Informazione del 16 settembre 2014, con la quale viene proposto il conferimento del titolo di Professore emerito al Prof. Ioannis Mylopoulos; Visto il D.R. n. 746 del 30.08.2005 con cui, all'atto della nomina del Prof. Ioannis Mylopoulos quale professore ordinario con decorrenza 1 settembre 2005, viene riconosciuta allo stesso un'anzianità pregressa nel ruolo di professore ordinario di anni 25 e mesi 2; Visto il curriculum vitae del prof. Ioannis Mylopoulos; Considerato l’elevato profilo scientifico e l’alta reputazione internazionale raggiunti dal prof. Ioannis Mylopoulos e il grande spirito di servizio dimostrato verso l’Ateneo; Con voto unanime; delibera 1. di approvare la proposta di conferimento del titolo di Professore emerito al prof. John Mylopoulos il cui curriculum fa parte integrante della presente deliberazione (allegato 4.1). F.to Il Presidente F.to Il Segretario Prof.ssa Daria de Pretis dott.ssa Giancarla Masé
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
04 - Delibera Mylopoulos emerito.doc - Pagina 1 di 1
DELIBERA
ORGANO SENATO ACCADEMICO DEL 28 OTTOBRE 2014
VIA CALEPINA, 14 - TRENTO
Struttura proponente Direzione Risorse Umane e Organizzazione Divisione gestione rapporto di lavoro personale docente e ricercatore
N. ordine del giorno 04
Oggetto Proposta di conferimento del titolo di professore emerito al prof. John Mylopoulos
Documentazione allegata Curriculum del prof. John Mylopoulos
Sono presenti alla deliberazione:
DE PRETIS Daria Rettore che presiede P
ARMANINI Aronne Componente P
BUZZI Carlo Componente P
CASATI Fabio Componente P
COLLINI Paolo Componente P
DEFLORIAN Flavio Componente P
GATTI Paolo Componente P
LOCATELLI Carla Componente P (vc)
* collegata in videoconferenza
È presente il Direttore Generale, dott.ssa Giancarla Masè, in qualità di Segretario verbalizzante.
Visto lo Statuto dell’Università degli Studi di Trento emanato con D.R. n. 167 del 23.04.2012;
Visto il Regio decreto 1592/1933, art. 111, il quale recita:
“ Ai professori ordinari, che siano stati collocati a riposo o dei quali siano state accettate le dimissioni, potrà essere conferito il titolo di “professore emerito”, qualora abbiano prestato almeno venti anni di servizio in qualità di professori ordinari; il titolo di “professore onorario” qualora tale servizio abbia avuto la durata di almeno quindici anni. Detti titoli sono concessi con decreto Reale, su proposta del Ministro, previa deliberazione della Facoltà o Scuola cui l’interessato apparteneva all’atto della cessazione dal servizio. Ai professori emeriti ed onorari non competono particolari prerogative accademiche”;
Vista la delibera del Consiglio del Dipartimento di Ingegneria e Scienza dell’Informazione del 16 settembre 2014, con la quale viene proposto il conferimento del titolo di Professore emerito al Prof. Ioannis Mylopoulos;
Visto il D.R. n. 746 del 30.08.2005 con cui, all'atto della nomina del Prof. Ioannis Mylopoulos quale professore
ordinario con decorrenza 1 settembre 2005, viene riconosciuta allo stesso un'anzianità pregressa nel ruolo di professore ordinario di anni 25 e mesi 2;
Visto il curriculum vitae del prof. Ioannis Mylopoulos;
Considerato l’elevato profilo scientifico e l’alta reputazione internazionale raggiunti dal prof. Ioannis Mylopoulos e il grande spirito di servizio dimostrato verso l’Ateneo;
Con voto unanime;
delibera
1. di approvare la proposta di conferimento del titolo di Professore emerito al prof. John Mylopoulos il cui curriculum fa parte integrante della presente deliberazione (allegato 4.1).
F.to Il Presidente F.to Il Segretario
Prof.ssa Daria de Pretis dott.ssa Giancarla Masé
.- -‐ 1 -‐
CURRICULUM VITAE
John Mylopoulos (September 2014)
I. Biographical information Personal
Name: John Mylopoulos Date of Birth: July 12, 1943 Citizenship: Canadian, Greek
Home Address (Italy): via Gerola 13, apt #24, Trento 38100, Italy Home telephone: 011-‐39-‐335-‐190-‐0627 cell University address: Dipartmento di Ingegneria e Scienza dell'Informazione (DISI)
Università degli Studi di Trento Povo, Trento, Italy University telephone: 011-‐39-‐0461-‐283-‐903 University fax number: 011-‐39-‐282-‐093 Email address: [email protected] Home Address (Canada): 281 Riverside Drive, Toronto, Canada M6S 4B1 Home telephone: 001-‐416-‐762-‐6305 University address: Dept. of Computer Science, University of Toronto Bahen Building, room BA7266, 40 St. George Street, Toronto, Canada M5S 2E4 University telephone: 001-‐416-‐978-‐5180 University fax number: 001-‐416-‐978-‐1455 Email address: [email protected]
Degrees Held
BEng Brown University (Electrical Engineering), 1966 MEng Brown University, 1967 PhD Princeton University (Electrical Engineering), 1970
Thesis Title: “On the Definition and Recognition of Patterns in Discrete Spaces” Supervisor: Theodosius Pavlidis
PhD, honoris causa RWTH Aachen University (Computer Science), 2012
Employment
Permanent 2013-‐ Professor emeritus University of Trento, Department of Information Engineering and Computer Science (DISI) 2009-‐ Professor emeritus University of Toronto, Department of Computer Science 2005-‐ Distinguished professor University of Trento, Department of Information Engineering and (chiara fama) Computer Science (DISI) 1980-‐09 Professor University of Toronto, Department of Computer Science 1975-‐80 Associate Professor University of Toronto, Department of Computer Science
(with tenure) 1970-‐75 Assistant Professor University of Toronto, Department of Computer Science
viviana.bertolini
Rettangolo
viviana.bertolini
Font monospazio
Allegato 4.1
.- -‐ 2 -‐
Visiting 2001 Fall Professor University of Trento, DIT 1997 Fall Research Professor City University of Hong Kong, Dept. of Information Systems 1986 Spring Researcher IEI-‐CNR Pisa 1978 Spring Professor University of Rome “La Sapienza”, Centro di Studio dei Sistemi di Controllo e Calcolo Automatici 1977 Fall Associate Professor Harvard University, Faculty of Applied Science & Engineering
Honours, Prizes and Awards
2014 Lifetime service award, IEEE Requirements Engineering Steering Committee for “…for your long-‐time service to the RE community – in particular your leadership role and your outstanding mentorship and support of young faculty …”
2012 Honorary (honoris causa) doctorate degree, RWTH Aachen University for “… outstanding and formative contributions to Conceptual Modelling as foundation for Databases, Software Engineering and Artificial Intelligence”.
2011 Fellow, Entity-‐Relationship Foundation.
2011 Fellow, Canadian Artificial Intelligence Association / Association pour l'Intelligence Artificielle au Canada (CAIAC).
2011 Honorable mention, most influential paper award at the 19th International IEEE Requirements Engineering Conference (RE’11), for the paper titled “Model Checking Early Requirements Specifications in Tropos”, by Ariel Fuxman, Marco Pistore, John Mylopoulos and Paolo Traverso. The most influential paper award is presented at every RE conference to a paper published at the RE conference 10 years earlier that was deemed to have been most influential to the RE community.
2010 Recipient of a European Research Council (ERC) Advanced Grant for a project titled “Foundations for Software Evolution”. According to the ERC website, “… ERC Advanced Grants allow exceptional established research leaders in any field of science, engineering and scholarship to pursue frontier research of their choice.”
2010 Recipient of the 2010 Peter P. Chen award “… in recognition of extraordinary contributions in the field of Conceptual Modelling in research, service, education, … practice, and international reputation.”
2009 Festschrift book: Borgida, A., Chaudhri, V., Giorgini, P., Yu, E., (eds.) Conceptual Modeling: Foundations and Applications – Essays in Honour of John Mylopoulos, Springer-‐Verlag, Lecture Notes in Computer Science, no.5600, 505p, June 2009, ISBN 978-‐3-‐642-‐02462-‐7.
2008 Best paper award for a paper titled “Revisiting the Core Ontology and Problem in Requirements Engineering”, (co-‐authored by Ivan Jureta, John Mylopoulos, Stephane Faulkner), 17th International IEEE Conf. on Requirements Engineering (RE’08), Barcelona, September 10-‐12 2008, (164 submissions).
2008 Fellow, European Coordinating Committee for Artificial Intelligence (ECCAI).
2007 Distinguished paper award for a paper titled “An Automated Approach for Monitoring and Diagnosing Requirements”, (co-‐authored by Yiqiao Wang, Sheila McIlraith, Yijun Yu and John Mylopoulos), 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE’07), Atlanta, November 5-‐9, 2007, (312 submissions).
2007 Fellow, Royal Society of Canada, Academy of Sciences, Division of Applied Sciences and Engineering.
2005 Distinguished professor (chiara fama), University of Trento.
.- -‐ 3 -‐
2002 Honorary member, Hellenic Association for Artificial Intelligence.
2001 First holder of the Bell University Labs Chair in Information Systems, a University of Toronto endowed chair, 2001-‐05.
1998 Best paper award, IBM CASCON Conference, Toronto, for a paper titled “Code Migration Through Transformations: An Experience Report”, co-‐authored by Kostas Kontogiannis, Johannes Martin, Kenny Wong, Richard Gregory, Hausi Mueller and John Mylopoulos.
1998 Best paper award, International Conference on Cooperative Information Systems (CoopIS’98), New York, August 1998; for a paper titled “Information Services for the Web: Building and Maintaining Domain Models”, co-‐authored by Scott Kerr, Avi Gal, and John Mylopoulos.
1998 Elected president (1998-‐01), Very Large Databases Endowment; re-‐elected (2002-‐05)
1997 Honorary fellow, Institute of Computer Science, University of Crete.
1994 Most influential paper award, Sixteenth International Conference on Software Engineering, May 1994, Sorrento; for a paper co-‐authored by Alex Borgida and Sol Greenspan and presented at the Sixth International Conference on Software Engineering (1982). The most influential paper award is presented at every ICSE conference to a paper published 10 ICSE conferences earlier that was deemed to have been most influential to the SE community.
1994 Distinguished Lectureship, University of Namur, Belgium; Lectures delivered on the 25th anniversary of the founding of the Department of Computer Science.
1993 Fellow of the American Association for Artificial Intelligence (fifth Canadian to receive this honour.)
1992 First ever outstanding services award, Canadian Society for Computational Studies of Intelligence (CSCSI).
1984-‐89 Senior research fellow, Canadian Institute for Advanced Research, AI and Robotics programme.
1966 Graduated summa cum laude, highest honours in engineering, Brown University
1965 Class of 1952 Prize, Brown University
1962,1964 Francis Wayland scholar, Brown University
1962 Francis Wayland prize for Greek, Brown University
1962 Hartshorn prize for Mathematics, Brown University
Professional Affiliations
2007-‐ co-‐editor, Lecture Notes in Business Information Processing, published by Springer-‐Verlag
2000-‐08 co-‐editor, Requirements Engineering Journal, published by Springer-‐Verlag
1999-‐12 co-‐editor, MIT Press, book series on “Cooperative Information Systems”
2000-‐03 Editorial Board, ACM Computing Surveys
1998-‐03 President, VLDB Endowment (elected in 1998, re-‐elected in 2001)
1985-‐ Editorial Board, International Journal of Intelligent Systems, John Wiley and Sons
1984-‐89 Editorial Board, Journal of Future Generations Computer Systems, North Holland
1983-‐93 Co-‐editor, Springer-‐Verlag Book Series, Topics on Information Systems
1982-‐85 Editorial Board, IEEE Transactions on Pattern Analysis and Machine Intelligence
1978-‐82 Associate Editor, INFOR
1978-‐80 President, Canadian Society for Computational Studies of Intelligence (elected position)
1976-‐78 Secretary, Canadian Society for Computational Studies of Intelligence (elected position)
II. Academic History Research Interests. Mylopoulos’ interests focus on conceptual modelling techniques, covering topics that range on topics covering Software Engineering, Information Systems, Databases and Artificial Intelligence. Research within his group has led to novel modelling techniques for requirements analysis and design of software systems, novel implementation techniques and applications for knowledge based systems, as well as contributions to data semantics, requirements engineering, software repositories and software reengineering. Research Grants (On-‐going grants marked with ***; for collaborative grants, my personal budget shown in parentheses) • NRC 1970-‐77 Annual operating grants, ranging from $4,500 in 1970 to $17,000 in 1977
• NSERC 1978-‐2012 Grants ranging from $20,000 annually in 1978 to a maximum of $86,500 annually. Discovery grant
1985-‐87 Three-‐year strategic grant, $1,500,000 total (co-‐investigator)
1987-‐90 Three-‐year strategic grant, $444,000 total (principal investigator)
• DRB 1972-‐75 Three-‐year grant, $4,500 per year, Defense Research Board
• DoC 1974-‐75 $26,000 contract (principal investigator) from the Dept. of Communications
• IBM 1977-‐82 $30,000 annually (co-‐investigator)
• Ontario 1982 $180,000 (principal investigator) equipment grant from the BILD programme, Government funded by the government of Ontario
• DEC 1983 $168,000 equipment grant (principal investigator)
• ITRC 1988-‐95 $70,000 annually (principal investigator, with Vassos Hadzilakos, Janice Glasgow) funding from Ontario's Centres of Excellence programme (ITRC), "A Prototype Knowledge Base Management System"
.- -‐ 5 -‐
1995-‐97 $100,000 annually (principal investigator, with Yves Lesperance, Eric Yu, Ray Reiter and Hector Levesque), funding from Ontario's Centres of Excellence programme (ITRC), "Tools for Analysis and Design of Business Processes"
• Ontario Hydro 1989 $20,000 research grant (principal investigator)
1990-‐96 $200,000 per year research grant (principal investigator), for a project titled "Advanced Process Analysis and Control System"
1996 $20,000 research grant for a feasibility study for SIPO (System for Intelligent Process Operation)
1997-‐99 $150,000 research grant (principal investigator), for a project titled “Applications of the APACS Technology”
• PRECARN 1990-‐94 CIAR/PRECARN associateship, $25,000 per year
and CIAR 1996-‐97 CIAR/PRECARN associateship, $30,000.
• PRECARN 1990-‐94 Four-‐year grant (principal investigator), from the Federal. Networks of Associates Inc Excellence programme (IRIS), $260,000 annually, "Development of Intelligent Information Systems"
• Hospital for 1992 6-‐month grant (principal investigator), $26,000, "A Prototype Hospital Sick Children Monitoring System"
• PRECARN 1994-‐97 Three-‐year grant (principal investigator, with Hausi Mueller, Nazim Madhavji, Associates Inc. Paul Sorenson), from Federal Networks of Excellence programme (IRIS II), $200,000 annually, "Namima: An Integrated Environment for Software Evolution’
• NSERC-‐CRD 1993-‐95 Three-‐year Industry-‐University collaborative grant (principal investigator, with and ITRC Renato De Mori and Hausi Mueller), $200,000 ($67,000) annually with support from IBM Canada and ITRC, on a project titled “An Integrated Environment for Reverse Engineering Tools”
• NSERC-‐CRD 1996-‐99 Three-‐year Industry-‐University collaborative grant (principal investigator, with and IBM Richard Holt and Hausi Mueller), $400,000 ($80,000) annually on a project titled “From Legacy Code to Modern Architectures”
• ITRC 1996-‐97 One-‐year grant from ITRC and Formal Systems Inc., $70,000 for a project titled and FSI “A Software Reengineering Tool Environment”, (principal investigator, with Kostas Kontogiannis).
• CITO 1998-‐00 Two-‐year grant (principal investigator, with Eric Yu and Yves Lesperance) and Mitel Ontario’s Centres of Excellence programme (CITO), $110,000 ($60,000) per annum in addition to $25,000 contributed by Mitel Corporation, for a project titled “Requirements Analysis for Agent-‐Based Software Systems”
• CITO 1998-‐00 Two-‐year grant (Kostas Kontogiannis was principal investigator) from Ontario’s Centres of Excellence programme, $65,000 ($32,500) per annum for a project titled “Code Base Management Systems”.
• PRECARN 1998-‐02 Four-‐year grant (principal investigator, with Hausi Mueller, Kostas Kontogiannis, Associates Inc. Eric Yu), from the Federal Networks of Excellence programme (IRIS III), $270,000 and IBM Canada ($110,000) annually for a project titled “Software Reengineering for Network-‐ Centric Computing”. IBM Canada contributed an additional $25,000 per annum to the project.
• NSERC 1999-‐02 Three-‐year Industry-‐University collaborative grant (principal investigator, with and IBM Richard Holt and Hausi Mueller), $480,000 ($120,000) annually for a project titled “From Legacy Code to Modern Architectures”.
.- -‐ 6 -‐
• BUL 2000 One-‐year grant from Bell University Laboratories (BUL), $201,000 (project leader, with Allan Borodin, Graeme Hirst, Alberto Mendelzon, Renée Miller, Ken Sevcik, Eric Yu as co-‐investigators) for a project titled “The University of Toronto Knowledge Management Laboratory”.
• BUL 2000 One-‐year grant from BUL, $36,000 for a project titled “A Prototype Enterprise Information Portal”.
• CITO 2000-‐02 Two-‐year grant (principal investigator, with Yu and Lesperance) from Ontario’s Centres of Excellence programme (CITO), $50,000 ($35,000/year), for a project titled “Agent-‐Oriented Software Development”
• CITO 2000-‐02 Two-‐year grant (Kostas Kontogiannis was principal investigator) from Ontario’s Centres of Excellence programme, $62,000 ($31,000) per annum for a project titled “Code Base Management Systems”.
• BUL 2001-‐03 Two-‐year grant, 200,000 per year for a project titled "The University of Toronto Knowledge Management Laboratory".
• PRECARN 2002-‐05 Three-‐year grant (project leader, with Kontogiannis, Stroulia) from the Federal Associates Inc. Networks of Excellence programme (IRIS IV), $133,000 ($66,000) annually for a and IBM Canada project titled “Knowledge Management for Mobile Users”.
• NSERC 2002-‐05 Three year grant (project leader, with Kontogiannis, Stroulia and Cordy) for a0 and IBM project titled “Reengineering Software for Network-‐Centric Computing” $324,200 ($118,000) annually.
• PRECARN 2002-‐04 Two year grant for a technology transfer project titled “The Executive Information Portal”, $79,000 annually.
• CITO 2003-‐05 Two-‐year grant (with Miller, Kiringa) for a project titled “Peer-‐to-‐Peer Data Management”, $113,000 ($35,000) annually.
• CITO 2003-‐05 Two-‐year grant (with Lu) for a project titled “From SQL Queries to EJB Code”, $78,000 ($12,000) annually.
• NSERC 2003-‐05 Two-‐year grant (with Miller, Kiringa) for a project titled “Peer-‐to-‐Peer Data Management”, $30,120 ($10,040) annually.
• BUL 2003-‐04 One-‐year grant, $215,000, for a project titled "The University of Toronto Knowledge Management Laboratory".
• PUL 2003-‐06 Three-‐year grant (with Cercone, Slonim, Goebel, Wong), $300,000 ($58,000) for a PRECARN project titled “Intelligent Software for Cognitive Impaired Users”.
• CITO 2004-‐06 Two-‐year project (with Diane Doran, André Kushniruk, et al), $400,000 ($75,000) for a Nortel project titled “Outcomes in the Palm of Your Hand."
• BUL 2004-‐05 One-‐year grant, $150,000, for a project titled "The University of Toronto Knowledge Management Laboratory".
• PAT 2004-‐08 Four-‐year grant (project leader, with Paolo Traverso, Fausto Giunchiglia) from Provincia Autonoma di Trento (Trento, Italy) for a project titled “Software Methodology and Technology for Peer-‐to-‐Peer Systems”, €2,500,000 (€1,000,000 for Mylopoulos).
• CITO 2005-‐07 Two-‐year grant (with Renee Miller, Iluju Kiringa) for a project titled “Peer-‐to-‐Peer Management”, $120,000 ($40,000) annually.
• NSERC 2005-‐09 Three-‐year grant (with Hausi Mueller) for a project titled “Design Techniques for IBM Autonomic Application Software”, $149,700 ($74,850) annually, extended for a 4th year
• IBM 2005-‐09 Four-‐year grant for a project titled “Design Techniques for Autonomic Application
.- -‐ 7 -‐
Software”, $28,000 annually.
• NSERC 2006-‐09 Three-‐year Strategic grant (Renee Miller project leader, 1 other) for a project titled “Peer-‐to-‐Peer Data Management”, $138,000 annually ($46,000 for Mylopoulos).
• NSERC 2008-‐11 Three-‐year Collaborative R&D (CRD) grant (Hausi Mueller project leader, 2 others) and CA Inc. for a project titled “Logging, Monitoring and Diagnosing for Enterprise Software
Applications”, $149,800 annually from NSERC and $100,000 from CA Inc. ($50,000 for Mylopoulos); project based at the University of Waterloo for Mylopoulos.
• ORF 2008-‐14 Three-‐year Ontario Research Fund project (Krzysztof Czarnecki project leader, 12 others) for a project titled “Model-‐Integrated Software Service Engineering”, $3,096,000 over 5 years ($166,000 over 3 years for Mylopoulos).
• NSERC 2009-‐14*** Five-‐year Strategic Network of Excellence on Business Intelligence (Renee Miller project leader, 13 other PIs), approx. $1,300,000 per year, approx. $60,000 per year for Mylopoulos.
• ERC 2011-‐16*** Five-‐year European Research Council (ERC) Advanced Grant titled “Foundations for Software Evolution”, for the total amount of €2,462,095 (sole PI).
III. Scholarly and Professional Work
Publications Refereed Journal Publications 1. Mylopoulos, J. and Pavlidis, T., "On the Topological Properties of Quantized Spaces, I: The Notion of Dimension", Journal of the ACM 18(1), April 1971, 239-‐246. 2. Mylopoulos, J. and Pavlidis, T., "On the Topological Properties of Quantized Spaces, II: Connectivity and Order of Connectivity", Journal of the ACM 18(1), April 1971, 247-‐ 254. 3. Mylopoulos, J., "On the Application of Formal Language and Automata Theory to Pattern Recognition", Pattern Recognition 4(1), January 1972, 37-‐51. 4. Mylopoulos, J., "On the Recognition of Topological Properties by 4-‐way Finite Automata", Computer Graphics and Image Processing 1, November 1972, 308-‐316. 5. Tourlakis, G. and Mylopoulos, J., "Some Results in Computational Topology", Journal of the ACM 20(2), July 1973, 439-‐455. 6. Mylopoulos, J., Borgida, A., Cohen, P., Roussopoulos, N., Tsotsos, J., and Wong, H.K.T., "TORUS: A Step Towards Bridging the Gap Between a Database and the Casual User", Information Systems 2(2), 1976, 49-‐64. 7. Mylopoulos, J. and Perrault, R., "Man-‐Machine Communication: The Artificial Intelligence Approach", Information Science 2, 1977, 120-‐128. 8. Wong, H.K.T. and Mylopoulos, J., "Two Views of Data Semantics: Data Models in Artificial Intelligence and Database Management", INFOR 13(3), September 1977, 344-‐383. 9. Furtado, A. and Mylopoulos, J., "Using Graph Grammars for the Definition of Sets of Digraphs", INFOR 15(3), 242-‐261, 1979. 10. Mylopoulos, J., Bernstein, P., Wong, H.K.T., "A Language Facility for Designing Interactive Database-‐Intensive Applications", ACM Transactions on Database Systems 5(2), June 1980, 185-‐207. (Note: selected by the programme committee as one of the best papers of the SIGMOD’78 conference). 11. Mylopoulos, J., Perrault, R., "Learning Programs in Artificial Intelligence", Evolutionary Theory 4, 265-‐273, July 1980. 12. Tsotsos, J., Mylopoulos, J., Covvey, D., Zucker, S., "A Framework for Visual Motion Understanding", IEEE Transactions on Pattern Analysis and Machine Intelligence 2(6), November 1980, 563-‐573. 13. Peacocke, R., Mylopoulos, J., "A Region-‐Based Formalism for Picture Processing", Pattern Recognition 13(3), 399-‐416, September 1981.
.- -‐ 8 -‐
14. Mylopoulos, J., Shibahara, T., Tsotsos, J., "Towards a Technology for Building Knowledge-‐Based Systems: The PSN Experience", IEEE Computer 18(4), October 1983, 82-‐91. 15. Borgida, A., Greenspan, S. and Mylopoulos, J. "Knowledge Representation as the Basis for Requirements Specification", IEEE Computer 18(4), April 1985; also appeared in Rich C. and Waters, R. (eds.) Readings in Artificial Intelligence and Software Engineering, Morgan-‐Kaufmann, 1986; also appeared in Proceedings of the GI Congress, Munich, 1985. 16. Greenspan, S., Borgida, A., Mylopoulos, J., "A Requirements Modelling Language and Its Logic", Information Systems 11(1), 9-‐23, 1986; also in Brodie and Mylopoulos (eds.) On Knowledge Base Management Systems: Integrating AI and Database Technologies, Springer Verlag, 1986. 17. Schmidt, J., Eckhardt, H., Borgida, A. and Mylopoulos, J., "Database Programming by Formal Refinement of Conceptual Designs", IEEE Database Engineering Bulletin 12(3), 1989. 18. Mylopoulos, J., Borgida, A., Jarke, M. and Koubarakis, M., "Telos: Representing Knowledge About Information Systems" ACM Transactions on Information Systems 8(4), October 1990, 325-‐362. 19. Chung, L., Katalagarianos, P., Marakakis, M., Mertikas, M., Mylopoulos, J. and Vassiliou, Y., "From Information System Requirements to Designs: A Mapping Framework", Information Systems 16(4), 1991. 20. Jarke, M., Mylopoulos, J., Schmidt, J. and Vassiliou, Y., "Information System Development as Knowledge Engineering: A Review of the DAIDA Project", Programming Journal, USSR Academy of Sciences, Jan. 1991. 21. Jarke, M., Jeusfeld, M., Mylopoulos, J., Schmidt, J. and Vassiliou, Y., "Information System Development as Knowledge Engineering: Part I", Sistemi and Impresa Journal 37(8), 1055-‐1067, 1991 (in Italian). 22. Jarke, M., Jeusfeld, M., Mylopoulos, J., Schmidt, J. and Vassiliou, Y., "Information System Development as Knowledge Engineering: Part II", Sistemi and Impresa Journal 37(9), 1203-‐1234,1991 (in Italian). 23. Mylopoulos, J., "The PSN Tribe", J. of Computers&Mathematics with Applications 23(2-‐5), Jan. 1992, 223-‐242. 24. Jarke, M., Mylopoulos, J., Schmidt, J. and Vassiliou, Y., "DAIDA: An Environment for Evolving Information Systems", ACM Transactions on Information Systems, January 1992. 25. Motschnig-‐Pitrik, R. and Mylopoulos, J., "Classes and Instances", International Journal of Intelligent and Cooperative Systems 1(1), April 1992. 26. Mylopoulos, J., Chung, L. and Nixon, B., "Representing and Using Non-‐Functional Requirements: A Process-‐Oriented Approach," IEEE Transactions on Software Engineering 18(6), June 1992, 483-‐497. 27. Huff, K. and Mylopoulos, J., "Developing Intelligent Information Systems: A Workshop Summary", International Journal of Intelligent and Cooperative Systems 1(2), October 1992. 28. Mylopoulos, J., Kramer, B. and Wang, H., "KNOWBEL: A Hybrid Expert System Building Tool", IEEE Expert 8(1), February 1993. 29. Buss, E., De Mori, R., Gentleman, M., Henshaw, J., Johnson, H., Kontogiannis, K., Mueller, H., Mylopoulos, J., Stanley, M., Tilley, S., Troster, J., Wong K., "Investigating Reverse Engineering Technologies: The CAS Program Understanding Project" IBM Systems Journal, August 1994. 30. Constantopoulos, P., Jarke, M., Mylopoulos, J. and Vassiliou, Y., "The Software Information Base: A Server for Reuse", Very Large Databases Journal 4(1), January 1995. 31. Borgida, A., Mylopoulos, J. and Reiter, R., "On the Frame Problem in Procedure Specifications", IEEE Transactions on Software Engineering, October 1995. 32. Yu, E. and Mylopoulos, J., "From E-‐R to 'A-‐R' -‐-‐ Modelling Strategic Actor Relationships for Business Process Re-‐Engineering", International Journal of Cooperative Information Systems, October 1995; also appeared in the Proceedings of the 13th International Conference on the Entity-‐Relationship Approach (ER’94), Manchester, December 1994. (Note: Selected by the programme committee as one of the best papers of ER’94). 33. Macaulay, L., and Mylopoulos, J., “Requirements Engineering: An Educational Dilemma”, Journal of Automated Software Engineering 2(4), December 1995, 343-‐351. 34. Mylopoulos, J., Chaudhri, V., Plexousakis, D., Shrufi, A. and Topaloglou, T., "Building Knowledge Base Management Systems”, Very Large Databases Journal 5(4), October 1996.
.- -‐ 9 -‐
35. Yu, E., and J. Mylopoulos, "Using Goals, Rules, and Methods to Support Reasoning in Business Process Reengineering", Int. Journal of Intelligent Systems in Accounting, Finance and Management 5(1), January 1996. 36. Yu, E., Mylopoulos, J., Lesperance, Y., “AI Models for Business Process Re-‐Engineering”, IEEE Expert 11(4), August 1996, 16-‐23. 37. Yu, E., and Mylopoulos, J.,``Enterprise Modelling for Business Process Redesign: The i* Framework'', ACM SIG-‐GROUP Bulletin, 18(1), April 1997, 59-‐63. 38. Mylopoulos, J., Borgida, A. and Yu, E., “Representing Software Engineering Knowledge”, Journal of Automated Software Engineering, June 1997. 39. Finnigan, P., Kalas, I., Kontogiannis, K., Müller, H., Mylopoulos, J., Perelgut, S., Stanley, M., Wong, K., “The Software Bookshelf”, IBM Systems Journal 36(4), November 1997, 564-‐593; also in Advances in Software Engineering: Comprehension, Evaluation and Evolution, Tanir, O., and Erdogmus, H. (eds.), Springer, 295-‐340. 40. Jurisica, I., Mylopoulos, J., Glasgow, J., Shapiro, H. and Casper, R., “Case-‐Based Reasoning in IVF: Prediction and Knowledge Mining”, Artificial Intelligence in Medicine 12(1), January 1998, 1-‐24. 41. Mylopoulos, J., “Information Modeling in the Time of the Revolution”, Inf. Systems 23(3-‐4), June 1998, 127-‐155. 42. Agostini, A., De Michelis, G., Jarke, M., Matthes, F., Mylopoulos, J., Pohl, K., Schmidt, J., Woo, C., Yu, E., "A Three-‐Faceted View of Information Systems: The Challenge of Change", CACM, December 1998, 64-‐71. 43. Mylopoulos, J., Chung, L., and Yu, E., “From Object-‐Oriented to Goal-‐Oriented Requirements Analysis”, Communications of the ACM 42(1), January 1999, 31-‐37. 44. Gal, A., Kerr, S., and Mylopoulos, J., “Information Services for the Web: Building and Maintaining Domain Models”, International Journal of Cooperative Information Systems 8(4), December 1999, 227-‐254. 45. Gal, A. and Mylopoulos, J., “Supporting Distributed, Heterogeneous Information Services Through Coordination”, International Journal of Cooperative Information Systems 9(3), September 2000, 255-‐282. 46. Lu, J., Mylopoulos, J., Harao, M. and Hagiya, M., “Higher Order Generalization and its Application in Program Verification”, Annals of Mathematics and Artificial Intelligence 28, 2000, 107-‐126. 47. Jurisica, I., Glasgow, J., Mylopoulos, J., "Incremental Iterative Retrieval and Browsing for Efficient Conversational Case-‐Based Reasoning Systems," Int. Journal of Applied Intelligence 12, 2000, 251-‐268. 48. Kou, W., Lauzon, D., O’Farrell, W., See, T., Wee, D., Tan D., Cheung, K., Gregory, R., Kontogiannis, K., Mylopoulos, J., “End-‐to-‐End E-‐Commerce Application Development Based on XML Tools”, IEEE Data Engineering 23(1), March 2000, 29-‐36. 49. Mylopoulos, J., Chung, L., Liao, S. S. Y., Wang, H., Yu, E., “Extending Requirements Analysis to Explore Alternatives”, IEEE Software 18(1), January/February 2001, 92-‐96. 50. Gal, A., and Mylopoulos, J., ”Towards Web-‐Based Application Management Systems", IEEE Transactions on Knowledge and Data Engineering 13(4), July/August 2001, 683-‐702. 51. Wang, H., Mylopoulos, J., Liao, S., “Intelligent Agents for Financial Monitoring Systems”, Communications of the ACM, March 2002, 83-‐88. 52. Lu, J., Mylopoulos, J., “Extensible Information Brokers” International Journal on Artificial Intelligence Tools 11(1), March 2002, 95-‐116. 53. Castro, J., Kolp, M., Mylopoulos, J., “Towards Requirements-‐Driven Software Development Methodology: The Tropos Project,” Information Systems 27(2), Pergamon Press, June 2002, 365-‐389. 54. Tahvildari, L., Kontogiannis, K., Mylopoulos, J., "Quality-‐Driven Software Re-‐Engineering", Journal of Systems and Software 66(3), Special Issue: Software Architecture Engineering Quality Attributes, June 2003, 225-‐239. 55. Kaindl, H., Brinkkemper, S., Bubenko, J. Jr., Farbey, B., Greenspan, S., Heitmeyer, C., Leite, J., Mead, N., Mylopoulos, J., Siddiqi, J., “Requirements Engineering and Technology Transfer: Obstacles and Incentives,” Requirements Engineering Journal 7(3), October 2002, 113-‐123. 56. Lau, T., Lu, J., Mylopoulos, J., Kontogiannis, K., "The Migration of Multi-‐tier E-‐commerce Applications to Enterprise Java Environment", International Journal on Information Systems Frontiers 5(2), April 2003, 149-‐160.
.- -‐ 10 -‐
57. Penserini, L., Liu, L., Mylopoulos, J., Panti, M., Spalazzi, L., "Cooperation Strategies for Agent-‐Based Peer-‐to-‐Peer Systems" International Journal on Web Intelligence and Agent Systems 1(1), 2003, 3-‐21. 58. Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R., "Formal Reasoning Techniques for Goal Models", Journal of Data Semantics 1(1), Springer-‐Verlag LNCS 2800, 2003, 1-‐20. 59. Arenas, M., Kantere, V., Kementsietsidis, A., Kiringa, I., Miller, R., Mylopoulos, J., “The Hyperion Project: From Data Integration to Data Coordination”, SIGMOD Record 32(3), Sept. 2003, 53-‐58. 60. Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A., “Tropos: An Agent-‐Oriented Software Development Methodology”, J. of Autonomous Agents and Multi-‐Agent Systems 8 (3), May 2004, 203-‐236. 61. Jurisica, I., Mylopoulos, J., Yu, E., “Ontologies for Knowledge Management: An Information Systems Perspective”, Knowledge and Information Systems: An International Journal 6(4), Springer-‐Verlag, July 2004. 62. Fuxman, A., Liu, L., Mylopoulos, J., Pistore, M., , Roveri, M., Traverso, P., “Specifying and Analyzing Early Requirements in Tropos”, Requirements Engineering Journal 9(2), Special issue: Requirements Engineering (RE’03) Springer-‐Verlag, July 2004, 132-‐150. 63. Yu, Y., Lu, J., Mylopoulos, J., Sun, W., Xue, J-‐H., D’Hollander, E., “Making XML Document Markups International”, Software Practice and Experience 35(1), 2005, 1-‐14. 64. Giorgini, P., Mylopoulos, J., Sebastiani, R., “Goal-‐Oriented Requirements Analysis and Reasoning in the Tropos Methodology”, Journal of Engineering Applications of Artificial Intelligence 18(2), Special Issue on "Agent-‐Oriented Software Development", Weiss, G. and Wooldridge, N., (eds.), Elsevier, March 2005. (Selected by the editors as the most cited article of the journal for the period 2005-‐2010). 65. Susi, A., Perini, A., Mylopoulos, J., Giorgini, P., “The Tropos Meta-‐Model and Its Uses”, Informatica 29(4), July 2005, 401-‐408. 66. Kolp, M., Giorgini, P., Mylopoulos, J., “Multi-‐Agent Architectures as Organizational Structures”, Journal of Autonomous Agents and Multi-‐Agent Systems 13(1), Springer-‐Verlag, July 2006, 3-‐26. 67. Giorgini, P., Massacci, F., Mylopoulos, J., Zannone, N., “Requirements Engineering for Trust Management: Model, Methodology and Reasoning”, International Journal of Information Security 5(4), 257-‐274, 2006. 68. Massacci, F., Mylopoulos, J., Zannone, N., “Minimal Disclosure in Hierarchical Hippocratic Databases for Virtual Organizations”, Very Large Databases Journal 15(4), 370-‐387, Springer-‐Verlag, October 2006. 69. An, Y., Borgida, A., Mylopoulos, J., “Discovering the Semantics of Relational Tables Through Mappings”, Journal of Data Semantics VII, 1-‐32, Springer-‐Verlag, 2006. 70. Massacci, F., Mylopoulos, J., Zannone, N., “From Hippocratic Databases to Secure Tropos: A Computer-‐Aided Re-‐engineering Approach”, International Journal on Software Engineering and Knowledge Engineering 17(2) (IJSEKE), 265-‐284, World Scientific, April 2007. 71. Doran, D.M., Mylopoulos, J., Kushniruk, A., Nagle, L., Laurie-‐Shaw, B., Sidani, S., Tourangeau, A.E., Lefebre, N., Reid-‐Haughian, C., Carryer, J.R., Cranley, L.A., & McArthur, G., “Evidence in the Palm of Your Hand: Development of an Outcomes-‐Focused Knowledge Translation Intervention”, Worldviews on Evidence-‐Based Nursing 4(2), 69-‐77, Blackwell Publishing, June 2007. 72. Massacci, F., Mylopoulos, J., Zannone, N., “Computer-‐Aided Support for Secure Tropos”, Automated Software Engineering 14(3), 341-‐364, Springer-‐Verlag, September 2007. 73. Penserini, L., Perini, A., Susi, A., Mylopoulos, J., “High-‐Variability Design for Software Agents: Extending Tropos”, ACM Transactions on Autonomous and Adaptive Systems (TAAS) 2(4), article no.16, ACM Press, ISSN:1556-‐4665, November 2007. 74. Kantere, V., Kiringa, I., Mylopoulos, J., “Supporting Distributed Event-‐Condition-‐Action Rules in a Multidatabase Environment”, International Journal of Cooperative Information Systems 16(3/4), 467-‐506, World Scientific, September/December 2007. 75. Di Pietro, T., Coburn, G., Dharamshi, N., Doran, D., Mylopoulos, J., Kushniruk, A., Nagle, L., Sidani, S., Tourangeau, A., Laurie-‐Shaw, B., Lefebre, N., Reid-‐Haughian, C., Carryer, J., McArthur, G., “What Nurses Want: Diffusion of an Innovation”, Journal of Nursing Care Quality 23(2), April-‐June 2008, 140-‐146.
.- -‐ 11 -‐
76. Bryl V., Giorgini P., Mylopoulos J., “Designing Socio-‐Technical Systems: From Stakeholder Goals to Social Networks”, Requirements Engineering Journal 14(1), Springer-‐Verlag, ISSN: 0947-‐3602, February 2009, 47-‐70. 77. Liu L., Yu E., Mylopoulos J., “Secure-‐i*: Engineering Secure Software Systems through Social Analysis”, Int. Journal of Software and Informatics 3(1), Chinese Academy of Sciences, ISSN: 1673-‐7288, March 2009, 89-‐120. 78. Silva C., Castro J., Araújo J., Moreira A., Tedesco P., Mylopoulos J., “Advanced Separation of Concerns in Agent-‐Oriented Design Patterns", International Journal of Agent-‐Oriented Software Engineering 3(2/3), Inderscience Publishers, April 2009, 306-‐327. 79. Wang Y., McIlraith S., Yu Y., Mylopoulos J., “Monitoring and Diagnosing Software Requirements”, Journal of Automated Software Engineering 16(1), Special issue: Automated Software Engineering (ASE’07}, Springer-‐Verlag, March 2009, 3-‐35. 80. Niu N., Yu Y., Gonzalez-‐Baixauli B., Ernst N., Leite J., and Mylopoulos J., “Aspects Across Software Lifecycle: A Goal-‐Driven Approach”, Transactions on Aspect-‐Oriented Software Development (AOSD) VI, Katz, S. et al (eds.), Lecture Notes in Computer Science (LNCS) 5560, Springer-‐Verlag, September 2009, 83–110. 81. Kiyavitskaya N., Zeni N., Cordy J., Mich L., and Mylopoulos J., “Cerno: Light-‐Weight Tool Support for Semantic Annotation of Textual Documents”, Journal of Data and Knowledge Engineering 68(12), Elsevier, ISSN: 0169-‐023X, December 2009, 1470-‐1492. 82. Jureta I., Mylopoulos J., Faulkner S., “A Core Ontology for Requirements”, Applied Ontology 4(3-‐4), IOS Press, ISSN: 1570-‐5838, December 2009, 169-‐244. 83. Asnar Y., Giorgini P., Mylopoulos J., “Goal-‐Driven Risk Assessment in Requirements Engineering”, Requirements Engineering Journal, Springer-‐Verlag, ISSN: 0947-‐3602, 101-‐116, June 2011. 84. Lyytinen K., Jarke M., Loucopoulos P., Mylopoulos J., Robinson W., “The Brave New World of Design Requirements”, Information Systems 36(7), Special Issue: Advanced Information Systems Engineering (CAiSE'10), Elsevier, May 2011, 992-‐1008. 85. Liaskos S., McIlraith S., Sohrabi S., Mylopoulos J., “Representing and Reasoning about Preferences in Requirements Engineering”, Requirements Engineering Journal (REJ), Special Issue: Requirements Engineering (RE'10), Springer-‐Verlag, ISSN: 0947-‐3602, August 2011, 227-‐249. 86. Dalpiaz F., Giorgini P., Mylopoulos J., “Adaptive Socio-‐Technical Systems: A Requirements-‐Based Approach”, Requirements Engineering Journal 18(1), Springer-‐Verlag, ISSN: 0947-‐3602, January 2012, 1-‐24. 87. Liaskos S., Jungblut M., Mylopoulos J., “From Intentions to Code: Exploring the Life of User Goals in Web-‐based Systems”, IET Software 6(2), the Institution of Engineering and Technology UK, April 2012, 103-‐113. 88. Bykau S., Mylopoulos J., Rizzolo F., Velegrakis Y., “On Modelling and Querying Concept Evolution”, Journal of Data Semantics 1(1) (JoDS), Springer-‐Verlag, ISSN: 0947-‐3602, May 2012, 31-‐55. 89. Horkoff J., Barone D., Jiang L., Yu E., Amyot D., Borgida A., Mylopoulos J., “Strategic Business Modeling: Representation and Reasoning”, Software and System Modeling (SoSyM), Springer-‐Verlag, October 2012 (online version). 90. Liaskos S., Khan S., Litoiu M., Jungblut M., Rogozhkin V., Mylopoulos J., ”Behavioral Adaptation of Information Systems Through Goal Models”, Information Systems 37(8), Special Issue: Advanced Information Systems Engineering (CAiSE'11), Elsevier, ISSN: 0306-‐4379, December 2012, 767-‐783. 91. Ingolfo S., Siena A., Mylopoulos J., Perini A., Susi A., “Arguing Regulatory Compliance for Software Requirements”, Journal of Data and Knowledge Engineering (DKE), Special Issue: 30th International Conference on Conceptual Modelling (ER’11), December 2012, (online version). 92. Hindle A., Ernst N., Godfrey M., Mylopoulos J., “Automated Topic Naming”, Empirical Software Engineering, An International Journal (ESE), volume 8, Springer-‐Verlag, ISSN: 1382-‐3256, DOI: 10.1007/s10664-‐012-‐9209-‐9, May 2013, 1125-‐1155. 93. Ernst N., Borgida A., Jureta I., Mylopoulos J., “Agile Requirements Engineering via Paraconsistent Reasoning”, Information Systems, Special Issue: Advanced Information Systems Engineering (CAiSE'12), Elsevier, June 2013 (online version).
.- -‐ 12 -‐
94. Zeni N., Kiyavitskaya N., Cordy J., Mich L., Mylopoulos J., “GaiusT: Supporting the Extraction of Rights and Obligations for Regulatory Compliance”, Requirements Engineering Journal, Springer-‐Verlag, ISSN: 0947-‐3602, September 2013 (online version). 95. Silva Souza V., Lapouchnian A., Angelopoulos K., Mylopoulos J., “Requirements-‐Driven Software Evolution”, Computer Science – Research and Development 28(4) (CSRD), Springer-‐Verlag, October 2013, 311-‐329. 96. Silva Souza V. and Mylopoulos J., “Designing an Adaptive Computer-‐Aided Ambulance Dispatch System with Zanshin: An Experience Report”, Software Practice and Experience, Wiley, December 2013, (online version). 97. Jureta I., Borgida A., Ernst N., Mylopoulos J., “The Requirements Problem for Adaptive Systems”, ACM Transactions on Managing Information Systems (TMIS), (to appear). 98. Barone D., Peyton L., Rizzolo F., Amyot D., Mylopoulos J., Badreddin O., “Model-‐Based Management of Strategic Initiatives”, Journal of Data Semantics (JoDS), (to appear). 99. Silva Souza V. and Mylopoulos J., “Qualia: A Qualitative Adaptation Mechanism Based on Requirements Models”. ACM Transactions on Autonomous and Adaptive Systems (TAAS), (submitted for publication).
Refereed Publications in Conference Proceedings 1. Mylopoulos J., "A Graph Pattern Matching Operation", Sixth Princeton Conference on Information Sciences and Systems, March 1972, 330-‐336. 2. Mylopoulos J., "On the Relation of Graph Grammars and Graph Automata", Thirteenth Annual Conference on Automata and Switching Theory, October 1972, 108-‐120. 3. Mylopoulos J., Badler N., Melli L., Roussopoulos N., "1.PAK: A SNOBOL-‐based Programming Language for Artificial Intelligence Applications", International Joint Conference on Artificial Intelligence (IJCAI’73), Palo Alto, August 1973, 691-‐696. 4. Tourlakis G., Mylopoulos J., "Time vs Processing Power Trade-‐offs for the Solution of Recursive Recognition Problems", 8th Princeton Conference on Information Sciences and Systems, March 1974, 583-‐586. 5. Mylopoulos J., Schuster S., Tsichritzis D., "A Multilevel Relational System", National Computer Conference, May 1975, 403-‐408. 6. Mylopoulos J., Borgida A., Cohen P., Roussopoulos N., Tsotsos J., Wong H.K.T., "TORUS: A Natural Language Understanding System for Data Management", International Joint Conference on Artificial Intelligence (IJCAI’75), Tbilisi, September 1975, 414-‐421. 7. Mylopoulos J., Borgida A., Cohen P., Sugar L., "Semantic Networks and the Generation of Context", International Joint Conference on Artificial Intelligence (IJCAI’75), Tbilisi, September 1975, 134-‐142. 8. Roussopoulos N., Mylopoulos J., "Using Semantic Networks for Database Management", First International Conference on Very Large Databases (VLDB’75), September 1975, 144-‐172. 9. Levesque H., Mylopoulos J., McCalla G., Melli L., Tsotsos J., "A Formalism for Modelling", CSCSI National Conference, August 1976, 243-‐254. 10. Levesque H., Mylopoulos J., "An Overview of a Procedural Approach to Semantic Networks", International Joint Conference on Artificial Intelligence (IJCAI’77), Cambridge MA, August 1977. 11. Tsotsos J., Baecker R., Covvey D., Reeves W., Mylopoulos J., Wigle E., "An Interactive Knowledge-‐Based Systems Approach to Cardiac Image Description and Analysis", IEEE Conference on Computers in Cardiology, October 1977, 377-‐384. 12. Mylopoulos J., Wong H.K.T., Bernstein P., "Semantic Networks and the Design of Interactive Information Systems”, Second CSCSI National Conference, July 1978, 74-‐80. 13. Tsotsos J., Covvey D., Mylopoulos J., Wigle E., "Gross and Segmental Motion Analysis in Dynamic Cardiac Imagery", IEEE Conference on Computers in Cardiology, October 1978, 45-‐48. 14. Tsotsos J., Mylopoulos J., Covvey D., Zucker S., "ALVEN: A Study on Motion Understanding by Computer", International Joint Conference on Artificial Intelligence (IJCAI’79), Tokyo, August 1979. 15. Tsotsos J., Covvey, D., Mylopoulos J., "A Representational Formalism for Left Ventricular Wall Motion Studies", Proceedings Conference on Computers in Cardiology, Williamsburg VI, October, 1980.
.- -‐ 13 -‐
16. Mylopoulos J., Wong H.K.T., "Some Features of the TAXIS Data Model", Sixth International Conference on Very Large Databases, Montreal (VLDB’80), 1980. 17. Mylopoulos J., "An Overview of Knowledge Representation", Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, SIGART/SIGMOD/ SIGPLAN Newsletter 74(1), January 1981. 18. Mylopoulos J., "A Perspective for Research on Conceptual Modelling", Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, SIGART Newsletter 74(1), January 1981. 19. Shibahara T., Mylopoulos J., Tsotsos J. and Covvey D., "CAA: A Knowledge-‐Based System with Casual Knowledge to Diagnose Rhythm Disorders in the Heart", Fourth CSCSI Conference, Saskatoon, May 1982. 20. Schneider P., Kramer B., Gullen A., Lesperance Y., Meyers H., Mylopoulos J., "The Procedural Semantic Network: An Extensible Knowledge Representation Scheme", 4th CSCSI Conference, Saskatoon, May 1982. 21. Greenspan, S., Mylopoulos, J., Borgida, A., "Principles for Requirements and Design Languages: The Taxis Project", International Symposium on Current Issues of Requirements Engineering, Kyoto, Sept. 1982. 22. Greenspan S., Mylopoulos J. and Borgida A., "Capturing More World Knowledge in the Requirements Specification", 6th International Conference on Software Engineering (ICSE’82), Tokyo, 1982; also published in Freeman and Wasserman (eds.) Software Design Techniques, IEEE Computer Society Press, 1983. (Note: Selected by the PC of ICSE’94, as the most influential paper of ICSE’82). 23. Buchan I., Covvey D., Mylopoulos J., DiMarco C. and Wigle E., "Taxis: A Language for the Development of Clinical Trial Management Systems", 6th Symposium on Computers in Medical Care, Washington D.C., Nov. 1982. 24. Greenspan S. and Mylopoulos J., "A Knowledge Representation Approach to Software Engineering: The Taxis Project", Canadian Information Processing Society National Conference, Ottawa, May 1983. 25. Shibahara T., Tsotsos J., Mylopoulos J., Covvey D., "CAA: A Knowledge-‐based System Using Causal Knowledge to Diagnose Cardiac Rhythm Disorders", Int. Joint Conf. on Artificial Intelligence, Karlsruhe, 1983. 26. Reiter R., Gallaire H., King J., Mylopoulos J., and Webber B., "A Panel on AI and Databases", Int. Joint Conference on Artificial Intelligence, Karlsruhe, August 1983. 27. Mylopoulos J., Borgida A., Greenspan S., Meghini C. and Nixon B., "Knowledge Representation in the Software Development Process: A Case Study", Int. Seminar on Artificial Intelligence and Man-‐Machine Systems, Winter, H.(ed.), Springer-‐Verlag Lecture Notes on Control and Information Sciences, no. 80, 1986. 28. Jarke M., Mylopoulos J., Schmidt J. and Vassiliou Y. "Towards a Knowledge-‐Based Software Development Environment", International Workshop on Knowledge Base Management Systems, Chania, Crete, 1985. 29. Mylopoulos, J. "The Role of Knowledge Representation in the Development of Specifications", IFIP Congress '86, Dublin, September 1986. 30. Cook P., Ellis C., Desai B., Frasson C., Mylopoulos J. and Naffah N., "AI in Office Information Systems", National Computer Conference, Chicago, AFIPS Press, 1987. 31. Borgida A., Jarke M., Mylopoulos J., Schmidt J. and Vassiliou Y., "A Knowledge Based Environment for Building Information Systems", CIPS National Conference, Edmonton, 1987. 32. Chung L., Rios-‐Zertuche D., Nixon B. and Mylopoulos J., "Process Management and Assertion Enforcement for a Semantic Data Model", Int. Conference on Extending Database Technologies (EDBT’88), Venice, March 1988. 33. Borgida A., Mylopoulos J., Schmidt J. and Wetzel I., "Support for Data-‐Intensive Applications: Conceptual Design and Software Development", International Workshop on Database Programming Languages, Salishand Oregon, June 1989, Morgan Kaufmann Publishers. 34. Mylopoulos J. and Brodie M., "Knowledge Bases and Databases: Current Trends and Future Directions", First Workshop on Information Systems and AI: Integration Aspects, Karagiannis D. (ed.), Ulm, March 1990, Lecture Notes in Computer Science Series no. 474, Springer Verlag, 153-‐180. 35. Mylopoulos, J., "Object-‐Orientation and Knowledge Representation" IFIP Working Conference on Object-‐Oriented Databases: Analysis, Design and Construction, Windermere UK, July 1990. 36. Mylopoulos, J., Wang, H. and Kushniruk, A., "KNOWBEL: A Hybrid Expert System Building Tool", Second IEEE International Conference on Tools for Artificial Intelligence, Washington DC, November 1990.
.- -‐ 14 -‐
37. Mylopoulos, J., Wang, H., Kushniruk, A. and Tian, Y., "Using an Expert System Tool for Process Control Applications", National Conference of Electrical and Electronics Engineers, Ottawa, September 1990. 38. Ananthanarayanan, S., Goldenberg, A. and Mylopoulos, J., "Qualitative Static Analysis of a Two-‐Fingered Planar Grasp", CSME Mechanical Engineering Forum '90, Toronto, May 1990. 39. Ananthanarayanan, S., Goldenberg, A. and Mylopoulos, J., "Qualitative Theory of Robot Grasping -‐-‐ A Formalization of 'Intuitive' Robot Grasping", IEEE Int. Symp. on Intelligent Control, Philadelphia, Sept. 1990. 40. Vassiliou, Y., Marakakis, M., Katalagarianos, P., Chung, L., Mertikas, M. and Mylopoulos, J., "A Mapping Assistant for Generating Designs from Requirements", 2nd Nordic Conference on Advanced Information Systems Engineering (CAiSE'90), Stockholm, May 1990. 41. Benjamin, M., Chou, Q. B., Mensah, S. and Mylopoulos, J., "Expert Systems for Advanced Process Analysis and Control for Nuclear Power Plants", International Atomic Energy Agency Conference on Analysis and Experience in Control and Instrumentation as a Decision Tool, Arnhem, Netherlands, October 1990. 42. Ananthanarayanan, S., Goldenberg, A. and Mylopoulos, J., "Intelligent Dexterous Manipulation of Objects Using Robot Hands, Part I: A General Introduction, Modelling and Determination of Object Displacements", Fifth International Conference on Advanced Robotics, Pisa, June 1991; also presented at the IFAC International Symposium on Distributed Intelligent Systems, Arlington, August 1991. 43. Ananthanarayanan, S., Goldenberg, A. and Mylopoulos, J., "Intelligent Dexterous Manipulation of Objects Using Robot Hands, Part II: Modelling and Implementation of Finger Manipulations", Fifth International Conference on Advanced Robotics, Pisa, June 1991; also presented at IFAC International Symposium on Distributed Intelligent Systems, Arlington, August 1991. 44. Kramer B., Chaudhri V., Koubarakis M., Topaloglou T., Wang H. Mylopoulos J., "Implementing Telos", AAAI Spring Symp. on Implementing Knowledge Representation Systems, Stanford, 1991; SIGART Newsletter, 1991. 45. Sobiesiak R. and Mylopoulos J., "A Conceptual Modelling Approach to Authoring-‐in-‐the-‐Large for Hypertext Documents", ACM Conference on Organizational Computing Systems (COOCS’91), Atlanta, November 1991. 46. Ananthanarayanan S., Goldenberg A., Mylopoulos J., "A Blackboard Architecture for Autonomous Synthesis of Dexterous Manipulation", 13th IEEE Conf. on Decision-‐Making and Control, Brighton UK, December 1991. 47. Ananthanarayanan S., Gershon D., Goldenberg A. and Mylopoulos J., "Introducing Robotic 'Common Sense' in Real-‐Time Dexterous Manipulation", Int. Conference on Robotics and Automation, Nice, May 1992. 48. Ananthanarayanan S., Goldenberg A. and Mylopoulos J., "An Intelligent Interface for Integrating an Off-‐Line Planner with a Real-‐Time Controller in Multiple Contact Dexterous Manipulation", Fourth International Symposium on Robotics in Manufacturing, Santa Fe, New Mexico, November 1992. 49. Mylopoulos J., Kramer B., Wang H., Benjamin M., Chou Q.B., Mensah S., "Expert System Applications in Process Control", Int. Symp. on Artificial Intelligence in Materials Processing Operations, Edmonton, Aug 1992. 50. Rose T., Jarke M. and Mylopoulos J., "Organizing Software Repositories: Modelling Requirements and Implementation Experiences", 16th IEEE International Conference on Computer Software and Applications (COMPSAC’92), Chicago, September 1992. 51. Mylopoulos J., Chaudhri V., Plexousakis D., Topaloglou T., "A Performance-‐Oriented Approach to Knowledge Base Management", 1st Int. Conf. on Information & Knowledge Management (CIKM’92), Baltimore, Nov. 1992. 52. Chaudhri V., Hadzilacos V. and Mylopoulos J., "Concurrency Control for Knowledge Bases", Third International Conference on Knowledge Representation and Reasoning, Boston, October 1992. 53. Borgida A., Mylopoulos J. and Reiter R., "...And Nothing Else Changes: The Frame Problem in Program Specifications" Fifteenth International Conference on Software Engineering, Baltimore, May 1993. (Note: Selected by the programme committee as one of the best papers of ICSE’93, out of 330 submissions). 54. Mylopoulos J., Rose T. and Woo C., "Task-‐Oriented Development of Intelligent Information Systems" First Int. Conference on Intelligent and Cooperative Information Systems (CoopIS’93), Rotterdam, May 1993. 55. Yu E. and Mylopoulos J., "An Actor Dependency Model of Organizational Work with Applications to Business Process Reengineering", ACM Conf. on Organizational Computing Systems (COCS’93), San Jose, Nov. 1993.
.- -‐ 15 -‐
56. Kramer B., Mylopoulos J., Chou Q. B., Benjamin M., Mensah S. and Diebold B., "A Real-‐Time System for Monitoring and Diagnosing Continuous Processes", ISA/93 Conference, Chicago, September 1993. 57. Mylopoulos J., Chaudhri V., Plexousakis D., Topaloglou T., "Adapting Database Techniques to Manage Very Large Knowledge Bases", Int. Symposium on Building and Sharing Very Large Knowledge Bases, Tokyo, Dec. 1993. 58. Yu, E. and Mylopoulos, J., "Using Goals, Rules and Methods to Support Reasoning in Business Process Re-‐Engineering", 27th International Hawaii Conference on System Sciences (HICSS’94), Hawaii, January 4-‐7, 1994. 59. Yu E. and Mylopoulos J., "Understanding ‘Why’ in Software Process Modelling, Analysis, and Design”, Sixteenth International Conference on Software Engineering (ICSE’94), Sorrento, Italy, May 1994. 60. Greenspan S., Mylopoulos J. and Borgida A., "On Formal Requirements Modelling Languages: RML Revisited", Sixteenth International Conference on Software Engineering (ICSE’94), Sorrento, Italy, May 1994. 61. Mylopoulos J., Bernstein M., Ewart G., Kontogiannis K., Merlo E., De Mori R., Mueller H., Stanley M., Tilley S., Tomic M. and Wong K., "Towards an Integrated Toolset for Program Understanding", CASCON'94, Toronto, November 1994. 62. Chaudhri V., Hadzilacos V., Mylopoulos J. and Sevcik K., "Quantitative Evaluation of a Transaction Facility for a Knowledge Base Management System”, 3rd International Conference on Information and Knowledge Base Management (CIKM’94), Gaithersburg MD, November 1994. 63. Yu E., Du Bois P., Dubois E. and Mylopoulos J., “From Organizational Models to System Requirements -‐-‐ A ‘’Cooperating Agents’’ Approach”, 3rd Int. Conf. on Cooperative Information Systems (CoopIS’95), Vienna, May 1995; also in Papazoglou, M., Schlageter, G., (eds.) Cooperative Information Systems, Academic Press, 1998. 64. Mylopoulos J., Motschnig-‐Pitrik R., "Partitioning an Information Base Through Contexts", Third International Conference on Cooperative Information Systems (CoopIS’95), Vienna, May 1995. 65. Chaudhri V., Mylopoulos J., “Efficient Algorithms and Performance Results for Multi-‐User Knowledge Bases”, Fourteenth International Joint Conference on Artificial Intelligence (IJCAI’95), Montreal, August 1995. 66. Whitney, M., Kontogiannis, K., Johnson, H., Bernstein, M., Corrie, B., Merlo, E., McDaniel, J., De Mori, R., Mueller, H., Mylopoulos, J., Stanley, M., Tilley, S., Wong, K., “Using an Integrated Toolset for Program Understanding”, CASCON’95, Toronto, November 1995. 67. Kramer, B., Mylopoulos, J., Benjamin, M., Chou, Q. B., Ahn, P., Opala, J., “Developing an Expert System Technology for Industrial Process Control: An Experience Report”, CSCSI National Conf., Toronto, May 1996. 68. Plexousakis, D. and Mylopoulos, J., “Accommodating Integrity Constraints During Database Design”, European Conference on Extending Database Technologies (EDBT’96), March 1996. 69. Motschnig R. and Mylopoulos J., “Semantics, Features and Applications of the Viewpoint Abstraction”, Eighth International Conference on Information Systems Engineering (CAiSE’96), Heraklio, May 1996. 70. Mylopoulos J., Gal A., Kontogiannis K. and Stanley M., “Experiences with an Integration Architecture”, International Conference on Cooperative Information Systems (CoopIS’96), Brussels, June 1996. 71. Chou Q. B., Mylopoulos J., Opala J., Benjamin M. and Kramer B., “Experiences with an Expert System Technology for Real-‐Time Monitoring and Diagnosis in Industrial Processes”, ISA/96 Conf., Chicago, Sept 1996. 72. Topaloglou T., Mylopoulos, J., ”Representing Partial Spatial Information in Databases: A Conceptual Modelling Approach”, 15th International Conference on Conceptual Modelling (ER’96), Cottbus, Germany, October 1996. 73. Yu, E. and Mylopoulos, J., ”Modelling Organizational Issues for Enterprise Integration,'' Second International Conference on Enterprise Integration Modelling Technology, Turin, October 1997. 74. Yu E. and Mylopoulos J., “Why Goal-‐Oriented Requirements Engineering”, Fourth International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ’98), Pisa, June 1998. 75. Mylopoulos J., Jurisica I., Yu E., “Computational Mechanisms for Knowledge Organization”, Fifth International Symposium on Knowledge Organization, Lille, August 1998. 76. Gal, A., Kerr, S., and Mylopoulos, J., “Information Services for the Web: Building and Maintaining Domain Models”, Third International Conference on Cooperative Information Systems (CoopIS’98), New York, August 1998. (Note: Best paper award, among 138 submissions.)
.- -‐ 16 -‐
77. Kontogiannis K., Martin J., Wong K., Gregory R., Mueller H., Mylopoulos J., “Code Migration Through Transformations: An Experience Report”, IBM CASCON Conf., Toronto, Nov. 1998. (Note: Best paper award.) 78. Jurisica I., Mylopoulos J., Yu E., “Using Ontologies for Knowledge Management: An Information Systems Perspective”, American Society for Information Sciences (ASIS’99) Annual Conf., Washington DC, Nov. 1999. 79. Patil P., Zou Y., Kontogiannis K., Mylopoulos, J., “Migration of Procedural Legacy Code to a Network-‐Centric Platform”, IBM CASCON’99 Conference, Toronto, November 1999. 80. Lesperance Y., Kelley T., Mylopoulos J., Yu E., “Modelling Dynamic Domains with CONGOLOG”, 11th Int. Conference on Advanced Information Systems Engineering (CAiSE’99), Heidelberg, June 1999, Springer-‐Verlag LNCS 1626, 365-‐380. 81. Lu J., Mylopoulos J., Ho J. “Towards Extensible Information Brokers Based on XML”, 12th Conf. on Advanced Information Systems Engineering (CAiSE’00), Stockholm, June 2000, Springer-‐Verlag LNCS 1789, 32-‐46. 82. Castro J., Kolp M., Mylopoulos J., “Developing Agent-‐Oriented Information Systems for the Enterprise”, Third International Conference on Enterprise Information Systems (ICEIS’00), Stafford, July 2000, 9-‐24. 83. Mylopoulos J., Fuxman A., Giorgini P., “From Entities and Relationships to Social Actors and Dependencies,” 19th Int. Conf. on Conceptual Modelling (ER'00), Salt Lake City, Oct. 2000, Springer-‐Verlag LNCS 1920, 27-‐36. 84. Mylopoulos J., Barta A., Jarvis R., Rodriguez-‐Gianolli P., Zhou S., "The Executive Information Portal", 9th IFIP 2.6 Working Conference on Data Semantics (Industrial Track), Hong Kong, April 2001, 3-‐9. 85. Bresciani P., Giunchiglia F., Giorgini P., Mylopoulos J., Perini A., “A Knowledge Level Software Engineering Methodology for Agent-‐Oriented Programming”, 5th Int. Conference on Autonomous Agents, Montreal, May 2001. 86. Castro J., Kolp M., Mylopoulos J., “A Requirements-‐Driven Software Development Methodology”, 13th International Conference on Advanced Information Systems Engineering (CAiSE’01), Interlaken, June 2001, Springer-‐Verlag LNCS; (Note: Highest ranked paper among 95 submissions); reprinted in Seminal Contribution to Information Systems Engineering: 25 Years of CAiSE, Bubenko J., Krogstie J., Pastor O., Pernici B., Rolland C., Solvberg A., (eds.), Springer, 2013, 265-‐280. 87. Giorgini P., Perini A., Mylopoulos J., Giunchiglia F., Bresciani P., “Agent-‐Oriented Software Development: A Case Study”, 13th International Conference on Software Engineering and Knowledge Engineering (SEKE'01), Buenos Aires, June 2001. 88. Kolp, M., Giorgini, P., Mylopoulos, J., “An Organizational Perspective on Multi-‐Agent Architectures”, International Workshop on Agent Theories, Architectures, and Languages (ATAL’01), Seattle, August 2001, Springer LNCS 2333, 128-‐140. 89. Fuxman, A., Pistore, M., Mylopoulos, J. and Traverso, P., “Model Checking Early Requirements Specifications in Tropos”, 5th International IEEE Symposium on Requirements Engineering (RE’01), Toronto, August 2001, 174-‐181; honourable mention for the most influential paper award at the 19th International IEEE Requirements Engineering Conference (RE’11). 90. Castro, J., Alencar, F., Cysneiros, G,, Mylopoulos, J., “Integrating Organizational Requirements and Object Oriented Modelling,” 5th Int. IEEE Symposium on Requirements Engineering (RE’01), Toronto, August 2001. 91. Mylopoulos, J., Castro, J., and Kolp, M., “UML for Agent-‐Oriented Software Development: The Tropos Proposal”, 4th International Conference on the Unified Modelling Language (UML’01), Toronto, October 2001. 92. Fuxman, A., Giorgini, P., Kolp, M., Mylopoulos, J., “Information Systems as Social Organizations”, International Conference on Formal Ontologies for Information Systems (FOIS’01), Ogunquit Maine, October 2001. 93. Tahvildari, L., Kontogiannis, K., Mylopoulos, J., “Requirements-‐Driven Software Reengineering Framework”, Eighth IEEE International Working Conference on Reverse Engineering (WCRE’01), Stuttgard, October 2001. 94. Rodriguez-‐Gianolli, P., and Mylopoulos, J., “A Semantic Approach to XML-‐Based Data Integration”, 20th International Conference on Conceptual Modelling (ER’01), Yokohama, November 2001. 95. Jarvis, R., McArthur, G., Mylopoulos, J., Rodriguez-‐Gianolli, P., Zhou, S., “Semantic Models for Knowledge Management”, 2nd Int. Conf. on Web Information Systems Engineering (WISE’01), Kyoto, December 2001. 96. Mylopoulos, J., Kolp, M., Giorgini, P., “Agent-‐Oriented Software Development”, 2nd Hellenic Conference on Artificial Intelligence (SETN’02), Thessaloniki, April 2002, Springer-‐Verlag LNAI Series.
.- -‐ 17 -‐
97. Bernstein, P., Giunchiglia, F., Kementsietsidis,A., Mylopoulos,J., Serafini,L., Zaihrayeu, I., "Data Management for Peer-‐to-‐Peer Computing: A Vision", 5th SIGMOD Workshop on Databases and the Web (WebDB'02), Madison, June 2002 (Acceptance rate 17.0%). 98. Giunchiglia, F., Mylopoulos, J., Perini, A., “The Tropos Software Development Methodology: Processes, Models and Diagrams”, 3rd International Workshop on Agent-‐Oriented Software Engineering (AOSE’02), collocated with AAMAS’02, July 2002, Bologna, 2-‐23. 99. Giorgini, P., Kolp, M., Mylopoulos, J., “Multi-‐Agent and Software Architectures: A Comparative Case Study”, 1st Int. Joint Conf. on Autonomous Agents and Multi-‐Agent Systems (AAMAS’02), July 2002, Bologna, (extended abstract.) 100. Kolp, M., Giorgini, P., Mylopoulos, J., "Information Systems Development through Social Structures", 14th International Conference on Software Engineering and Knowledge Engineering (SEKE'02), Ischia, July 2002. 101. Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R., "Reasoning with Goals", 21st Int. Conf. on Conceptual Modelling (ER'02), Tampere, October 2002, 167-‐181. (Note: Ranked 2/127 submissions.) 102. Liu, L., Yu, E., Mylopoulos, J., "Analyzing Security Requirements As Relationships Among Strategic Actors", Symposium on Requirements Engineering for Information Security (SREIS’02), October 2002. 103. Liu, W., Easterbrook, S., Mylopoulos, J., “Rule-‐Based Detection of Inconsistency in UML Models”, Workshop on Consistency Problems in UML-‐based Software Development, workshop held at UML’02, Dresden, Oct. 2002. 104. McArthur, G., Mylopoulos, J., Ng, K., "An Extensible Tool for Source Code Representation Using XML", Proceedings Working Conference on Reverse Engineering (WCRE'02), Richmond VA, October 2002. 105. Garzetti, M., Giorgini, P., Mylopoulos, J., and Sannicolo, F., “Applying Tropos Methodology to a real case study: Complexity and Criticality Analysis”, 2nd Italian Workshop on Objects and Agents (WOA’02), Milano, Nov. 2002. 106. Castro, J., Silva, C., Mylopoulos, J., “Modelling Organizational Architectural Styles in UML”, 15th International Conference on Advanced Information Systems Engineering (CAiSE’03), Velden, June 2003, Springer-‐Verlag LNCS. (Acceptance rate 20.4%) 107. Kolp, M., Giorgini, P., Mylopoulos, J., “Organizational Patterns for Early Requirements Analysis”, 15th International Conference on Advanced Information Systems Engineering (CAiSE’03), Velden, June 2003, Springer-‐Verlag LNCS 2681. (Acceptance rate 20.4%) 108. Lu, J. and Mylopoulos, J., “Automated EJB Client Code Generation”, International Database Engineering and Applications Symposium (IDEAS’03), Hong Kong, July 2003. 109. Serafini L., Giunchiglia F., Mylopoulos J., Bernstein, P. “The Local Relational Model: A Logical Formalization of Database Coordination”, 4th Int. Interdisciplinary Conference on Modelling and Using Contexts (Context’03), Stanford, June 2003. 110. Fuxman, A., Liu, L., Pistore, M., Roveri, M., Mylopoulos, J., “Specifying and Analyzing Early Requirements: Some Experimental Results”, 11th International IEEE Requirements Engineering Conference (RE’03), Monterey, September 2003. (Acceptance rate 19.1%; ranked among the top 5 papers of RE’03) 111. Liu L., Yu E., Mylopoulos J., “Security and Privacy Requirements Analysis within a Social Setting”, 11th Int. IEEE Requirements Engineering Conference (RE’03), Monterey, September 2003, 151-‐161. (Acceptance rate 19.1%) 112. Hui, B., Liaskos, S., Mylopoulos, J., “Requirements Analysis for Customizable Software: A Goals-‐Skills-‐Preferences Framework”, 11th International IEEE Requirements Engineering Conference (RE’03), Monterey, September 2003. (Acceptance rate: 19.1%) 113. Giorgini, P., Massacci, F., Mylopoulos, J., “Requirement Engineering meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard”, 25th International Conference on Conceptual Modelling (ER’03), Chicago, October 2003. (Acceptance rate 24.8%). 114. Yu, Y., Dayani-‐Fard, H., Mylopoulos, J., “Removing False Code Dependencies to Speedup Software Build Processes”, CASCON’03 Conference, Toronto, October 2003. 115. Kantere, V., Mylopoulos, J., Kiringa, I., “A Distributed Rule Mechanism for Multidatabase Systems”, 10th International Conference on Cooperative Information Systems (CoopIS’03), Catania, November 2003 (Acceptance rate: 23.2%).
.- -‐ 18 -‐
116. Bolchini, D., Mylopoulos, J., “From Task-‐Oriented to Goal-‐Oriented Web Requirements Analysis”, 4th International Conference on Web Information Systems Engineering (WISE’03), Rome, December 2003. 117. Giorgini, P., Massacci, F., Mylopoulos, J., Zannone, N., “Requirements Engineering Meets Trust Management: Model, Methodology and Reasoning”, 2nd Int. Conf. on Trust Management (iTrust’04), Oxford, March 2004. 118. Giorgini, P., Massacci, F., Mylopoulos, J., Zannone, N., “Filling the Gap Between Requirements Engineering and Public Key/Trust Management Infrastructures”, 1st European Public Key Infrastructures Workshop (EuroPKI’04), Springer LNCS 3093, Samos, June 2004, 98-‐111. 119. Kiyavitskaya, N., Zeni, N., Mich, L., Mylopoulos, J., “Experimenting with Linguistic Tools for Conceptual Modelling: Quality of the Models and Critical Features”, 9th International Conference on Applications of Natural Language to Information Systems (NLDB’04), Springer LNCS 3136, Manchester, June 2004, 135-‐146. 120. Sebastiani, R., Giorgini, P., Mylopoulos, J., “Simple and Minimum-‐Cost Satisfiability for Goal Models”, 16th International Conference on Advanced Information Systems Engineering (CAiSE’04), Riga, June 2004, Springer-‐Verlag LNCS 2003, 20-‐35. (Acceptance rate: 24.0%). 121. Lau, D., Mylopoulos, J., “Designing Web Services with Tropos”, IEEE International Conference on Web Services (ICWS’04), San Diego, July 2004. 122. Borgida, A., Mylopoulos, J., “Data Semantics Revisited”, VLDB Workshop on the Semantic Web and Databases (SWDB’04), Toronto, August 2004, Springer-‐Verlag LNCS, 9-‐26. 123. González-‐Baixauli, B., Leite, J., Mylopoulos, J., “Visual Variability Analysis for Goal Models”, 12th Int. IEEE Requirements Engineering Conference (RE’04), Kyoto, September 2004 (Acceptance rate: 20.0%). 124. Yu, Y., Leite, J., Mylopoulos, J., “From Goals to Aspects: Discovering Aspects from Requirements Goal Models”, 12th Int. IEEE Requirements Engineering Conference (RE’04), Kyoto, Sept. 2004 (Acceptance rate: 20.0%). 125. Velegrakis, Y., Miller, R., Mylopoulos, J., “Representing and Querying Data Transformations”, 21st IEEE Conference on Data Engineering (ICDE’05), Tokyo, April 2005, 81-‐92. (Acceptance rate: 13%) 126. Dayani-‐Fard, H., Yu, Y., Mylopoulos, J., Andritsos, P., “Improving the Build Architecture of Legacy C/C++ Software Systems”, Fundamental Approaches to Software Engineering (FASE'05), Edinburgh, April 2005. 127. Giorgini, P., Massacci, F., Mylopoulos, J., Zannone, N., “Modelling Social and Individual Trust in Requirements Engineering Methodologies”, 3rd International Conference on Trust Management (iTrust’05), INRIA-‐Rocquencourt, May 2005, 161-‐176. 128. Lapouchnian, A., Liaskos, S., Mylopoulos, J., Yu, Y., “Towards Requirements-‐Driven Autonomic Systems Design”, First ICSE Workshop on Design and Evolution of Autonomic application Software (DEAS’05), May 2005; published in ACM SIGSOFT Software Engineering Notes 30(4), July 2005, ISBN: 1-‐59593-‐039-‐6. 129. Leite, J., Yu, Y., Liu, L., Yu, E., Mylopoulos, J., “Quality-‐Based Software Reuse”, 17th Int. Conf. on Advanced Information Systems Engineering (CAiSE’05), Porto, June 2005, Springer-‐Verlag LNCS (Acceptance rate: 13.3%). 130. Giorgini, P., Massacci, F., Mylopoulos, J., Zannone, N., “Modelling Security Requirements Through Ownership, Permissions and Delegations”, 13th International IEEE Requirements Engineering Conference (RE’05), Paris, September 2005 (Acceptance rate: 20.0%). 131. Yu, Y., Wang, Y., Mylopoulos, J., Liaskos, S., Lapouchnian, A., Leite, J., “Reverse Engineering Goal Models from Legacy Code”, 13th Int. IEEE Requirements Engineering Conf. (RE’05), Paris, Sept. 2005 (Acceptance rate: 20.0%). 132. Kiyavitskaya, N., Zeni, N., Cordy, J., Mich, L., Mylopoulos, J., "Applying Software Analysis Technology to Lightweight Semantic Markup of Document Text", 3rd International Conference on Advances in Pattern Recognition (ICAPR’05), Bath, U.K., Springer-‐Verlag LNCS 3686, August 2005, 590-‐600. 133. Rodriguez-‐Gianolli, P., Kementsietsidis, A., Mylopoulos, J., Miller, R., Kiringa, I., Masud, M., Kantere, V., “Data Sharing in the Hyperion Peer Database System”, 31th International Conference on Very Large Databases (VLDB’05), Trondheim, September 2005 (demo paper). 134. Yu, Y., Dayani-‐Fard, H., Mylopoulos, J., Andritsos, P., “Reducing Build Time Through Pre-‐Compilations for Large-‐Scale Software”, 24th Int. Conference on Software Maintenance (ICSM’05), Budapest, September 2005. 135. Dayani-‐Fard, H., Glasgow, J., Mylopoulos, J., “A Data Warehouse for Managing Software Release”, 21st International Conference on Software Maintenance (ICSM’05), Budapest, September 2005.
.- -‐ 19 -‐
136. Massacci, F., Mylopoulos, J., Zannone, N., “Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation”, 10th European Symposium on Research in Computer Security (ESORICS’05), Springer-‐Verlag LNCS 3679, Milano, October 2005, 434-‐454. (Acceptance rate: 16.4%). 137. An, Y., Borgida, A., Mylopoulos, J., “Constructing Semantic Mappings between XML Data and Ontologies”, 4th International Semantic Web Conference (ISWC’05), Galway Ireland, November 2005. 138. An, Y., Borgida, A., Mylopoulos, J., “Finding Semantic Mappings from Relational Tables to Conceptual Models/Ontologies”, 4th International Conference on Ontologies, Databases and Applications of Semantics (ODBASE’05), Ayia Napa Cyprus, November 2005. 139. Colombo, E., Mylopoulos, J., Spoletini, P., “Modelling and Analyzing Context-‐Aware Composition of Services”, 3rd International Conference on Service-‐Oriented Computing (ICSOC'05), Amsterdam, December 2005. (Acceptance rate 15.7%) 140. Zhao, D., Mylopoulos, J., Kiringa, I., Kantere, V., “An ECA Rule Rewriting Mechanism for Peer Data Management Systems”, 10th Eur. Conf. on Extending Database Technologies (EDBT’06), Munich, March 2006. 141. Ernst, N., Jamieson, G., Mylopoulos, J., “Integrating Requirements Engineering and Cognitive Work Analysis: A Case Study”, Conference on Systems Engineering Research, Los Angeles, April 2006. 142. Penserini, L., Perini, A., Susi, A., Mylopoulos, J., “From Stakeholder Intentions to Software Agent Implementations”, 18th International Conference on Advanced Information Systems Engineering (CAiSE’06), Luxembourg, June 2006. (Acceptance rate 17.4%) 143. Estrada, H., Martinez, A., Pastor, O., Mylopoulos, J., “An Experimental Evaluation of the i* Framework in a Model-‐Based Software Generation Environment”, 18th International Conference on Advanced Information Systems Engineering (CAiSE’06), Luxembourg, June 2006. (Acceptance rate 17.4%) 144. Bryl, V., Massacci, F., Mylopoulos, J., Zannone, N., “Designing Secure Systems by Planning”, 18th Int. Conf. on Advanced Information Systems Engineering (CAiSE’06), Luxembourg, June 2006. (Acceptance rate 17.4%) 145. An, Y., Mylopoulos, J., Borgida, A., “Building Semantic Mappings from Databases to Ontologies”, 21st National Conference on Artificial Intelligence (AAAI’06), Nectar track, Boston, July 2006. 146. Jiang, L., Topaloglou, T., Borgida, A., Mylopoulos, J., “Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management”, 14th International IEEE Requirements Engineering Conference (RE’06), Minneapolis/St. Paul, September 2006. (Acceptance rate 18.2%) 147. Liaskos, S., Lapouchnian, A., Yu, Y., Yu, E., Mylopoulos, J., “On Goal-‐Based Variability Acquisition and Analysis”, 14th Int. IEEE Requirements Engineering Conf. (RE’06), Minneapolis/St. Paul, Sept. 2006. (Acceptance rate 18.2%) 148. Giorgini, P., Massacci, F., Mylopoulos, J. and Zannone, N., “Detecting Conflicts of Interest”, 14th International IEEE Requirements Engineering Conference (RE’06), Minneapolis/St. Paul, September 2006, 315-‐318. (short paper). 149. Liu, L., Yu, E., Mylopoulos, J., “Security Design Based on Social Modelling”, 30th Annual International Computer Software and Applications Conference (COMPSAC'06), Chicago, September 2006, 71-‐78 (volume 2). 150. Penserini, L. Perini, A. Susi, A. Mylopoulos, J., “From Capability Specifications to Code for Multi-‐Agent Software”, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE’06), Tokyo, September 2006, 253-‐256 (short paper). 151. Lapouchnian, A., Yu, Y., Liaskos, S. and Mylopoulos, J., “Requirements-‐driven Design of Autonomic Application Software”, IBM Center for Advanced Studies Conference (CASCON’06), Toronto, October 2006, 7–22. 152. Su, N., and Mylopoulos, J., “Conceptualizing the Co-‐evolution of Organizations and Information Systems: An Agent-‐Oriented Perspective”, 25th International Conference on Conceptual Modelling (ER’06), Tucson Arizona, November 2006. (Acceptance rate: 23.4%) 153. Colombo, E., Mylopoulos, J., “A Multi-‐Perspective Framework for Organizational Patterns”, 25th International Conference on Conceptual Modelling (ER’06), Tucson Arizona, November 2006. (Acceptance rate: 23.4%) 154. Bryl, V., Giorgini, P., Mylopoulos, J., “Designing Cooperative Information Systems: Exploring and Evaluating Alternatives”, 14th Int. Conf. on Cooperative Information Systems (CoopIS’06), Montpellier, November 2006. 155. Kantere, V., Kiringa, I., Mylopoulos, J., McArthur, G., “Distributed Triggers for Peer Data Management”, 14th International Conference on Cooperative Information Systems (CoopIS’06), Montpellier, November 2006.
.- -‐ 20 -‐
156. An, Y., Borgida, A., Miller, R., Mylopoulos, J., “A Semantic Approach to Discovering Schema Mapping Expressions”, 23rd IEEE International Conference on Data Engineering (ICDE’07), Istanbul, April 2007 (Acceptance rate: 18.5%). 157. Zeni, N., Kiyavitskaya, N., Mich, L., Mylopoulos, J., Cordy, J., "A Lightweight Approach to Semantic Annotation of Research Papers", 12th International Conference on Applications of Natural Language to Information Systems (NLDB’07), Paris, June 2007. 158. Karagiannis, D., Mylopoulos, J., Schwab, M., “Business Process Compliance with Government Regulations: The Case of the Sarbanes-‐Oxley Act”, 15th International IEEE Requirements Engineering Conference (RE’07), Delhi, October 2007 (Acceptance rate: 20.3%). 159. Yu, Y., Niu, N., González-‐Baixauli, B., Candillon, W., Mylopoulos, J., Easterbrook, S., Leite, J., van Wormhoudt, G., “Tracing and Validating Goal Aspects”, 15th International IEEE Requirements Engineering Conference (RE’07), Delhi, October 2007 (Acceptance rate: 20.3%). 160. Jiang, L., Topaloglou, T., Borgida, A., Mylopoulos, J., “Goal-‐Oriented Conceptual Database Design”, 15th International IEEE Requirements Engineering Conference (RE’07), Delhi, Oct. 2007 (Acceptance rate: 20.3%). 161. Lapouchnian, A., Yu, Y., Mylopoulos, J., “Requirements-‐Driven Design and Configuration Management of Business Processes”, 5th International Conference on Business Process Management (BPM’07), Brisbane, September 2007 (Acceptance rate: 14.5%). 162. Kiyavitskaya, N., Zeni, N., Mich, L., Breaux, T., Anton, A., Mylopoulos, J., Cordy, J., "Extracting Rights and Obligations from Regulations: Towards a Tool-‐Supported Process", 22nd IEEE/ACM Int. Conference on Automated Software Engineering (ASE’07), Atlanta, November 2007, (short paper). (Acceptance rate: 24.7%). 163. Wang, Y., McIlraith, S., Yu, Y., Mylopoulos, J., “An Automated Approach for Monitoring and Diagnosing Requirements”, 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE’07), Atlanta, November 2007, 293-‐302. (Distinguished paper award; acceptance rate 11.8%, 312 submissions) 164. Jiang L., Borgida A., Topaloglou T., Mylopoulos J., “Data Quality-‐by-‐Design: A Goal-‐Oriented Approach”, 12th International Conference on Information Quality (ICIQ’07), MIT, Cambridge MA, November 2007. 165. Yu Y., Leite J., Lapouchnian A., Mylopoulos J., “Configuring Features with Stakeholder Goals”, 23rd ACM Symposium on Applied Computing (SAC’08), Fortaleza, Brazil, February 2008, ISBN:978-‐1-‐59593-‐753-‐7, 645-‐649. 166. Yu Y., Lapouchnian A., Liaskos S., Mylopoulos J. and Leite J., "From Goals to High-‐Variability Software Design", 17th International Symposium on Methodologies for Intelligent Systems (ISMIS'08), Toronto, May 2008, Springer-‐Verlag LNAI 4994, 1-‐16. 167. Jureta I, Mylopoulos J., Faulkner S., “Revisiting the Core Ontology and Problem in Requirements Engineering”, 16th International IEEE Requirements Engineering Conference (RE’08), Barcelona, Sept. 2008, 71-‐80. (Best paper award; acceptance rate: 12.3%, 164 submissions). 168. Yu, Y., Jurjens, J., Mylopoulos, J., "Traceability for the Maintenance of Secure Software", 24th IEEE International Conference on Software Maintenance (ICSM’08), Beijing, September 2008. (Acceptance rate: 25.6%). 169. Jiang, L., Borgida, A., Mylopoulos, J., "Towards a Compositional Semantic Account of Data Quality Attributes", 27th Int. Conference on Conceptual Modeling (ER’08), Barcelona, October 2008. (Acceptance rate: 24.0%) 170. Kiyavitskaya, N., Zeni, N., Breaux, T., Anton, A., Cordy, J., Mich, L., Mylopoulos, J., “Extraction of Rights and Obligations for Regulatory Compliance", 27th International Conference on Conceptual Modeling (ER’08), Barcelona, October 2008, 154-‐168. (Acceptance rate: 24.0%) 171. Siena, A., Mylopoulos, J., Perini, A., Susi, A., “Towards a Framework for Law-‐Compliant Software Requirements”, 31st International Conference on Software Engineering (ICSE’09), New Ideas and Emerging Results (NIER) track, Vancouver, May 2009. (Acceptance rate: 17.6%) 172. Jiang, L., Barone, D., Borgida, A., Mylopoulos, J., "Measuring and Comparing Effectiveness of Data Quality Techniques", 21th International Conference on Advanced Information Systems Engineering (CAiSE’09), Amsterdam, June 2009. (Acceptance rate 16.0%, 230 submissions)
.- -‐ 21 -‐
173. Dalpiaz F., Giorgini P., Mylopoulos J., “An Architecture for Requirements-‐driven Self-‐reconfiguration", 21th International Conference on Advanced Information Systems Engineering (CAiSE’09), Amsterdam, June 2009. (Acceptance rate 16.0%, 230 submissions) 174. Salay R., Mylopoulos J., ”Improving Model Quality Using Diagram Coverage Criteria", 21th International Conference on Advanced Information Systems Engineering (CAiSE’09), Amsterdam, June 2009. (Acceptance rate 16.0%, 230 submissions) 175. Salay R., Mylopoulos J., Easterbrook S., "Using Macromodels to Manage Collections of Related Models", 21th International Conference on Advanced Information Systems Engineering (CAiSE’09), Amsterdam, June 2009. (Acceptance rate 16.0%, 230 submissions) 176. Martinez, A., Pastor, O., Mylopoulos, J., and Estrada, H., “From Organizational Models to Software Requirements”, 21st International Conference on Software Engineering and Knowledge Engineering (SEKE’09), Boston, July 2009, 61-‐66. 177. Jureta, I, Mylopoulos, J., Faulkner, S., “Analysis of Multi-‐Party Agreement in Requirements Validation”, 17th International IEEE Requirements Engineering Conference (RE’09), Atlanta, September 2009, 57-‐66. (Acceptance rate: 21%, 170 submissions). 178. Rizzolo, F., Velegrakis, Y., Mylopoulos, J., Bykau, S., “Modeling Concept Evolution: A Historical Perspective”, 28th International Conference on Conceptual Modeling (ER’09), Gramado Brazil, November 2009. (Acceptance rate: 19%, 163 submissions). 179. Silva Souza, V., Mylopoulos, J., “Monitoring and Diagnosing Malicious Attacks with Autonomic Software”, 28th International Conference on Conceptual Modeling (ER’09), Gramado Brazil, November 2009. (Acceptance rate: 19%, 163 submissions). 180. Lapouchnian, A., Mylopoulos, J., “Modelling Domain Variability in Requirements Engineering with Contexts”, 28th International Conference on Conceptual Modeling (ER’09), Gramado Brazil, November 2009. (Acceptance rate: 19%, 163 submissions). 181. Siena, A., Mylopoulos, J., Perini, A., Susi, A., “Designing Law-‐Compliant Software Requirements”, 28th International Conference on Conceptual Modeling (ER’09), Gramado Brazil, November 2009, 472-‐486. (Acceptance rate: 19%, 163 submissions). 182. Wang, Y., Mylopoulos, J., “Self-‐repair Through Reconfiguration: A Requirements Engineering Approach”, 24nd IEEE/ACM International Conference on Automated Software Engineering (ASE’09), Auckland, New Zealand, November 2009. (Acceptance rate: 17%, 222 submissions). 183. Liaskos, S., McIlraith, S., Mylopoulos, J., “Towards Augmenting Requirements Models with Preferences”, 24nd IEEE/ACM International Conference on Automated Software Engineering (ASE’09), Auckland New Zealand, November 2009, (short paper). 184. Chopra, A., Giorgini, P., Mylopoulos, J., Dalpiaz, F., “Reasoning about Agents and Protocols via Goals and Commitments”, 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS’10), Toronto, May 2010. (Acceptance rate: 23.8%, 685 submissions) 185. Chopra, A., Dalpiaz, F., Giorgini, P., Mylopoulos, J., “Modeling and Reasoning about Service-‐Oriented Applications via Goals and Commitments”, 22nd International Conference on Advanced Information Systems Engineering (CAiSE’10), Hammamet Tunisia, June 2010. (Acceptance rate: 11.8%, 296 submissions) 186. Lyytinen, K., Jarke, M., Loucopoulos, P., Mylopoulos, J., Robinson, W., “The Brave New World of Design Requirements: Four Key Principles”, 22nd International Conference on Advanced Information Systems Engineering (CAiSE’10), Hammamet Tunisia, June 2010. (Acceptance rate: 11.8%, 296 submissions; ranked among the top 5 papers of CAiSE’10) 187. Ernst, N., Mylopoulos, J., “On the Perception of Software Quality Requirements during the Project Lifecycle”, 16th International Working Conference on Requirements Engineering for Software Quality (REFSQ’10), Essen, July 2010. (Acceptance rate: 26.3%, 57 submissions). 188. Liaskos, S., McIlraith, S., Sohrabi, S., Mylopoulos, J., “Integrating Preferences into Goal Models for Requirements Engineering”, 18th Int. IEEE Requirements Engineering Conference (RE’10), Sydney Australia, September 2010. (Acceptance rate: 15.9%, 151 submissions; ranked among the top 5 papers of RE’10).
.- -‐ 22 -‐
189. Jureta, I., Borgida, A., Ernst, N., Mylopoulos, J., “Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences and Inconsistency Handling”, 18th Int. IEEE Requirements Engineering Conference (RE’10), Sydney Australia, Sept. 2010. (Acceptance rate: 15.9%, 151 submissions). 190. Zawawy H., Mylopoulos J., Mankovskii S., “Requirements-‐Driven Framework for Root Cause Analysis in SOA Environments”, 4th International Workshop on Maintenance and Evolution of Service-‐Oriented Systems (MESOA’10), Timisoara Romania, September 2010, 22-‐39. 191. Kantere V., Manoubi M., Kiringa I., Sellis T., Mylopoulos J., “Peer Coordination Through Distributed Triggers”, 36th Very Large Databases Conference (VLDB’10), Singapore, Sept. 2010, 1561-‐1564 (demo paper). 192. Siena A., Armellin G., Mameli G., Mylopoulos J., Perini A., Susi A., “Establishing Regulatory Compliance for Information System Requirements: An Experience Report from the Health Care Domain”, 29th Int. Conference on Conceptual Modeling (ER’10), Vancouver, November 2010. (Acceptance rate: 20.4%, 147 submissions). 193. Ernst N., Borgida A., Jureta I., Mylopoulos J., “Reasoning with Optional and Preferred Requirements”, 29th International Conference on Conceptual Modeling (ER’10), Vancouver, November 2010. (Acceptance rate: 20.4%, 147 submissions). 194. Salay R., Mylopoulos J., “The Model Role Level – A Vision”, 29th International Conference on Conceptual Modeling (ER’10), Vancouver, November 2010. (Acceptance rate: 20.4%, 147 submissions). 195. Dalpiaz F., Chopra A., Giorgini P., Mylopoulos J., “Adaptation in Open Systems: Giving Interaction its Rightful Place”, 29th International Conference on Conceptual Modeling (ER’10), Vancouver, November 2010. (Acceptance rate: 20.4%, 147 submissions). 196. Barone D., Yu E., Won J., Jiang L., Mylopoulos J., “Enterprise Modeling for Business Intelligence”, 3rd IFIP WG 8.1 Working Conference on The Practice of Enterprise Modeling (PoEM’10), Delft, November 2010. 197. Chinaraki C., Velegrakis Y., Kiyavitskaya N., Mylopoulos J., “A Context-‐based Model for the Interpretation of Polysemous Terms”, 9th International Conference on Ontologies, Databases and Applications of Semantics (ODBASE’10), Ayia Napa Cyprus, November 2010, 939-‐956. 198. Wang Y., Mylopoulos J., “Diagnosing Software Using Statecharts”, 20th International Conference on Computer Science and Software Engineering (CASCON’10), Toronto, November 2010. 199. Barone D., Peyton L., Rizzolo F., Amyot D., Mylopoulos J., “Model Based Support for Managing Organizational Transformation”, 5th International Multidisciplinary Conference on eTechnologies (MCETECH’11), Les Diablerets (Switzerland), January 2011. 200. Silva Souza V., Lapouchnian A., Robinson W., Mylopoulos J., “Awareness Requirements for Adaptive Systems”, 6th ICSE International Symposium on Software Engineering for Adaptive and Self-‐Managing Systems (SEAMS’11), Waikiki Honolulu, May 2011 (Acceptance rate 28%, 76 submissions). 201. Hindle A., Ernst N., Godfrey M., Mylopoulos J., “Automated Topic-‐Naming to Support Cross-‐Project Analysis of Software Maintenance Activities”, 8th International Working Conference on Mining Software Repositories (MSR’11) Waikiki Honolulu, May 2011 (co-‐located with ICSE 2011). 202. Asnar Y., Paja E., Mylopoulos J., “Modeling Design Patterns with Description Logics: A Case Study”, 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11), London, June 2011. (Acceptance rate: 13.1%, 320 submissions). 203. Liaskos S., Litoiu M., Jungblut M., Mylopoulos J., ”Goal-‐based Behavioral Customization of Information Systems”, 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11), London, June 2011. (Acceptance rate: 13.1%, 320 submissions; ranked among the top 5 papers of CAiSE’11). 204. Zhan-‐Lei Ma, Lin Liu, Hongji Yang, Mylopoulos J., “Adaptive Service Composition Based on Runtime Requirements Monitoring”, 9th IEEE International Conference on Web Services (ICWS’11), Washington DC, July 2011. (Acceptance rate: 11.0%, 246 submissions). 205. Ingolfo S., Siena A., Mylopoulos J., “Establishing Regulatory Compliance for Software Requirements”, 30th International Conference on Conceptual Modelling (ER’11), Brussels, November 2011, 47-‐61. (Acceptance rate: 15.9%, 157 submissions; ranked among the top 5 papers of ER’11).
.- -‐ 23 -‐
206. Souza V., Lapouchnian A., Mylopoulos J., “System Identification for Adaptive Software Systems: A Requirements Engineering Perspective”, 30th International Conference on Conceptual Modelling (ER’11), Brussels, November 2011, 346-‐361. (Acceptance rate: 15.9%, 157 submissions). 207. Jiang L., Barone D., Amyot D., Mylopoulos J., “Strategic Models for Business Intelligence”, 30th International Conference on Conceptual Modelling (ER’11), Brussels, November 2011, 429-‐439. (Acceptance rate: 24.8%, 157 submissions). 208. Barone D., Jiang L., Amyot D., Mylopoulos J., “Composite Indicators for Business Intelligence”, 30th International Conference on Conceptual Modelling (ER’11), Brussels, November 2011, 82-‐96. (Acceptance rate: 24.8%, 157 submissions). 209. Bykau S., Velegrakis Y., Rizzolo F., Mylopoulos J., “Supporting queries spanning across phases of evolving artifacts with Steiner forests”, 20th ACM Conference on Information and Knowledge Management (CIKM’11), Glasgow, October 2011. (Acceptance rate: 14.0%, 908 submissions). 210. Zawawy H., Kontogiannis K., Mylopoulos J., Mankovksi S., “Towards a Requirements-‐Driven Framework for Detecting Malicious Behavior against Software Systems”, 21st International Conference on Computer Science and Software Engineering (CASCON’11), Toronto, November 2011. (Acceptance rate: 23.9%, 92 submissions). 211. Barone D., Jiang L., Amyot D., Mylopoulos J., “Reasoning with Key Performance Indicators”, 4rd IFIP WG 8.1 Working Conference on The Practice of Enterprise Modeling (PoEM’11), Oslo, November 2011. 212. Silva Souza V., Mazón J-‐N., Garrigós I., Trujillo J., Mylopoulos J., “Monitoring Strategic Goals in Data Warehouses with Awareness Requirements”, 27th ACM Symposium On Applied Computing, Requirements Engineering track (SAC-‐RE’12), Riva del Garda (Italy), March 2012. (Acceptance rate: 25.8%, 31 submissions). 213. Borgida A., Horkoff J., Mylopoulos J., and Riccardo Rosati, “Parametric Concepts and other Experiences in Mapping the Business Intelligence Model to a Description Logic”, 25th International Workshop on Description Logics (DL’12), Rome, June 2012. 214. Zawawy H., Kontogiannis K., Mylopoulos J., Mankovski S., “Requirements-‐Driven Root Cause Analysis Using Markov Logic Networks”, 24th International Conference on Advanced Information Systems Engineering (CAiSE’12), Gdańsk, June 2012. (Acceptance rate: 14.1%, 297 submissions). 215. Barone D., Topaloglou T., Mylopoulos J., “Designing Business Intelligence Solutions using Strategic Models: A Case Study”, 24th International Conference on Advanced Information Systems Engineering (CAiSE’12), Gdańsk, June 2012. (Acceptance rate: 14.1%, 297 submissions). 216. Ernst N., Borgida A., Mylopoulos J., Jureta I., "Agile Requirements Evolution via Paraconsistent Reasoning", 24th International Conference on Advanced Information Systems Engineering (CAiSE’12), Gdańsk, June 2012. (Acceptance rate: 14.1%, 297 submissions; ranked among the top 5 papers of CAiSE’12). 217. Silva Souza V., Lapouchnian A., and Mylopoulos J., “(Requirement) Evolution Requirements for Adaptive Systems”, 7th International Symposium on Software Engineering for Adaptive and Self-‐Managing Systems (SEAMS’12), Zürich, June 2012. 218. Horkoff J., Borgida A., Mylopoulos J., Barone D., Jiang L., Yu E., Amyot D., “Making Data Meaningful: The Business Intelligence Model and its Formal Semantics in Description Logics”, 11th International Conference on Ontologies, Databases, and Applications of Semantics (ODBASE’12), Rome, September 2012, Springer-‐Verlag LNCS 7566, 700-‐717. (Acceptance rate: 28.8%, 52 submissions). 219. Silva Souza V., Lapouchnian A., Mylopoulos J., “Requirements-‐Driven Qualitative Adaptation”, 20th International Conference on Cooperative Information Systems (CoopIS’12), Rome, September 2012, Springer-‐Verlag LNCS 7566, 342-‐361. (Acceptance rate: 21.4%, 88 submissions). 220. Fu Lingxiao, Peng Xin, Yu Yijun, Mylopoulos J., Zhao Wenyun, “Stateful Requirements Monitoring for Self-‐Repairing Socio-‐Technical Systems”, 20th IEEE International Requirements Engineering Conference (RE'12), Chicago, September 2012. (Acceptance rate: 24.5%, 106 submissions). 221. Siena A., Jureta I., Ingolfo S., Perini A., Susi A., Mylopoulos J., “Capturing Variability of Norms”, 31th International Conference on Conceptual Modelling (ER’12), Florence, October 2012. (Acceptance rate: 17.0%, 141 submissions).
.- -‐ 24 -‐
222. Maté A., Trujillo J., and Mylopoulos J., “MultiDimBIM: A Multidimensional View of Business Intelligence Models”, 31th International Conference on Conceptual Modelling (ER’12), Florence, October 2012. (short paper) (Acceptance rate: 26.2%, 141 submissions). 223. Maté A., Trujillo J., and Mylopoulos J., “Conceptualizing and Specifying Key Performance Indicators in Business Strategy Models”, 22nd International Conference on Computer Science and Software Engineering (CASCON’12), Toronto, November 2012. 224. Ingolfo S., Siena A., Jureta I., Susi A., Perini A., Mylopoulos J., “Choosing Compliance Solutions through Stakeholder Preferences”, 19th International Working Conference on Requirements Engineering for Software Quality (REFSQ’13), Essen, April 2013. (Acceptance rate: 21.9%, 105 submissions). 225. Dalpiaz F., Borgida A., Horkoff J., Mylopoulos J., “Runtime Goal Models”, 7th IEEE International Conference on Research Challenges in Information Science (RCIS’13), Paris, May 2013 (invited paper). 226. Wieringa R., van Eck P., Mylopoulos J., “Requirements Engineering Conferences: Wither Industry Tracks?”, 21st IEEE International Requirements Engineering Conference (RE'13), Rio de Janeiro, July 2013. (panel position paper). 227. Liaskos S., Khan S., Soutchanski M., Lapouchnian A., and Mylopoulos J., “Modeling and Reasoning with Decision-‐Theoretic Goals”, 32th International Conference on Conceptual Modelling (ER’13), Hong Kong, November 2013, 19-‐32. (Acceptance rate: 18.3%, 126 submissions; ranked among the top 3 papers of ER’13). 228. Ingolfo S., Siena A., Jureta I., Susi A., Perini A., Mylopoulos J., “Automated Reasoning for Regulatory Compliance”, 32th International Conference on Conceptual Modelling (ER’13), Hong Kong, November 2013. (Acceptance rate: 18.3%, 126 submissions). 229. Francesconi F., Dalpiaz F., Mylopoulos J., “TBIM: A Language for Modeling and Reasoning About Business Plans”, 32th International Conference on Conceptual Modelling (ER’13), Hong Kong, November 2013. (Acceptance rate: 18.3%, 126 submissions). 230. Zoumpatianos K., Maté A., Palpanas T., Trujillo J., and Mylopoulos J., “Monitoring and Diagnosing Indicators for Business Analytics”, 23rd International Conference on Computer Science and Software Engineering (CASCON’13), Toronto, November 2013. 231. Dalpiaz F., Silva Souza V., Mylopoulos J., “The Many Faces of Operationalization in Goal-‐Oriented Requirements Engineering”, 8th International Asia-‐Pacific Conference on Conceptual Modelling (APCCM’14), Auckland, January 2014 (invited paper). 232. Pimentel J., Mylopoulos J., Silva Souza V., Castro J., Angelopoulos K., “From Requirements to Statecharts via Design Refinement”, 29th ACM Symposium on Applied Computing (SAC’14), Gyeongju Korea, March 2014. 233. Aydemir F., Dalpiaz F., Giorgini P., Mylopoulos J., “Exploring Alternative Designs of Socio-‐Technical Systems”, IEEE Eighth International Conference on Research Challenges in Information Science (RCIS’14), Marrakesh Morocco, May 2014. 234. Horkoff J., Tong Li, Feng-‐Lin Li, Pimentel J., Salnitri M., Cardoso E., Giorgini P., Mylopoulos J., “Taking Goal Models Downstream: A Systematic Roadmap”, IEEE Eighth International Conference on Research Challenges in Information Science (RCIS’14), Marrakesh Morocco, May 2014 (Best paper award, 153 submissions). 235. Chopra A., Dalpiaz F., Aydemir F., Giorgini P., Mylopoulos J., Singh M., “Protos: Foundations for Engineering Innovative Socio-‐Technical Systems”, 22nd IEEE International Requirements Engineering Conference (RE’14), Karlskrona Sweden, August 2014. (Acceptance rate: 26.9%, 115 submissions) 236. Feng-‐Lin Li, Horkoff J., Mylopoulos J., Borgida A., Guizzardi G., Guizzardi R., Lin Liu, “Non-‐Functional Requirements as Qualities, with a Spice of Ontology”, 22nd IEEE International Requirements Engineering Conference (RE’14), Karlskrona Sweden, August 2014. (Acceptance rate: 26.9%, 115 submissions). 237. Wenyi Qian, Xin Peng, Bihuan Chen, Mylopoulos J., Huanhuan Wang, Wenyun Zhao, “Rationalism with a Dose of Empiricism: Case-‐Based Reasoning for Requirements-‐Driven Self-‐Adaptation”, 22nd IEEE International Requirements Engineering Conference (RE’14), Karlskrona Sweden, August 2014. (Acceptance rate: 26.9%, 115 submissions; ranked among the top 5 papers of RE’14). 238. Guizzardi R., Feng-‐Lin Li, Borgida A., Guizzardi G., Horkoff J., and Mylopoulos J., “An Ontological Interpretation of Non-‐Functional Requirements”, 8th International Conference on Formal Ontology in Information Systems (FOIS’14), Rio de Janeiro, September 2014. (Acceptance rate: 28.4%, 81 submissions).
.- -‐ 25 -‐
239. Xiaowei Wang, Guarino N., Guizzardi G., and Mylopoulos J., “Towards an Ontology of Computer Software: a Requirements Engineering Perspective”, 8th International Conference on Formal Ontology in Information Systems (FOIS’14), Rio de Janeiro, September 2014. (Acceptance rate: 28.4%, 81 submissions). 240. Horkoff J., Aydemir F., Feng-‐Lin Li, Tong Li, Mylopoulos J., “Evaluating the Expressiveness and Effectiveness of a Conceptual Modelling Language: A Requirements Modelling Language Example”, 33rd International Conference on Conceptual Modelling (ER’14), Atlanta, October 2014. 241. Xiaowei Wang, Guarino N., Guizzardi G. and Mylopoulos J., “Software as a Social Artifact: a Management and Evolution Perspective”, 33rd International Conference on Conceptual Modelling (ER’14), Atlanta, October 2014. 242. Peng Xin, Xie Yi, Yu Yijun, Mylopoulos J., Zhao Wenyun, “Evolving Commitments for Self-‐Adaptation in Socio-‐Technical Systems”, (submitted for publication). 243. Pimentel J., Castro J., Silva Souza V., Mylopoulos J., Angelopoulos K., “From Requirements to Statecharts for Adaptive Systems”, (submitted for publication). 244. Dalpiaz F., Chopra A., Canobbio G., Giorgini P., Mylopoulos J., “Social Models for Business Processes with Azzurra”, (submitted for publication).
Books, Book Chapters, and Editions 1. Levesque, H. and Mylopoulos, J., "A Procedural Semantics for Semantic Networks", in Findler, N. (ed.), Associative Networks, Academic Press, 1979, 93-‐120. 2. Tsotsos, J., Covvey, D., Mylopoulos, J. and McLaughlin, P., "The Role of Symbolic Processing in the Computer Evaluation of Left Ventricular Wall Motion: The ALVEN System", in Ventricular Wall Motion, Sigwart and Heintzen (eds.), Georg Thieme Verlag, 1984; also published in Proceedings of World Association on Medical Informatics Conference, Salzburg, 1981. 3. Borgida A., Mylopoulos J., Wong H.K.T., "Methodological and Computer Aids for Interactive Information System Development,” in Schneider H-‐J., Wasserman, A.I. (eds.) Automated Tools for Information System Design, North Holland, 1982. 4. Brodie M., Mylopoulos J. and Schmidt J. (eds.), On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages, Springer Verlag, 1984. 5. Borgida A., Mylopoulos J., Wong H.K.T., "Generalization/Specialization as a Basis for Software Specifications" in Brodie M., Mylopoulos J., Schmidt J., (eds.) On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages, Springer Verlag, 1984. 6. Mylopoulos J. and Levesque H., "An Overview of Knowledge Representation" in Brodie M., Mylopoulos J., Schmidt J. (eds.), On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages, Springer Verlag, 1984. 7. Delgrande J., Mylopoulos J., "Knowledge Representation: Features of Knowledge", in Haton J-‐P. (ed.) Fundamentals in Computer Understanding: Speech, Vision and Natural language, Cambridge University Press, 1986; also in Fundamentals of Artificial Intelligence, Bibel W., Jorrand Ph. (eds.), Lecture Notes in Computer Science, no. 232, Springer-‐Verlag, 1986. 8. Brodie, M. and Mylopoulos, J., (eds.) On Knowledge Base Management Systems: Integrating AI and Database Technologies, Springer Verlag, 1986. 9. Mylopoulos, J., "On Knowledge Base Management Systems", in Brodie, M. and Mylopoulos, J. (eds.), On Knowledge Base Management Systems: Integrating AI and Database Technologies, Springer Verlag, 1986. 10. Brodie, M. and Mylopoulos, J. "Knowledge Bases vs Databases", in Brodie M. and Mylopoulos J. (eds.), On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies, Springer Verlag, 1986. . 11. Kramer B. and Mylopoulos, J. "Knowledge Representation", in The Encyclopedia of Artificial Intelligence, Shapiro, S. (ed.), John Wiley and Sons Inc., 1986; revised version appeared in the second edition of the encyclopedia published in 1991.
.- -‐ 26 -‐
12. Brodie, M. and Mylopoulos, J. "Knowledge Bases and Databases: Semantic vs Computational Theories of Information", in Ariav, G. and Clifford, J. (eds.) New Directions for Database Systems, Ablex Publishing, 1986. 13. Mylopoulos, J. and Brodie, M., (eds.) Readings in AI and Databases, Morgan Kaufmann, 1988. 14. Nixon, B., Chung, L., Lauzon, D., Borgida, A., Mylopoulos, J. and Stanley, M., "Designing a Compiler for a Semantic Data Model", in Schmidt, J. and Thanos, C. (eds.), Foundations of Knowledge Base Management, Springer Verlag, 1989. 15. Borgida, A., Jarke, M., Mylopoulos, J., Schmidt, J. and Vassiliou, Y., "The Software Development Environment as a Knowledge Base Management System", in Schmidt, J. and Thanos, C. (eds.), Foundations of Knowledge Base Management, Springer Verlag, 1989. 16. Mylopoulos, J. "Artificial Intelligence", in The History of the 20th Century, Istituto Della Enciclopedia Italiana, 1990 (in Italian). 17. Nixon, B. and Mylopoulos, J., "Integration Issues in Implementing Semantic Data Models", in Bancilhon, F. and Buneman, P. (eds.) Advances in Database Programming Languages. Addison-‐Wesley, 1990; also appeared in the Proceedings of the International Workshop on Databases and Programming Languages, Roscoff, September 1987. 18. Mylopoulos, J. and Reiter, R., (eds.) Proceedings Twelfth International Joint Conference on Artificial Intelligence, Morgan Kaufmann, 1991. 19. Mylopoulos, J., "Conceptual Modelling and Telos", in Loucopoulos, P. and Zicari, R. (eds.) Conceptual Modelling, Databases and CASE: An Integrated View of Information Systems Development, McGraw Hill, 1992. 20. Wang, H., Mylopoulos, J., Kushniruk, A., Kramer, B. and Stanley, M., "KNOWBEL: New Tools for Expert System Development", in Bourbakis, N. (ed.) Knowledge Engineering Shells, Systems and Techniques, World Scientific Publishing Co., 1993. 21. Borgida, A., Mylopoulos, J. and Schmidt, J., "The TaxisDL Software Description Language", in Jarke, M. (ed.) Database Application Engineering with DAIDA, Springer Verlag, 1993. 22. Ananthanarayanan, S., Goldenberg, A. and Mylopoulos, J., "Design Specification for an Intelligent Controller of Multiple Contact Dexterous Manipulation", in Jamshidi, M., Lumia, R., Mullins, J. and Shahinpoor, M., (eds.) Robotics and Manufacturing: Recent Trends in Research, Education and Applications, Volume 4, The American Society of Mechanical Engineers Press, 1993. 23. Mylopoulos, J. (ed.), Special Issue on Knowledge Base Management, Applied Intelligence 4(2), May 1994. 24. Constantopoulos, P., Mylopoulos, J. and Vassiliou, Y., (eds.) Advanced Information Systems Engineering, Proceedings of the Eighth International CAiSE Conference, Springer Verlag, Lecture Notes in Computer Science, Vol. 1080, May 1996. 25. Mylopoulos, J., (ed.) Proceedings Third IEEE International Symposium on Requirements Engineering, IEEE Computer Society Press, January 1997. 26. Mylopoulos, J. and Papazoglou, M., (eds.) Special Issue on Cooperative Information Systems, IEEE Expert, September-‐October 1997. 27. Mylopoulos, J., (ed.) Special Issue on Requirements Engineering, Requirements Engineering Journal 2(2), Springer-‐Verlag, June 1997. 28. De Michelis G., Dubois E., Jarke M., Matthes F., Mylopoulos J., Papazoglou M., Pohl K., Schmidt J., Woo C. and Yu E., “Cooperative Information Systems: A Manifesto”, in Papazoglou, M. and Schlageter, G., (eds.) Cooperative Information Systems, Academic Press, 1998. 29. Mylopoulos, J., “Characterizing Information Modelling Techniques”, in Bernus P., K. Mertins, G. Schmidt, (eds.) Handbook on Architectures of Information Systems, Springer Verlag, 1998. 30. Chung, L., Nixon, B., Yu, E., Mylopoulos, J., Non-‐Functional Requirements in Software Engineering, Kluwer Publishing, 2000, ISBN 978-‐0-‐7923-‐8666-‐3. 31. Mylopoulos J., Castro J., Kolp M., “Tropos: A Framework for Requirements-‐Driven Software Development”, in Brinkkemper, J. and Solvberg, A. (eds.), Information Systems Engineering: State of the Art and Research Themes, Lecture Notes in Computer Science, Springer-‐Verlag, June 2000.
.- -‐ 27 -‐
32. Kontogiannis, K., Mylopoulos, J., Wu, S., “Towards Environment-‐Retargetable Parser Generators”, in Advances in Software Engineering: Comprehension, Evaluation and Evolution, Tanir, O., and Erdogmus, H., (eds.), Springer-‐Verlag, 2001, 407-‐438. 33. Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., and Mylopoulos, J., “Modelling Early Requirements in Tropos: A Transformation-‐Based Approach”, in Wooldridge, M., Weiß, G., Ciancarini, P., (Eds.) Agent-‐Oriented Software Engineering II, Springer-‐Verlag LNCS 2222, 2002, 151-‐168. 34. Banks-‐Pidduck, A., Mylopoulos, J., Woo, C., Ozsu, T., (eds.) Advanced Information Systems Engineering, Springer-‐Verlag, Lecture Notes in Computer Science, Vol.2348, May 2002. 35. Castro, J., Pinto, R., Castor, A., Mylopoulos, J., “Requirements Traceability in Agent-‐Oriented Software Development”, in Garcia, A., Lucena, C., Omicini, A., Franco Zambonelli, F., Castro, J., (eds.) Software Engineering for Large-‐Scale Multi-‐Agent Systems: A Road Map, Springer-‐Verlag, LNCS 2603, April 2003. 36. Castro, J., Mylopoulos, J., Silva, C., “Agent-‐Driven Requirements Engineering”, in Leite, J., and Doorn, J. (eds.) Perspectives on Requirements Engineering, Kluwer Academic Publishers, 2003. 37. Fensel, D., Sycara, K., Mylopoulos, J., (eds.) Proceedings of the Second International Semantic Web Conference, Sanibel Island, Florida, Springer-‐Verlag LNCS Vol. 2870, October 2003. 38. Catarci, T., Mylopoulos, J., Orlowska, M. (eds.) Proceedings Fourth International Conference on Web Information Systems Engineering, Rome, December 2003, IEEE Computer Society. 39. De Lucia, A., Cordy, J., Mylopoulos, J., (eds.) “Special Issue on Source Code Analysis and Manipulation”, Automated Software Engineering 11(1), January 2004. 40. Giorgini, P., Kolp, M., Mylopoulos, J., Pistore, M., “The Tropos Methodology: An Overview”, in Methodologies And Software Engineering For Agent Systems, Bergenti, F., Gleizes M-‐P, and Zambonelli, F., (eds.), Kluwer Academic Publishing, 2004, 89-‐106. 41. Mylopoulos, J. and Woo, C. (eds.) “Special Issue: The Fourteenth International Conference on Advanced Information Systems Engineering (CAiSE’02)”, Information Systems 29(2), April 2004. 42. Castro, J., Giorgini, P., Kolp, M., Mylopoulos, J., “Tropos: A Requirements-‐Driven Methodology for Agent-‐Oriented Software”, in Henderson-‐Sellers, B. and Giorgini, P., (eds.), Agent-‐Oriented Methodologies, Idea Group, 2005, 20-‐45. 43. Delcambre, L., Kop, C., Mayr, H.C., Mylopoulos, J., Pastor, O. (Eds.) Conceptual Modeling -‐ ER 2005 Proceedings 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-‐28, 2005, Springer-‐Verlag, Lecture Notes in Computer Science, Vol. 3716, 498 p. 44. Hacid, M-‐S., Mylopoulos, J., Pernici, B., (eds.) Proceedings of the International Conference on Cooperative Information Systems (CoopIS'05 -‐ OMT Conferences), Cyprus, November 1-‐4, 2005, Springer-‐Verlag, Lecture Notes in Computer Science, Vol. 3760, 523p. 45. Doherty, P., Mylopoulos, J., and Welty, C. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Tenth International Conference, AAAI Press, 2006, 532pp. 46. Yu, E., Liu, L., Mylopoulos, J., “A Social Ontology for Integrating Security and Software Engineering”, in Mouratidis, H. and Giorgini, P. (eds.) Integrating Security and Software Engineering, Idea Group Publishing, 2006, 70-‐106. 47. Guizzardi, R., Guizzardi, G., Perini, A., Mylopoulos, J., “Towards an Ontological Account of Agent-‐Oriented Goals”, in Choren, R., Garcia, A., Giese, H., Leung, H., Lucena, C., Romanovsky, A. (eds.) Software Engineering for Multi-‐Agent Systems V, Springer-‐Verlag LNCS 4408, 2007, 148-‐164. e e 48. Silva, C., Castro, J., Tedesco, P., Araujo, J., Moreiral, A. and Mylopoulos, J., “Improving Multi-‐Agent Architectural Design”, in Choren, R., Garcia, A., Giese, H., Leung, H., Lucena, C., Romanovsky, A. (eds.) Software Engineering for Multi-‐Agent Systems V, Springer-‐Verlag LNCS 4408, 2007, 165-‐184. 49. Massacci, F., Mylopoulos, J., Zannone, N., “An Ontology for Secure Socio-‐Technical Systems”, Handbook of Ontologies for Business Interaction, Rittgen, P., (ed.), Idea Group Inc., 2007, 188-‐206.
.- -‐ 28 -‐
50. Martinez, A., Pastor, O., Mylopoulos, J., Giorgini, P., “From Early to Late Requirements: A Goal-‐Based Approach”, in Agent-‐Oriented Information Systems IV, Kolp, M., Henderson-‐Sellers, B., Mouratidis, H., Garcia, A., Ghose, A., Bresciani, P., (Eds.), LNCS 4898, Springer Berlin / Heidelberg, 2008, 123-‐142. 51. Lyytinen, K., Loucopoulos, P., Mylopoulos, J., Robinson, W. (eds.) Design Requirements Engineering – A Ten-‐Year Perspective, Lecture Notes in Business Information Processing (LNBIP), no. 14, Springer-‐Verlag, 2009. 52. Ernst, N., Mylopoulos, J., Wang, Y., “Requirements Evolution and what (Research) to do about it”, in Lyytinen, K., Loucopoulos, P., Mylopoulos, J., Robinson, W. (eds.) Design Requirements Engineering – A Ten-‐Year Perspective, Lecture Notes in Business Information Processing (LNBIP), no.14, Springer-‐Verlag, 2009, 186-‐214. 53. Yu Y., Niu N., Gonzalez-‐Baixauli B., Mylopoulos J., Easterbrook S., Leite J., “Requirements Engineering and Aspects”, in Lyytinen K., Loucopoulos P., Mylopoulos J., Robinson W. (eds.) Design Requirements Engineering – A Ten-‐Year Perspective, Lecture Notes in Business Info. Processing (LNBIP), no.14, Springer-‐Verlag, 2009, 434-‐452. 54. Giorgini, P., Kolp, M., Mylopoulos, J., “Agent-‐Oriented Information Systems Analysis and Design: Why and How”, in Chiang, R., Siau, K., Hardgrave, B., (eds.) Systems Analysis and Design: Techniques, Methodologies, Approaches, and Architectures, M. E. Sharp, 2009, 97–117. 55. Jeusfeld, M., Jarke, M., Mylopoulos, J., (eds.) Meta-‐Modeling for Method Engineering, MIT Press, ISBN: 978-‐0-‐262-‐10108-‐0, 2009. 56. Borgida, A., Mylopoulos, J., “A Sophisticate’s Guide to Information Modeling”, in Jeusfeld, M., Jarke, M., Mylopoulos, J., (eds.) Meta-‐Modeling for Method Engineering, MIT Press, ISBN:978-‐0-‐262-‐10108-‐0, 2009, 1-‐42. 57. Mylopoulos, J., “Database Design”, in Özsu, T., Liu, Ling (eds.), Encyclopedia of Database Systems, Springer-‐Verlag, ISBN: 978-‐0-‐387-‐49616-‐0, 2009, 708-‐710. 58. Borgida, A., Mylopoulos, J., “Conceptual Schema Design”, In Özsu T., Liu Ling (eds.), Encyclopedia of Database Systems, Springer-‐Verlag, ISBN: 978-‐0-‐387-‐49616-‐0, 2009, 438-‐442. 59. Chopra, A., Mylopoulos, J., Dalpiaz, F., Giorgini, P., Singh, M., “Requirements as Goals and Commitments too”, in Salinesi, C., Souveyet, C., Ralyte, J. (eds.) Intentional Perspectives on Information Systems Engineering, Studies in Computational Intelligence book series, Springer-‐Verlag, June 2010. 60. Massacci, F., Mylopoulos, J., Zannone, N., “Security Requirements Engineering: The SI* Modeling Language and the Secure Tropos Methodology”, in Zbigniew Ras and Li-‐Shiang Tsay (Eds.), Advances in Intelligent Information Systems, Studies in Computational Intelligence vol.264, Springer-‐Verlag, DOI: 10.1007/978-‐3-‐642-‐05183-‐8_6, 2010, 147-‐174. 61. Yu, E., Giorgini, P., Maiden, N., Mylopoulos, J. (eds.) Social Modeling for Requirements Engineering, MIT Press, ISBN: 978-‐0-‐262-‐24055-‐0, January 2011. 62. Giorgini, P., Mylopoulos, J., Perini, A., Susi, A., “The Tropos Methodology and Software Development Environment”, in Yu, E., Giorgini, P., Maiden, N., Mylopoulos, J. (eds.) Social Modeling for Requirements Engineering, MIT Press, ISBN: 978-‐0-‐262-‐24055-‐0, 2011, 405-‐424. 63. Colombo, E., and Mylopoulos, J., “Requirements Analysis for Run-‐Time Service Compositions”, in Yu, E., Giorgini, P., Maiden, N., Mylopoulos, J. (eds.) Social Modeling for Requirements Engineering, MIT Press, ISBN: 978-‐0-‐262-‐24055-‐0, 2011, 485-‐516. 64. Giorgini, P., Mylopoulos, J., Sebastiani, R., “Goal Modelling and Reasoning in Tropos”, in Yu, E., Giorgini, P., Maiden, N., Mylopoulos, J. (eds.) Social Modeling for Requirements Engineering, MIT Press, ISBN: 978-‐0-‐262-‐24055-‐0, 2011, 645-‐668. 65. Dalpiaz F., Chopra A., Giorgini P., Mylopoulos J., “From Intentions to Social Commitments: Adaptation in Multi-‐Agent Systems”, in Lakemayer G. and McIlraith S. (eds.) Knowing, Reasoning, and Acting: Essays in Honour of Hector J. Levesque, College Publications Inc., 2011, 165-‐178. 66. Serrano M., Lucena C. J. P., Mylopoulos J., and Yu E., “Experiences with Requirements Model Reuse: The NFR Catalogue for Ubiquitous Systems," in Alencar P. and Cowan D. (eds.) Handbook of Research in Mobile Software Engineering: Design, Architecture and Implementation, IGI Global, 2011. 67. Arocena P., Miller R., Mylopoulos J., “The Vivification Problem in Real-‐Time Business Intelligence: A Vision”, in Castellanos M., Dayal U., Rundensteiner E. (eds.), BIRTE 2012, LNBIP no.154, Springer, Heidelberg, 2013, 37-‐-‐49.
.- -‐ 29 -‐
68. Zoumpatianos K., Palpanas Th., Mylopoulos J., “Strategic Management for Real-‐Time Business Intelligence”, in Castellanos M., Dayal U., Rundensteiner E. (eds.), BIRTE 2012, LNBIP no.154, Springer, Heidelberg, 2013, 118-‐-‐128. 69. Souza V., Lapouchnian A., Robinson W., Mylopoulos J., “Awareness Requirements”, in de Lemos R., Giese H., Muller H., Shaw M., (eds.) Software Engineering for Self-‐Adaptive Systems II, Springer, Lecture Notes in Computer Science Volume 7475, 2013, 133-‐161. 70. de Lemos R., Giese H., Müller H., Shaw M., Andersson J., Baresi L., Becker B., Bencomo N., Brun Y., Cukic B., Desmarais R., Dustdar S., Engels G., Geihs K., Goeschka K., Gorla A., Grassi V., Inverardi P., Karsai G., Kramer J., Litoiu M., Lopes A., Magee J., Malek S., Mankovskii S., Mirandola R., Mylopoulos J., Nierstrasz O., Pezzè M., Prehofer C., Schäfer W., Schlichting R., Schmerl B., Smith D., Sousa J., Tamura G., Tahvildari L., Villegas N., Vogel T., Weyns D., Wong K., Wuttke J., "Software Engineering for Self-‐Adaptive Systems: A Second Research Roadmap," in de Lemos R., Giese H., Müller H., Shaw M. (eds.) Software Engineering for Self-‐Adaptive Systems II, Springer Berlin Heidelberg, 2013, 1-‐32. 71. Souza Silva V., Lapouchnian A., Robinson W., Mylopoulos J., "Awareness Requirements." in de Lemos R., Giese H., Müller H., Shaw M. (eds.) Software Engineering for Self-‐Adaptive Systems II, Springer Berlin Heidelberg, 2013, 133-‐161. 72. Ng R., Arocena P., Barbosa D., Carenini G., Gomes L., Jou Stephan, Leung Rock Anthony, Milios E., Miller R. J., Mylopoulos J., Pottinger R., Tompa F., and Yu Eric S. K. (eds.), Perspectives on Business Intelligence, Morgan & Claypool, ISBN: 9781627050937, 2013. 73. Yu Eric S. K., Horkoff J., Mylopoulos J., Richards G., Amyot D., “Business Modeling for BI”, in Ng R. et al (eds.), Perspectives on Business Intelligence, Morgan & Claypool, ISBN: 9781627050937, 2013, 19-‐32. 74. Arocena P., Miller R. J., Mylopoulos J., “Vivification in BI”, in Ng R. et al (eds.), Perspectives on Business Intelligence, Morgan & Claypool, ISBN: 9781627050937, 2013, 33-‐52. 75. Mylopoulos J., Castro J., Kolp M., “The Evolution of Tropos”, in Seminal Contribution to Information Systems Engineering: 25 Years of CAiSE, in Bubenko J., Krogstie J., Pastor O., Pernici B., Rolland C., Solvberg A., (eds.), Springer, 2013, 281-‐288.
Other Publications 1. Mylopoulos, J., "On the Definition and Recognition of Patterns in Discrete Spaces", TR-‐84, Department of Electrical Engineering, Princeton University, September 1970. 2. Mylopoulos, J., "On the Relation of Graph Grammars and Graph Automata", TR-‐34, Dept. of Computer Science, University of Toronto, October 1971. 3. Mylopoulos, J., Badler, N., Melli, L., Roussopoulos, N., "An Introduction to 1.PAK: A Programming Language for AI Applications", TR-‐52, Department of Computer Science, University of Toronto, May 1973. 4. Mylopoulos, J., Badler, N., Melli, L., Roussopoulos, N., "The 1.PAK Reference Manual", TR-‐55, Dept. of Computer Science, University of Toronto, August 1973. 5. Mylopoulos, J., Furtado, A., "Using Graph Grammars for the Definition of Sets of Digraphs", Monograph, Departamento de Informatica, Pontificia Universidade Catolica, January 1975. 6. Mylopoulos, J., "Semantic Networks and Database Languages: A Tutorial", Lecture Notes for Advanced Course on Database Languages and Systems, Fraudenstadt, Germany, September 1976 (unpublished). 7. Perrault, R., Mylopoulos, J., "Learning Programs in Artificial Intelligence: Their Strengths and Weaknesses", presented at the Conference on Game Theory and Decision Theory in Evolution, Toronto, 1976. 8. Mylopoulos, J., Review of Representation and Understanding, Collins and Bobrow (eds.), AJCL Microfiche 55, Frames 14-‐25, Nov. 1976. 9. Mylopoulos, J., Bernstein, P., Wong, H.K.T., "A Preliminary Specification of TAXIS: A Language for Designing Interactive Information Systems", TR-‐78-‐02, Computer Corporation of America, January 1978. 10. Mylopoulos, J., Levesque, H., "A Note on the Coexistence of the Semantic Relationships INSTANCE-‐OF, PART-‐OF and IS-‐A in a Data Model", unpublished manuscript, 1978.
.- -‐ 30 -‐
11. Tsotsos, J., Mylopoulos, J., Covvey, D., Zucker, S., "A Framework for Visual Motion Understanding", CSRG-‐TR-‐107, June 1979. 12. Schneider, P., J. Mylopoulos, B. Kramer, Y, Lesperance and H. Levesque, "Extensibility, Uniformity and Self-‐Description for Knowledge Representation Schemes" (unpublished). 13. Borgida, A. and Mylopoulos, J., "Semantic Models in Databases: Some Formal Aspects", 1981 (unpublished). 14. Mylopoulos,J. and Greenspan, S. "Knowledge Representation Issues for Requirements Specification", in "Requirements Analysis and Definition: Myth, Magic or Methodology?", Montanari, U. (Ed.), collected position papers, panel session 6.1, IFIP-‐83, Paris, September 1983. 15. Pilote, M. and Mylopoulos, J. "Conceptual Modelling and the Design of User Interfaces", unpublished Proceedings, Workshop on Database Interfaces, Philadelphia, October 1982. 16. Mylopoulos, J. and Pylyshyn, Z. Report on Intelligent Databases, unpublished report prepared for the Department of Communications, Ottawa, 1984. 17. Mylopoulos, J. and Reiter, R., "The Role of Knowledge Representation in a Canadian National Project on Computer Science", presented at a national meeting that led to the formation of the Canadian Society for Future Generation Computing, Ottawa, 1984. 18. Adler, H., Borgida, A., Greenspan, S., Mylopoulos, J. and Vassiliou, Y. LOKI Report 1984: Semantic Data Modelling, ESPRIT Project, Crete, 1984. 19. Manning, E., Cercone, N., Holt, R., Mylopoulos, J. and Vaucher, J. "Towards a Canadian Fifth Generation Research Plan", submitted to NSERC, 1985. 20. Borgida, A., Jarke, M., Mylopoulos, J., Schmidt, J. and Vassiliou, Y., "The Software Development Environment as a Knowledge Base Management System", technical report MIP-‐8724, Department of Informatics, Passau University, 1987. 21. Chung, L., Katalagarianos, P., Marakakis, M., Mertikas, M., Mylopoulos, J., Vassiliou, Y., "From Requirements to Design: A Mapping Framework for Information Systems", TR-‐245, Computer Systems Research Institute, University of Toronto, 1990.. 22. Constantopoulos, P., Jarke, M., Mylopoulos, J., Pernici, B., Petra, E., Theodoridou, M., Vassiliou, Y., "The ITHACA Software Information Base: Requirements, Functions and Structuring Concepts", ITHACA Working Paper ITHACA.FORTH.89.E2.#1, May 1989. 23. Mylopoulos, J. and Brodie, M., "AI and Databases: Dawn, Midday or Sunset?", Canadian Information Processing Society Magazine, Special Issue on Databases, August 1992. 24. Rose, T., Mylopoulos, J., Zhi An, Coulman, R., Greer, J., Lauzon, D., Martens, C., McCalla, G., Sorenson, P., Tremblay, P., Woo, C., "Developing Intelligent Information Systems: A Multicultural Approach", 1993, (unpublished manuscript). 25. Mylopoulos, J., “A Trip to Carthea”, Desert Island column, Automated Software Engineering, December 2000, 377-‐380. 26. Yu, Y., Homayoun-‐Daytani Fard, H-‐D., Mylopoulos, J., and Andritsos, P., “Reducing Build Time Through Precompilations for Large Scale Software”, Technical Report CSRG-‐504, Computer Systems Research Group, Department of Computer Science, University of Toronto, November 2004 27. Mylopoulos, J., Barta, A., Jarvis, R., Rodriquez-‐Gianolli P., and Zhou, S., “Managing Knowledge for Strategic Businbess Analysts”, Technical Report CSRG-‐506, Computer Systems Research Group, Department of Computer Science, University of Toronto, December 2004. 28. Yu, Y., Mylopoulos, J., Lapouchnian, A., Liaskos, S., Leite, J., “From Stakeholder Goals to High Variability Software Design”, Technical Report CSRG-‐509, Computer Systems Research Group, Department of Computer Science, University of Toronto, February 2005. 29. Yu, Y., Wang, Y., Mylopoulos, J., Liaskos, S., Lapouchnian, A., Leite, J., “Refactoring Source Code into Goal Models”, Technical Report CSRG-‐510, Computer Systems Research Group, Department of Computer Science, University of Toronto, February 2005.
.- -‐ 31 -‐
30. An, Y., Borgida, A., and Mylopoulos, J., “Finding Semantic Mappings from Relational Tables to Conceptual Models/Ontologies”, Technical Report CSRG-‐511, Computer Systems Research Group, Department of Computer Science, University of Toronto, February 2005. 31. Su, N. and Mylopoulos, J., “Managing the Co-‐Evolution of Organizations and Information Systems”, Technical Report CSRG-‐516, Computer Systems Research Group, Department of Computer Science, University of Toronto, March 2005. 32. An, Y., Alex Borgida, A., Miller, R. J., and Mylopoulos, J., “A Semantic Approach for Building Declarative Mapping Expressions Between Database Schemas”, Technical Report CSRG-‐534, Computer Systems Research Group, Department of Computer Science, University of Toronto, January 2006. 33. Asnar, Y., Giorgini, P., Mylopoulos, J., “Risk Modelling and Reasoning in Goal Models”, Technical Report DIT-‐06-‐008, Department of Information Engineering and Computer Science, University of Trento, February 2006. 34. Jiang, L., Topaloglou, T., Borgida, A., and Mylopoulos, J., Goal-‐Driven Conceptual Database Design – A Case Study from Biological Data Management”, Technical Report CSRG-‐535, Computer Systems Research Group, Department of Computer Science, University of Toronto, April 2006. 35. Liaskos, S., McIlraith, S., and Mylopoulos, J., “Representing and Reasoning with Preference Requirements Using Goals”, Technical Report CSRG-‐542, Computer Systems Research Group, Department of Computer Science, University of Toronto, September 2006 36. Wang, Y., McIlraith, S., Yu, Y., and Mylopoulos, J., “Monitoring and Diagnosing Requirements”, Technical Report CSRG-‐555, Computer Systems Research Group, Department of Computer Science, University of Toronto, April 2007. 37. Jureta, I., Borgida, A., Mylopoulos, J., Ernst, N., Lapouchnian, A., Liaskos, S., “Techne: A(nother) Requirements Modeling Language”, Technical Report CSRG-‐593, Computer Systems Research Group, Department of Computer Science, University of Toronto, February 2009. 38. Jarke, M., Loucopoulos, P., Lyytinen, K., Mylopoulos, J., Robinson: W., “High-‐Impact Requirements for Software-‐Intensive Systems”, Informatik-‐Spektrum 32(4), August 2009, 352-‐353. 39. Jureta, I., Mylopoulos, J., and Faulkner, S., “A Core Ontology for Requirements”, Technical Report CSRG-‐595, Computer Systems Research Group, Department of Computer Science, University of Toronto, August 2009. Courses Taught Undergraduate Courses CSC – University of Toronto DISI – University of Trento
CSC 148 Introduction to Programming, 1975-‐77 CSC 248 Programming Languages & Their Applications, 1970-‐75, 1983-‐84 CSC 300 Computers and Society, 1978-‐81 CSC 324 Principles of Programming Languages, 1987, 1989-‐94, 1997-‐98 CSC 340 Information Systems Analysis and Design, 1993-‐97, 1999-‐04 CSC 343 Introduction to Database Systems, 2005-‐08 CSC 344 Problem-‐Oriented Languages and Their Processing, 1976-‐77 CSC 364 Introduction to the Theory of Computation, 1971-‐74 CSC 374 Introduction to Artificial Intelligence, 1974-‐77, 1978-‐79 CSC 378 Information Structures, 1975-‐76, 1979-‐82 DISI Requirements Engineering, 2006-‐12 DISI Organizational Information Systems, 2005-‐12 AM 126 Programming Languages and Their Applications, 1977-‐78 (Harvard University, Cambridge, USA) CSC 340 Information Systems Analysis and Design, 1997 (summer) (Fudan University, Shanghai, China)
Graduate Courses
.- -‐ 32 -‐
CSC2106 Requirements Engineering: 1995-‐99 CSC2501 Introduction to Computational Linguistics, 1974-‐76 CSC2502 Introduction to Knowledge Representation, 1987 CSC2505 Artificial Intelligence 1970-‐76, 1978-‐82 CSC2507(aka 2510) Conceptual Modelling, 2000-‐08 CSC2523 Pattern Recognition 1970-‐73, 1975-‐76 CSC2530 Applications of Artificial Intelligence 1976-‐77, 1978-‐79, 1981-‐82. CSC2534 Topics in Knowledge-‐Based Systems 1983-‐86, 1989-‐94 DISI Conceptual Modelling, 2002-‐04, 2007-‐12 (University of Trento) DISI Software Evolution, 2012 (University of Trento) UCrete Topics in Artificial Intelligence, 1986 (University of Crete) Supervised Theses
Ph.D. Theses
1. George Tourlakis, Some Results in Computational Topology, Department of Computer Science, University of Toronto, 1973.
current position: University professor, Dept. of Computer Science , York University, Canada
2. Norman Badler, Temporal Scene Analysis: Conceptual Descriptions of Object Movements, Department of Computer Science, University of Toronto, 1975.
current position: professor, Dept. of Computer Science, University of Pennsylvania, USA
3. Nicholas Roussopoulos, A Semantic Network Model of Databases, Department of Computer Science, University of Toronto, 1976.
current position: professor, Dept. of Computer Science, University of Maryland, USA
4. Douglas Skuce, Towards Communicating Qualitative Knowledge Between Scientists and Machines, Dept. of Electrical Engineering, McGill University, 1977.
current position: professor, Dept. of Computer Science, University of Ottawa, Canada (retired)
5. Richard Peacocke, A Region-‐Based Formalism of Pictorial Data for Pattern Recognition, Department of Computer Science, University of Toronto, 1978.
current position: senior scientist, Nortel Laboratories, Ottawa, Canada (retired)
6. Michael Bauer, A Basis for the Acquisition of Procedures, Ph.D. thesis, Department of Computer Science, University of Toronto, 1978.
current position: professor, Dept. of Computer Science, University of Western Ontario, Canada
7. John Tsotsos, A Framework for Visual Motion Understanding, Department of Computer Science, University of Toronto, 1980 (co-‐supervised by D. Covvey).
current position: professor and Canada Research Chair, Dept. of Computer Science, York Univ., Canada
8. Hector Levesque, A Formal Treatment of Incomplete Knowledge Bases, Department of Computer Science, University of Toronto, 1981.
current position: professor, Dept. of Computer Science, University of Toronto, Canada
9. Harry, K. T. Wong, Design and Verification of Information Systems, Department of Computer Science, University of Toronto, 1983.
current position: entrepreneur, San Francisco, USA
10. Michel Pilote, A Framework for the Design of Linguistic User Interfaces, Ph.D. thesis, Department of Computer Science, University of Toronto, 1983.
current position: senior consultant, Toronto, Canada.
11. Sol Greenspan, Requirements Modelling: A Knowledge Representation Approach to Software Requirements Definition, Department of Computer Science, University of Toronto, 1984. (co-‐supervised by David Wortman.)
.- -‐ 33 -‐
current position: program officer, National Science Foundation, USA
12. James Delgrande, A Foundational Approach to Conjecture and Knowledge, Department of Computer Science, University of Toronto, 1985.
current position: professor, Dept. of Computing Sciences, Simon Fraser University, Canada
13. Bryan Kramer, Control of Reasoning in Knowledge Based Systems, Department of Computer Science, University of Toronto, 1986.
current position: senior consultant, Toronto, Canada.
14. Seshan Ananthanarayanan, Qualitative Reasoning for Robot Hand Manipulations, Department of Mechanical Engineering; University of Toronto, 1992 (co-‐supervised by Andrew Goldenberg).
current position: managing director, 5G Group, Canada
15. Lawrence K. Chung, Representing and Using Non-‐Functional Requirements: A Process-‐Oriented Approach, Department of Computer Science, University of Toronto, 1993.
current position: professor, Dept. of Computer Engineering, University of Texas, Dallas, USA.
16. Vinay Chaudhri, Transaction Synchronization in Knowledge Bases: Concepts, Realization and Quantitative Evaluation, Department of Computer Science, University of Toronto, 1994.
current position: senior scientist, Stanford Research Institute, USA.
17. Eric Yu, Modelling Strategic Relationships for Process Re-‐Engineering, Department of Computer Science, University of Toronto, 1995.
current position: professor, Faculty of Information Studies, University of Toronto, Canada
18. Dimitris Plexousakis, On the Efficient Maintenance of Integrity Constraints in Knowledge Bases, Department of Computer Science, University of Toronto, 1996.
current position: professor, Dept. of Computer Science, University of Crete, Greece
19. Thodoros Topaloglou, Modelling and Managing Spatial Knowledge, Department of Computer Science, University of Toronto, 1996. (co-‐supervised by Janice Glasgow)
current position: chief information officer, Rouge Valley Health System, Ontario, Canada
20. Brian Nixon, Performance Requirements for Information Systems, Department of Computer Science, University of Toronto, 1997.
21. Igor Jurisica, Theory and Applications of Similarity-‐Based Retrieval for Case-‐Based Reasoning, Department of Computer Science, University of Toronto, 1997. (co-‐supervised by Janice Glasgow)
current position: senior researcher and Canada Research Chair, Ontario Cancer Institute, Canada
22. Homy Dayani-‐Fard, Quality-‐Based Software Release Management, Department of Computer and Information Science, Queen's University, 2003. (co-‐supervised by Janice Glasgow)
current position: senior management consultant, YWH Ltd, London, UK
23. Yannis Velegrakis, Managing Schema Mappings in Highly Heterogeneous Environments, Department of Computer Science, University of Toronto, 2004. (co-‐supervised by Renée Miller).
current position: assistant professor, University of Trento, Italy
24. Anastasios Kementsietsidis, Data Sharing and Querying for Peer-‐to-‐Peer Data Management Systems, Department of Computer Science, University of Toronto, 2004. (co-‐supervised by Renée Miller).
current position: researcher, IBM T.J. Watson Research Centre, USA
25. Nadzeya Kiyavitskaya, Tool Support for Semantic Annotation, Dept. of Information Engineering and Computer Science (DISI), 2006. (co-‐supervised by Luisa Mich and James Cordy).
current position: consultant, EPAM Systems, Belarus
26. Nicola Zannone, A Requirements Engineering Methodology for Trust, Security and Privacy, Dept. of Information Engineering and Computer Science (DISI), University of Trento, March 2007. (co-‐supervised by Fabio Massacci).
.- -‐ 34 -‐
current position: assistant professor, Dept. Of Mathematics and Computer Science, Eindhoven Technical University, the Netherlands
27. Yuan An, Discovering and using Semantics for Database Schemas, Department of Computer Science, University of Toronto, June 2007. (co-‐supervised by Alex Borgida).
current position: associate professor, College of Information Science and Technology, Drexel Univ., USA
28. Sotirios Liaskos, Acquiring and Reasoning about Variability in Goal Models, Department of Computer Science, University of Toronto, June 2008.
current position: associate professor, Faculty of Liberal and Professional Studies, York University, Canada.
29. Nicola Zeni, The Cerno Framework for Semantic Annotation: Extensions and Applications, Dept. of Information Engineering and Computer Science (DISI), University of Trento, May 2008. (co-‐supervised by Luisa Mich).
30. Yudis Asnar, Requirements Analysis and Risk Assessment for Critical Information Systems, Dept. of Information Engineering and Computer Science (DISI), University of Trento, January 2009. (co-‐supervised by Paolo Giorgini).
current position: software engineer, Divusi Inc., Balabur, Indonesia
31. Yiqiao Wang, Monitoring and Diagnosis for Autonomic Systems: A Requirements Engineering Approach, Department of Computer Science, University of Toronto, November 2009.
current position: software engineer, Red Hat, Toronto, Canada
32. Lei Jiang, Data Quality By Design: A Goal-‐Oriented Approach, Department of Computer Science, University of Toronto, December 2009. (co-‐supervised by Alex Borgida).
current position: software engineer, CPP Investment Board, Toronto, Canada
33. Rick Salay, Using Model Intent in Software Engineering, Department of Computer Science, University of Toronto, June 2010 (co-‐supervised by Steve Easterbrook).
34. Alexei Lapouchnian, Exploiting Requirements Variability for Software Customization and Adaptation, Department of Computer Science, University of Toronto, November 2010.
35. Fabiano Dalpiaz, Exploiting Contextual and Social Variability for Software Adaptation, Dept. of Information Engineering and Computer Science (DISI), University of Trento, January 2011 (co-‐supervised by Paolo Giorgini).
36. Neil Alexander Ernst, Software Evolution: A Requirements Engineering Approach, Department of Computer Science, University of Toronto, December 2011 (co-‐supervised by Alex Borgida).
current position: researcher, Software Engineering Institute, Carnegie-‐Mellon University, USA
37. Hamzeh Zawawi, Requirement-‐based Root Cause Analysis for Software Systems Using Log Data, Department of Electrical and Computer Engineering, University of Waterloo, May 2012 (co-‐supervised by Kostas Kontogiannis).
38. Vitor E. Silva Souza, Requirements-‐based Software System Adaptation, Dept. of Information Engineering and Computer Science (DISI), University of Trento, June 2012.
current position: assistant professor, Dept. de Informática, Universidade Federal do Espírito Santo, Brasil
39. Patricia Rodriguez-‐Gianolli, Embracing Incompleteness in Schema Mappings, Department of Computer Science, University of Toronto, March 2013 (co-‐supervised by Renée Miller).
M.Sc. Theses 1. Michael Bauer, An Interactive Problem Solver, Department of Computer Science, University of Toronto, 1971. 2. Roger Cunningham, Computer-‐Generated Natural Proofs of Trigonometric Identities, Department of Computer Science, University of Toronto, 1971. 3. Donald Bartlett, A Teachable Syntactic Parser, Department of Computer Science, University of Toronto, 1973. 4. Nicholas Roussopoulos, Abstracting Descriptions from Simple Line Drawings, Department of Computer Science, University of Toronto, 1973. 5. William Lancee, A Computer Technique for Learning Abstract Concepts, Department of Computer Science, University of Toronto, 1973.
.- -‐ 35 -‐
6. Philip Cohen, A Prototype Natural Language Understanding System, Department of Computer Science, University of Toronto, 1974. 7. Lucio Melli, The 2.Pak Language: Primitives for AI Applications, Department of Computer Science, University of Toronto, 1974. 8. James Allen, A Prototype Speech Understanding System, Department of Computer Science, University of Toronto, 1974. 9. Alexander Borgida, Topics in the Understanding of English Sentences by Computer, Department of Computer Science, University of Toronto, 1974. 10. Harry, K.T., Wong, Generating English Sentences from Semantic Structures, Department of Computer Science, University of Toronto, 1974. 11. John Tsotsos, A Prototype Motion Understanding System, Department of Computer Science, University of Toronto, 1975. 12. Hector Levesque, A Procedural Approach to Semantic Networks, Department of Computer Science, University of Toronto, 1977. 13. Peter Schneider, Organization of Knowledge in a Procedural Semantic Network Formalism, M.Sc. thesis, Department of Computer Science, University of Toronto, 1978. 14. John Barron, Dialoque Organization and Structure for Interactive Information Systems, Department of Computer Science, University of Toronto, 1980. 15. Bryan Kramer, The Representation of Programs in the Procedural Semantic Network Formalism, Department of Computer Science, University of Toronto, 1980. 16. Yves Lesperance, Exception-‐Handling in PSN, Department of Computer Science, University of Toronto, 1980. 17. Stephen Ho-‐Tai, A Prototype Knowledge-‐Based System for Computer-‐Assisted Medical Diagnosis, Department of Computer Science, University of Toronto, 1981 (co-‐supervised by D. Covvey). 18. Iris Buchan, A Taxis Clinical Trial Management System, Department of Computer Science, University of Toronto, 1982 (co-‐supervised by D. Covvey). 19. Patrick O'Brien, Taxied: An Integrated Interactive Environment for Taxis, Department of Computer Science, University of Toronto, 1982. 20. Chrysanne Di Marco, Using Taxis to Design A Medical Information System, Department of Computer Science, University of Toronto, 1983. 21. Brian Nixon, A Taxis Compiler, Department of Computer Science, University of Toronto, 1983. 22. Lawrence K. Chung, An Extended Taxis Compiler, Department of Computer Science, University of Toronto, 1984. 23. Gregg MacArthur, A Hybrid System for Representing Knowledge and Belief, Department of Computer Science, University of Toronto, 1984. 24. Sun G. Park, Taxied-‐e: Automation of Scripts and a User Interface in an Integrated Interactive Environment for Taxis, Department of Computer Science, University of Toronto, 1985. 25. Martin Stanley, CML: A Knowledge Representation Language with Applications to Requirements Modelling, Department of Computer Science, University of Toronto, 1986. 26. David Coles, A User Interface Framework for Taxis, Department of Computer Science, University of Toronto, 1987. 27. Rayan Zachariassen, A Hypothesis Management System for Krypton, Department of Computer Science, University of Toronto, 1987. 28. Manolis Koubarakis, An Implementation of CML, Department of Computer Science, University of Toronto, 1988. 29. Arkady Eivin, Synchronous Circuit Verifier (SCV) -‐-‐ An Artificial Intelligence Approach to Interactive Incremental Verification of Sequential Circuits, M.Eng. thesis, Department of Electrical Engineering, University of Toronto, (co-‐supervisor with professor Martin Snelgrove), 1989.
.- -‐ 36 -‐
30. Dimitris Plexousakis, An Ontology and a Possible-‐Worlds Semantics for Telos, Department of Computer Science, University of Toronto, 1990. 31. Rick Sobiesiak, A Hypertext Authoring Environment Based on Conceptual Modelling, Department of Computer Science, University of Toronto, 1991. 32. Oscar Sjoden, An Intelligent Tool for Integrating Business Process Re-‐Engineering and Information System Development, School of Computer Science and Engineering, The Royal Institute of Technology, Stockholm, 1996. (co-‐supervised by Eric Yu). 33. Fabian Tell, An Intelligent Tool for Integrating Business Process Re-‐Engineering and Information System Development, School of Computer Science and Engineering, The Royal Institute of Technology, Stockholm, 1996. (joint thesis with Oscar Sjoden, co-‐supervised by Eric Yu). 34. Elizabeth D’Angelo, Software Requirements for an Industrial Plant Assistant, Department of Computer Science, University of Toronto, 1997. 35. Gang Liao, Information Repository Design for Software Evolution, Department of Computer Science, University of Toronto, 1998. 36. Brian Chambers, Adaptive Bayesian Information Filtering, Department of Computer Science, University of Toronto, 1999 (co-‐supervised by Grigoris Karakoulas). 37. Scott Kerr, Data Integration Using Virtual Repositories, Department of Computer Science, University of Toronto, 1999. 38. Andrew Agno, An Intelligent Metasearch Engine for the Web, Department of Computer Science, University of Toronto, 2000 (co-‐supervised by Grigoris Karakoulas). 39. Vassilis Andreopoulos, Achieving Software Quality Through Heuristic Transformations: Maintainability and Performance, Department of Computer Science, University of Toronto, 2000. 40. Patricia Rodríguez-‐Gianolli, Data Integration for XML Based on Schematic Knowledge, MEng. Thesis, Master of Software Engineering (CONGESE programme), Department of Electrical and Computer Engineering, University of Toronto, 2001. 41. Shun Zhou, Incremental Document Classification in a Knowledge Management Environment, Department of Computer Science, University of Toronto, 2001. 42. Ariel Fuxman, Formal Analysis for Early Requirements, Department of Computer Science, University of Toronto, 2001. 43. Yousoof Phul, Quality-‐Based Reengineering of Legacy COBOL Code, Department of Computer Science, University of Toronto, 2002. 44. Keith Ng, Structured Representation of Legacy PL/IX Programs Using XML, Master of Software Engineering (CONGESE programme), Department of Computer Science, University of Toronto, 2002. 45. Raoul Jarvis, Modelling and Analysis of Strategic Business Objectives, Department of Computer Science, University of Toronto, 2002. 46. Verena Kantere, A Rule Mechanism for Peer-‐to-‐Peer Data Management, Department of Computer Science, University of Toronto, 2002. 47. Sotirios Liaskos, Goal Analysis for Software Customization and Personalization, Department of Computer Science, University of Toronto, 2003. 48. Kenneth Cheung, A Query Rewriting System: Implementation and Applications, Department of Computer Science, University of Toronto, 2003 (co-‐supervised by Jianguo Lu). 49. Lei Jiang, Managing Research Knowledge with the Executive Information Portal, Department of Computer Science, University of Toronto, 2003. 50. Zhang Xi, Automated Transformation of Database Queries to Enterprise JavaBean Client Code, Department of Computer Science, University of Toronto, 2004 (co-‐supervised by Jianguo Lu). 51. Jian Wang, A Prototype Peer-‐to-‐Peer Data Management System, Department of Computer Science, University of Toronto, 2004.
.- -‐ 37 -‐
52. Wei Xie, Recognizing Composite Events for Event-‐Condition-‐Action Rules, Department of Computer Science, University of Toronto, 2004. 53. Dan Zhao, A Rule-‐Rewriting System for Peer-‐to-‐Peer Data Management Systems, Department of Computer Science, University of Toronto, 2005. 54. Diana Lau, Designing Web Services with Tropos, Department of Computer Science, University of Toronto, 2005. 55. Chunxiao Jia, Incremental Maintenance of Mapping Tables in Peer-‐to-‐Peer Database Systems, Department of Computer Science, University of Toronto, 2005. 56. Yuye Chen, A Lightweight Framework for Ontology-‐based XML Data Integration, Department of Computer Science, University of Toronto, 2005. 57. Ning Su, Managing Agent-‐Oriented Software Development and Evolution, Department of Computer Science, University of Toronto, 2005. 58. Qingqing Zhou, Distributed Triggers for Peer Data Management, Department of Computer Science, University of Toronto, 2005. 59. Xinggang Zhou, A Goal-‐Oriented Instrumentation Approach for Requirements Monitoring, Department of Computer Science, University of Toronto, April 2008. 60. Stefano Moretti, The Business Organization Model, Department of Information Engineering and Computer Science (DISI), University of Trento, March 2010. 61. Elda Paja, Modeling Design Patterns with Description Logics, Department of Information Engineering and Computer Science (DISI), University of Trento, May 2010. 62. Silvia Ingolfo, Establishing Compliance of Software Requirements through Argumentation, Department of Information Engineering and Computer Science (DISI), University of Trento, March 2011. 63. Fahed Alkhabbas, Al Khwarizmi: An Enactment Infrastructure for Commitment-‐Based Business Process Specifications, Dept. of Information Engineering and Computer Science (DISI), University of Trento, July 2011. 64. Shereen Elzayat, Al Jabr: A Business Process Modelling Language Based on Commitments, Department of Information Engineering and Computer Science (DISI), University of Trento, December 2011. 65. Genci Tallabaci, System Identification for Adaptive Software Systems: A Case Study, Department of Information Engineering and Computer Science (DISI), University of Trento, March 2012. 66. Fabiano Francesconi, The Business Plan Model, Department of Information Engineering and Computer Science (DISI), University of Trento, December 2012. 67. Giulia Canobbio, Azzurra: A Specification Language for Business Processes, Department of Information Engineering and Computer Science (DISI), University of Trento, January 2013. 68. Laura Malvaso, Designing E-‐Voting Systems: A Requirements-‐Driven Approach, Department of Information Engineering and Computer Science (DISI), University of Trento (DISI), July 2014. 69. Elias Abrar Seid, Building Large Models of Law: A Case Study of the Italian Privacy Law, Department of Information Engineering and Computer Science (DISI), University of Trento, December 2014. 70. Elvis Koci, Monitoring for Business Analytics, Department of Information Engineering and Computer Science (DISI), University of Trento, December 2014. 71. Olga Fedoseeva, Adaptive Software Systems, Department of Information Engineering and Computer Science (DISI), University of Trento, December 2014.
Graduate Students Currently Supervised 1. Silvia Ingolfo, “Argumentation-‐based Software Compliance”, Department of Information Engineering and Computer Science (DISI), University of Trento, expected to graduate by 2015.
2. Fatma Başak Aydemir, “Multi-‐level Adaptation for Systems-‐of-‐Systems”, Department of Information Engineering and Computer Science (DISI), University of Trento, expected to graduate by 2015 (co-‐supervised by Paolo Giorgini).
.- -‐ 38 -‐
3. Kostas Angelopoulos, “A Requirements-‐ and Architecture-‐driven Framework for Software Adaptation”, Department of Information Engineering and Computer Science (DISI), University of Trento, expected to graduate by 2015.
4. Tong Li, “Designing Secure Socio-‐Technical Systems”, Department of Information Engineering and Computer Science (DISI), University of Trento, expected to graduate by 2015.
5. Feng-‐Lin Li, “A Requirements-‐based Framework for Service Evolution”, Department of Information Engineering and Computer Science (DISI), University of Trento, expected to graduate by 2015 (co-‐supervised by Lin Liu, Tsinghua University, China).
6. Xiaowei Wang, “An Ontology for Software Evolution”, Department of Information Engineering and Computer Science (DISI), University of Trento, expected to graduate by 2015, (co-‐supervised by Nicola Guarino, CNR-‐LOA, Italy).
7. Konstantinos Zoumpatianos, “Intelligent Analysis of Large Data Series Collections: A Goal-‐Oriented Approach”, Department of Information Engineering and Computer Science (DISI), University of Trento, expected to graduate by 2015, (co-‐supervised by Themis Palpanas).
Supervision of Post-‐Doctoral Fellows, Visitors and Research Associates (At the University of Toronto, unless stated otherwise) (Current supervisions marked by *) 1. John Tsotsos, "Expert System for the Analysis of Cinecardio-‐Angiograms", post-‐doctoral fellow, July 1979 -‐ June 1980 (co-‐supervised by D. Covvey), funded by the Ontario Heart Foundation; current position: Professor, York University, Canada Research Chair, Fellow, Royal Society of Canada. 2. Carlo Meghini, “Implementation of a Knowledge Representation System”, visiting from CNR-‐Pisa, Italy, September 1983 -‐ August 1984. 3. Paolo Atzeni, “Conceptual Modelling Languages”, visiting from CNR-‐Rome, Italy, Sept. 1984 – Sept. 1985; current position: Professor, University of Rome Tre. 4. Maurizio Lenzerini, “Topics on Knowledge Representation”, visiting from the University of Rome, Italy, September 1985 – June 1986; current position: Professor, University of Rome “La Sapienza”. 5. David Lauzon, “Implementation of a Semantic Data Model”, programmer, September 1985 – June 1992; current position: Senior developer, IBM Toronto lab. 6. Fabrizio Sebastiani, "Cognitive Science and Knowledge Representation", visiting from CNR-‐Pisa, Italy, September 1989 -‐ June 1990. 7. Arantza Illaramendi, “Query Facilities for Knowledge Bases”, visiting from Universidad del Pais Vasco, Spain, September 1989 -‐ June 1990; current position: Professor, Universidad del País Vasco. 8. Kenji Sugawara, “Cooperative Information Systems”, visiting from Chiba Institute of Technology, Japan, September 1991 -‐ August 1992. 9. Huaiqing Wang, “Expert Systems for Process Control”, post-‐doctoral fellow, January 1987 -‐ June 1995; current position: Professor, City University of Hong Kong. 10. Andre Kushniruk, “A Prototype Expert System Shell”, programmer, January 1987 – April 1990; current position: Professor, University of Victoria. 11. Bryan Kramer, “Expert Systems for Process Control”, research associate, June 1990 -‐ June 1995. 12. Tomas Rose, “Developing Intelligent Information Systems”, research associate, Oct. 1990 -‐ May 1994. 13. Jianqing Cao, “Implementation of a Semantic Data Model”, visiting from Anhui University, China, September 1990 -‐ May 1992. 14. Martin Stanley, “A Software Repository”, research associate, September 1993 – March 1997. 15. Eric Yu, “Modelling Early Software Requirements’, post-‐doctoral fellow, January -‐ June 1995; current position: Associate Professor, Faculty of Information, University of Toronto.
.- -‐ 39 -‐
16. Kostas Kontogiannis, “Software Reengineering”, post-‐doctoral fellow, Sept. 1995 -‐ December 1996; current position: Associate Professor, National Technical University of Athens. 17. Avigdor Gal, “Distributed Heterogeneous Information Services”, post-‐doctoral fellow, September 1995 -‐ July 1997; current position: Professor, Technion. 18. Suchun Wu, “Parser Generator Tools”, post-‐doctoral fellow, October 1996 -‐ December 1997. 19. Brian Nixon, “Non-‐Functional Requirements”, post-‐doctoral fellow, January -‐ June 1997. 20. Elizabeth D’Angelo, “Expert Systems for Process Control”, research associate, May 1997 -‐ April 1998. 21. Jianguo Lu, “Reengineering Software for Network-‐Centric Computing”, research associate, October 1998 -‐ June 2002. 22. Paolo Bresciani, “Agent-‐Oriented Software Development”, visiting from IRST Trento, Italy, September – December 1999. 23. Jaelson Castro, “Agent-‐Oriented Software”, visiting from UFPE, Recife, Brazil, Feb. 2000 – Jan. 2001. 24. Manuel Kolp, “Agent-‐Oriented Software Development”, post-‐doctoral fellow, January 2000 – November 2001. 25. Paolo Giorgini, “Agent-‐Oriented Software Development”, visiting from IRST, Trento, January – May 2000. 26. Gregory McArthur, “Knowledge Management Technologies”, research associate, May 2000 – March 2007. 27. Patricia Rodriguez-‐Gianolli, “Knowledge Management for Business Analysts”, research associate, July 2000 – Sept. 2005. 28. Attila Barta, “Knowledge Management for Business Analysts”, research associate, July 2000 – June 2001. 29. Marco Pistore, “Model Checking Early Requirements”, visiting from IRST, Trento, Sept. – Dec. 2000. 30. Loris Penserini, “Case-‐Based Reasoning for Peer-‐to-‐Peer Computing”, visiting from the University of Ancona, January – May 2001, also January -‐ May 2002. 31. Anhui Tan, “Data Integration Issues in Knowledge Management”, Chinese scholar, May 2001 – May 2002. 32. Lin (Linda) Liu, “Formal Analysis of Multi-‐Agent Specifications”, research associate, Sept. 2001– July 2004. 33. Zhi Liu, “Agent-‐Oriented Software Engineering”, Chinese scholar, December 2001 – December 2002. 34. Damian Fernandez, “The Executive Information Portal”, research associate, June 2002 – May 2003. 35. Sabrina Recla, “Agent-‐Oriented Software Engineering”, visiting from the University of Trento, January -‐ May 2003. 36. Davide Bolchini, “Goal-‐Oriented Analysis for Web-‐Based Software Systems”, visiting from the Politecnico di Milano, January -‐ May 2003. 37. Asger Eir, “Formal Specification of Civil Engineering Designs”, visiting from the Technical University of Denmark, January -‐ May 2003. 38. Homy Dayani-‐Fard, “Quality-‐Based Software Release Management”, postdoctoral fellow (50%), March 2003 – January 2004. 39. Julio Leite, “Agent-‐Oriented Software Development”, visiting from PUC, Rio, Brazil, March 2003 -‐ March 2004. 40. Lei Jiang, “The Executive Information Portal”, research associate, December 2003 -‐ December 2004. 41. Yijun Yu, “Quality-‐Based Software Reengineering”, research associate, January 2003 -‐ October 2006. 42. Daniele Barone, “The Business Intelligence Model”, postdoctoral fellow, November 2008 – December 2011. 43. Lei Jiang, “The Business Intelligence Model”, postdoctoral fellow, January 2010 – July 2011. 44. Jennifer Horkoff, “The Business Intelligence Model”, postdoctoral fellow, August 2011 – March 2012. 45. Siena Alberto, “Software Compliance to Regulations”, postdoctoral fellow, Dept. of Information Engineering and Computer Science (DISI), University of Trento, April 2011 – March 2013. 46. Lapouchnian Alexei, “Adaptive Software Systems”, postdoctoral fellow, Dept. of Information Engineering and Computer Science (DISI), University of Trento, June 2011 – May 2012. 47. * Horkoff Jennifer, “Software Evolution”, postdoctoral fellow, Dept. of Information Engineering and Computer Science (DISI), University of Trento, April 2012 – September 2014.
.- -‐ 40 -‐
48. Souza Vitor, “Adaptive Software Systems”, postdoctoral fellow, Dept. of Information Engineering and Computer Science (DISI), University of Trento, July-‐December 2012. 49. Dalpiaz Fabiano, “The Business Intelligence Model”, postdoctoral fellow, July 2012 – August 2013. 50. * Paja Elda, “Software Security”, postdoctoral fellow, Dept. of Information Engineering and Computer Science (DISI), University of Trento, April 2014 – March 2016. 51. * Maté Alejandro, “Business Analytics”, postdoctoral fellow, Dept. of Information Engineering and Computer Science (DISI), University of Trento, May 2014 – March 2015. Service to University and Research Committees 1970-‐73, 1978-‐79 member, M.Sc. Admissions Committee, Dept. of Computer Science 1971-‐74 graduate secretary, Dept. of Computer Science 1971-‐74 member, Department Council, Dept. of Computer Science 1979-‐83, 1972-‐74 member, Graduate Committee, Dept. of Computer Science 1978-‐79, 1973-‐74 member, Curriculum Committee, Dept. of Computer Science 1979-‐82, 1995-‐96 associate chair, Department of Computer Science 1979-‐82 council member, Faculty of Forestry 1979-‐80 member, Degrees Committee, Division III, School of Graduate Studies 1979-‐81 member, Executive Committee, Division III, School of Graduate Studies 1981-‐82 chair, university committee for Instructional Unix/VAX 1983 acting chair, Dept. of Computer Science. 1990-‐00 member, research management committee, Institute of Robotics and Intelligent Systems (IRIS) 1997-‐02 provost’s assessor, Faculties of Information Studies and Music. 1998-‐01 chair, Computer Science Laboratory (CSLab) users’ committee. 1999-‐00 member, Grants Selection Committee 007 (Computer and Information Science), NSERC 2001 chair, Grants Selection Committee 330 (Computer and Information Science), NSERC 2002-‐03 member, Recruiting Committee, Dept. of Computer Science 2003-‐04 chair, Recruiting Committee, Dept. of Computer Science Chairing of Conference Committees 1991 PC co-‐chair, Int. Joint Conference on Artificial Intelligence (IJCAI’91), Sydney, August. 1993 general chair, 5th International Conference on Tools with AI (TAI’93), Boston. 1994 general chair, 2nd International Conference on Cooperative Information Systems, Toronto, May. 1994 general chair, 13th Int. Conf. on the Entity-‐Relationship Approach (ER’94), Manchester, December. 1995 PC co-‐chair, ACM Conf. on Organizational Computing (COOCS'95), August. 1996 general chair, 8th Int. Conf. on Advanced Information Systems Engineering (CAiSE’96), Crete, May. 1997 PC chair, 3rd Int. IEEE Symposium on Requirements Engineering (ISRE’97), January. 1998 PC co-‐chair, Int. Conf. on Cooperative Information Systems (CoopIS’98), New York, August. 2002 PC co-‐chair, 14th Conf. on Advanced Information Systems Engineering (CAiSE’02), Toronto, June. 2003 PC co-‐chair, 2nd Int. Semantic Web Conference (ISWC’03), Sanibel Island, Florida, October. 2003 PC co-‐chair, Int. Conf. on Web Information Systems Engineering (WISE’03), Rome, December. 2004 general chair, 30th Int. Conf. on Very Large Databases (VLDB’04), Toronto, August 2004. 2005 PC co-‐chair, 24th International Conference on Conceptual Modelling (ER’05), Klagenfurt, October. 2005 PC co-‐chair, 13th IFCIS Int. Conf. on Cooperative Information Systems (CoopIS’05), Cyprus, November. 2006 PC co-‐chair, 10th International Conference on Principles of Knowledge Representation and Reasoning
(KR’06), Wintermere, Lake District UK, June. 2011 general chair, 21st IEEE International Requirements Engineering Conference (RE’11), Trento Italy,
September. 2013 PC chair, 9th ICSE International Symposium on Software Engineering for Adaptive and Self-‐Managing
Systems (SEAMS’13), San Francisco, May.
.- -‐ 41 -‐
2014 PC co-‐chair, 26th International Conference on Advanced Information Systems Engineering (CAiSE’14), Thessaloniki, June.
Service on Conference and Workshop Committees 1973-‐76 member, Steering Committee of Canadian Society for Computational Studies of Intelligence (CSCSI) 1975 general chair, CSCSI Workshop on Computational Studies of Intelligence, Ottawa. 1980 PC, International Workshop on Data Semantics, Pingree Park, Colorado. 1982 co-‐organizer, workshop on Conceptual Modelling, held at Intervale, NH. 1982 co-‐organizer, Workshop on Database Interface Methods, Philadelphia. 1982 PC, CSCSI Conference, Saskatoon, Canada 1983 PC, CSCSI Conference, London, Ontario 1983 panel chairman, IFIP-‐83 Congress, Paris 1984 PC, National Conference on Artificial Intelligence, Austin, August. 1984 PC, Workshop on Expert Database Systems, Kiawah. 1984-‐85 member (elected), steering committee, Canadian Society for Fifth Generation Research. 1985 conference committee, Int. Joint Conference on Artificial Intelligence, Los Angeles, August. 1985 PC, International Conference on Very Large Databases Conference, Stockholm. 1985 co-‐organizer, workshop on Knowledge Base Management Systems, Islamorada, Florida.. 1985 PC, workshop on Knowledge Base Management Systems, Chania, Crete. 1985 PC, 5th International Workshop on Expert Systems and their Applications, Avignon, France. 1985 PC, 4th International Conference on the Entity Relationship Approach, Chicago. 1986 PC, 1st Conference on Expert Database Systems, Charleston. 1986 PC, International Conference on Database Theory, Rome. 1987 PC, Ninth International Conference on Software Engineering, Monterey, CA, April. 1987 PC, International Conference on Very Large Databases, Brighton UK, September. 1988 PC, International Conference on Extending Database Technology, Venice, March 1988. 1988 PC, Conference on Office Information Systems, Palo Alto. 1988 PC, 10th International Conference on Software Engineering, Singapore. 1988 PC, 2nd Conference on Expert Database Systems, Alexandria VA. 1989 PC, IFIP World Congress, San Francisco, September. 1989 PC, International Joint Conference on Artificial Intelligence, Detroit. 1989 PC, Int. Conference on Deductive and Object-‐Oriented Databases, Kyoto, December. 1989 PC, International Conference on Very Large Databases Conference, Amsterdam. 1989 PC, 2nd Int. Conf. on Data and Knowledge Systems for Manufacturing and Engineering. 1990 PC, International Conference on Very Large Databases Conference, Brisbane. 1990-‐94 scientific advisory cmt, technical cmt 12 (Artificial Intelligence), International Federation on Information
Processing (IFIP). 1991 programme committee, Colloque International des Sciences Cognitives: Instruments de Development des
Organizations, Montreal, April. 1991 co-‐chair, workshop on the Development of Intelligent Information Systems, Niagara-‐on-‐the-‐lake, April. 1991 PC, Tools for Artificial Intelligence Conference, San Diego. 1992 organizing committee, AAAI Spring Symposium on Reusable Designs, Palo Alto, California. 1992 PC, 4th ACM Conference on Hypertext ECHT'92, Milano. 1992 PC, International Conference on Advanced Information System Engineering (CAiSE'92), Manchester. 1992 PC, CSCSI National Conference, Vancouver. 1992 PC, ACM SIGMOD Conference, May. 1992 PC, 2nd International Computer Science Conference, Data and Knowledge Engineering: Theory and
Practice, Hong Kong, December. 1993 PC, International Conference on Data Engineering, Vienna. 1993 PC, International Conference on Advanced Information System Engineering (CAiSE'93), Paris, June. 1993 PC, 1st International Conference on Requirements Engineering, San Diego, January. 1993 PC, IFIP Working Group 8.1 Conf. on Information System Development Process, Como Italy, September.
.- -‐ 42 -‐
1993 PC, 4th International Conference on Communicating Knowledge in Organizations, Montreal, May. 1993 PC, Int. Symposium on Applied Computing: Research and Applications in Databases, Software Engineering
and Distributed Systems, Monterrey, Mexico, October. 1994 PC, CSCSI National Conference, Banff, May. 1994 PC, International Conference on Data Engineering, Houston. 1994 PC, 6th International Conference on Advanced Information System Engineering (CAiSE'94), Utrecht, June. 1994 PC, Int. Conference on Extending Database Technology, Cambridge UK, March. 1994 PC, International Conference on Software Maintenance, Victoria, BC. 1994 workshop co-‐organizer, Int. Workshop on Requirements Engineering, Dagstuhl, October. 1995 PC, 2nd Int. IEEE Symposium on Requirements Engineering (RE’95), York UK, April. 1995 PC, 7th Int. Conf. on Adv. Information Systems Engineering (CAiSE'95), Jyvskyla, June. 1995 PC, IEEE Conf. on Computer-‐Aided Software Engineering (CASE’95), Toronto, July. 1995 PC, Int. Joint Conference on Artificial Intelligence (IJCAI’95), Montreal, August. 1995 PC, 21st Int. Conf. on Very Large Databases (VLDB’95), Zurich, September. 1995 PC, 14th Int. Conf. on the Entity-‐Relationship and Object-‐Oriented Approach (ER’95), Gold Coast
Australia, December. 1996 PC, 4th Int. Symposium on Assessment of Software Tools, Toronto, May. 1996 PC, Conf. on Information and Knowledge Management (CIKM’96), Baltimore, November. 1996 PC, IFCIS Int. Conf. on Cooperative Information Systems (CoopIS'96), Brussels, June. 1996 co-‐organizer, workshop on “Transforming Legacy Systems to Object-‐Oriented Software”, OOPSLA’96, San
Jose, October. 1996 PC, IEEE Working Conference on Reverse Engineering (WCRE’96), Monterey, November. 1997 PC chair, 3rd Int. IEEE Symposium on Requirements Engineering (ISRE’97), January. 1997 PC, International Conference on Software Engineering (ICSE’97), Boston, May. 1997 PC, 16th Int. Conf. on Conceptual Modelling (ER'97), Los Angeles, November. 1997 PC, 12th IEEE Int. Conf. on Automated Software Engineering, (ASE’97), Incline Village, Nevada, November. 1997 PC, IFCIS Conf. on Cooperative Information Systems (CoopIS’97), Charleston, June. 1997 PC, 4th Working Conf. on Reverse Engineering (WCRE’97), Amsterdam, October. 1998 PC, IEEE Int. Conf. on Requirements Engineering, Colorado Springs, April. 1998 PC, 10th Conf. on Advanced Information Systems Engineering (CAiSE’98), Pisa, June. 1998 PC, 24th Int. Conf. on Very Large Databases (VLDB’98), New York, August. 1998 PC, 5th National Conference on Artificial Intelligence (AAAI’98), Madison, July. 1998 PC, 13th IEEE Int. Conf. on Automated Software Engineering (ASE’98), Honolulu, October. 1999 PC, IEEE Advances in Digital Libraries Conference (ADL’99), Baltimore, May. 1999 PC, 4th IEEE Int. Symposium on Requirements Engineering, Limerick (ISRE’99), June. 1999 PC, 11th Int. Conf. on Advanced Information Systems Engineering (CAiSE’99), Heidelberg, June. 1999 PC, International Conference on Cooperative Information Systems (CoopIS’99), Edinburgh, September. 2000 PC, 7th International Conference on Principles of Knowledge Representation and Reasoning (KR’00),
Breckenridge Colorado, April. 2000 PC, 12th Int. Conf. on Advanced Information Systems Engineering (CAiSE’00), Stockholm, June. 2000 PC, 4th IEEE Int. Conf. on Requirements Engineering (ICRE2000), Schaumburg, Illinois, June. 2000 PC, Int. Conf. on Web Information System Engineering (WISE'00), Hong Kong, June. 2000 PC, 8th European Conf. on Information Systems (ECIS’00), Vienna, July. 2000 PC, 5th IFCIS Int. Conf. on Cooperative Information Systems (CoopIS’00), Eilat Israel, September. 2000 PC, UML 2000, York UK, October. 2000 PC, 19th Int. Conf. on Conceptual Modelling (ER'00), Salt Lake City, October. 2001 PC, 21st Int. Conf. on Software Engineering (ICSE’01), Toronto, May 16-‐18, 2001. 2001 PC, 3rd Int. Conf. on Modelling and Using Context (CONTEXT’01), Dundee, July. 2001 PC, 13th Int. Conf. on Advanced Information Systems Engineering (CAiSE’01), Interlaken, June. 2001 PC, 13th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE'01), Buenos Aires, June. 2001 PC, 5th IEEE Int. Symposium on Requirements Engineering (ISRE’01), Toronto, August. 2001 PC, 6th IFCIS Int. Conf. on Cooperative Information Systems (CoopIS’01), Trento, September. 2001 PC, 21st Int. Conf. on Conceptual Modelling (ER'01), Yokohama, November.
.- -‐ 43 -‐
2002 PC, 27th Int. Conf. on Very Large Databases (VLDB'02), Hong Kong, August. 2002 PC, 22th Int. Conf. on Conceptual Modelling (ER'02), Tampere, October. 2002 PC, 10th IEEE Int. Requirements Engineering Conference (RE’02), Essen, September. 2003 PC, 14th Int. Conf. on Advanced Information Systems Engineering (CAiSE’03), Klagenfurt, June. 2003 PC, 11th IEEE Int. Requirements Engineering Conference (RE’03), Monterey Bay, September. 2003 PC, 23rd Int. Conf. on Conceptual Modelling (ER'03), Chicago, October. 2004 PC, 15th Int. Conf. on Advanced Information Systems Engineering (CAiSE’04), Riga, June. 2004 PC, 12th IEEE Int. Requirements Engineering Conference (RE’04), Kyoto, September. 2004 PC, 24th Int. Conf. on Conceptual Modelling (ER'04), Shanghai, October. 2005 PC, 16th Int. Conf. on Advanced Information Systems Engineering (CAiSE’05), Porto, June. 2005 PC, 13th IEEE Int. Requirements Engineering Conference (RE’05), Paris, September. 2006 PC, 17th Int. Conf. on Advanced Information Systems Engineering (CAiSE’06), Luxenbourg, June. 2006 PC, 14th IEEE Int. Requirements Engineering Conference (RE’06), Minneapolis, September. 2006 PC, 26th Int. Conf. on Conceptual Modelling (ER'06), Tucson, October. 2007 PC, 18th Int. Conf. on Advanced Information Systems Engineering (CAiSE’07), Trondheim, June. 2007 PC, 15th IEEE Int. Requirements Engineering Conference (RE’07), New Delhi, September. 2007 PC, 27th Int. Conf. on Conceptual Modelling (ER'07), Auckland, November. 2008 PC, 19th Int. Conf. on Advanced Information Systems Engineering (CAiSE’08), Montpellier, June. 2008 PC, 16th IEEE Int. Requirements Engineering Conference (RE’08), Barcelona, September. 2008 PC, 28th Int. Conf. on Conceptual Modelling (ER'08), Barcelona, October. 2009 PC, 20th Int. Conf. on Advanced Information Systems Engineering (CAiSE’09), Amsterdam, June. 2009 PC, 19th IEEE Int. Requirements Engineering Conference (RE’09), Atlanta, September. 2009 PC, 29th Int. Conf. on Conceptual Modelling (ER'09), Gramado, October. 2010 PC, 16th International Working Conference on Requirements Engineering: Foundation for Software Quality
(REFSQ’10), Essen, March. 2010 PC, 21th Int. Conf. on Advanced Information Systems Engineering (CAiSE’10), Hammamet, June. 2010 PC, 20th IEEE Int. Requirements Engineering Conference (RE’10), Sydney, September. 2010 PC, 30th Int. Conf. on Conceptual Modelling (ER'10), Vancouver, October. 2011 PC, 17th International Working Conference on Requirements Engineering: Foundation for Software Quality
(REFSQ’11), Essen, March. 2011 PC, 26th Symposium on Applied Computing (SAC’11), Requirements Engineering track, Tai Chung Taiwan,
March. 2011 PC, 7th ICSE International Symposium on Software Engineering for Adaptive and Self-‐Managing Systems
(SEAMS’11), Waikiki Honolulu, May. 2011 PC, 22th Int. Conf. on Advanced Information Systems Engineering (CAiSE’11), London, June. 2011 PC, 31st Int. Conf. on Conceptual Modelling (ER'11), Brussels, October. 2012 PC, 18th International Working Conference on Requirements Engineering: Foundation for Software Quality
(REFSQ’12), Essen, March. 2012 PC, 27th Symposium on Applied Computing (SAC’12), Requirements Engineering track, Trento, March. 2012 PC, 8th ICSE International Symposium on Software Engineering for Adaptive and Self-‐Managing Systems