David S. Rosenblum

According to our database1, David S. Rosenblum authored at least 122 papers between 1985 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Awards

ACM Fellow

ACM Fellow 2010, "For contributions to software testing and distributed systems, and for service to the software engineering community.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Farewell Editorial from the Outgoing Editor-in-Chief.
ACM Trans. Softw. Eng. Methodol., 2019

MMKG: Multi-Modal Knowledge Graphs.
CoRR, 2019

UrbanFM: Inferring Fine-Grained Urban Flows.
CoRR, 2019

2018
Editorial.
ACM Trans. Softw. Eng. Methodol., 2018

Editorial.
ACM Trans. Softw. Eng. Methodol., 2018

Learning structures of interval-based Bayesian networks in probabilistic generative model for human complex activity recognition.
Pattern Recognition, 2018

Verifying the long-run behavior of probabilistic system models in the presence of uncertainty.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

A Non-Parametric Generative Model for Human Trajectories.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017
Editorial.
ACM Trans. Softw. Eng. Methodol., 2017

An Interval-Based Bayesian Generative Model for Human Complex Activity Recognition.
CoRR, 2017

Probabilistic model checking of perturbed MDPs with applications to cloud computing.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

ProEva: runtime proactive performance evaluation based on continuous-time markov chains.
Proceedings of the 39th International Conference on Software Engineering, 2017

Using Branch Frequency Spectra to Evaluate Operational Coverage.
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters.
IEEE Trans. Software Eng., 2016

Editorial: Journal-First Publication for the Software Engineering Community.
IEEE Trans. Software Eng., 2016

Editorial.
ACM Trans. Softw. Eng. Methodol., 2016

From action to activity: Sensor-based activity recognition.
Neurocomputing, 2016

Action2Activity: Recognizing Complex Activities from Sensor Data.
CoRR, 2016

Predicting Urban Water Quality with Ubiquitous Data.
CoRR, 2016

Mining performance specifications.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

The power of probabilistic thinking.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

A Bandit Approach for Intelligent IoT Service Composition across Heterogeneous Smart Spaces.
Proceedings of the 6th International Conference on the Internet of Things, 2016

Urban Water Quality Prediction Based on Multi-Task Multi-View Learning.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Reliability of Run-Time Quality-of-Service evaluation using parametric model checking.
Proceedings of the 38th International Conference on Software Engineering, 2016

An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2016

Fortune Teller: Predicting Your Career Path.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

Recognizing Complex Activities by a Probabilistic Interval-Based Model.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

Fusing Social Networks with Deep Learning for Volunteerism Tendency Prediction.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Editorial Journal-First Publication for the Software Engineering Community.
ACM Trans. Softw. Eng. Methodol., 2015

Roundtable: The Future of Software Engineering for Internet Computing.
IEEE Software, 2015

The pros and cons of the 'PACM' proposal: counterpoint.
Commun. ACM, 2015

Ambient flow: A visual approach for remixing the Internet of Things.
Proceedings of the 5th International Conference on the Internet of Things, 2015

Action2Activity: Recognizing Complex Activities from Sensor Data.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014
Editorial.
ACM Trans. Softw. Eng. Methodol., 2014

Editorial.
ACM Trans. Softw. Eng. Methodol., 2014

Editorial.
ACM Trans. Softw. Eng. Methodol., 2014

Known unknowns: testing in the presence of uncertainty.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Perturbation analysis of stochastic systems with empirical distribution parameters.
Proceedings of the 36th International Conference on Software Engineering, 2014

Perturbation Analysis in Verification of Discrete-Time Markov Chains.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters.
Proceedings of the Automated Technology for Verification and Analysis, 2014

2013
Systematic Elaboration of Scalability Requirements through Goal-Obstacle Analysis.
IEEE Trans. Software Eng., 2013

In memoriam: David Notkin (1955-2013).
ACM Trans. Softw. Eng. Methodol., 2013

Editorial - looking forward.
ACM Trans. Softw. Eng. Methodol., 2013

Report of the 2013 ICSE 1st international workshop on engineering mobile-enabled systems (MOBS 2013): 12.
ACM SIGSOFT Software Engineering Notes, 2013

Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems
CoRR, 2013

Cascading verification: an integrated method for domain-specific model checking.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

1st international workshop on the engineering of mobile-enabled systems (MOBS 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013

Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems.
Proceedings of the Formal Methods and Software Engineering, 2013

2012
Detecting problematic message sequences and frequencies in distributed systems.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

A daily, activity-aware, mobile music recommender system.
Proceedings of the 20th ACM Multimedia Conference, MM '12, Nara, Japan, October 29, 2012

Context-aware mobile music recommendation for daily activities.
Proceedings of the 20th ACM Multimedia Conference, MM '12, Nara, Japan, October 29, 2012

2011
Runtime Support for Dynamic and Adaptive Service Composition.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Specification and Analysis of Dynamically-Reconfigurable Service Architectures.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010
Context-Aware Adaptive Applications: Fault Patterns and Their Automated Identification.
IEEE Trans. Software Eng., 2010

Death, Taxes, & Scalability.
IEEE Software, 2010

Multi-layer faults in the architectures of mobile, context-aware adaptive applications.
Journal of Systems and Software, 2010

VOLARE: context-aware adaptive cloud service discovery for mobile systems.
Proceedings of the 9th Workshop on Adaptive and Reflective Middleware, 2010

A Model to Design and Verify Context-Aware Adaptive Service Composition.
Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

Model-Based Testing for the Cloud.
Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2009
VOLARE: Adaptive Web Service Discovery Middleware for Mobile Systems.
ECEASST, 2009

ROAR: increasing the flexibility and performance of distributed search.
Proceedings of the ACM SIGCOMM 2009 Conference on Applications, 2009

Software system scalability: concepts and techniques.
Proceedings of the Proceeding of the 2nd Annual India Software Engineering Conference, 2009

Engage: Engineering Service Modes with WS-Engineer and Dino.
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

A Model to Design and Verify Context-Aware Adaptive Service Composition.
Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009

2008
Model-based fault detection in context-aware adaptive applications.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

ACM SIGSOFT impact paper award: reflections and prospects.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

A Case Study in Eliciting Scalability Requirements.
Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008

Algorithms for efficient symbolic detection of faults in context-aware applications.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes.
Proceedings of the Service-Oriented Computing, 2008

Impact analysis of database schema changes.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007
Using component metadata to regression test component-based software.
Softw. Test., Verif. Reliab., 2007

What Anyone Can Know: The Privacy Risks of Social Networking Sites.
IEEE Security & Privacy, 2007

Foreword to state-of-the-art presentations.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Model checking service compositions under resource constraints.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

A framework for characterization and analysis of software system scalability.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

The Certification of Software Tools with respect to Software Standards.
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2007

Automated Generation of Context-Aware Tests.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Reliability Analysis of Concurrent Systems Using LTSA.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

QoS-Aware Service Composition in Dino.
Proceedings of the Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007

2006
A historical perspective on runtime assertion checking in software development.
ACM SIGSOFT Software Engineering Notes, 2006

Enabling Confidentiality in Content-Based Publish/Subscribe Infrastructures.
Proceedings of the Second International Conference on Security and Privacy in Communication Networks and the Workshops, 2006

A framework for modelling and analysis of software systems scalability.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Reducing Congestion Effects in Wireless Networks by Multipath Routing.
Proceedings of the 14th IEEE International Conference on Network Protocols, 2006

Revisiting Content-Based Publish/Subscribe.
Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006

2005
Sensitivity analysis for a scenario-based reliability prediction model.
ACM SIGSOFT Software Engineering Notes, 2005

Reliability Prediction in Model-Driven Development.
Proceedings of the Model Driven Engineering Languages and Systems, 2005

Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2005

2002
Modeling software architectures in the Unified Modeling Language.
ACM Trans. Softw. Eng. Methodol., 2002

2001
Guest Editors' Introduction: 1999 International Conference on Software Engineering.
IEEE Trans. Software Eng., 2001

Empirical Studies of a Prediction Model for Regression Test Selection.
IEEE Trans. Software Eng., 2001

A comparative study of coarse- and fine-grained safe regression test-selection techniques.
ACM Trans. Softw. Eng. Methodol., 2001

Design and evaluation of a wide-area event notification service.
ACM Trans. Comput. Syst., 2001

WREN---an environment for component-based development.
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Using Component Metacontent to Support the Regression Testing of Component-Based Software.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

2000
CAREER: mechanisms for ensuring the integrity of distributed object systems.
ACM SIGSOFT Software Engineering Notes, 2000

Supporting architectural concerns in component interoperability standards.
IEE Proceedings - Software, 2000

Achieving scalability and expressiveness in an Internet-scale event notification service.
Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000

Component Metadata for Software Engineering Tasks.
Proceedings of the Engineering Distributed Objects, Second International Workshop, 2000

1999
Assessing the Suitability of a Standard Design Method for Modeling Software Architectures.
Proceedings of the Software Architecture, 1999

Exploiting ADLs to Specify Architectural Styles Induced by Middleware Infrastructures.
Proceedings of the 1999 International Conference on Software Engineering, 1999

A Language and Environment for Architecture-Based Software Development and Evolution.
Proceedings of the 1999 International Conference on Software Engineering, 1999

1997
Using Coverage Information to Predict the Cost-Effectiveness of Regression Testing Strategies.
IEEE Trans. Software Eng., 1997

Lessons Learned from a Regression Testing Case Study.
Empirical Software Engineering, 1997

A Design Framework for Internet-Scale Event Observation and Notification.
Proceedings of the Software Engineering, 1997

Domains of Concern in Software Architectures and Architecture Description Languages.
Proceedings of the Conference on Domain-Specific Languages, 1997

1996
Generating Testing and Analysis Tools with Aria.
ACM Trans. Softw. Eng. Methodol., 1996

Predicting the Cost-Effectiveness of Regression Testing Strategies.
Proceedings of the SIGSOFT '96, 1996

1995
Correction to "A Practical Approach to Programming with Assertions".
IEEE Trans. Software Eng., 1995

A Practical Approach to Programming With Assertions.
IEEE Trans. Software Eng., 1995

Yeast: A General Purpose Event-Action System.
IEEE Trans. Software Eng., 1995

Two Case Studies in Modeling Real, Corporate Processes.
Software Process: Improvement and Practice, 1995

1994
Automated Construction of Testing and Analysis Tools.
Proceedings of the 16th International Conference on Software Engineering, 1994

TestTube: A System for Selective Regression Testing.
Proceedings of the 16th International Conference on Software Engineering, 1994

1993
Process-Centered Environment (Only) Support Environment-Centered Processes.
Proceedings of the State of the Practice in Process Technology, 1993

A Study in Software Process Data Capture and Analysis.
ICSP, 1993

1992
Towards a Method of Programming With Assertions.
Proceedings of the 14th International Conference on Software Engineering, 1992

1991
Specifying Concurrent Systems with TSL.
IEEE Software, 1991

An Event-Based Model of Software Configuration Management.
Proceedings of the 3rd International Workshop on Software Configuration Management, 1991

Representing Semantically Analyzed C++ Code with Reprise.
Proceedings of the C++ Conference. Washington, D.C., USA, April 1991, 1991

1989
Testing the Correctness of Tasking Supervisors with TSL Specifications.
Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

1986
Concurrent Runtime Checking of Annotated Ada Programs.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1986

1985
A Methodology for the Design of Ada Transformation Tools in a DIANA Environment.
IEEE Software, 1985


  Loading...