BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kramer:Jeff

Facilitated 3 volumes:

ICSE 2010Ed
ICSE 2010GCh
ICSE 1999Ed

Contributed to:

ICSE 20142014
ICSE 20132013
FASE 20122012
FM 20122012
ICSE 20122012
ICLP 20112011
ICSE 20112011
SAC 20102010
ESEC/FSE 20092009
ICSE 20092009
FASE 20082008
MoDELS 20082008
ESEC/FSE 20072007
IFM 20072007
WCRE 20072007
ICSE 20062006
MoDELS 20062006
ESEC/FSE 20052005
ICSE 20052005
FASE 20042004
FSE 20042004
RE 20042004
ASE 20032003
ESEC/FSE 20032003
ICSE 20032003
SFM 20032003
TACAS 20032003
FSE 20022002
ICLP 20022002
ASE 20012001
ESEC/FSE 20012001
ICSE 20012001
ICSE — Future of SE Track 20002000
ICSE 20002000
ESEC/FSE 19991999
ICSM 19991999
TACAS 19991999
WICSA 19991999
ICRE 19981998
IWPC 19981998
CSMR 19971997
ESEC/FSE 19971997
ICSE 19971997
FSE 19961996
ICSE 19961996
ESEC 19951995
FSE 19951995
ICSE 19951995
HPDC 19941994
ICSE 19941994
ESEC 19931993
FSE 19931993
ICSE 19931993
RE 19931993
ESEC 19911991
ICSE 19791979

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.