David S. Rosenblum
Orcid: 0000-0003-1685-4206Affiliations:
- George Mason University, USA
- National University of Singapore, Singapore (former)
- University College London, UK (former)
According to our database1,
David S. Rosenblum
authored at least 143 papers
between 1985 and 2023.
Collaborative distances:
Collaborative distances:
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 Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on linkedin.com
-
on acm.org
-
on orcid.org
-
on cs.gmu.edu
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Mixed-Order Relation-Aware Recurrent Neural Networks for Spatio-Temporal Forecasting.
IEEE Trans. Knowl. Data Eng., September, 2023
2022
IEEE Trans. Software Eng., 2022
IEEE Trans. Big Data, 2022
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022
2021
Proceedings of the WWW '21: The Web Conference 2021, 2021
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021
2020
IEEE Trans. Knowl. Data Eng., 2020
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2020
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020
Proceedings of the 2020 International Joint Conference on Neural Networks, 2020
Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020
2019
ACM Trans. Softw. Eng. Methodol., 2019
ACM Trans. Embed. Comput. Syst., 2019
Proceedings of the Model Checking Software - 26th International Symposium, 2019
Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2019
Learning Multi-Objective Rewards and User Utility Function in Contextual Bandits for Personalized Ranking.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the Semantic Web - 16th International Conference, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Learning structures of interval-based Bayesian networks in probabilistic generative model for human complex activity recognition.
Pattern Recognit., 2018
CoRR, 2018
Proceedings of the Model Checking Software - 25th International Symposium, 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
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
2017
Finding Maximum Expected Termination Time of Probabilistic Timed Automata Models with Cyclic behavior.
CoRR, 2017
CoRR, 2017
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
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
IEEE Trans. Software Eng., 2016
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
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
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
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
IEEE Softw., 2015
Proceedings of the 5th International Conference on the Internet of Things, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
2014
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014
Proceedings of the 36th International Conference on Software Engineering, 2014
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
IEEE Trans. Software Eng., 2013
Report of the 2013 ICSE 1st international workshop on engineering mobile-enabled systems (MOBS 2013): 12.
ACM SIGSOFT Softw. Eng. Notes, 2013
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
Proceedings of the Formal Methods and Software Engineering, 2013
2012
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012
Proceedings of the 20th ACM Multimedia Conference, MM '12, Nara, Japan, October 29, 2012
Proceedings of the 20th ACM Multimedia Conference, MM '12, Nara, Japan, October 29, 2012
2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
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
Multi-layer faults in the architectures of mobile, context-aware adaptive applications.
J. Syst. Softw., 2010
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
Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010
2009
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009
Proceedings of the ACM SIGCOMM 2009 Conference on Applications, 2009
Proceedings of the Proceeding of the 2nd Annual India Software Engineering Conference, 2009
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009
2008
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008
Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008
Proceedings of the Service-Oriented Computing, 2008
Multi-layer faults in the architectures of mobile, context-aware adaptive applications: a position paper.
Proceedings of the 1st International Workshop on Software Architectures and Mobility, 2008
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008
2007
Softw. Test. Verification Reliab., 2007
IEEE Secur. Priv., 2007
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2007
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
Proceedings of the Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007
2006
ACM SIGSOFT Softw. Eng. Notes, 2006
Proceedings of the 2006 SIGCOMM Workshop on Large-Scale Attack Defense, 2006
Proceedings of the Second International Conference on Security and Privacy in Communication Networks and the Workshops, 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Proceedings of the 14th IEEE International Conference on Network Protocols, 2006
Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006
2005
ACM SIGSOFT Softw. Eng. Notes, 2005
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
ACM Trans. Softw. Eng. Methodol., 2002
2001
IEEE Trans. Software Eng., 2001
IEEE Trans. Software Eng., 2001
A comparative study of coarse- and fine-grained safe regression test-selection techniques.
ACM Trans. Softw. Eng. Methodol., 2001
ACM Trans. Comput. Syst., 2001
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001
Proceedings of the 4th International Workshop on Principles of Software Evolution, 2001
Using Component Metacontent to Support the Regression Testing of Component-Based Software.
Proceedings of the 2001 International Conference on Software Maintenance, 2001
2000
ACM SIGSOFT Softw. Eng. Notes, 2000
IEE Proc. Softw., 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
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
1998
Proceedings of the Third International Workshop on Software Architecture, 1998
Proceedings of the Third International Workshop on Software Architecture, 1998
1997
Using Coverage Information to Predict the Cost-Effectiveness of Regression Testing Strategies.
IEEE Trans. Software Eng., 1997
Proceedings of the Software Engineering, 1997
Proceedings of the Conference on Domain-Specific Languages, 1997
1996
ACM Trans. Softw. Eng. Methodol., 1996
Formal methods and testing: why the state-of-the art is not the state-of-the practice.
ACM SIGSOFT Softw. Eng. Notes, 1996
Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996
1995
IEEE Trans. Software Eng., 1995
Two Case Studies in Modeling Real, Corporate Processes.
Softw. Process. Improv. Pract., 1995
1994
Proceedings of the 16th International Conference on Software Engineering, 1994
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.
Proceedings of the Second International Conference on the Software Process, 1993
1992
Proceedings of the 14th International Conference on Software Engineering, 1992
1991
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
Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989
1986
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1986
1985
IEEE Softw., 1985
Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985