David Samuel Rosenblum

David Samuel Rosenblum's AcademicInfluence.com Rankings

Computer Science

#9242

World Rank

#9709

Historical Rank

Database

#6218

World Rank

#6448

Historical Rank

computer-science Degrees

Download Badge

Computer Science

David Samuel Rosenblum's Degrees

PhD Computer Science Stanford University
Bachelors Computer Science Carnegie Mellon University

Similar Degrees You Can Earn

Why Is David Samuel Rosenblum Influential?

(Suggest an Edit or Addition)

(See a Problem?)

David Samuel Rosenblum's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Design and evaluation of a wide-area event notification service (2001) (1717)
An architecture-based approach to self-adaptive software (1999) (1136)
From action to activity: Sensor-based activity recognition (2016) (504)
Achieving scalability and expressiveness in an Internet-scale event notification service (2000) (453)
Modeling software architectures in the Unified Modeling Language (2002) (430)
Action2Activity: Recognizing Complex Activities from Sensor Data (2015) (395)
A language and environment for architecture-based software development and evolution (1999) (355)
A Practical Approach to Programming With Assertions (1995) (351)
TESTTUBE: a system for selective regression testing (1994) (347)
Fortune Teller: Predicting Your Career Path (2016) (252)
A design framework for Internet-scale event observation and notification (1997) (213)
Recognizing Complex Activities by a Probabilistic Interval-Based Model (2016) (211)
Urban Water Quality Prediction Based on Multi-Task Multi-View Learning (2016) (207)
Context-aware mobile music recommendation for daily activities (2012) (203)
Yeast: A General Purpose Event-Action System (1995) (139)
Component Metadata for Software Engineering Tasks (2000) (137)
A historical perspective on runtime assertion checking in software development (2006) (133)
A comparative study of coarse- and fine-grained safe regression test-selection techniques (2001) (124)
Exploiting ADLs to specify architectural styles induced by middleware infrastructures (1999) (121)
Using component metacontent to support the regression testing of component-based software (2001) (120)
Context-Aware Adaptive Applications: Fault Patterns and Their Automated Identification (2010) (117)
Content-Based Addressing and Routing: A General Model and its Application (2000) (113)
Enabling Confidentiality in Content-Based Publish/Subscribe Infrastructures (2006) (110)
Automated Generation of Context-Aware Tests (2007) (110)
Reducing Congestion Effects in Wireless Networks by Multipath Routing (2006) (109)
Achieving expressiveness and scalability in an internet-scale event notification service (2000) (102)
Towards A Method Of Programming With Assertions (1992) (100)
Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems (2005) (97)
Using Coverage Information to Predict the Cost-Effectiveness of Regression Testing Strategies (1997) (95)
Design of a Scalable Event Notification Service: Interface and Architecture (1998) (92)
QoS-Aware Service Composition in Dino (2007) (89)
Empirical Studies of a Prediction Model for Regression Test Selection (2001) (89)
Assessing the Suitability of a Standard Design Method for Modeling Software Architectures (1999) (87)
A study in software process data capture and analysis (1993) (86)
Model-based fault detection in context-aware adaptive applications (2008) (83)
Issues in supporting event-based architectural styles (1998) (79)
UrbanFM: Inferring Fine-Grained Urban Flows (2019) (75)
Adequate Testing of Component-Based Software (1997) (75)
MMKG: Multi-Modal Knowledge Graphs (2019) (74)
Challenges for Distributed Event Services: Scalability vs. Expressiveness (1999) (72)
Domains of Concern in Software Architectures and Architecture Description Languages (1997) (71)
A framework for characterization and analysis of software system scalability (2007) (68)
A Non-Parametric Generative Model for Human Trajectories (2018) (65)
Interfaces and Algorithms for a Wide-Area Event Notification Service (1999) (65)
Learning structures of interval-based Bayesian networks in probabilistic generative model for human complex activity recognition (2018) (63)
Model checking service compositions under resource constraints (2007) (60)
A framework for modelling and analysis of software systems scalability (2006) (55)
Directed Graph Convolutional Network (2020) (54)
VOLARE: context-aware adaptive cloud service discovery for mobile systems (2010) (53)
WREN---an environment for component-based development (2001) (51)
Round-Trip Software Engineering Using UML: From Architecture to Design and Back (1999) (51)
Predicting Urban Water Quality with Ubiquitous Data (2016) (48)
Reliability prediction in model-driven development (2005) (46)
Representing Semantically Analyzed C++ Code with Reprise (1991) (45)
Digraph Inception Convolutional Networks (2020) (43)
Specifying concurrent systems with TSL (1991) (43)
Using component metadata to regression test component‐based software (2007) (42)
Formal methods and testing: why the state-of-the art is not the state-of-the practice (1996) (37)
Software Architecture and Component Technologies: Bridging the Gap (1997) (36)
Challenges for Distributed Event Services: Scalability vs (1999) (36)
Generating testing and analysis tools with Aria (1996) (35)
Self-Adaptive Software: An Architecture-based Approach (1999) (33)
Editorial Journal-First Publication for the Software Engineering Community (2015) (32)
Systematic Elaboration of Scalability Requirements through Goal-Obstacle Analysis (2013) (31)
Known unknowns: testing in the presence of uncertainty (2014) (30)
Multi-layer faults in the architectures of mobile, context-aware adaptive applications (2010) (29)
On the Role of Connectors in Modeling and Implementing Software Architectures (1998) (28)
Numerical Experiments in Fourier Asymptotics of Cantor Measures and Wavelets (1992) (28)
Fine-Grained Urban Flow Prediction (2021) (28)
The evolution of software evolvability (2001) (26)
Towards software multioperability: bridging heterogeneous software interoperability platforms (2000) (26)
Two Case Studies in Modeling Real, Corporate Processes (1995) (26)
Fine-Grained Urban Flow Inference (2020) (26)
Supporting architectural concerns in component interoperability standards (2000) (25)
An event-based model of software configuration management (1991) (24)
Translation-Based Sequential Recommendation for Complex Users on Sparse Data (2020) (24)
Reliability of Run-Time Quality-of-Service Evaluation Using Parametric Model Checking (2016) (24)
An Architecture-Based Approach to Software Evolution (1998) (24)
Challenges in Exploiting Architectural Models for Software Testing (1998) (23)
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems (2016) (23)
A Comparative Study of Regression Test Selection Techniques (1997) (22)
A Methodology for the Design of Ada Transformation Tools in a DIANA Environment (1985) (22)
Fusing Social Networks with Deep Learning for Volunteerism Tendency Prediction (2016) (22)
Mining performance specifications (2016) (21)
Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems (2013) (21)
A Case Study in Eliciting Scalability Requirements (2008) (21)
Concurrent Runtime Checking of Annotated Ada Programs (1986) (20)
Predicting the cost-effectiveness of regression testing strategies (1996) (20)
A Type Theory for Software Architectures (1998) (19)
Self-Checking Deep Neural Networks in Deployment (2021) (19)
A Bandit Approach for Intelligent IoT Service Composition across Heterogeneous Smart Spaces (2016) (19)
Perturbation Analysis in Verification of Discrete-Time Markov Chains (2014) (19)
Revisiting Content-Based Publish/Subscribe (2006) (17)
A Model to Design and Verify Context-Aware Adaptive Service Composition (2009) (17)
Process-Centered Environment (Only) Support Environment-Centered Processes (1993) (17)
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters (2016) (16)
The complete transformation methodology for sequential runtime checking of an ANNA subset (1986) (16)
UML Component Diagrams and Software Architecture Experiences from the WREN Project (2001) (15)
Automated construction of testing and analysis tools (1994) (15)
An event-action model of computer-supported cooperative work: design and implementation (1991) (14)
Sensitivity analysis for a scenario-based reliability prediction model (2005) (14)
An environment for Ada software development based on formal specification (1987) (14)
A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes (2008) (14)
Revisiting Convolutional Neural Networks for Citywide Crowd Flow Analytics (2020) (14)
An empirical comparison of regression test selection techniques (1997) (13)
ProEva: Runtime Proactive Performance Evaluation Based on Continuous-Time Markov Chains (2017) (13)
Reducing Congestion Effects by Multipath Routing in Wireless Networks (2006) (13)
Perturbation analysis of stochastic systems with empirical distribution parameters (2014) (12)
An efficient communication kernel for distributed ada runtime tasking supervisors (1987) (12)
Correction to "A Practical Approach to Programming with Assertions" (1995) (12)
On the Role of Style in Selecting Middleware and Underwear (1999) (11)
Design and verification of distributed tasking supervisors for concurrent programming languages (1988) (11)
Merging component models and architectural styles (1998) (11)
A daily, activity-aware, mobile music recommender system (2012) (11)
Detecting problematic message sequences and frequencies in distributed systems (2012) (10)
Verifying the long-run behavior of probabilistic system models in the presence of uncertainty (2018) (10)
Learning Multi-Objective Rewards and User Utility Function in Contextual Bandits for Personalized Ranking (2019) (10)
Using component metadata to regression test component-based software: Research Articles (2007) (9)
Lessons Learned from a Regression Testing Case Study (1997) (9)
The Certification of Software Tools with respect to Software Standards (2007) (9)
Critical Considerations and Designs for Internet-Scale, Event-Based Compositional Architectures (1998) (9)
Ambient flow: A visual approach for remixing the Internet of Things (2015) (8)
Integrating C2 with the Unified Modeling Language (1997) (8)
Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters (2014) (8)
Multi-layer faults in the architectures of mobile, context-aware adaptive applications: a position paper (2008) (8)
Runtime Support for Dynamic and Adaptive Service Composition (2011) (7)
Predicting Urban Water Quality With Ubiquitous Data - A Data-Driven Approach (2020) (7)
Testing the correctness of tasking supervisors with TSL specifications (1989) (7)
Probabilistic model checking of perturbed MDPs with applications to cloud computing (2017) (7)
Death, Taxes, & Scalability (2010) (6)
Roundtable: The Future of Software Engineering for Internet Computing (2015) (6)
Reliability Analysis of Concurrent Systems Using LTSA (2007) (6)
Evaluating Recommender System Stability with Influence-Guided Fuzzing (2019) (6)
Dino: Dynamic and Adaptive Composition of Autonomous Services ? (2007) (6)
VOLARE: Adaptive Web Service Discovery Middleware for Mobile Systems (2009) (6)
Model-Based Testing for the Cloud (2010) (6)
Specification and Analysis of Dynamically-Reconfigurable Service Architectures (2011) (5)
The pros and cons of the 'PACM' proposal (2015) (5)
The power of probabilistic thinking (2016) (5)
Report of the 2013 ICSE 1st international workshop on engineering mobile-enabled systems (MOBS 2013): 12 (2013) (5)
Sensitivity analysis for a scenario-based reliability prediction model (2005) (5)
Some Open Problems in Publish/Subscribe Networking (2003) (4)
Algorithms for efficient symbolic detection of faults in context-aware applications (2008) (4)
Extending Component Interoperability Standards to Support Architecture-Based Development (1998) (4)
UbiVal : Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures (2006) (4)
Exploit hijacking: side effects of smart defenses (2006) (4)
Automated Monitoring of Component Integrity in Distributed Object Systems (1997) (3)
Simulation of an ultracomputer with several hot spots. Technical report (1986) (3)
Surveyors' forum: runtime checking and debugging of formally specified programs (1991) (3)
Fundamental Research Issues in Software Testing (2005) (3)
Editorial: Journal-First Publication for the Software Engineering Community (2016) (3)
Generalized event-action handling (1995) (3)
BRIDGING HETEROGENEOUS SOFTWARE INTEROPERABILITY PLATFORMS (2002) (3)
Software system scalability: concepts and techniques (2009) (3)
Using Software Patents To Support The Business Model Of Software Components (2000) (2)
Self-checking programs and program instrumentation (1995) (2)
Revisiting Convolutional Neural Networks for Urban Flow Analytics (2020) (2)
An Implementation of the IEEE Standard for Binary Floating-Point Arithmetic for the Motorola 6809 Microprocessor (1983) (2)
Efficient Decentralized LTL Monitoring Framework Using Tableau Technique (2018) (2)
Editorial—looking forward (2013) (2)
A Visual Design Toolset for Drag-and-drop Smart Space Configuration (2015) (2)
Internet Scale Event Notification (1998) (2)
Self-Checking Deep Neural Networks for Anomalies and Adversaries in Deployment (2022) (2)
Mixed-Order Relation-Aware Recurrent Neural Networks for Spatio-Temporal Forecasting (2022) (2)
1st International workshop on the engineering of mobile-enabled systems (MOBS 2013) (2013) (2)
Fundamental Approaches to Software Engineering, 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings (2010) (2)
Modeling C2 in the Unified Modeling Language (1997) (2)
Conference organization (2009) (2)
Quantitative Verification for Monitoring Event-Streaming Systems (2022) (1)
Proceedings of the 2007 international symposium on Software testing and analysis (2007) (1)
A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table (2019) (1)
Exploiting architecture description languages to specify architectural styles induced by middleware (1999) (1)
Architectural domains: A framework for characterizing architectural defi-nition languages (1997) (1)
26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom (2004) (1)
Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering (2010) (1)
Using Branch Frequency Spectra to Evaluate Operational Coverage (2017) (1)
Impact Analysis of Relational Schema Changes on Native Language Queries∗ (2006) (1)
A com-parative study of coarse-and ne-grained safe regres-sion test selection (2001) (1)
Integrating C 2 with the Unified Modeling Language (1997) (1)
TestTube: A System for Selective Regression Testing Research Paper (1994) (1)
Improving Dynamic Recommendation using Network Embedding for Context Inference (2020) (1)
AFRL-IFRS-TR-2003-273 Final Technical Report November 2003 PROTEUS : ASSESSMENT AND ADAPTATION THROUGH DYNAMIC ARCHITECTURE TECHNOLOGY (2003) (0)
Letter from the Chair (2012) (0)
Letter from Chair (2012) (0)
Engage: Engineering Service Modes with WS-Engineer and Dino (2009) (0)
Message from the DEBS Chairs (2005) (0)
Instance Selection for Online Updating in Dynamic Recommender Environments (2021) (0)
Digraph Laplacian based on PageRank: Limitations of spectral-based GCNs Brief Experimental Results (2020) (0)
Distributed Online Filtering Costin Raiciu (2007) (0)
Session details: Overlay networks, peer-to-peer computing an event-based middleware (2003) (0)
MOR-LinUCB : A Multi-Objective and Context-Aware Ranking Approach (2019) (0)
Editorial (2018) (0)
Generalizing Neural Networks by Reflecting Deviating Data in Production (2021) (0)
Editorial (2014) (0)
Architecture and Component Technologies : Bridging the Gap Information and Computer Science (1997) (0)
Specification and Dynamic Checking of Composition Constraints in Distributed Component-Based Systems (2001) (0)
GUEST EDITORIAL - Challenges in Software Testing (2006) (0)
Unsupervised Learning of Disentangled Location Embeddings (2020) (0)
Farewell Editorial from the Outgoing Editor-in-Chief (2019) (0)
Frontier Journal High-tech Think Tank and Action Workbench (2007) (0)
Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications (2000) (0)
Finding Maximum Expected Termination Time of Probabilistic Timed Automata Models with Cyclic behavior (2017) (0)
Foreword to state-of-the-art presentations (2007) (0)
ACM SIGSOFT impact paper award: reflections and prospects (2008) (0)
In memoriam: David Notkin (1955--2013) (2013) (0)
d Water Sources Pipe Networks Unobserved Factors Spatial Features Temporal Features Spatial Feature Extraction Similarity Esitimation Between Stations Spatial Features Temporal Feature Extraction Temporal Features Pipe attributes Road Lengths (2016) (0)
Guest Editors' Introduction: International Symposium on Software Testing and Analysis (2008) (0)
Reliability Support in Model-Driven Development (2005) (0)
Editorial (2017) (0)
requirements Death, Taxes, & Scalability (2010) (0)
CAREER: mechanisms for ensuring the integrity of distributed object systems (2000) (0)
Enhancing the Dependability of Complex Missions Through Automated Analysis (2013) (0)
A Comparative Study of Decision Diagrams for Real-Time Model Checking (2018) (0)
Supplementary Material for the Paper: Digraph Inception Convolutional Networks (2020) (0)
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007 (2007) (0)
Editorial (2018) (0)
Guest Editors' Introduction: 1999 International Conference on Software Engineering (2001) (0)
Architectures for Mobile Wireless Publish/Subscribe Networks (2003) (0)
An Interval-Based Bayesian Generative Model for Human Complex Activity Recognition (2017) (0)
Editorial (2016) (0)
Session details: State-of-the-art presentations (2007) (0)

This paper list is powered by the following services:

What Schools Are Affiliated With David Samuel Rosenblum?

David Samuel Rosenblum is affiliated with the following schools:

David Samuel Rosenblum's Academic­Influence.com Rankings