Papers

• Book: Test and Evaluation Challenges in Artificial Intelligence-Enabled Systems for the Department of the Air Force (Air Force Studies Board, National Academies of Sciences, Engineering, and Medicine)
• Book: 40 Editions of ICSE—The Ruby Anniversary Celebration (ICSE 2018)
• Award Papers
• Machine Learning and Deep Learning
• Ubiquitous Computing, IoT and Recommender Systems
• Software Specification, Verification, Testing and Analysis
• Publish/Subscribe, Distributed System, and Networks
• Software Architecture
• Component-Based Software
• Software Process
• From the ACM Digital Library

Award Papers

• A Visual Design Toolset for Drag-and-drop Smart Space Configuration
  • Best Demo Award at IoT 2015
• Known Unknowns: Testing in the Presence of Uncertainty
  • 2nd Prize in the ACM SIGSOFT FSE 2014 Visions & Challenges Track
  • featured as a Great Innovative Idea by CCC
• A Design Framework for Internet-Scale Event Observation and Notification
  • from ESEC/FSE 1997, awarded the inaugural 2008 ACM SIGSOFT Impact Paper Award
ACM 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
• Towards a Method of Programming with Assertions
  • from ICSE 1992, awarded the 2002 ICSE Most Influential Paper Award

Machine Learning and Deep Learning

• Analyzing the Impact of Domain Similarity: A New Perspective in Cross-Domain Recommendation (IJCNN 2024)
• Vietoris-Rips Complex: A New Direction for Cross-Domain Cold-Start Recommendation (SDM 2024)
• On the Vertical and Horizontal Integration of Robotics Within Engineering and Computing Education (IUTAM SOGCAS 2023)
• Mixed-Order Relation-Aware Recurrent Neural Networks for Spatio-Temporal Forecasting (IEEE Transactions on Knowledge and Data Engineering, 2022)
• Repairing Failure-inducing Inputs with Input Reflection (ASE 2022)
• Self-Checking Deep Neural Networks for Anomalies and Adversaries in Deployment (IEEE Transactions on Dependable and Secure Computing, 2022)
• Fine-Grained Urban Flow Inference (IEEE Transactions on Knowledge and Data Engineering, 2022)
• Predicting Urban Water Quality with Ubiquitous Data—A Data-driven Approach (IEEE Transactions on Big Data, 2022)
• Self-Checking Deep Neural Networks in Deployment (ICSE 2021)
• experimental artifacts
• Instance Selection for Online Updating in Dynamic Recommender Environments (PAKDD 2021)
• Fine-Grained Urban Flow Prediction (WWW 2021)
• Digraph Inception Convolutional Networks (NeurIPS 2020)
  • supplementary material
• Improving Dynamic Recommendation using Network Embedding for Context Inference (ICTAI 2020)
• Revisiting Convolutional Neural Networks for Citywide Crowd Flow Analytics (ECML-PKDD 2020)
• Unsupervised Learning of Disentangled Location Embeddings (IJCNN 2020)
• Translation-Based Sequential Recommendation for Complex Users on Sparse Data (IEEE Transactions on Knowledge and Data Engineering, 2020)
• Learning Multi-Objective Rewards and User Utility Function in Contextual Bandits for Personalized Ranking (IJCAI 2019)
• UrbanFM: Inferring Fine-Grained Urban Flows (KDD 2019)
• MMKG: Multi-Modal Knowledge Graphs (ESWC 2019)
• Evaluating Recommender System Stability with Influence-Guided Fuzzing (AAAI 2019)
• Learning Structures of Interval-Based Bayesian Networks in Probabilistic Generative Model for Human Complex Activity Recognition (Pattern Recognition, 2018)
• A Non-Parametric Generative Model for Human Trajectories (IJCAI-ECAI 2018)
• A Bandit Approach for Intelligent IoT Service Composition across Heterogeneous Smart Spaces (IoT 2016)
• Urban Water Quality Prediction Based on Multi-Task Multi-View Learning (IJCAI 2016)
• Recognizing Complex Activities by a Probabilistic Interval-based Model (AAAI 2016)
• Fusing Social Networks with Deep Learning for Volunteerism Tendency Prediction (AAAI 2016)
• Fortune Teller: Predicting Your Career Path (AAAI 2016)
• From Action to Activity: Sensor-Based Activity Recognition (Neurocomputing, 2016)
• Action2Activity: Recognizing Complex Activities from Sensor Data (IJCAI 2015)
• Known Unknowns: Testing in the Presence of Uncertainty (Visions & Challenges Paper, FSE 2014)
• Context-Aware Mobile Music Recommendation for Daily Activities (ACM MM 2012)
• A Daily, Activity-Aware Mobile Music Recommender System (Technical Demo Paper, ACM MM 2012)

Ubiquitous Computing, IoT and Recommender Systems

• Analyzing the Impact of Domain Similarity: A New Perspective in Cross-Domain Recommendation (IJCNN 2024)
• Vietoris-Rips Complex: A New Direction for Cross-Domain Cold-Start Recommendation (SDM 2024)
• Mixed-Order Relation-Aware Recurrent Neural Networks for Spatio-Temporal Forecasting (IEEE Transactions on Knowledge and Data Engineering, 2022)
• Fine-Grained Urban Flow Inference (IEEE Transactions on Knowledge and Data Engineering, 2022)
• Instance Selection for Online Updating in Dynamic Recommender Environments (PAKDD 2021)
• Fine-Grained Urban Flow Prediction (WWW 2021)
• Improving Dynamic Recommendation using Network Embedding for Context Inference (ICTAI 2020)
• Revisiting Convolutional Neural Networks for Citywide Crowd Flow Analytics (ECML-PKDD 2020)
• Unsupervised Learning of Disentangled Location Embeddings (IJCNN 2020)
• Learning Multi-Objective Rewards and User Utility Function in Contextual Bandits for Personalized Ranking (IJCAI 2019)
• UrbanFM: Inferring Fine-Grained Urban Flows (KDD 2019)
• Learning Structures of Interval-Based Bayesian Networks in Probabilistic Generative Model for Human Complex Activity Recognition (Pattern Recognition, 2018)
• A Non-Parametric Generative Model for Human Trajectories (IJCAI-ECAI 2018)
• A Bandit Approach for Intelligent IoT Service Composition across Heterogeneous Smart Spaces (IoT 2016)
• Recognizing Complex Activities by a Probabilistic Interval-based Model (AAAI 2016)
• From Action to Activity: Sensor-Based Activity Recognition (Neurocomputing, 2016)
• Ambient Flow: A Visual Approach for Remixing the Internet of Things (IoT 2015)
• A Visual Design Toolset for Drag-and-drop Smart Space Configuration (Demo Paper, IoT 2015)
• Action2Activity: Recognizing Complex Activities from Sensor Data (IJCAI 2015)
• Context-Aware Mobile Music Recommendation for Daily Activities (ACM MM 2012)
• A Daily, Activity-Aware Mobile Music Recommender System (Technical Demo Paper, ACM MM 2012)
• VOLARE: Context-Aware Adaptive Cloud Service Discovery for Mobile Systems (ARM 2010)
• Context-Aware Adaptive Applications: Fault Patterns and Their Automated Identification (IEEE TSE, 2010)
• Multi-Layer Faults in the Architectures of Mobile, Context-Aware Adaptive Applications (JSS, 2009)
• A Model to Design and Verify Context-Aware Adaptive Service Composition (SCC 2009)
• Model-Based Fault Detection in Context-Aware Adaptive Applications (FSE 2008)
• Algorithms for Efficient Symbolic Detection of Faults in Context-Aware Applications (ARAMIS 2008)
• Multi-Layer Faults in the ARchitectures of Mobile, Context-Aware Adaptive Applications (SAM 2008)
• Automated Generation of Context-Aware Tests (ICSE 2007)

Software Specification, Verification, Testing and Analysis

• Repairing Failure-inducing Inputs with Input Reflection (ASE 2022)
• Self-Checking Deep Neural Networks for Anomalies and Adversaries in Deployment (IEEE TDSC, 2022)
• Quantitative Verification for Monitoring Event Systems (IEEE TSE, 2022)
• Self-Checking Deep Neural Networks in Deployment (ICSE 2021)
• experimental artifacts
• Efficient Decentralized LTL Monitoring Framework using Tableau Technique (ACM TECS, 2019)
• A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table (SPIN 2019)
• Evaluating Recommender System Stability with Influence-Guided Fuzzing (AAAI 2019)
• Verifying the Long-Run Behavior of Probabilistic System Models in the Presence of Uncertainty (ESEC/FSE 2018)
• Differencing Graphical User Interfaces (QRS 2018)
• A Comparative Study of Decision Diagrams for Real-time Model Checking (SPIN 2018)
• Using Branch Frequency Spectra to Evaluate Operational Coverage (APSEC 2017)
• Probabilistic Model Checking of Perturbed MDPs with Applications to Cloud Computing (ESEC/FSE 2017)
• ProEva: Runtime Proactive Performance Evaluation Based on Continuous-Time Markov Chains (ICSE 2017)
• Mining Performance Specifications (FSE 2016)
• The Power of Probabilistic Thinking (keynote abstract, ASE 2016)
• Reliability of Run-Time Quality-of-Service Evaluation using Parametric Model Checking (ICSE 2016)
• An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-Adaptive Systems (ETAPS FASE 2016)
• Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters (IEEE TSE, 2016)
• Known Unknowns: Testing in the Presence of Uncertainty (FSE 2014 Visions & Challenges Track)
• Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters (ATVA 2014)
• Perturbation Analysis in Verification of Discrete-Time Markov Chains (CONCUR 2014)
• Perturbation Analysis of Stochastic Systems with Empirical Distribution Parameters (ICSE 2014)
• Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems (ICFEM 2013)
• Cascading Verification: an Integrated Method for Domain-Specific Model Checking (ESEC/FSE 2013)
• Detecting Problematic Message Sequences and Frequencies in Distributed Systems (OOPSLA 2012)
• Context-Aware Adaptive Applications: Fault Patterns and Their Automated Identification (IEEE TSE, 2010)
• Multi-Layer Faults in the Architectures of Mobile, Context-Aware Adaptive Applications (JSS, 2009)
• A Model to Design and Verify Context-Aware Adaptive Service Composition (SCC 2009)
• Model-Based Fault Detection in Context-Aware Adaptive Applications (FSE 2008)
• Algorithms for Efficient Symbolic Detection of Faults in Context-Aware Applications (ARAMIS 2008)
• Impact Analysis of Database Schema Changes (ICSE 2008)
• Multi-Layer Faults in the ARchitectures of Mobile, Context-Aware Adaptive Applications (SAM 2008)
• A Historical Perspective on Runtime Assertion Checking in Software Development (ACM SIGSOFT SEN, 2006)
• Using Component Metacontent to Support the Regression Testing of Component-Based Software (ICSM 2001)
• A Comparative Study of Coarse- and Fine-Grained Safe Regression Test-Selection Techniques (ACM TOSEM, 2001)
• Empirical Studies of a Prediction Model for Regression Test Selection (IEEE TSE, 2001)
• Component Metadata for Software Engineering Tasks (EDO 2000)
• Challenges in Exploiting Architectural Models for Software Testing (ROSATEA Workshop, 1998)
• A Comparative Study of Regression Test Selection Techniques (WESS 1997)
• Adequate Testing of Component-Based Software (UC Irvine TR, 1997)
• Using Coverage Information to Predict the Cost-Effectiveness of Regression Testing Strategies (IEEE TSE, 1997)
• Predicting the Cost-Effectiveness of Regression Testing Strategies (FSE 1996)
• Formal Methods and Testing: Why the State-of-the-Art Is Not the State-of-the-Practice (ACM SIGSOFT SEN, 1996)
• Generating Testing and Analysis Tools with Aria (ACM TOSEM, 1996)
• A Practical Approach to Programming with Assertions (IEEE TSE, 1995; see also correction)
• TestTube: A System for Selective Regression Testing (ICSE 1994)
• Towards a Method of Programming with Assertions (ICSE 1992)
• Representing Semantically Analyzed C++ Code with REPRISE (USENIX C++ 1991)
• Specifying Concurrent Systems with TSL (IEEE Software, 1991)
• Surveyor's Forum: Runtime Checking and Debugging of Formally Specified Programs (ACM CSUR, 1991)
• Testing the Correctness of Tasking Supervisors with TSL Specifications (TAV 1989)
• Design and Verification of Distributed Tasking Supervisors for Concurrent Programming Languages (Ph.D. Dissertation, 1988)
• An Environment for Ada Software Development Based on Formal Specification (ACM SIGAda Ada Letters, 1987)
• An Implementation of Anna (SIGAda 1985)
• A Methodology for the Design of Ada Transformation Tools in a DIANA Environment (IEEE Software, 1985)

Publish/Subscribe, Distributed Systems, and Networks

• Quantitative Verification for Monitoring Event Systems (IEEE TSE, 2022)
• VOLARE: Context-Aware Adaptive Cloud Service Discovery for Mobile Systems (ARM 2010)
• ROAR: Increasing the Flexibility and Performance of Distributed Search (SIGCOMM 2009)
• Reducing Congestion Effects in Wireless Networks by Multipath Routing (ICNP 2006)
• Exploit Hijacking: Side Effects of Smart Defenses (LSAD 2006)
• Enabling Confidentiality in Content-Based Publish/Subscribe Infrastructures (SecureComm 2006)
• Revisiting Content-Based Publish/Subscribe (DEBS 2006)
• Design and Evaluation of a Wide-Area Event Notification Service (ACM TOCS, 2001)
• Achieving Scalability and Expressiveness in an Internet-Scale Event Notification Service (PODC 2000)
• Content-Based Addressing and Routing: A General Model and its Application (CU Boulder TR, 2000)
• Exploiting ADLs to Specify Architectural Styles Induced by Middleware Infrastructures (ICSE 1999)
• Issues in Supporting Event-Based Architectural Styles (ISAW 1998)
• A Design Framework for Internet-Scale Event Observation and Notification (ESEC/FSE 1997)
• Yeast: A General Purpose Event-Action System (IEEE TSE, 1995)
• An Event-Based Model of Software Configuration Management (SCM 1991)
• Design and Verification of Distributed Tasking Supervisors for Concurrent Programming Languages (Ph.D. Dissertation, 1988)

Software Architecture

• Systematic Elaboration of Scalability Requirements through Goal-Obstacle Analysis (IEEE TSE, 2013)
• Death, Taxes, & Scalabilty (IEEE Software, 2010)
• A Model to Design and Verify Context-Aware Adaptive Service Composition (SCC 2009)
• Software System Scalability: Concepts and Techniques (keynote abstract, ISEC 2009)
• A Model-Driven Approach to Dynamic and Adaptive Service Brokering using Modes (ICSOC 2008)
• A Case Study in Eliciting Scalability Requirements (RE 2008)
• Model Checking Service Compositions under Resource Constraints (ESEC/FSE 2007)
• A Framework for Characterization and Analysis of Software System Scalability (ESEC/FSE 2007)
• A Framework for Modelling and Analysis of Software System Scalability (ICSE 2006 Doctoral Symposium)
• Reliability Prediction in Model-Driven Development (MoDELS 2005)
• Sensitivity Analysis for a Scenario-Based Reliability Prediction Model (WADS 2005)
• Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems (ETAPS FASE 2005)
• Modeling Software Architectures in the Unified Modeling Language (ACM TOSEM, 2002)
• Supporting Architectural Concerns in Component Interoperability Standards (IEE Proceedings - Software, 2000)
• Towards Software Multioperability: Bridging Heterogeneous Software Interoperability Platforms (ISAW 2000)
• An Architecture-based Approach to Self-Adaptive Software (IEEE Intelligent Systems, May 1999)
• Exploiting ADLs to Specify Architectural Styles Induced by Middleware Infrastructures (ICSE 1999)
• A Language and Environment for Architecture-Based Software Development and Evolution (ICSE 1999)
• Assessing the Suitability of a Standard Design Method for Modeling Software Architectures (WICSA 1999)
• Merging Component Models and Architectural Styles (ISAW 1998)
• Issues in Supporting Event-Based Architectural Styles (ISAW 1998)
• Challenges in Exploiting Architectural Models for Software Testing (ROSATEA Workshop, 1998)
• An Architecture-Based Approach to Software Evolution (IWPSE 1998)
• A Type Theory for Software Architectures (UC Irvine TR, 1998)
• On the Role of Connectors in Modeling and Implementing Software Architectures (UC Irvine TR, 1998)
• A Design Framework for Internet-Scale Event Observation and Notification (ESEC/FSE 1997)
• Domains of Concern in Software Architectures and Architecture Description Languages (DSL 1997)

Component-Based Software

• Reliability Prediction in Model-Driven Development (MoDELS 2005)
• Sensitivity Analysis for a Scenario-Based Reliability Prediction Model (WADS 2005)
• Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems (ETAPS FASE 2005)
• Using Component Metacontent to Support the Regression Testing of Component-Based Software (ICSM 2001)
• WREN–An Environment for Component-Based Development (ESEC/FSE 2001)
• The Evolution of Software Evolvability (IWPSE 2001)
• Component Metadata for Software Engineering Tasks (EDO 2000)
• Supporting Architectural Concerns in Component Interoperability Standards (IEE Proceedings - Software, 2000)
• Merging Component Models and Architectural Styles (ISAW '98)
• Challenges in Exploiting Architectural Models for Software Testing (ROSATEA Workshop, 1998)
• Adequate Testing of Component-Based Software (UC Irvine TR, 1997)
• Automated Monitoring of Component Integrity in Distributed Object Systems (COOTS 1997 Advanced Topics Workshop)

Software Process

• A Case Study in Modeling a Human-Intensive, Corporate Software Process (ICSP 1994)
• A Study in Software Process Data Capture and Analysis (ICSP 1993)
• Process-Centered Environments (Only) Support Environment-Centered Processes (ISPW 1993)

From the ACM Digital Library

---

Last updated 28 March 2024