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 × Australia
1 × Austria
1 × Croatia
1 × Germany
1 × India
1 × Italy
1 × Jamaica
1 × Russia
1 × Spain
1 × Switzerland
1 × United Kingdom
2 × China
7 × USA
Collaborated with:
S.G.Elbaum G.Su L.Duboc T.Wicks S.Uchitel N.Medvidović A.L.Wolf M.Brünink G.N.Rodrigues Z.Wang Y.R.S.Llerena W.Emmerich C.Lüer E.D.Nitto E.J.Weyuker D.C.Luckham C.Lucas A.Maule R.N.Taylor Y.Chen K.Vo P.T.Devanbu F.Zervoudakis A.Finkelstein M.Sama E.Letier M.Böhme T.Chen Y.F.0001 P.S.Thiagarajan H.Foster J.Kramer J.Magee A.Orso M.J.Harrold G.Rothermel M.L.Soffa H.Do
Talks about:
system (8) model (8) test (8) softwar (6) analysi (5) base (5) compon (4) probabilist (3) architectur (3) framework (3)

♂ Person: David S. Rosenblum

DBLP DBLP: Rosenblum:David_S=

Facilitated 8 volumes:

CBSE 2012PrCo
CBSE 2011PrCo
FASE 2010Ed
FASE 2010PrCh
ISSTA 2007Ed
ICSE 2004Ed
ICSE 2004PrCh
FSE 2000PrCh

Contributed to:

FSE 20142014
ICSE 20142014
ESEC/FSE 20132013
OOPSLA 20122012
FSE 20082008
ICSE 20082008
RE 20082008
ESEC/FSE 20072007
ICSE 20072007
ICSE 20062006
FASE 20052005
MoDELS 20052005
ESEC/FSE 20012001
ICSM 20012001
ICSE 19991999
WICSA 19991999
ESEC/FSE 19971997
FSE 19961996
ICSE 19941994
ICSE 19921992
ISSTA 19891989
ASE 20162016
FSE 20162016
ESEC/FSE 20172017
ESEC/FSE 20182018
FASE 20162016

Wrote 29 papers:

FSE-2014-ElbaumR #nondeterminism #testing
Known unknowns: testing in the presence of uncertainty (SGE, DSR), pp. 833–836.
ICSE-2014-SuR #analysis #empirical #parametricity #probability
Perturbation analysis of stochastic systems with empirical distribution parameters (GS, DSR), pp. 311–321.
ESEC-FSE-2013-ZervoudakisREF #model checking #verification
Cascading verification: an integrated method for domain-specific model checking (FZ, DSR, SGE, AF), pp. 400–410.
OOPSLA-2012-LucasER #detection #distributed #problem #sequence
Detecting problematic message sequences and frequencies in distributed systems (CL, SGE, DSR), pp. 915–926.
FSE-2008-SamaRWE #adaptation #detection #fault #modelling
Model-based fault detection in context-aware adaptive applications (MS, DSR, ZW, SGE), pp. 261–271.
ICSE-2008-MauleER #database #impact analysis
Impact analysis of database schema changes (AM, WE, DSR), pp. 451–460.
RE-2008-DubocLRW #case study #elicitation #requirements #scalability
A Case Study in Eliciting Scalability Requirements (LD, EL, DSR, TW), pp. 247–252.
ESEC-FSE-2007-DubocRW #analysis #framework #scalability
A framework for characterization and analysis of software system scalability (LD, DSR, TW), pp. 375–384.
ESEC-FSE-2007-FosterEKMRU #composition #constraints #model checking
Model checking service compositions under resource constraints (HF, WE, JK, JM, DSR, SU), pp. 225–234.
ICSE-2007-WangER #automation #generative #testing
Automated Generation of Context-Aware Tests (ZW, SGE, DSR), pp. 406–415.
ICSE-2006-DubocRW #analysis #framework #modelling #scalability
A framework for modelling and analysis of software systems scalability (LD, DSR, TW), pp. 949–952.
FASE-2005-RodriguesRU #component #concurrent #predict #reliability #using
Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems (GNR, DSR, SU), pp. 111–126.
MoDELS-2005-RodriguesRU #development #modelling #predict #reliability
Reliability Prediction in Model-Driven Development (GNR, DSR, SU), pp. 339–354.
ESEC-FSE-2001-LuerR #component #development #named
WREN — an environment for component-based development (CL, DSR), pp. 207–217.
ICSM-2001-OrsoHRRSD #component #testing #using
Using Component Metacontent to Support the Regression Testing of Component-Based Software (AO, MJH, DSR, GR, MLS, HD), pp. 716–725.
ICSE-1999-MedvidovicRT #architecture #development #evolution
A Language and Environment for Architecture-Based Software Development and Evolution (NM, DSR, RNT), pp. 44–53.
ICSE-1999-NittoR #architecture #middleware
Exploiting ADLs to Specify Architectural Styles Induced by Middleware Infrastructures (EDN, DSR), pp. 13–22.
WICSA-1999-MedvidovicR #architecture #design #modelling #standard
Assessing the Suitability of a Standard Design Method for Modeling Software Architectures (NM, DSR), pp. 161–182.
ESEC-FSE-1997-RosenblumW #design #framework
A Design Framework for Internet-Scale Event Observation and Notification (DSR, ALW), pp. 344–360.
FSE-1996-RosenblumW #effectiveness #predict #testing
Predicting the Cost-Effectiveness of Regression Testing Strategies (DSR, EJW), pp. 118–126.
ICSE-1994-ChenRV #named #testing
TestTube: A System for Selective Regression Testing (YFC, DSR, KPV), pp. 211–220.
ICSE-1994-DevanbuRW #analysis #automation #testing #tool support
Automated Construction of Testing and Analysis Tools (PTD, DSR, ALW), pp. 241–250.
ICSE-1992-Rosenblum #programming #towards
Towards a Method of Programming With Assertions (DSR), pp. 92–104.
TAV-1989-RosenblumL #correctness #specification #testing
Testing the Correctness of Tasking Supervisors with TSL Specifications (DSR, DCL), pp. 187–196.
ASE-2016-Rosenblum #power of #probability
The power of probabilistic thinking (DSR), p. 3.
FSE-2016-BruninkR #mining #performance #specification
Mining performance specifications (MB, DSR), pp. 39–49.
ESEC-FSE-2017-LlerenaSR #in the cloud #model checking #probability
Probabilistic model checking of perturbed MDPs with applications to cloud computing (YRSL, GS, DSR), pp. 454–464.
ESEC-FSE-2018-LlerenaBBSR #behaviour #modelling #nondeterminism #probability #verification
Verifying the long-run behavior of probabilistic system models in the presence of uncertainty (YRSL, MB, MB, GS, DSR), pp. 587–597.
FASE-2016-SuCFRT #adaptation #markov #process #self
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems (GS, TC, YF0, DSR, PST), pp. 269–286.

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.