Insup Lee

Affiliations:
  • University of Pennsylvania, Philadelphia, PA, USA


According to our database1, Insup Lee authored at least 477 papers between 1982 and 2023.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2017, "For theoretical and practical contributions to compositional real-time scheduling and runtime verification".

IEEE Fellow

IEEE Fellow 2001, "For contributions to the specification languages and verification tools for real-time systems.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Understanding Calibration for Multilingual Question Answering Models.
CoRR, 2023

Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach.
CoRR, 2023

Repairing Learning-Enabled Controllers While Preserving What Works.
CoRR, 2023

PAC Prediction Sets Under Label Shift.
CoRR, 2023

Memory-Consistent Neural Networks for Imitation Learning.
CoRR, 2023

Curating Naturally Adversarial Datasets for Trustworthy AI in Healthcare.
CoRR, 2023

Distributionally Robust Statistical Verification with Imprecise Neural Networks.
CoRR, 2023

A Novel Bayes' Theorem for Upper Probabilities.
CoRR, 2023

TRAC: Trustworthy Retrieval Augmented Chatbot.
CoRR, 2023

Zero-shot Task Preference Addressing Enabled by Imprecise Bayesian Continual Learning.
CoRR, 2023

Detection of Adversarial Physical Attacks in Time-Series Image Data.
CoRR, 2023

Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning.
CoRR, 2023

Conformal Prediction Regions for Time Series using Linear Complementarity Programming.
CoRR, 2023

Using Semantic Information for Defining and Detecting OOD Inputs.
CoRR, 2023

Take Me Home: Reversing Distribution Shifts using Reinforcement Learning.
CoRR, 2023

Imprecise Bayesian Neural Networks.
CoRR, 2023

Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems.
Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023

Conservative Safety Monitors of Stochastic Dynamical Systems.
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Guaranteed Conformance of Neurosymbolic Models to Natural Constraints.
Proceedings of the Learning for Dynamics and Control Conference, 2023

Incremental Anomaly Detection with Guarantee in the Internet of Medical Things.
Proceedings of the 8th ACM/IEEE Conference on Internet of Things Design and Implementation, 2023

iCareLoop: Data Management System for Monitoring Gerontological Social Isolation and Loneliness.
Proceedings of the Fourteenth International Conference on Mobile Computing and Ubiquitous Network, 2023

Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Automated Labeling Function Generation using Distance Functions for Physiological Alarm Suppression.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and Loneliness.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Causal Repair of Learning-Enabled Cyber-Physical Systems.
Proceedings of the IEEE International Conference on Assured Autonomy, 2023

Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance.
Proceedings of the IEEE International Conference on Assured Autonomy, 2023

SpectraVue - An Interactive Web Application Enabling Rapid Data Visualization and Analysis for Wearable Spectroscopy Research.
Proceedings of the Adjunct Proceedings of the 2023 ACM International Joint Conference on Pervasive and Ubiquitous Computing & the 2023 ACM International Symposium on Wearable Computing, 2023

Bootstrapping Small & High Performance Language Models with Unmasking-Removal Training Policy.
Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

Memory Classifiers for Robust ECG Classification against Physiological Noise.
Proceedings of the 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2023

Angelic Patches for Improving Third-Party Object Detector Performance.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Short: Integrated Sensing Platform for Detecting Social Isolation and Loneliness In the Elderly Community.
Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2023

In and Out-of-Domain Text Adversarial Robustness via Label Smoothing.
Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers), 2023

2022
Lumos: An Open-Source Device for Wearable Spectroscopy Research.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2022

Evaluating Alarm Classifiers with High-confidence Data Programming.
ACM Trans. Comput. Heal., 2022

Introduction to the Special Issue on Internet-of-Medical-Things.
ACM Trans. Comput. Heal., 2022

Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices.
CoRR, 2022

CODiT: Conformal Out-of-Distribution Detection in Time-Series Data.
CoRR, 2022

Towards Alternative Techniques for Improving Adversarial Robustness: Analysis of Adversarial Training at a Spectrum of Perturbations.
CoRR, 2022

Memory Classifiers: Two-stage Classification for Robustness in Machine Learning.
CoRR, 2022

A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems.
CoRR, 2022

Towards PAC Multi-Object Detection and Tracking.
CoRR, 2022

Global Edge Bandwidth Cost Gradient-based Heuristic for Fast Data Delivery to Connected Vehicles under Vehicle Overlaps.
Proceedings of the 95th IEEE Vehicular Technology Conference, 2022

Fail-Safe: Securing Cyber-Physical Systems against Hidden Sensor Attacks.
Proceedings of the IEEE Real-Time Systems Symposium, 2022

PAC Prediction Sets for Meta-Learning.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

PAC-Wrap: Semi-Supervised PAC Anomaly Detection.
Proceedings of the KDD '22: The 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 14, 2022

Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Sequential Covariate Shift Detection Using Classifier Two-Sample Tests.
Proceedings of the International Conference on Machine Learning, 2022

PAC Prediction Sets Under Covariate Shift.
Proceedings of the Tenth International Conference on Learning Representations, 2022

Interpretable Detection of Distribution Shifts in Learning Enabled Cyber-Physical Systems.
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Confidence Composition for Monitors of Verification Assumptions.
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis.
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates.
Proceedings of the Conference on Robot Learning, 2022

AutoWean: Extubation Failure Risk Estimation for Critically Ill Patients.
Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2022

GlucoScan: Noninvasive Glucose Monitoring Device.
Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2022

T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification.
Proceedings of the Principles of Systems Design, 2022

PacJam: Securing Dependencies Continuously via Package-Oriented Debloating.
Proceedings of the ASIA CCS '22: ACM Asia Conference on Computer and Communications Security, Nagasaki, Japan, 30 May 2022, 2022

Improving Neural Network Robustness via Persistency of Excitation.
Proceedings of the American Control Conference, 2022

Medical Cyber-Physical Systems: IoMT Applications and Challenges.
Proceedings of the 56th Asilomar Conference on Signals, Systems, and Computers, ACSSC 2022, Pacific Grove, CA, USA, October 31, 2022

iDECODe: In-Distribution Equivariance for Conformal Out-of-Distribution Detection.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

Hierarchical Scheduling.
Proceedings of the Handbook of Real-Time Computing, 2022

2021
Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator.
ACM Trans. Embed. Comput. Syst., 2021

Verifying the Safety of Autonomous Systems with Neural Network Controllers.
ACM Trans. Embed. Comput. Syst., 2021

Stacked LSTM based deep recurrent neural network with kalman smoothing for blood glucose prediction.
BMC Medical Informatics Decis. Mak., 2021

Detecting OODs as datapoints with High Uncertainty.
CoRR, 2021

Robust Learning via Persistency of Excitation.
CoRR, 2021

Are all outliers alike? On Understanding the Diversity of Outliers for Detecting OODs.
CoRR, 2021

Confidence Calibration with Bounded Error Using Transformations.
CoRR, 2021

Data Generation With Prospect: A Probability Specification Tool.
Proceedings of the Winter Simulation Conference, 2021

E-PODS: A Fast Heuristic for Data/Service Delivery in Vehicular Edge Computing.
Proceedings of the 93rd IEEE Vehicular Technology Conference, 2021

Towards Virtualization-Agnostic Latency for Time-Sensitive Applications.
Proceedings of the RTNS'2021: 29th International Conference on Real-Time Networks and Systems, 2021

PAC Confidence Predictions for Deep Neural Network Classifiers.
Proceedings of the 9th International Conference on Learning Representations, 2021

Real-time detectors for digital and physical adversarial inputs to perception systems.
Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

RT-ACL: Identification of High-Risk Youth Patients and their Most Significant Risk Factors to Reduce Anterior Cruciate Ligament Reinjury Risk.
Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2021

High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms.
Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2021

FRED: Fall Risk Evaluation Database Based on Electronic Health Record Data.
Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2021

VitalCore: Analytics and Support Dashboard for Medical Device Integration.
Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2021

Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper.
Proceedings of the Formal Methods in Outer Space, 2021

ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

Improving Classifier Confidence using Lossy Label-Invariant Transformations.
Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021

ModelGuard: Runtime Validation of Lipschitz-continuous Models.
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020
MAuth-CAN: Masquerade-Attack-Proof Authentication for In-Vehicle Networks.
IEEE Trans. Veh. Technol., 2020

Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations.
IEEE Robotics Autom. Mag., 2020

Inaugural Issue Editorial.
ACM Trans. Comput. Heal., 2020

Class-Weighted Evaluation Metrics for Imbalanced Data Classification.
CoRR, 2020

VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems.
CoRR, 2020

Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency.
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction.
Proceedings of the 8th International Conference on Learning Representations, 2020

Case study: verifying the safety of an autonomous racing car with a neural network controller.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation.
Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020

2019
Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models.
ACM Trans. Cyber Phys. Syst., 2019

Continuous Estimation Using Context-Dependent Discrete Measurements.
IEEE Trans. Autom. Control., 2019

Intelligent and Dynamic Ransomware Spread Detection and Mitigation in Integrated Clinical Environments.
Sensors, 2019

Guest Editorial Special Issue on RRCPS: Reliable and Resilient Cyber-Physical Systems.
IEEE Internet Things J., 2019

LCV: A Verification Tool for Linear Controller Software.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Overhead-Aware Deployment of Runtime Monitors.
Proceedings of the Runtime Verification - 19th International Conference, 2019

A Retrospective Look at the Monitoring and Checking (MaC) Framework.
Proceedings of the Runtime Verification - 19th International Conference, 2019

Holistic Resource Allocation for Multicore Real-Time Systems.
Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium, 2019

Detecting security leaks in hybrid systems with information flow analysis.
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

Verisig: verifying safety properties of hybrid systems with neural network controllers.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Demo: verisig - verifying safety properties of hybrid systems with neural network controllers.
Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Runtime Verification of Parametric Properties Using SMEDL.
Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019

2018
Guest Editorial: Special Issue on Medical Cyber-Physical Systems.
ACM Trans. Cyber Phys. Syst., 2018

Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

MC-Fluid: Multi-Core Fluid-Based Mixed-Criticality Scheduling.
IEEE Trans. Computers, 2018

Parameter-Invariant Monitor Design for Cyber-Physical Systems.
Proc. IEEE, 2018

Self-Driving Vehicle Verification Towards a Benchmark.
CoRR, 2018

An Attack-Resilient CPS Architecture for Hierarchical Control: A Case Study on Train Control Systems.
Computer, 2018

Injected and Delivered: Fabricating Implicit Control over Actuation Systems by Spoofing Inertial Sensors.
Proceedings of the 27th USENIX Security Symposium, 2018

Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

Multi-Mode Virtualization for Soft Real-Time Systems.
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things.
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

Data Freshness Over-Engineering: Formulation and Results.
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems.
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

Flexible Monitor Deployment for Runtime Verification of Large Scale Software.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

LogSafe: Secure and Scalable Data Logger for IoT Devices.
Proceedings of the 2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation, 2018

Joint Rate Control and Demand Balancing for Electric Vehicle Charging.
Proceedings of the 2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation, 2018

KRS-DGIST: a resilient CPS testbed for radio-based train control: WiP abstract.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Cyber-physical system checkpointing and recovery.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Context-aware detection in medical cyber-physical systems.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Parameter Invariant Monitoring for Signal Temporal Logic.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

ICE++: Improving Security, QoS, and High Availability of Medical Cyber-Physical Systems through Mobile Edge Computing.
Proceedings of the 20th IEEE International Conference on e-Health Networking, 2018

Towards Context-Aware Cyber-Physical Systems.
Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges.
Proceedings of the 11th IEEE International Conference on Cloud Computing, 2018

2017
MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling.
ACM Trans. Embed. Comput. Syst., 2017

Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults.
ACM Trans. Cyber Phys. Syst., 2017

Attack-Resilient State Estimation for Noisy Dynamical Systems.
IEEE Trans. Control. Netw. Syst., 2017

Protecting interoperable clinical environment with authentication.
SIGBED Rev., 2017

A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems.
J. Log. Algebraic Methods Program., 2017

Enhanced Split TCP with End-to-End Protocol Semantics over Wireless Networks.
Proceedings of the 2017 IEEE Wireless Communications and Networking Conference, 2017

Automatic Verification of Finite Precision Implementations of Linear Controllers.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Trapfetch: A breakpoint-based prefetcher for both launch and run-time.
Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

Monitoring Time Intervals.
Proceedings of the Runtime Verification - 17th International Conference, 2017

vCAT: Dynamic Cache Management Using CAT Virtualization.
Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017

Extensible Energy Planning Framework for Preemptive Tasks.
Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017

Resilient linear classification: an approach to deal with attacks on training data.
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Transmission delay performance in telemedicine: A case study.
Proceedings of the 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2017

Modeling Opportunities in mHealth Cyber-Physical Systems.
Proceedings of the Mobile Health - Sensors, Analytic Methods, and Applications, 2017

2016
Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst., 2016

Prediction of Critical Pulmonary Shunts in Infants.
IEEE Trans. Control. Syst. Technol., 2016

Cache-aware interfaces for compositional real-time systems: invited paper.
SIGBED Rev., 2016

Towards compositional mixed-criticality real-time scheduling in open systems: invited paper.
SIGBED Rev., 2016

Optimizing the resource requirements of hierarchical scheduling systems.
SIGBED Rev., 2016

Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study.
J. Comput. Sci. Eng., 2016

Monitoring Assumptions in Assume-Guarantee Contracts.
Proceedings of the Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, 2016

Scalable Verification of Linear Controller Software.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models.
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016

Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper).
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016

Analysis and Implementation of GlEnergy Saving for Mixed-Criticalityobal Preemptive Fixed-Priority Scheduling with Dynamic Cache Allocation.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Human-interpretable diagnostic information for robotic planning systems.
Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Online planning for energy-efficient and disturbance-aware UAV operations.
Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Estimation of Blood Oxygen Content Using Context-Aware Filtering.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Representation of Confidence in Assurance Cases Using the Beta Distribution.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

Advanced Split-TCP with End-to-End Protocol Semantics over Wireless Networks.
Proceedings of the 2016 IEEE Global Communications Conference, 2016

Making DDS really real-time with openflow.
Proceedings of the 2016 International Conference on Embedded Software, 2016

Adaptive Transient Fault Model for Sensor Attack Detection.
Proceedings of the 4th IEEE International Conference on Cyber-Physical Systems, 2016

Clinician-in-the-Loop Annotation of ICU Bedside Alarm Data.
Proceedings of the First IEEE International Conference on Connected Health: Applications, 2016

Cloud-Based Secure Logger for Medical Devices.
Proceedings of the First IEEE International Conference on Connected Health: Applications, 2016

A stochastic approach for attack resilient UAV motion planning.
Proceedings of the 2016 American Control Conference, 2016

2015
Patient Infusion Pattern based Access Control Schemes for Wireless Insulin Pump System.
IEEE Trans. Parallel Distributed Syst., 2015

Formal synthesis of application and platform behaviors of embedded software systems.
Softw. Syst. Model., 2015

Cache-aware compositional analysis of real-time multicore virtualization platforms.
Real Time Syst., 2015

Parameter-Invariant Design of Medical Alarms.
IEEE Des. Test, 2015

Medical Cyber-Physical Systems: The Early Years.
IEEE Des. Test, 2015

Requirement Engineering for Functional Alarm System for Interoperable Medical Devices.
Proceedings of the Computer Safety, Reliability, and Security, 2015

Towards Assurance for Plug & Play Medical Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2015

Representing Confidence in Assurance Case Evidence.
Proceedings of the Computer Safety, Reliability, and Security, 2015

A Hybrid Approach to Causality Analysis.
Proceedings of the Runtime Verification - 6th International Conference, 2015

Platform-Specific Code Generation from Platform-Independent Timed Models.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Verified ROS-Based Deployment of Platform-Independent Control Systems.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Hierarchical multi-formalism proofs of cyber-physical systems.
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks.
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

Robust Medical Monitor Design.
Proceedings of the 2015 International Conference on Healthcare Informatics, 2015

A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps.
Proceedings of the 2015 International Conference on Healthcare Informatics, 2015

Sensor attack detection in the presence of transient faults.
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Early detection of critical pulmonary shunts in infants.
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Automatic verification of linear controller software.
Proceedings of the 2015 International Conference on Embedded Software, 2015

Robust monitoring of hypovolemia in intensive care patients using photoplethysmogram signals.
Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

Platform-specific timing verification framework in model-based implementation.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Attack-resilient state estimation in the presence of noise.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context.
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

Robust estimation using context-aware filtering.
Proceedings of the 53rd Annual Allerton Conference on Communication, 2015

An Intraoperative Glucose Control Benchmark for Formal Verification.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

RT-Open Stack: CPU Resource Management for Real-Time Cloud Computing.
Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2014
Model-Driven Safety Analysis of Closed-Loop Medical Systems.
IEEE Trans. Ind. Informatics, 2014

Safety-critical medical device development using the UPP2SF model translation tool.
ACM Trans. Embed. Comput. Syst., 2014

MC-Fluid: Fluid Model-Based Mixed-Criticality Scheduling on Multiprocessors.
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal.
Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

The MIDdleware Assurance Substrate: Enabling Strong Real-Time Guarantees in Open Systems with OpenFlow.
Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014

A Design Environment for the Rapid Specification and Fabrication of Printable Robots.
Proceedings of the Experimental Robotics, 2014

Attack resilient state estimation for autonomous robotic systems.
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

Exploring the twin peaks using probabilistic verification techniques.
Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, 2014

Robustness of attack-resilient state estimators.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Demo abstract: ROSLab - A modular programming environment for robotic applications.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Resilient multidimensional sensor fusion using measurement history.
Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

Functional Alarms for Systems of Interoperable Medical Devices.
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

From Requirements to Code: Model Based Development of a Medical Cyber Physical System.
Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey.
Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

Real-time multi-core virtual machine scheduling in Xen.
Proceedings of the 2014 International Conference on Embedded Software, 2014

A layered approach for testing timing in the model-based implementation.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Attack-resilient sensor fusion.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Towards Assurance Cases for Resilient Control Systems.
Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014

Application of Python to AIMS Data to Analyze Intraoperative Hypotension through Pediatric Blood Pressure Curves.
Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014

Wandering Data: A Scalable, Durable System for Effective Visualization of Patient Health Data.
Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014

Attack-resilient minimum mean-squared error estimation.
Proceedings of the American Control Conference, 2014

2013
A comparison of compositional schedulability analysis techniques for hierarchical real-time systems.
ACM Trans. Embed. Comput. Syst., 2013

AS-CRED: Reputation and Alert Service for Interdomain Routing.
IEEE Syst. J., 2013

Analyzing and defending against web-based malware.
ACM Comput. Surv., 2013

A trust model for vehicular network-based incident reports.
Proceedings of the 5th IEEE International Symposium on Wireless Vehicular Communications, 2013

A Reliable, Safe, and Secure Run-Time Platform for Cyber Physical Systems.
Proceedings of the 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications, 2013

Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS.
Proceedings of the Computer Safety, Reliability, and Security, 2013

A Causality Analysis Framework for Component-Based Real-Time Systems.
Proceedings of the Runtime Verification - 4th International Conference, 2013

Overhead-aware compositional analysis of real-time systems.
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

Improving schedulability of fixed-priority real-time systems using shapers.
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

TrustForge: Flexible access control for collaborative crowd-sourced environment.
Proceedings of the Eleventh Annual International Conference on Privacy, Security and Trust, 2013

PIPAC: Patient infusion pattern based access control scheme for wireless insulin pump system.
Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, 2013

Evaluation and Enhancement of an Intraoperative Insulin Infusion Protocol via In-Silico Simulation.
Proceedings of the IEEE International Conference on Healthcare Informatics, 2013

Co-design of control and platform with dropped signals.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Synthesis of platform-aware attack-resilient vehicular systems.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Platform dependent code generation of real-time embedded software.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Contract-based blame assignment by trace analysis.
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

Towards synthesis of platform-aware attack-resilient control systems: extended abstract.
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

A Modal Specification Approach for On-Demand Medical Systems.
Proceedings of the Foundations of Health Information Engineering and Systems, 2013

Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013

Assuring the safety of on-demand medical cyber-physical systems.
Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013

Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control.
Proceedings of the Control of Cyber-Physical Systems, 2013

Platform-dependent code generation for embedded real-time software.
Proceedings of the International Conference on Compilers, 2013

Distributed aspects of the artificial pancreas.
Proceedings of the 51st Annual Allerton Conference on Communication, 2013

2012
PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling.
Theor. Comput. Sci., 2012

Introduction to the special section on runtime verification.
Int. J. Softw. Tools Technol. Transf., 2012

State-based scheduling with tree schedules: analysis and evaluation.
Real Time Syst., 2012

Special Issue on Cyber-Physical Systems [Scanning the Issue].
Proc. IEEE, 2012

Challenges and Research Directions in Medical Cyber-Physical Systems.
Proc. IEEE, 2012

Security and Interoperable-Medical-Device Systems, Part 1.
IEEE Secur. Priv., 2012

Security and Interoperable-Medical-Device Systems, Part 2: Failures, Consequences, and Classification.
IEEE Secur. Priv., 2012

Trust in collaborative web applications.
Future Gener. Comput. Syst., 2012

Towards content-driven reputation for collaborative code repositories.
Proceedings of the Eighth Annual International Symposium on Wikis and Open Collaboration, 2012

A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments.
Proceedings of the Computer Safety, Reliability, and Security, 2012

Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines.
Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study.
Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

Realizing Compositional Scheduling through Virtualization.
Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

A model-based I/O interface synthesis framework for the cross-platform software modeling.
Proceedings of the 23rd IEEE International Symposium on Rapid System Prototyping, 2012

A Safety Case Pattern for Model-Based Development Approach.
Proceedings of the NASA Formal Methods, 2012

Smart alarms: multivariate medical alarm integration for post CABG surgery patients.
Proceedings of the ACM International Health Informatics Symposium, 2012

Clinical decision support for integrated cyber-physical systems: a mixed methods approach.
Proceedings of the ACM International Health Informatics Symposium, 2012

The medical device dongle: an open-source standards-based platform for interoperable medical device connectivity.
Proceedings of the ACM International Health Informatics Symposium, 2012

Rationale and Architecture Principles for Medical Application Platforms.
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

HMM-based characterization of channel behavior for networked control systems.
Proceedings of the 1st International Conference on High Confidence Networked Systems (HiCoNS, 2012

Spamming for Science: Active Measurement in Web 2.0 Abuse Research.
Proceedings of the Financial Cryptography and Data Security, 2012

Evaluation of a smart alarm for intensive care using clinical data.
Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2012

Invited talk: Challenges in Medical Cyber-Physical Systems.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

2011
Generating composite behavior of embedded software components based on UML behavioral model and process algebra.
ACM SIGSOFT Softw. Eng. Notes, 2011

CARTS: a tool for compositional analysis of real-time systems.
SIGBED Rev., 2011

Improving resource utilization for compositional scheduling using DPRM interfaces.
SIGBED Rev., 2011

Zero-laxity based real-time multiprocessor scheduling.
J. Syst. Softw., 2011

Permission to speak: A logic for access control and conformance.
J. Log. Algebraic Methods Program., 2011

What Wikipedia deletes: characterizing dangerous collaborative content.
Proceedings of the 7th International Symposium on Wikis and Open Collaboration, 2011

Autonomous link spam detection in purely collaborative environments.
Proceedings of the 7th International Symposium on Wikis and Open Collaboration, 2011

Demo of the medical device dongle: an open-source standards-based platform for interoperable medical device connectivity.
Proceedings of Wireless Health 2011, 2011

AS-TRUST: A Trust Quantification Scheme for Autonomous Systems in BGP.
Proceedings of the Trust and Trustworthy Computing - 4th International Conference, 2011

An empirical analysis of scheduling techniques for real-time cloud-based data processing.
Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

Runtime Verification of Traces under Recording Uncertainty.
Proceedings of the Runtime Verification - Second International Conference, 2011

Towards a Compositional Multi-modal Framework for Adaptive Cyber-physical Systems.
Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011

Video Quality Driven Buffer Sizing via Frame Drops.
Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011

A Semantic Framework for Mode Change Protocols.
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems.
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

On effective testing of health care simulation software.
Proceedings of the 3rd Workshop on Software Engineering in Health Care, 2011

Reputation-based networked control with data-corrupting channels.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Challenges in the regulatory approval of medical cyber-physical systems.
Proceedings of the 11th International Conference on Embedded Software, 2011

Safety-assured development of the GPCA infusion pump software.
Proceedings of the 11th International Conference on Embedded Software, 2011

Computing Logical Form on Regulatory Texts.
Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing, 2011

Biomedical devices and systems security.
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

ToMaTo: a trustworthy code mashup development tool.
Proceedings of the 5th International Workshop on Web APIs and Service Mashups, 2011

Multilingual Vandalism Detection using Language-Independent & Ex Post Facto Evidence - Notebook for PAN at CLEF 2011.
Proceedings of the CLEF 2011 Labs and Workshop, 2011

Towards the effective temporal association mining of spam blacklists.
Proceedings of the 8th Annual Collaboration, 2011

Link spamming Wikipedia for profit.
Proceedings of the 8th Annual Collaboration, 2011

Compositional analysis of real-time embedded systems.
Proceedings of the 14th International Conference on Compilers, 2011

2010
Timed and Resource-oriented Statecharts for Embedded Software.
IEEE Trans. Ind. Informatics, 2010

Generating Reliable Code from Hybrid-Systems Models.
IEEE Trans. Computers, 2010

Multiprocessor real-time scheduling considering concurrency and urgency.
SIGBED Rev., 2010

UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture.
J. Univers. Comput. Sci., 2010

STiki: an anti-vandalism tool for Wikipedia using spatio-temporal analysis of revision metadata.
Proceedings of the 6th International Symposium on Wikis and Open Collaboration, 2010

Spatio-temporal analysis of Wikipedia metadata and the STiki anti-vandalism tool.
Proceedings of the 6th International Symposium on Wikis and Open Collaboration, 2010

Demo of the Generic Smart Alarm: a framework for the design, analysis, and implementation of smart alarms and other clinical decision support systems.
Proceedings of Wireless Health 2010, 2010

Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram.
Proceedings of the Computer Safety, 2010

A Safety-Assured Development Approach for Real-Time Software.
Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

On the feasibility of dynamic rescheduling on the Intel Distributed Computing Platform.
Proceedings of the 11th International Middleware Conference Industrial Track, Bangalore, India, November 29, 2010

Model-Based Programming of Modular Robots.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

Assurance Cases in Model-Driven Development of the Pacemaker Software.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

GSA: a framework for rapid prototyping of smart alarm systems.
Proceedings of the ACM International Health Informatics Symposium, 2010

Prototyping closed loop physiologic control with the medical device coordination framework.
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, 2010

Toward patient safety in closed-loop medical device systems.
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

A Process Algebraic Framework for Modeling Resource Demand and Supply.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Detecting Wikipedia vandalism via spatio-temporal analysis of revision metadata?
Proceedings of the Third European Workshop on System Security, 2010

Modeling buffers with data refresh semantics in automotive architectures.
Proceedings of the 10th International conference on Embedded software, 2010

Compositional Analysis of Multi-mode Systems.
Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

Cyber-physical systems: the next computing revolution.
Proceedings of the 47th Design Automation Conference, 2010

Medical cyber physical systems.
Proceedings of the 47th Design Automation Conference, 2010

Towards a data-centric view of cloud security.
Proceedings of the Second International CIKM Workshop on Cloud Data Management, 2010

Spam mitigation using spatio-temporal reputations from blacklist history.
Proceedings of the Twenty-Sixth Annual Computer Security Applications Conference, 2010

2009
Hardware Acceleration for Programmable Real-Time Ethernet.
IEEE Trans. Ind. Informatics, 2009

Optimal virtual cluster-based multiprocessor scheduling.
Real Time Syst., 2009

Model Checking of Real-Time Properties of Resource-Bound Process Algebra.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009

Dynamic Trust Management.
Computer, 2009

Model-Based Testing of GUI-Driven Applications.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

<i>DMaC</i>: Distributed Monitoring and Checking.
Proceedings of the Runtime Verification, 9th International Workshop, 2009

Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

A Compositional Scheduling Framework for Digital Avionics Systems.
Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009

Strong and Weak Policy Relations.
Proceedings of the POLICY 2009, 2009

Resource Scopes: Toward Language Support for Compositional Determinism.
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

QuanTM: a quantitative trust management system.
Proceedings of the Second European Workshop on System Security, 2009

Improving Patient Safety with X-Ray and Anesthesia Machine Ventilator Synchronization: A Medical Device Interoperability Case Study.
Proceedings of the Biomedical Engineering Systems and Technologies, 2009

Synchronizing an X-ray and Anesthesia Machine Ventilator - A Medical Device Interoperability Case Study.
Proceedings of the BIODEVICES 2009, 2009

Process-Algebraic Interpretation of AADL Models.
Proceedings of the Reliable Software Technologies, 2009

2008
Compositional real-time scheduling framework with periodic model.
ACM Trans. Embed. Comput. Syst., 2008

A design framework for real-time embedded systems with code size and energy constraints.
ACM Trans. Embed. Comput. Syst., 2008

Compositional schedulability analysis for cyber-physical systems.
SIGBED Rev., 2008

Challenges and opportunities in deeply embedded systems security.
SIGBED Rev., 2008

Checking Traces for Regulatory Conformance.
Proceedings of the Runtime Verification, 8th International Workshop, 2008

Robust and sustainable schedulability analysis of embedded software.
Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008

Compositional Feasibility Analysis of Conditional Real-Time Task Models.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Hardware acceleration for verifiable, adaptive real-time communication.
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors.
Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008

Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking.
Proceedings of the Deontic Logic in Computer Science, 9th International Conference, 2008

2007
Compositional Real-Time Schedulability Analysis.
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Introduction and Overview.
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Temporal Control in Real-Time Systems.
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

A Verifiable Language for Programming Real-Time Communication Schedules.
IEEE Trans. Computers, 2007

Editorial: Special issue on real-time wireless sensor networks.
Real Time Syst., 2007

Resources in process algebra.
J. Log. Algebraic Methods Program., 2007

Statistical Runtime Checking of Probabilistic Properties.
Proceedings of the Runtime Verification, 7th International Workshop, 2007

Compositional Analysis Framework Using EDP Resource Models.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Logic-Based Regulatory Conformance Checking.
Proceedings of the Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 2007

Compositional Schedulability Analysis of Hierarchical Real-Time Systems.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

Robust Test Generation and Coverage for Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

A dynamic scheduling approach to designing flexible safety-critical systems.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Composition Techniques for Tree Communication Schedules.
Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

Runtime Verification for Wireless Sensor Network Applications.
Proceedings of the Runtime Verification, 02.01. - 06.01.2007, 2007

2006
Introduction to special issue.
SIGBED Rev., 2006

Compositional modeling and refinement for hierarchical hybrid systems.
J. Log. Algebraic Methods Program., 2006

High-Confidence Medical Device Software and Systems.
Computer, 2006

Sensor Network Security: More Interesting Than You Think.
Proceedings of the 1st USENIX Workshop on Hot Topics in Security, 2006

Simulation-Based Graph Similarity.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Network-Code Machine: Programmable Real-Time Communication Schedules.
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

Formal Modeling and Analysis of the AFDX Frame Management Design.
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

Schedulability analysis of AADL models.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

R-Charon, a Modeling Language for Reconfigurable Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Incremental schedulability analysis of hierarchical real-time components.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

An analysis framework for network-code programs.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies.
Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

Securing the drop-box architecture for assisted living.
Proceedings of the 2006 ACM workshop on Formal methods in security engineering, 2006

Generating Sound and Resource-Aware Code from Hybrid Systems Models.
Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006

2005
Preface.
ACM Trans. Embed. Comput. Syst., 2005

Run-Time Checking of Dynamic Properties.
Proceedings of the Fifth Workshop on Runtime Verification, 2005

A Family of Resource-Bound Real-Time Process Algebras.
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

Opportunities and Obligations for Physical Computing Systems.
Computer, 2005

Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking.
Proceedings of the 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September, 2005

RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties.
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

Code Generation from Hybrid Systems Models for Distributed Embedded Systems.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

A Compositional Framework for Real-Time Embedded Systems.
Proceedings of the Service Availability, 2005

Security in Sensor Networks for Medical Systems Torso Architecture.
Proceedings of the Computational Science and Its Applications, 2005

Distributed-code generation from hybrid systems models for time-delayed multirate systems.
Proceedings of the EMSOFT 2005, 2005

Quantifying eavesdropping vulnerability in sensor networks.
Proceedings of the 2nd Workshop on Data Management for Sensor Networks, 2005

2004
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System.
Int. J. Softw. Tools Technol. Transf., 2004

Research challenges in embedded and hybrid systems.
SIGBED Rev., 2004

Java-MaC: A Run-Time Assurance Approach for Java Programs.
Formal Methods Syst. Des., 2004

Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification.
Proceedings of the Fourth Workshop on Runtime Verification, 2004

Compositional Real-Time Scheduling Framework.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Is runtime verification applicable to cheat detection?
Proceedings of the 3rd Workshop on Network and System Support for Games, 2004

Specification-based Testing with Linear Temporal Logic.
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

Model-based Testing and Monitoring for Hybrid Embedded Systems.
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

Sound Code Generation from Communicating Hybrid Models.
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

A Compositional Framework for Real-Time Guarantees.
Proceedings of the Automotive Software, 2004

2003
Hierarchical modeling and analysis of embedded systems.
Proc. IEEE, 2003

Testing and Monitoring Model-based Generated Program.
Proceedings of the Third Workshop on Run-time Verification, 2003

Modeling and Analysis of Power-Aware Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Periodic Resource Model for Compositional Real-Time Guarantees.
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

Modular Code Generation from Hybrid Automata based on Data Dependency.
Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), 2003

Generating embedded software from hierarchical hybrid models.
Proceedings of the 2003 Conference on Languages, 2003

Modeling Distributed Autonomous Robots Using CHARON: Formation Control Case Study.
Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003

Data Flow Testing as Model Checking.
Proceedings of the 25th International Conference on Software Engineering, 2003

2002
Verisim: Formal Analysis of Network Simulations.
IEEE Trans. Software Eng., 2002

Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP.
Sci. Comput. Program., 2002

A Framework and Architecture for Multi-Robot Coordination.
Int. J. Robotics Res., 2002

Monitoring, Checking, and Steering of Real-Time Systems.
Proceedings of the Runtime Verification 2002, 2002

Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC.
Proceedings of the Runtime Verification 2002, 2002

A Temporal Logic Based Theory of Test Coverage and Generation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

Embedded System Design Framework for Minimizing Code Size and Guaranteeing Real-Time Requirements.
Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

A General Resource Framework for Real-Time Systems.
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Distributed Simulation of Multi-Agent Hybrid Systems.
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

2001
Distributed web-based simulation experiments for optimization.
Simul. Pract. Theory, 2001

Hiding resources that can fail: An axiomatic perspective.
Inf. Process. Lett., 2001

Characterizing Non-Zenoness on Real-Time Processes.
Proceedings of the International Workshop on Models for Time-Critical Systems, 2001

Java-MaC: a Run-time Assurance Tool for Java Programs.
Proceedings of the Workshop on Runtime Verification, 2001

Fair Real-Time Traffic Scheduling over a Wireless LA.
Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

Measuring False-Positive by Automated Real-Time Correlated Hacking Behavior Analysis.
Proceedings of the Information Security, 4th International Conference, 2001

Compositional Refinement for Hierarchical Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

A Family of Resource-Bound Real-Time Process Algebras.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

Hierarchical Hybrid Modeling of Embedded Systems.
Proceedings of the Embedded Software, First International Workshop, 2001

2000
An Efficient State Space Generation for the Analysis of Real-Time Systems.
IEEE Trans. Software Eng., 2000

Distributed web-based simulation optimization.
Proceedings of the 32nd conference on Winter simulation, 2000

Fundamental R&D Issues in Real-Time Distributed Computing.
Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

A Framework and Architecture for Multirobot Coordination.
Proceedings of the Experimental Robotics VII [ISER 2000, 2000

A Framework for Embedded Real-Time System Design.
Proceedings of the Parallel and Distributed Processing, 2000

Modular Specification of Hybrid Systems in CHARON.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Weak Bisimulation for Probabilistic Systems.
Proceedings of the CONCUR 2000, 2000

1999
Specification and Analysis of Real-Time Systems with PARAGON.
Ann. Softw. Eng., 1999

Steering of real-time systems based on monitoring and checking.
Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

Process algebraic approach to the parametric analysis of object scheduling in real-time systems.
Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

Runtime Assurance Based On Formal Specifications.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination.
Proceedings of the FM'99 - Formal Methods, 1999

Formally specified monitoring of temporal properties.
Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

1998
Parallel Algorithms for Relational Coarsest Partition Problems.
IEEE Trans. Parallel Distributed Syst., 1998

A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems.
Real Time Syst., 1998

A Graphical Language for Specifying and Analyzing Real-Time Systems.
Integr. Comput. Aided Eng., 1998

Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP.
Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, 1998

Web-based Simulation Experiments.
Proceedings of the 30th conference on Winter simulation, 1998

Symbolic Schedulability Analysis of Real-Time Systems.
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study.
Proceedings of the Fourth IEEE Real-Time Technology and Applications Symposium, 1998

Praobabilistic Resource Failure in Real-Time Process Algebra.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997
A Process Algebra of Communicating Shared Resources with Dense Time and Priorities.
Theor. Comput. Sci., 1997

A Complete Axiomatization of Finite-State ACSR Processes.
Inf. Comput., 1997

Automatic generation of tests for timing constraints from requirements.
Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Automatic Test Generation for the Analysis of a Real-Time System: Case Stud.
Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, 1997

Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements.
Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

Analytical Design of Evolutionary Control Flow Components.
Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

1996
Formal Verification, Testing and Checking of Real-Time Systems.
ACM Comput. Surv., 1996

Schedulability and safety analysis in the graphical communicating shared resources.
Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996

A Theory of Testing for Soft Real-Time Processes.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Testing-Based Analysis of Real-Time System Models.
Proceedings of the Proceedings IEEE International Test Conference 1996, 1996

An Efficient State Space Generation for Analysis of Real-Time Systems.
Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995
The Specification and Schedulability Analysis of Real-Time Systems using ACSR.
Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems.
Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

Testing Real-Time Constraints in a Process Algebraic Setting.
Proceedings of the 17th International Conference on Software Engineering, 1995

Automation of analysis and simulation for understanding of large real-time Ada software.
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

1994
A Resource-Based Prioritized Bisimulation for Real-Time Systems
Inf. Comput., August, 1994

A process algebraic approach to the specification and analysis of resource-bound real-time systems.
Proc. IEEE, 1994

A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation.
Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1993
RTC: Language Support for Real-Time Concurrency.
Real Time Syst., 1993

Deadlock Prevention in Concurrent Real-Time Systems.
Real Time Syst., 1993

Fast Parallel Algorithms for Model Checking Using BDDs.
Proceedings of the Seventh International Parallel Processing Symposium, 1993

Deadlock Prevention in the RTC Programming System for Distributed Real-Time Applications.
Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities.
Proceedings of the CONCUR '93, 1993

1992
A Layered Approach to Automating the Verification of Real-Time Systems.
IEEE Trans. Software Eng., 1992

CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities.
Proceedings of the NAPAW 92, 1992

1991
Timed Atomic Commitment.
IEEE Trans. Computers, 1991

Implementing a Real-Time Process Algebra in HOL.
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

Specification and Analysis of Resource-Bound Real-Time Systems.
Proceedings of the Real-Time: Theory in Practice, 1991

1990
A Performance Analysis of Times Synchronous Communication Primitives.
IEEE Trans. Computers, 1990

A Proof System for Communicating Shared Resources.
Proceedings of the Real-Time Systems Symposium, 1990

CCSR: A Calculus for Communicating Shared Resources.
Proceedings of the CONCUR '90, 1990

1989
Synthesizing Minimum Total Expansion Topologies for Reconfigurable Interconnection Networks.
J. Parallel Distributed Comput., 1989

A Predictable Real-Time Kernel for Distributed Multisensor Systems.
Computer, 1989

Communicating Shared Resources: A Model for Distributed Real-Time Systems.
Proceedings of the Real-Time Systems Symposium, 1989

A protocol for timed atomic commitment.
Proceedings of the 9th International Conference on Distributed Computing Systems, 1989

Language constructs for timed atomic commitment.
Proceedings of the Nineteenth International Symposium on Fault-Tolerant Computing, 1989

1988
A Synthesis Algorithm for Reconfigurable Interconnection Networks.
IEEE Trans. Computers, 1988

Formal specification and analysis of DMI-an X-25 based protocol.
Proceedings of the Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?, 1988

Timed Acceptances: A Model of Time Dependent Processes.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988

1987
Adding Time to Synchronous Process Communications.
IEEE Trans. Computers, 1987

Synthesis of Topologies with Minimum Total Expansion.
Proceedings of the International Conference on Parallel Processing, 1987

Generalized I/O with Timing Constraints.
Proceedings of the 7th International Conference on Distributed Computing Systems, 1987

1986
Partitioning of Massive/Real-Time Programs for Parallel Processing.
Adv. Comput., 1986

Protocols for Timed Synchronous Process Communications.
Proceedings of the 7th IEEE Real-Time Systems Symposium (RTSS '86), 1986

Synthesis and Mapping Algorithms for a Reconfigurable Optical Interconnection Network.
Proceedings of the International Conference on Parallel Processing, 1986

1985
Proving a Network of Real-Time Processes Correct.
Proceedings of the 6th IEEE Real-Time Systems Symposium (RTSS '85), 1985

Language Constructs for Distributed Real-Time Programming.
Proceedings of the 6th IEEE Real-Time Systems Symposium (RTSS '85), 1985

A distributed testbed for active sensory processing.
Proceedings of the 1985 IEEE International Conference on Robotics and Automation, 1985

1983
Integrated environments.
Proceedings of the symposium on High-level debugging, 1983

DYMOS: a dynamic modification system.
Proceedings of the symposium on High-level debugging, 1983

1982
A Contextual Analysis of Pascal Programs.
Softw. Pract. Exp., 1982


  Loading...