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: Rosenblum:David_S=
Facilitated 8 volumes:
PrCoPrCo
EdPrCh
Ed
EdPrCh
PrChContributed to:
20142014
2013
201220082008
20082007200720062005
20052001
20011999
199919971996199419921989
20162016201720182016Wrote 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.