Travelled to:1 × Austria
1 × Canada
1 × China
1 × Croatia
1 × Finland
1 × France
1 × India
1 × Ireland
1 × Italy
1 × Poland
1 × Portugal
1 × Switzerland
1 × The Netherlands
1 × United Kingdom
2 × Japan
2 × Spain
9 × USA
Collaborated with:J.Kramer S.Uchitel D.Giannakopoulou R.Chatley H.Foster D.Sykes E.Letier K.J.Sullivan ∅ S.Eisenbach A.McVeigh W.Heaven G.Salaün F.Lang C.T.Karamanolis S.M.Wheater N.Pryce N.Dulay N.D'Ippolito V.A.Braberman D.Corapi A.Russo K.Inoue W.Emmerich D.S.Rosenblum B.H.C.Cheng D.Garlan R.d.Lemos R.Taylor S.Fickas H.A.Müller
Talks about:model (13) architectur (9) softwar (8) system (8) base (8) scenario (7) analysi (4) fluent (4) check (4) adapt (4)
♂ Person: Jeff Magee
DBLP: Magee:Jeff
Facilitated 3 volumes:
PrCo
EdPrChContributed to:
201420132011
2010
2007
2007200620052005
2004
2004
2004
20032003
2003
200320022001
20002000
199919991999
1999199719961995Wrote 32 papers:
- ICSE-2014-DIppolitoBKMSU #adaptation #multi
- Hope for the best, prepare for the worst: multi-tier control for adaptive systems (ND, VAB, JK, JM, DS, SU), pp. 688–699.
- ICSE-2013-SykesCMKRI #adaptation #learning #modelling
- Learning revised models for planning in adaptive systems (DS, DC, JM, JK, AR, KI), pp. 63–71.
- ICSE-2011-McVeighKM #architecture #evolution #named #tool support
- Evolve: tool support for architecture evolution (AM, JK, JM), pp. 1040–1042.
- SAC-2010-SykesHMK #adaptation #architecture #non-functional #self
- Exploiting non-functional preferences in architectural adaptation for self-managed systems (DS, WH, JM, JK), pp. 431–438.
- ESEC-FSE-2007-FosterEKMRU #composition #constraints #model checking
- Model checking service compositions under resource constraints (HF, WE, JK, JM, DSR, SU), pp. 225–234.
- IFM-2007-SalaunKLM #automaton #network
- Translating FSP into LOTOS and Networks of Automata (GS, JK, FL, JM), pp. 558–578.
- ICSE-2006-ChengGLMTFM #adaptation #re-engineering #self
- Software engineering for adaptive and self-managing systems (BHCC, DG, RdL, JM, RT, SF, HAM), pp. 1015–1016.
- ICSE-2006-FosterUMK #composition #modelling #named #verification #web #web service
- LTSA-WS: a tool for model-based verification of web service compositions and choreography (HF, SU, JM, JK), pp. 771–774.
- ESEC-FSE-2005-KramerM #distributed
- Engineering distributed software: a structural discipline (JK, JM), pp. 283–285.
- ESEC-FSE-2005-LetierKMU #logic #modelling
- Fluent temporal logic for discrete-time event-based models (EL, JK, JM, SU), pp. 70–79.
- ICSE-2005-ChatleyUKM #animation #requirements #validation #web
- Fluent-based web animation: exploring goals for requirements validation (RC, SU, JK, JM), pp. 674–675.
- ICSE-2005-LetierKMU #analysis #monitoring #requirements
- Monitoring and control in scenario-based requirements analysis (EL, JK, JM, SU), pp. 382–391.
- ICSE-2005-SullivanM #design
- Science of design (KJS, JM), p. 46.
- FASE-2004-ChatleyEKMU #plugin #predict
- Predictable Dynamic Plugin Systems (RC, SE, JK, JM, SU), pp. 129–143.
- FSE-2004-UchitelCKM #architecture #synthesis
- System architecture: the context for scenario-based model synthesis (SU, RC, JK, JM), pp. 33–42.
- RE-2004-UchitelCKM #animation #requirements #validation
- Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation (SU, RC, JK, JM), pp. 208–217.
- ASE-2003-FosterUMK #composition #modelling #verification #web #web service
- Model-based Verification of Web Service Compositions (HF, SU, JM, JK), pp. 152–163.
- ESEC-FSE-2003-GiannakopoulouM #model checking
- Fluent model checking for event-based systems (DG, JM), pp. 257–266.
- ESEC-FSE-2003-UchitelKM #behaviour #lts #using
- Behaviour model elaboration using partial labelled transition systems (SU, JK, JM), pp. 19–27.
- SFM-2003-KramerMU #analysis #approach #architecture #modelling
- Software Architecture Modeling & Analysis: A Rigorous Approach (JK, JM, SU), pp. 44–51.
- TACAS-2003-UchitelCKM #behaviour #named #tool support #using
- LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios (SU, RC, JK, JM), pp. 597–601.
- FSE-2002-UchitelKM #elicitation
- Negative scenarios for implied scenario elicitation (SU, JK, JM), pp. 109–118.
- ESEC-FSE-2001-UchitelKM #detection #sequence chart #specification
- Detecting implied scenarios in message sequence chart specifications (SU, JK, JM), pp. 74–82.
- EDOC-2000-KaramanolisGMW #model checking #workflow
- Model Checking of Workflow Schemas (CTK, DG, JM, SMW), pp. 170–181.
- ICSE-2000-MageePGK #animation #behaviour #modelling #visual notation
- Graphical animation of behavior models (JM, NP, DG, JK), pp. 499–508.
- ESEC-FSE-1999-GiannakopoulouMK #question
- Checking Progress with Action Priority: Is it Fair? (DG, JM, JK), pp. 511–527.
- ICSE-1999-Magee #analysis #architecture #behaviour #using
- Behavioral Analysis of Software Architectures Using LTSA (JM), pp. 634–637.
- TACAS-1999-KramerM #modelling
- Modelling for Mere Mortals (JK, JM), pp. 1–18.
- WICSA-1999-MageeKG #analysis #architecture #behaviour
- Behaviour Analysis of Software Architectures (JM, JK, DG), pp. 35–50.
- ICSE-1997-KramerM #architecture #distributed
- Distributed Software Architectures (JK, JM), pp. 633–634.
- FSE-1996-MageeK #architecture
- Dynamic Structure in Software Architectures (JM, JK), pp. 3–14.
- ESEC-1995-MageeDEK #architecture #distributed #specification
- Specifying Distributed Software Architectures (JM, ND, SE, JK), pp. 137–153.