Travelled to:1 × Austria
1 × China
1 × Croatia
1 × Denmark
1 × Estonia
1 × Finland
1 × Hungary
1 × India
1 × Japan
1 × Poland
1 × Portugal
1 × United Kingdom
18 × USA
2 × Ireland
2 × Spain
2 × The Netherlands
3 × France
3 × Switzerland
4 × Canada
4 × Germany
5 × Italy
Collaborated with:J.Magee S.Uchitel S.Cheung ∅ B.Nuseibeh N.C.Mendonça A.Russo A.Finkelstein D.Giannakopoulou R.Chatley D.Alrajeh L.M.Duarte H.Foster D.Sykes O.Hazzan E.Letier J.Castro O.Kremien J.Cunningham S.Eisenbach V.A.Braberman A.McVeigh U.Leonhardt G.E.Sibay W.Heaven P.H.M.Maia G.Salaün F.Lang F.C.d.Sousa R.Miller A.S.d.Garcez N.Pryce N.Dulay D.Partridge D.Garlan D.R.Barstow A.v.Lamsweerde D.M.Gabbay A.Hunter N.D'Ippolito D.Corapi K.Inoue W.Emmerich D.S.Rosenblum L.J.Osterweil B.W.Boehm M.Evangelist V.Gruhn E.F.Miller
Talks about:model (17) softwar (16) architectur (12) distribut (11) analysi (11) system (11) base (11) scenario (10) requir (10) specif (8)
♂ Person: Jeff Kramer
DBLP: Kramer:Jeff
Facilitated 3 volumes:
EdGChEdContributed to:
20142013
2012
20122012
20112011
2010
200920092008
20082007
2007
200720062006200520052004
2004
2004
200320032003
2003
20032002200220012001200120002000
1999
19991999
19991998
1998
19971997199719961996199519951995
19941994199319931993199319911979Wrote 65 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.
- FASE-2012-AlrajehKRU #learning #satisfiability #specification
- Learning from Vacuously Satisfiable Scenario-Based Specifications (DA, JK, AR, SU), pp. 377–393.
- FM-2012-SibayUBK
- Distribution of Modal Transition Systems (GES, SU, VAB, JK), pp. 403–417.
- ICSE-2012-AlrajehKLRU #generative #requirements
- Generating obstacle conditions for requirements completeness (DA, JK, AvL, AR, SU), pp. 705–715.
- ICSE-2012-Kramer #architecture #question
- Whither software architecture? (JK), p. 963.
- ICLP-2011-AlrajehKRU #approach #induction #refinement
- An Inductive Approach for Modal Transition System Refinement (DA, JK, AR, SU), pp. 106–116.
- 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-2009-MaiaKUM #modelling #probability #refinement #towards #using
- Towards accurate probabilistic models using state refinement (PHMM, JK, SU, NCM), pp. 281–284.
- ICSE-2009-AlrajehKRU #learning #modelling #requirements
- Learning operational requirements from goal models (DA, JK, AR, SU), pp. 265–275.
- FASE-2008-DuarteKU #towards
- Towards Faithful Model Extraction Based on Contexts (LMD, JK, SU), pp. 101–115.
- MoDELS-2008-Kramer #abstraction #modelling
- Abstraction and Modelling — A Complementary Partnership (JK), p. 158.
- 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.
- WCRE-2007-SousaMUK #detection #execution
- Detecting Implied Scenarios from Execution Traces (FCdS, NCM, SU, JK), pp. 50–59.
- 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.
- ICSE-2006-KramerH #abstraction #re-engineering
- The role of abstraction in software engineering (JK, OH), pp. 1017–1018.
- MoDELS-2006-DuarteKU #information management #using
- Model Extraction Using Context Information (LMD, JK, SU), pp. 380–394.
- 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.
- 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-UchitelKM #behaviour #lts #using
- Behaviour model elaboration using partial labelled transition systems (SU, JK, JM), pp. 19–27.
- ICSE-2003-NuseibehKF #exclamation #named
- ViewPoints: meaningful relationships are difficult! (BN, JK, AF), pp. 676–683.
- 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.
- ICLP-2002-RussoMNK #abduction #approach #requirements #specification
- An Abductive Approach for Analysing Event-Based Requirements Specifications (AR, RM, BN, JK), pp. 22–37.
- ASE-2001-GarcezRNK #requirements #specification
- An Analysis-Revision Cycle to Evolve Requirements Specifications (ASdG, AR, BN, JK), pp. 354–358.
- ESEC-FSE-2001-UchitelKM #detection #sequence chart #specification
- Detecting implied scenarios in message sequence chart specifications (SU, JK, JM), pp. 74–82.
- ICSE-2001-CastroK #architecture #requirements
- From Software Requirements to Architectures (JC, JK), pp. 764–765.
- ICSE-2001-UchitelK #behaviour #modelling
- A Workbench for Synthesising Behaviour Models from Scenarios (SU, JK), pp. 188–197.
- FoSE-2000-FinkelsteinK #re-engineering #roadmap
- Software engineering: a roadmap (AF, JK), pp. 3–22.
- ICSE-2000-MageePGK #animation #behaviour #modelling #visual notation
- Graphical animation of behavior models (JM, NP, DG, JK), pp. 499–508.
- ICSE-2000-OsterweilBEGKM #re-engineering #research #why
- Why don’t we get more (self?) respect: the positive impact of software engineering research upon practice (LJO, BWB, ME, VG, JK, EFM), p. 660.
- ESEC-FSE-1999-GiannakopoulouMK #question
- Checking Progress with Action Priority: Is it Fair? (DG, JM, JK), pp. 511–527.
- ICSM-1999-MendoncaK #classification #component #comprehension #distributed
- Component Module Classification for Distributed Software Understanding (NCM, JK), p. 119–?.
- 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.
- ICRE-1998-RussoNK #case study #consistency #nondeterminism #requirements #specification
- Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study (AR, BN, JK), p. 51–?.
- IWPC-1998-MendoncaK #approach #architecture #distributed
- Developing an Approach for the Recovery of Distributed Software Architectures (NCM, JK), pp. 28–36.
- CSMR-1997-MendoncaK #analysis #architecture
- A Quality-Based Analysis of Architecture Recovery Environments (NCM, JK), pp. 54–59.
- ESEC-FSE-1997-CheungGK #analysis #composition #liveness #reachability #using #verification
- Verification of Liveness Properties Using Compositional Reachability Analysis (SCC, DG, JK), pp. 227–243.
- 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.
- ICSE-1996-CheungK #analysis #composition #reachability #safety
- Checking Subsystem Safety Properties in Compositional Reachability Analysis (SCC, JK), pp. 144–154.
- ESEC-1995-MageeDEK #architecture #distributed #specification
- Specifying Distributed Software Architectures (JM, ND, SE, JK), pp. 137–153.
- FSE-1995-CheungK #analysis #composition #constraints #distributed #finite #reachability
- Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints (SCC, JK), pp. 140–150.
- ICSE-1995-LeonhardtKN #development #distributed #multi #process
- Decentralised Process Enactment in a Multi-Perspective Development Environment (UL, JK, BN), pp. 255–264.
- HPDC-1994-KremienK #distributed #performance #scalability
- Providing High Performance Distributed Computing Through Scalable Computation Servers (OK, JK), pp. 70–77.
- ICSE-1994-CheungK #analysis #behaviour #distributed #effectiveness
- An Integrated Method for Effective Behaviour Analysis of Distributed Systems (SCC, JK), pp. 309–320.
- ICSE-1994-Kramer #distributed #re-engineering
- Distributed Software Engineering (JK), pp. 253–263.
- ICSE-1994-Kramer94a
- Exoskeletal Software (JK), p. 366.
- ESEC-1993-CheungK #analysis #detection #distributed #source code
- Tractable Flow Analysis for Anomaly Detection in Distributed Programs (SCC, JK), pp. 283–300.
- ESEC-1993-FinkelsteinGHKN #consistency #multi #nondeterminism #specification
- Inconsistency Handling in Multi-Perspective Specifications (AF, DMG, AH, JK, BN), pp. 84–99.
- FSE-1993-CheungK #analysis #composition #constraints #reachability
- Enhancing Compositional Reachability Analysis with Context Constraints (SCC, JK), pp. 115–125.
- ICSE-1993-NuseibehKF #multi #requirements #specification
- Expressing the Relationships Between Multiple Views in Requirements Specification (BN, JK, AF), pp. 187–196.
- RE-1993-PartridgeGBK #question
- Should we specify systems or domain? (DP, DG, DRB, JK), pp. 77–80.
- ESEC-1991-Kramer #automation #process #research
- CASE Support for the Software Process: A Research Viewpoint (JK), pp. 499–503.
- ICSE-1979-KramerC #invariant #specification
- Invariants for Specifications (JK, JC), pp. 183–193.