Papers

Award Papers

Ubiquitous Computing

Software Specification, Verification, Testing and Analysis

Publish/Subscribe and Distributed Event-Based Systems

Software Architecture

Component-Based Software

Software Process

From the ACM Digital LibraryDavid's ACM Digital Library Author Page

ACM DL Author-ize serviceMining performance specifications
Marc Brünink, David S. Rosenblum
FSE 2016 Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
ACM DL Author-ize serviceThe power of probabilistic thinking
David S. Rosenblum
ASE 2016 Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
ACM DL Author-ize serviceReliability of Run-Time Quality-of-Service evaluation using parametric model checking
Guoxin Su, David S. Rosenblum, Giordano Tamburrelli
ICSE '16 Proceedings of the 38th International Conference on Software Engineering, 2016
ACM DL Author-ize serviceKnown unknowns: testing in the presence of uncertainty
Sebastian Elbaum, David S. Rosenblum
FSE 2014 Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2014
ACM DL Author-ize servicePerturbation analysis of stochastic systems with empirical distribution parameters
Guoxin Su, David S. Rosenblum
ICSE 2014 Proceedings of the 36th International Conference on Software Engineering, 2014
ACM DL Author-ize serviceCascading verification: an integrated method for domain-specific model checking
Fokion Zervoudakis, David S. Rosenblum, Sebastian Elbaum, Anthony Finkelstein
ESEC/FSE 2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, 2013
ACM DL Author-ize serviceContext-aware mobile music recommendation for daily activities
Xinxi Wang, David Rosenblum, Ye Wang
MM '12 Proceedings of the 20th ACM international conference on Multimedia, 2012
ACM DL Author-ize serviceA daily, activity-aware, mobile music recommender system
Xinxi Wang, Ye Wang, David Rosenblum
MM '12 Proceedings of the 20th ACM international conference on Multimedia, 2012
ACM DL Author-ize serviceDetecting problematic message sequences and frequencies in distributed systems
Charles Lucas, Sebastian Elbaum, David S. Rosenblum
OOPSLA '12 Proceedings of the ACM international conference on Object oriented programming systems languages and applications, 2012
ACM DL Author-ize serviceVOLARE: context-aware adaptive cloud service discovery for mobile systems
Panagiotis Papakos, Licia Capra, David S. Rosenblum
ARM '10 Proceedings of the 9th International Workshop on Adaptive and Reflective Middleware, 2010
ACM DL Author-ize serviceROAR: increasing the flexibility and performance of distributed search
Costin Raiciu, Felipe Huici, Mark Handley, David S. Rosenblum SIGCOMM '09 Proceedings of the ACM SIGCOMM 2009 conference on Data communication, 2009
ACM DL Author-ize serviceSoftware system scalability: concepts and techniques
David S. Rosenblum
ISEC '09 Proceedings of the 2nd India software engineering conference, 2009
ACM DL Author-ize serviceModel-based fault detection in context-aware adaptive applications
Michele Sama, David S. Rosenblum, Zhimin Wang, Sebastian Elbaum
SIGSOFT '08/FSE-16 Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, 2008
ACM DL Author-ize serviceACM SIGSOFT impact paper award: reflections and prospects
David S. Rosenblum, Alexander L. Wolf
SIGSOFT '08/FSE-16 Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, 2008
ACM DL Author-ize serviceImpact analysis of database schema changes
Andy Maule, Wolfgang Emmerich, David S. Rosenblum
ICSE '08 Proceedings of the 30th international conference on Software engineering, 2008
ACM DL Author-ize serviceMulti-layer faults in the architectures of mobile, context-aware adaptive applications: a position paper
Michele Sama, David S. Rosenblum, Zhimin Wang, Sebastian Elbaum
SAM '08 Proceedings of the 1st international workshop on Software architectures and mobility, 2008
ACM DL Author-ize serviceModel checking service compositions under resource constraints
Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David Rosenblum, Sebastian Uchitel
ESEC-FSE '07 Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, 2007
ACM DL Author-ize serviceA framework for characterization and analysis of software system scalability
Leticia Duboc, David Rosenblum, Tony Wicks
ESEC-FSE '07 Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, 2007
ACM DL Author-ize serviceExploit hijacking: side effects of smart defenses
Costin Raiciu, Mark Handley, David S. Rosenblum
LSAD '06 Proceedings of the 2006 SIGCOMM workshop on Large-scale attack defense, 2006
ACM DL Author-ize serviceA framework for modelling and analysis of software systems scalability
Leticia Duboc, David S. Rosenblum, Tony Wicks
ICSE '06 Proceedings of the 28th international conference on Software engineering, 2006
ACM DL Author-ize serviceSensitivity analysis for a scenario-based reliability prediction model
Genaína N. Rodrigues, David S. Rosenblum, Sebastian Uchitel
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems, 2005
ACM DL Author-ize serviceWREN--an environment for component-based development
Chris Lüer, David S. Rosenblum
ESEC/FSE-9 Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, 2001
ACM DL Author-ize serviceThe evolution of software evolvability
Chris Lüer, David S. Rosenblum, André van der Hoek
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution, 2001
ACM DL Author-ize serviceAchieving scalability and expressiveness in an Internet-scale event notification service
Antonio Carzaniga, David S. Rosenblum, Alexander L. Wolf
PODC '00 Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing, 2000
ACM DL Author-ize serviceExploiting ADLs to specify architectural styles induced by middleware infrastructures
Elisabetta Di Nitto, David Rosenblum
ICSE '99 Proceedings of the 21st international conference on Software engineering, 1999
ACM DL Author-ize serviceA language and environment for architecture-based software development and evolution
Nenad Medvidovic, David S. Rosenblum, Richard N. Taylor
ICSE '99 Proceedings of the 21st international conference on Software engineering, 1999
ACM DL Author-ize serviceMerging component models and architectural styles
Rema Natarajan, David S. Rosenblum
ISAW '98 Proceedings of the third international workshop on Software architecture, 1998
ACM DL Author-ize serviceIssues in supporting event-based architectural styles
Antonio Carzaniga, Elisabetta Di Nitto, David S. Rosenblum, Alexander L. Wolf
ISAW '98 Proceedings of the third international workshop on Software architecture, 1998
ACM DL Author-ize servicePredicting the cost-effectiveness of regression testing strategies
David S. Rosenblum, Elaine J. Weyuker
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, 1996
ACM DL Author-ize serviceGenerating testing and analysis tools with Aria
Premkumar T. Devanbu, David S. Rosenblum, Alexander L. Wolf
ACM Transactions on Software Engineering and Methodology (TOSEM), 1996
ACM DL Author-ize serviceTowards a method of programming with assertions
David S. Rosenblum
ICSE '92 Proceedings of the 14th international conference on Software engineering, 1992
ACM DL Author-ize serviceAn event-based model of software configuration management
David S. Rosenblum, Balachander Krishnamurthy
SCM '91 Proceedings of the 3rd international workshop on Software configuration management, 1991
ACM DL Author-ize serviceTesting the correctness of tasking supervisors with TSL specifications
D. Rosenblum, D. Luckham
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, 1989
ACM DL Author-ize serviceAn implementation of Anna
Sriram Sankar, David Rosenblum, Randall Neff
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada, 1985

Last updated 13 December 2016