BibSLEIGH — John

Travelled to:

1 × Argentina
1 × Australia
1 × Austria
1 × China
1 × France
1 × Hungary
1 × India
1 × Latvia
1 × Luxembourg
1 × New Zealand
1 × Norway
1 × Poland
1 × Portugal
1 × Romania
1 × South Korea
1 × Spain
1 × Switzerland
1 × The Netherlands
1 × Tunisia
1 × UK
14 × USA
2 × Greece
3 × Brazil
3 × Japan
3 × Sweden
3 × United Kingdom
4 × Canada
5 × Germany
5 × Italy

Collaborated with:

Y.Yu A.Borgida P.Giorgini J.Castro E.S.K.Yu M.Kolp S.Liaskos J.C.S.d.P.Leite ∅ N.A.Ernst I.Jureta R.Salay L.Liu Y.Wang F.Massacci N.Zannone K.Kontogiannis L.Jiang A.Perini T.Topaloglou S.A.McIlraith H.Dayani-Fard H.K.T.Wong S.M.Easterbrook F.Dalpiaz A.Lapouchnian M.Jarke A.Susi S.Faulkner S.J.Greenspan J.Horkoff D.Barone H.Zawawy V.K.Chaudhri V.Hadzilacos S.Ingolfo A.Siena O.Pastor H.Estrada L.Penserini C.T.L.L.Silva P.Andritsos H.Kaindl R.Motschnig-Pitrik T.Rose N.Roussopoulos B.González-Baixauli A.Fuxman M.Pistore A.K.Chopra F.M.R.Alencar X.Peng W.Zhao T.Li R.Wieringa P.v.Eck Y.Asnar E.Paja J.Jürjens D.Karagiannis M.Schwab L.R.D.Bastos J.I.Glasgow R.Sebastiani B.Hui G.McArthur S.K.K.Ng L.Tahvildari J.Lu J.Ho R.Reiter L.Chung P.A.Bernstein I.Kiringa F.Li G.Guizzardi S.Mankovski M.Litoiu M.D.Jungblut S.Bykau F.Rizzolo Y.Velegrakis A.Hindle M.W.Godfrey S.Sohrabi A.Martínez T.Nguyen V.Bryl A.M.Rebollar G.A.C.Filho P.Traverso Y.Lespérance T.G.Kelley K.C.Sevcik J.Pimentel K.Angelopoulos V.E.S.Souza L.Fu V.E.S.Souza J.Mazón I.Garrigós J.Trujillo P.Loucopoulos K.Lyytinen W.N.Robinson V.Kantere M.Manoubi T.K.Sellis M.Roveri F.Giunchiglia P.Bresciani Y.Zou T.Ye Y.Lu L.Zhang F.B.Aydemir M.P.Singh W.Qian B.Chen H.Wang A.M.D.Moreira J.Araújo Y.Vassiliou M.Marakakis P.Katalagarianos M.Mertikas B.A.Nixon D.Lauzon M.Stanley R.S.S.Guizzardi N.Kiyavitskaya N.Zeni T.D.Breaux A.I.Antón J.R.Cordy L.Mich N.Niu W.Candillon G.Vanwormhoudt P.Rodríguez-Gianolli M.Garzetti A.Kementsietsidis M.Masud R.J.Miller Y.Zou M.Littou

Talks about:

requir (43) model (27) softwar (20) goal (18) analysi (11) engin (11) system (10) design (10) orient (9) base (9)

Person: John Mylopoulos

DBLP: Mylopoulos:John

Facilitated 4 volumes:

Contributed to:

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1996

1994

1993

1992

1990

1987

1982

1980

1978

1975

2015

Wrote 100 papers:

REFSQ-2015-LiHBG0M #refinement #requirements #specification: From Stakeholder Requirements to Formal Specifications Through Refinement (FLL, JH, AB, GG, LL, JM), pp. 164–180.
REFSQ-2015-LiHM #requirements #security #specification: Analyzing and Enforcing Security Mechanisms on Requirements Specifications (TL, JH, JM), pp. 115–131.
RE-2014-ChopraDAGMS #named: Protos: Foundations for engineering innovative sociotechnical systems (AKC, FD, FBA, PG, JM, MPS), pp. 53–62.
RE-2014-IngolfoSM #reasoning #requirements: Nòmos 3: Reasoning about regulatory compliance of requirements (SI, AS, JM), pp. 313–314.
RE-2014-LiHMGGB0 #non-functional #ontology #requirements: Non-functional requirements as qualities, with a spice of ontology (FLL, JH, JM, RSSG, GG, AB, LL), pp. 293–302.
RE-2014-QianPCMWZ #adaptation #reasoning #self: Rationalism with a dose of empiricism: Case-based reasoning for requirements-driven self-adaptation (WQ, XP, BC, JM, HW, WZ), pp. 113–122.
SAC-2014-PimentelCMAS #design #refinement #requirements: From requirements to statecharts via design refinement (JP, JC, JM, KA, VESS), pp. 995–1000.
ER-BR-2013-Mylopoulos #design #modelling #requirements #runtime: Requirements Models at Design and Runtime (JM).
RE-2013-WieringaEM #industrial #question #requirements: Requirements engineering conferences: Wither industry tracks? (RW, PvE, JM), pp. 349–352.
REFSQ-2013-IngolfoSJSPM: Choosing Compliance Solutions through Stakeholder Preferences (SI, AS, IJ, AS, AP, JM), pp. 206–220.
CAiSE-2012-BaroneTM #case study #modelling: Business Intelligence Modeling in Action: A Hospital Case Study (DB, TT, JM), pp. 502–517.
CAiSE-2012-ErnstBMJ #agile #evolution #reasoning #requirements: Agile Requirements Evolution via Paraconsistent Reasoning (NAE, AB, JM, IJ), pp. 382–397.
CAiSE-2012-ZawawyKMM #analysis #logic #markov #network #using: Requirements-Driven Root Cause Analysis Using Markov Logic Networks (HZ, KK, JM, SM), pp. 350–365.
RE-2012-FuPYMZ #monitoring #requirements #self: Stateful requirements monitoring for self-repairing socio-technical systems (LF, XP, YY, JM, WZ), pp. 121–130.
SAC-2012-SouzaMGTM #monitoring #requirements: Monitoring strategic goals in data warehouses with awareness requirements (VESS, JNM, IG, JT, JM), pp. 1075–1082.
CAiSE-2011-AsnarPM #case study #design pattern #logic #modelling: Modeling Design Patterns with Description Logics: A Case Study (YA, EP, JM), pp. 169–183.
CAiSE-2011-LiaskosLJM #behaviour #information management: Goal-Based Behavioral Customization of Information Systems (SL, ML, MDJ, JM), pp. 77–92.
CIKM-2011-BykauMRV #evolution #query #using: Supporting queries spanning across phases of evolving artifacts using Steiner forests (SB, JM, FR, YV), pp. 1649–1658.
MSR-2011-HindleEGM #analysis #automation #maintenance #process #topic: Automated topic naming to support cross-project analysis of software maintenance activities (AH, NAE, MWG, JM), pp. 163–172.
CAiSE-2010-ChopraDGM #modelling #reasoning: Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments (AKC, FD, PG, JM), pp. 113–128.
CAiSE-2010-JarkeLLMR #design #requirements: The Brave New World of Design Requirements: Four Key Principles (MJ, PL, KL, JM, WNR), pp. 470–482.
ICSM-2010-ZawawyKM #analysis: Log filtering and interpretation for root cause analysis (HZ, KK, JM), pp. 1–5.
RE-2010-JuretaBEM #consistency #generative #modelling #named #nondeterminism #requirements #towards: Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling (IJ, AB, NAE, JM), pp. 115–124.
RE-2010-LiaskosMSM #modelling #requirements: Integrating Preferences into Goal Models for Requirements Engineering (SL, SAM, SS, JM), pp. 135–144.
REFSQ-2010-ErnstM #lifecycle #on the #quality #requirements: On the Perception of Software Quality Requirements during the Project Lifecycle (NAE, JM), pp. 143–157.
VLDB-2010-KantereMKSM #coordination #distributed: Peer coordination through distributed triggers (VK, MM, IK, TKS, JM), pp. 1561–1564.
ASE-2009-LiaskosMM #modelling #requirements #towards: Towards Augmenting Requirements Models with Preferences (SL, SAM, JM), pp. 565–569.
ASE-2009-WangM #approach #configuration management #requirements #self: Self-Repair through Reconfiguration: A Requirements Engineering Approach (YW, JM), pp. 257–268.
CAiSE-2009-DalpiazGM #architecture #configuration management #self: An Architecture for Requirements-Driven Self-reconfiguration (FD, PG, JM), pp. 246–260.
CAiSE-2009-JiangBBM #effectiveness #quality: Measuring and Comparing Effectiveness of Data Quality Techniques (LJ, DB, AB, JM), pp. 171–185.
CAiSE-2009-SalayM #diagrams #quality #test coverage #using: Improving Model Quality Using Diagram Coverage Criteria (RS, JM), pp. 186–200.
CAiSE-2009-SalayME #megamodelling #modelling #using: Using Macromodels to Manage Collections of Related Models (RS, JM, SME), pp. 141–155.
RE-2009-JuretaMF #analysis #multi #requirements #validation: Analysis of Multi-Party Agreement in Requirements Validation (IJ, JM, SF), pp. 57–66.
SEKE-2009-MartinezPME #modelling #requirements: From Organizational Models to Software Requirements (AM, OP, JM, HE), pp. 61–66.
ASE-2008-SalayME #megamodelling #modelling: Managing Models through Macromodeling (RS, JM, SME), pp. 447–450.
CSMR-2008-Mylopoulos #maintenance #re-engineering: Software Maintenance and Reengineering in the Days of Software Agents (JM), p. 1.
ICSM-2008-YuJM #maintenance #traceability: Traceability for the maintenance of secure software (YY, JJ, JM), pp. 297–306.
RE-2008-ErnstMYN #evolution #lifecycle #requirements: Supporting Requirements Model Evolution throughout the System Life-Cycle (NAE, JM, YY, TN), pp. 321–322.
RE-2008-JuretaMF #ontology #problem #requirements: Revisiting the Core Ontology and Problem in Requirements Engineering (IJ, JM, SF), pp. 71–80.
SAC-2008-YuLLM #configuration management: Configuring features with stakeholder goals (YY, JCSdPL, AL, JM), pp. 645–649.
ASE-2007-KiyavitskayaZBACMM #process #towards: Extracting rights and obligations from regulations: toward a tool-supported process (NK, NZ, TDB, AIA, JRC, LM, JM), pp. 429–432.
ASE-2007-WangMYM #approach #automation #monitoring #requirements: An automated approach to monitoring and diagnosing requirements (YW, SAM, YY, JM), pp. 293–302.
RE-2007-JiangTBM #concept #database #design: Goal-Oriented Conceptual Database Design (LJ, TT, AB, JM), pp. 195–204.
RE-2007-KaragiannisMS: Business Process-Based Regulation Compliance: The Case of the Sarbanes-Oxley Act (DK, JM, MS), pp. 315–321.
RE-2007-YuNGCMELV #aspect-oriented #validation: Tracing and Validating Goal Aspects (YY, NN, BGB, WC, JM, SME, JCSdPL, GV), pp. 53–56.
ASE-2006-PenseriniPSM #multi #specification: From Capability Specifications to Code for Multi-Agent Software (LP, AP, AS, JM), pp. 253–256.
CAiSE-2006-BrylMMZ #design #modelling #requirements #security: Designing Security Requirements Models Through Planning (VB, FM, JM, NZ), pp. 33–47.
CAiSE-2006-EstradaRPM #empirical #evaluation #framework #generative #modelling: An Empirical Evaluation of the i* Framework in a Model-Based Software Generation Environment (HE, AMR, OP, JM), pp. 513–527.
CAiSE-2006-PenseriniPSM #implementation: From Stakeholder Intentions to Software Agent Implementations (LP, AP, AS, JM), pp. 465–479.
RE-2006-AlencarMACSM #aspect-oriented #using: Using Aspects to Simplify iModels (FMRA, AMDM, JA, JC, CTLLS, JM), pp. 328–329.
RE-2006-BastosCM #architecture #requirements: Deriving Architectures from Requirements (LRDB, JC, JM), pp. 332–333.
RE-2006-GiorginiMMZ #detection: Detecting Conflicts of Interest (PG, FM, JM, NZ), pp. 308–311.
RE-2006-JiangTBM #analysis #biology #case study #data transformation #database #design: Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management (LJ, TT, AB, JM), pp. 196–204.
RE-2006-LiaskosLYYM #analysis #on the #variability: On Goal-based Variability Acquisition and Analysis (SL, AL, YY, ESKY, JM), pp. 76–85.
RE-2006-Mylopoulos #requirements: Goal-Oriented Requirements Engineering, Part II (JM), p. 4.
CAiSE-2005-LeiteYLYM #reuse: Quality-Based Software Reuse (JCSdPL, YY, LL, ESKY, JM), pp. 535–550.
FASE-2005-Dayani-FardYMA #architecture #c #c++ #legacy: Improving the Build Architecture of Legacy C/C++ Software Systems (HDF, YY, JM, PA), pp. 96–110.
ICSM-2005-Dayani-FardGM: A Datawarehouse for Managing Commercial Software Release (HDF, JIG, JM), pp. 209–218.
ICSM-2005-YuDMA #evolution #scalability: Reducing Build Time through Precompilations for Evolving Large Software (YY, HDF, JM, PA), pp. 59–68.
RE-2005-GiorginiMMZ #modelling #requirements #security: Modeling Security Requirements Through Ownership, Permission and Delegation (PG, FM, JM, NZ), pp. 167–176.
RE-2005-GiorginiMMZ05a #automation #named #requirements #security: ST-Tool: A CASE Tool for Security Requirements Engineering (PG, FM, JM, NZ), pp. 451–452.
RE-2005-YuWMLLL #legacy #modelling #reverse engineering: Reverse Engineering Goal Models from Legacy Code (YY, YW, JM, SL, AL, JCSdPL), pp. 363–372.
VLDB-2005-Rodriguez-GianolliGJKKMMM #database: Data Sharing in the Hyperion Peer Database System (PRG, MG, LJ, AK, IK, MM, RJM, JM), pp. 1291–1294.
WCRE-2005-YuMWLLZLL #named #requirements #reverse engineering: RETR: Reverse Engineering to Requirements (YY, JM, YW, SL, AL, YZ, ML, JCSdPL), p. 234.
CAiSE-2004-SebastianiGM #low cost #modelling #satisfiability: Simple and Minimum-Cost Satisfiability for Goal Models (RS, PG, JM), pp. 20–35.
RE-2004-Gonzalez-BaixauliLM #analysis #modelling #variability #visual notation: Visual Variability Analysis for Goal Models (BGB, JCSdPL, JM), pp. 198–207.
RE-2004-YuLM #aspect-oriented #modelling #requirements: From Goals to Aspects: Discovering Aspects from Requirements Goal Models (YY, JCSdPL, JM), pp. 38–47.
CAiSE-2003-CastroSM #architecture #modelling #uml: Modeling Organizational Architectural Styles in UML (JC, CTLLS, JM), pp. 111–126.
CAiSE-2003-KolpGM #analysis #requirements: Organizational Patterns for Early Requirements Analysis (MK, PG, JM), pp. 617–632.
RE-2003-FuxmanLPRM #requirements #specification: Specifying and Analyzing Early Requirements: Some Experimental Results (AF, LL, MP, MR, JM), p. 105–?.
RE-2003-HuiLM #analysis #framework #requirements: Requirements Analysis for Customizable Software Goals-Skills-Preferences Framework (BH, SL, JM), pp. 117–126.
RE-2003-LiuYM #analysis #privacy #requirements #security #social: Security and Privacy Requirements Analysis within a Social Setting (LL, ESKY, JM), pp. 151–161.
SEKE-2002-KolpGM #development #information management #social: Information systems development through social structures (MK, PG, JM), pp. 183–190.
WCRE-2002-McArthurMN #representation #source code #using #xml: An Extensible Tool for Source Code Representation Using XML (GM, JM, SKKN), p. 199–?.
CAiSE-2001-CastroKM #development: A Requirements-Driven Development Methodology (JC, MK, JM), pp. 108–123.
RE-2001-CastroMAF #modelling #object-oriented #requirements: Integrating Organizational Requirements and Object Oriented Modeling (JC, JM, FMRA, GACF), pp. 146–153.
RE-2001-FuxmanMPT #model checking #requirements #specification: Model Checking Early Requirements Specifications in Tropos (AF, JM, MP, PT), pp. 174–181.
SEKE-2001-GiorginiPMGB #case study #development: Agent- Oriented Software Development: A Case Study (PG, AP, JM, FG, PB), pp. 283–290.
UML-2001-MylopoulosKC #development #uml: UML for Agent-Oriented Software Development: The Tropos Proposal (JM, MK, JC), pp. 422–441.
WCRE-2001-TahvildariKM #framework #re-engineering: Requirements-Driven Software Re-engineering Framework (LT, KK, JM), pp. 71–80.
CAiSE-2000-KaindlM #question #research #why: Why Is It So Difficult to Introduce RE Research Results into Mainstream RE Practice? (HK, JM), pp. 7–12.
CAiSE-2000-LuMH #towards #xml: Towards Extensible Information Brokers Based on XML (JL, JM, JH), pp. 32–46.
ICEIS-2000-CastroKM #enterprise #information management: Developing Agent-Oriented Information Systems for the Enterprise (JC, MK, JM), p. IX-XXIV.
CAiSE-1999-LesperanceKMY #modelling: Modeling Dynamic Domains with ConGolog (YL, TGK, JM, ESKY), pp. 365–380.
REFSQ-1998-YuM #requirements #why: Why Goal-Oriented Requirements Engineering (ESKY, JM), pp. 15–22.
CAiSE-1996-Motschnig-PitrikM #abstraction #semantics: Semantics, Features, and Applications of the Viewpoint Abstraction (RMP, JM), pp. 514–539.
CSCW-1996-JarkeM #information management #research: Cooperative Information Systems: A Research Agenda (MJ, JM), p. 5.
CIKM-1994-ChaudhriHMS #evaluation #knowledge base #transaction: Quantitative Evaluation of a Transaction Facility for a Knowledge Base Management System (VKC, VH, JM, KCS), pp. 122–131.
ICSE-1994-GreenspanMB #modelling #on the #requirements #revisited: On Formal Requirements Modeling Languages: RML Revisited (SJG, JM, AB), pp. 135–147.
ICSE-1994-YuM #analysis #comprehension #design #modelling #process #why: Understanding “Why” in Software Process Modelling, Analysis, and Design (ESKY, JM), pp. 159–168.
ICSE-1993-BorgidaMR #problem #quote #specification: “...And Nothing Else Changes”: The Frame Problem in Procedure Specifications (AB, JM, RR), pp. 303–314.
KR-1992-ChaudhriHM #concurrent #knowledge base: Concurrency Control for Knowledge Bases (VKC, VH, JM), pp. 762–773.
VLDB-1992-MylopoulosR #repository: Software Repositories (JM, TR), p. 455.
CAiSE-1990-VassiliouMKCMM #design #generative #named #requirements: IRIS — A Mapping Assistant for Generating Designs from Requirements (YV, MM, PK, LC, MM, JM), pp. 307–338.
SIGMOD-1987-NixonCLBMS #case study #compilation #experience #implementation #semantics: Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis (BAN, LC, DL, AB, JM, MS), pp. 118–131.
ICSE-1982-GreenspanMB #requirements #specification: Capturing More World Knowledge in the Requirements Specification (SJG, JM, AB), pp. 225–235.
VLDB-1980-MylopoulosW: Some Features of the TAXIS Data Model (JM, HKTW), pp. 399–410.
SIGMOD-1978-MylopoulosBW #design #interactive: A Language Facility for Designing Interactive Database-Intensive Applications (JM, PAB, HKTW), p. 17.
VLDB-1975-RoussopoulosM #database #network #semantics #using: Using Semantic Networks for Database Management (NR, JM), pp. 144–172.
ASE-2015-ZouYLM0 #learning #rank #retrieval: Learning to Rank for Question-Oriented Software Text Retrieval (T) (YZ, TY, YL, JM, LZ), pp. 1–11.