Insup Lee

CoRR, 2023

Curating Naturally Adversarial Datasets for Trustworthy AI in Healthcare.

[BibT_eX]

[DOI]

CoRR, 2023

Distributionally Robust Statistical Verification with Imprecise Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2023

TRAC: Trustworthy Retrieval Augmented Chatbot.

[BibT_eX]

[DOI]

CoRR, 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2023

Using Semantic Information for Defining and Detecting OOD Inputs.

[BibT_eX]

[DOI]

CoRR, 2023

Take Me Home: Reversing Distribution Shifts using Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2023

Imprecise Bayesian Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2023

ADC-Bank: Detecting Acoustic Out-of-Band Signal Injection on Inertial Sensors.

[BibT_eX]

[DOI]

Proceedings of the Security and Privacy in Cyber-Physical Systems and Smart Vehicles, 2023

Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023

Conservative Safety Monitors of Stochastic Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Guaranteed Conformance of Neurosymbolic Models to Natural Constraints.

[BibT_eX]

[DOI]

Proceedings of the Learning for Dynamics and Control Conference, 2023

Incremental Anomaly Detection with Guarantee in the Internet of Medical Things.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM/IEEE Conference on Internet of Things Design and Implementation, 2023

Automatically Predicting Perceived Conversation Quality in a Pediatric Sample Enriched for Autism.

[BibT_eX]

[DOI]

Proceedings of the 24th Annual Conference of the International Speech Communication Association, 2023

iCareLoop: Data Management System for Monitoring Gerontological Social Isolation and Loneliness.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Conference on Mobile Computing and Ubiquitous Network, 2023

Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Automated Labeling Function Generation using Distance Functions for Physiological Alarm Suppression.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Causal Repair of Learning-Enabled Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Assured Autonomy, 2023

Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Tarek Hamid

Anush Niranjan Lingamoorthy

Amanda Watson

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.

[BibT_eX]

[DOI]

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

Memory Classifiers for Robust ECG Classification against Physiological Noise.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2023

In and Out-of-Domain Text Adversarial Robustness via Label Smoothing.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Amanda Watson

Claire Kendell

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2022

Evaluating Alarm Classifiers with High-confidence Data Programming.

[BibT_eX]

[DOI]

Sydney Pugh

Ivan Ruchkin

Christopher P. Bonafide

ACM Trans. Comput. Heal., 2022

Introduction to the Special Issue on Internet-of-Medical-Things.

[BibT_eX]

[DOI]

Paul Bogdan

Radu Grosu

Ragnhildur I. Bjarnadottir

ACM Trans. Comput. Heal., 2022

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

[BibT_eX]

[DOI]

CoRR, 2022

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

[BibT_eX]

[DOI]

CoRR, 2022

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

[BibT_eX]

[DOI]

CoRR, 2022

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

[BibT_eX]

[DOI]

CoRR, 2022

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

[BibT_eX]

[DOI]

CoRR, 2022

Towards PAC Multi-Object Detection and Tracking.

[BibT_eX]

[DOI]

CoRR, 2022

Global Edge Bandwidth Cost Gradient-based Heuristic for Fast Data Delivery to Connected Vehicles under Vehicle Overlaps.

[BibT_eX]

[DOI]

Akshaj Gupta

Joseph John Cherukara

Proceedings of the 95th IEEE Vehicular Technology Conference, 2022

Fail-Safe: Securing Cyber-Physical Systems against Hidden Sensor Attacks.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time Systems Symposium, 2022

PAC Prediction Sets for Meta-Learning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Sequential Covariate Shift Detection Using Classifier Two-Sample Tests.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2022

PAC Prediction Sets Under Covariate Shift.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Learning Representations, 2022

Interpretable Detection of Distribution Shifts in Learning Enabled Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Confidence Composition for Monitors of Verification Assumptions.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Conference on Robot Learning, 2022

AutoWean: Extubation Failure Risk Estimation for Critically Ill Patients.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2022

GlucoScan: Noninvasive Glucose Monitoring Device.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2022

T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification.

[BibT_eX]

[DOI]

Proceedings of the Principles of Systems Design, 2022

PacJam: Securing Dependencies Continuously via Package-Oriented Debloating.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2022

Medical Cyber-Physical Systems: IoMT Applications and Challenges.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

Hierarchical Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Real-Time Computing, 2022

2021

Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2021

Verifying the Safety of Autonomous Systems with Neural Network Controllers.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2021

Stacked LSTM based deep recurrent neural network with kalman smoothing for blood glucose prediction.

[BibT_eX]

[DOI]

BMC Medical Informatics Decis. Mak., 2021

Detecting OODs as datapoints with High Uncertainty.

[BibT_eX]

[DOI]

CoRR, 2021

Robust Learning via Persistency of Excitation.

[BibT_eX]

[DOI]

CoRR, 2021

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

[BibT_eX]

[DOI]

CoRR, 2021

Confidence Calibration with Bounded Error Using Transformations.

[BibT_eX]

[DOI]

CoRR, 2021

Data Generation With Prospect: A Probability Specification Tool.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference, 2021

E-PODS: A Fast Heuristic for Data/Service Delivery in Vehicular Edge Computing.

[BibT_eX]

[DOI]

Akshaj Gupta

Joseph John Cherukara

Proceedings of the 93rd IEEE Vehicular Technology Conference, 2021

Towards Virtualization-Agnostic Latency for Time-Sensitive Applications.

[BibT_eX]

[DOI]

Proceedings of the RTNS'2021: 29th International Conference on Real-Time Networks and Systems, 2021

PAC Confidence Predictions for Deep Neural Network Classifiers.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Learning Representations, 2021

Real-time detectors for digital and physical adversarial inputs to perception systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2021

High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms.

[BibT_eX]

[DOI]

Sydney Pugh

Ivan Ruchkin

Christopher P. Bonafide

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2021

FRED: Fall Risk Evaluation Database Based on Electronic Health Record Data.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2021

VitalCore: Analytics and Support Dashboard for Medical Device Integration.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2021

Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

Improving Classifier Confidence using Lossy Label-Invariant Transformations.

[BibT_eX]

[DOI]

Sooyong Jang

Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021

ModelGuard: Runtime Validation of Lipschitz-continuous Models.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Veh. Technol., 2020

Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Mag., 2020

Inaugural Issue Editorial.

[BibT_eX]

[DOI]

John A. Stankovic

ACM Trans. Comput. Heal., 2020

Class-Weighted Evaluation Metrics for Imbalanced Data Classification.

[BibT_eX]

[DOI]

CoRR, 2020

VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2019

Continuous Estimation Using Context-Dependent Discrete Measurements.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

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

[BibT_eX]

[DOI]

Lorenzo Fernández Maimó

Alberto Huertas Celdrán

Ángel Luis Perales Gómez

Félix J. García Clemente

Sensors, 2019

Guest Editorial Special Issue on RRCPS: Reliable and Resilient Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Internet Things J., 2019

LCV: A Verification Tool for Linear Controller Software.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Overhead-Aware Deployment of Runtime Monitors.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 19th International Conference, 2019

A Retrospective Look at the Monitoring and Checking (MaC) Framework.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 19th International Conference, 2019

Holistic Resource Allocation for Multicore Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium, 2019

Detecting security leaks in hybrid systems with information flow analysis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees.

[BibT_eX]

[DOI]

Mohammadhosein Hasanbeig

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Runtime Verification of Parametric Properties Using SMEDL.

[BibT_eX]

[DOI]

Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019

2018

Guest Editorial: Special Issue on Medical Cyber-Physical Systems.

[BibT_eX]

[DOI]

Theophilos Giannakopoulos

ACM Trans. Cyber Phys. Syst., 2018

Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

MC-Fluid: Multi-Core Fluid-Based Mixed-Criticality Scheduling.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2018

Parameter-Invariant Monitor Design for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proc. IEEE, 2018

Self-Driving Vehicle Verification Towards a Benchmark.

[BibT_eX]

[DOI]

CoRR, 2018

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

[BibT_eX]

[DOI]

Computer, 2018

Injected and Delivered: Fabricating Implicit Control over Actuation Systems by Spoofing Inertial Sensors.

[BibT_eX]

[DOI]

Proceedings of the 27th USENIX Security Symposium, 2018

Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement.

[BibT_eX]

[DOI]

Teng Zhang

John Wiegley

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

Multi-Mode Virtualization for Soft Real-Time Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

Data Freshness Over-Engineering: Formulation and Results.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

Flexible Monitor Deployment for Runtime Verification of Large Scale Software.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

LogSafe: Secure and Scalable Data Logger for IoT Devices.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Fanxin Kong

Xue Liu

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.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Cyber-physical system checkpointing and recovery.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Context-aware detection in medical cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Parameter Invariant Monitoring for Signal Temporal Logic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Alberto Huertas Celdrán

Félix J. García Clemente

Proceedings of the 20th IEEE International Conference on e-Health Networking, 2018

Towards Context-Aware Cyber-Physical Systems.

[BibT_eX]

[DOI]

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

Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Cloud Computing, 2018

2017

MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2017

Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2017

Attack-Resilient State Estimation for Noisy Dynamical Systems.

[BibT_eX]

[DOI]

George J. Pappas

IEEE Trans. Control. Netw. Syst., 2017

Protecting interoperable clinical environment with authentication.

[BibT_eX]

[DOI]

SIGBED Rev., 2017

A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2017

Enhanced Split TCP with End-to-End Protocol Semantics over Wireless Networks.

[BibT_eX]

[DOI]

Bong-Ho Kim

Doru Calin

Proceedings of the 2017 IEEE Wireless Communications and Networking Conference, 2017

Automatic Verification of Finite Precision Implementations of Linear Controllers.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

Monitoring Time Intervals.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 17th International Conference, 2017

vCAT: Dynamic Cache Management Using CAT Virtualization.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017

Extensible Energy Planning Framework for Preemptive Tasks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Sangdon Park

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Transmission delay performance in telemedicine: A case study.

[BibT_eX]

[DOI]

Gang Wang

Shan Lin

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.

[BibT_eX]

[DOI]

Proceedings of the Mobile Health - Sensors, Analytic Methods, and Applications, 2017

2016

Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2016

Prediction of Critical Pulmonary Shunts in Infants.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2016

Cache-aware interfaces for compositional real-time systems: invited paper.

[BibT_eX]

[DOI]

Linh Thi Xuan Phan

Meng Xu

SIGBED Rev., 2016

Towards compositional mixed-criticality real-time scheduling in open systems: invited paper.

[BibT_eX]

[DOI]

SIGBED Rev., 2016

Optimizing the resource requirements of hierarchical scheduling systems.

[BibT_eX]

[DOI]

Jin Hyun Kim

Axel Legay

Louis-Marie Traonouez

Abdeldjalil Boudjadar

SIGBED Rev., 2016

Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study.

[BibT_eX]

[DOI]

J. Comput. Sci. Eng., 2016

Monitoring Assumptions in Assume-Guarantee Contracts.

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, 2016

Scalable Verification of Linear Controller Software.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Human-interpretable diagnostic information for robotic planning systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Online planning for energy-efficient and disturbance-aware UAV operations.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Estimation of Blood Oxygen Content Using Context-Aware Filtering.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Representation of Confidence in Assurance Cases Using the Beta Distribution.

[BibT_eX]

[DOI]

Lian Duan

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.

[BibT_eX]

[DOI]

Bong-Ho Kim

Doru Calin

Proceedings of the 2016 IEEE Global Communications Conference, 2016

Making DDS really real-time with openflow.

[BibT_eX]

[DOI]

Hyon-Young Choi

Andrew L. King

Proceedings of the 2016 International Conference on Embedded Software, 2016

Adaptive Transient Fault Model for Sensor Attack Detection.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Cyber-Physical Systems, 2016

Clinician-in-the-Loop Annotation of ICU Bedside Alarm Data.

[BibT_eX]

[DOI]

Alexander Roederer

Joseph DiMartino

Jacob Gutsche

Sachin Shah

C. William Hanson

Proceedings of the First IEEE International Conference on Connected Health: Applications, 2016

Cloud-Based Secure Logger for Medical Devices.

[BibT_eX]

[DOI]

Proceedings of the First IEEE International Conference on Connected Health: Applications, 2016

A stochastic approach for attack resilient UAV motion planning.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

2015

Patient Infusion Pattern based Access Control Schemes for Wireless Insulin Pump System.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2015

Formal synthesis of application and platform behaviors of embedded software systems.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

Cache-aware compositional analysis of real-time multicore virtualization platforms.

[BibT_eX]

[DOI]

Real Time Syst., 2015

Parameter-Invariant Design of Medical Alarms.

[BibT_eX]

[DOI]

IEEE Des. Test, 2015

Medical Cyber-Physical Systems: The Early Years.

[BibT_eX]

[DOI]

IEEE Des. Test, 2015

Requirement Engineering for Functional Alarm System for Interoperable Medical Devices.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2015

Towards Assurance for Plug & Play Medical Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2015

Representing Confidence in Assurance Case Evidence.

[BibT_eX]

[DOI]

Lian Duan

Proceedings of the Computer Safety, Reliability, and Security, 2015

A Hybrid Approach to Causality Analysis.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 6th International Conference, 2015

Platform-Specific Code Generation from Platform-Independent Timed Models.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Verified ROS-Based Deployment of Platform-Independent Control Systems.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Hierarchical multi-formalism proofs of cyber-physical systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Abdeldjalil Boudjadar

Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

Robust Medical Monitor Design.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Healthcare Informatics, 2015

A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Healthcare Informatics, 2015

Sensor attack detection in the presence of transient faults.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Early detection of critical pulmonary shunts in infants.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Automatic verification of linear controller software.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Embedded Software, 2015

Robust monitoring of hypovolemia in intensive care patients using photoplethysmogram signals.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Attack-resilient state estimation in the presence of noise.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context.

[BibT_eX]

[DOI]

Jin Hyun Kim

Abdeldjalil Boudjadar

Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

Robust estimation using context-aware filtering.

[BibT_eX]

[DOI]

Proceedings of the 53rd Annual Allerton Conference on Communication, 2015

An Intraoperative Glucose Control Benchmark for Formal Verification.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2014

Model-Driven Safety Analysis of Closed-Loop Medical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2014

Safety-critical medical device development using the UPP2SF model translation tool.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2014

MC-Fluid: Fluid Model-Based Mixed-Criticality Scheduling on Multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Andrew L. King

Sanjian Chen

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.

[BibT_eX]

[DOI]

Proceedings of the Experimental Robotics, 2014

Attack resilient state estimation for autonomous robotic systems.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

Exploring the twin peaks using probabilistic verification techniques.

[BibT_eX]

[DOI]

Anitha Murugesan

Lu Feng

Michael W. Whalen

Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, 2014

Robustness of attack-resilient state estimators.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Demo abstract: ROSLab - A modular programming environment for robotic applications.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Resilient multidimensional sensor fusion using measurement history.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

Functional Alarms for Systems of Interoperable Medical Devices.

[BibT_eX]

[DOI]

Eugene Y. Vasserman

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.

[BibT_eX]

[DOI]

Anitha Murugesan

Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey.

[BibT_eX]

[DOI]

Lian Duan

Anaheed Ayoub

Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

Real-time multi-core virtual machine scheduling in Xen.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Embedded Software, 2014

A layered approach for testing timing in the model-based implementation.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Attack-resilient sensor fusion.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Towards Assurance Cases for Resilient Control Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014

Attack-resilient minimum mean-squared error estimation.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

2013

A comparison of compositional schedulability analysis techniques for hierarchical real-time systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2013

AS-CRED: Reputation and Alert Service for Interdomain Routing.

[BibT_eX]

[DOI]

IEEE Syst. J., 2013

Analyzing and defending against web-based malware.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2013

A trust model for vehicular network-based incident reports.

[BibT_eX]

[DOI]

Cong Liao

Proceedings of the 5th IEEE International Symposium on Wireless Vehicular Communications, 2013

A Reliable, Safe, and Secure Run-Time Platform for Cyber Physical Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2013

A Causality Analysis Framework for Component-Based Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 4th International Conference, 2013

Overhead-aware compositional analysis of real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

Improving schedulability of fixed-priority real-time systems using shapers.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

TrustForge: Flexible access control for collaborative crowd-sourced environment.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Benjamin A. Kohl

Sanjian Chen

Proceedings of the IEEE International Conference on Healthcare Informatics, 2013

Co-design of control and platform with dropped signals.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Contract-based blame assignment by trace analysis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013

Assuring the safety of on-demand medical cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013

Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control.

[BibT_eX]

[DOI]

Proceedings of the Control of Cyber-Physical Systems, 2013

Platform-dependent code generation for embedded real-time software.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Compilers, 2013

Distributed aspects of the artificial pancreas.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Introduction to the special section on runtime verification.

[BibT_eX]

[DOI]

Klaus Havelund

Int. J. Softw. Tools Technol. Transf., 2012

State-based scheduling with tree schedules: analysis and evaluation.

[BibT_eX]

[DOI]

Real Time Syst., 2012

Special Issue on Cyber-Physical Systems [Scanning the Issue].

[BibT_eX]

[DOI]

Proc. IEEE, 2012

Challenges and Research Directions in Medical Cyber-Physical Systems.

[BibT_eX]

[DOI]

Soojin Park

Alex Roederer

Proc. IEEE, 2012

Security and Interoperable-Medical-Device Systems, Part 1.

[BibT_eX]

[DOI]

Eugene Y. Vasserman

IEEE Secur. Priv., 2012

Security and Interoperable-Medical-Device Systems, Part 2: Failures, Consequences, and Classification.

[BibT_eX]

[DOI]

Eugene Y. Vasserman

IEEE Secur. Priv., 2012

Trust in collaborative web applications.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2012

Towards content-driven reputation for collaborative code repositories.

[BibT_eX]

[DOI]

Proceedings of the Eighth Annual International Symposium on Wikis and Open Collaboration, 2012

A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2012

Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

Realizing Compositional Scheduling through Virtualization.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Rapid System Prototyping, 2012

A Safety Case Pattern for Model-Based Development Approach.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2012

Smart alarms: multivariate medical alarm integration for post CABG surgery patients.

[BibT_eX]

[DOI]

Nicholas Stevens

Ana Rosa Giannareas

Vanessa Kern

Adrian Viesca Trevino

Margaret Fortino-Mullen

Andrew L. King

Proceedings of the ACM International Health Informatics Symposium, 2012

Clinical decision support for integrated cyber-physical systems: a mixed methods approach.

[BibT_eX]

[DOI]

Proceedings of the ACM International Health Informatics Symposium, 2012

The medical device dongle: an open-source standards-based platform for interoperable medical device connectivity.

[BibT_eX]

[DOI]

Proceedings of the ACM International Health Informatics Symposium, 2012

Rationale and Architecture Principles for Medical Application Platforms.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

HMM-based characterization of channel behavior for networked control systems.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on High Confidence Networked Systems (HiCoNS, 2012

Spamming for Science: Active Measurement in Web 2.0 Abuse Research.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2012

Evaluation of a smart alarm for intensive care using clinical data.

[BibT_eX]

[DOI]

Margaret Fortino-Mullen

Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2012

Invited talk: Challenges in Medical Cyber-Physical Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2011

CARTS: a tool for compositional analysis of real-time systems.

[BibT_eX]

[DOI]

SIGBED Rev., 2011

Improving resource utilization for compositional scheduling using DPRM interfaces.

[BibT_eX]

[DOI]

SIGBED Rev., 2011

Zero-laxity based real-time multiprocessor scheduling.

[BibT_eX]

[DOI]

J. Syst. Softw., 2011

Permission to speak: A logic for access control and conformance.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2011

What Wikipedia deletes: characterizing dangerous collaborative content.

[BibT_eX]

[DOI]

Proceedings of the 7th International Symposium on Wikis and Open Collaboration, 2011

Autonomous link spam detection in purely collaborative environments.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of Wireless Health 2011, 2011

AS-TRUST: A Trust Quantification Scheme for Autonomous Systems in BGP.

[BibT_eX]

[DOI]

Proceedings of the Trust and Trustworthy Computing - 4th International Conference, 2011

An empirical analysis of scheduling techniques for real-time cloud-based data processing.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

Runtime Verification of Traces under Recording Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - Second International Conference, 2011

Towards a Compositional Multi-modal Framework for Adaptive Cyber-physical Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011

A Semantic Framework for Mode Change Protocols.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

On effective testing of health care simulation software.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Software Engineering in Health Care, 2011

Reputation-based networked control with data-corrupting channels.

[BibT_eX]

[DOI]

Shreyas Sundaram

Chinwendu Enyioha

George J. Pappas

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Challenges in the regulatory approval of medical cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Embedded Software, 2011

Safety-assured development of the GPCA infusion pump software.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Embedded Software, 2011

Computing Logical Form on Regulatory Texts.

[BibT_eX]

[DOI]

Nikhil Dinesh

Aravind K. Joshi

Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing, 2011

Biomedical devices and systems security.

[BibT_eX]

[DOI]

David Arney

Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

ToMaTo: a trustworthy code mashup development tool.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the CLEF 2011 Labs and Workshop, 2011

Towards the effective temporal association mining of spam blacklists.

[BibT_eX]

[DOI]

Proceedings of the 8th Annual Collaboration, 2011

Link spamming Wikipedia for profit.

[BibT_eX]

[DOI]

Proceedings of the 8th Annual Collaboration, 2011

Compositional analysis of real-time embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Compilers, 2011

2010

Timed and Resource-oriented Statecharts for Embedded Software.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2010

Generating Reliable Code from Hybrid-Systems Models.

[BibT_eX]

[DOI]

Yerang Hur

IEEE Trans. Computers, 2010

Multiprocessor real-time scheduling considering concurrency and urgency.

[BibT_eX]

[DOI]

SIGBED Rev., 2010

UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2010

STiki: an anti-vandalism tool for Wikipedia using spatio-temporal analysis of revision metadata.

[BibT_eX]

[DOI]

Proceedings of the 6th International Symposium on Wikis and Open Collaboration, 2010

Spatio-temporal analysis of Wikipedia metadata and the STiki anti-vandalism tool.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Soojin Park

Proceedings of Wireless Health 2010, 2010

Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2010

A Safety-Assured Development Approach for Real-Time Software.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 11th International Middleware Conference Industrial Track, Bangalore, India, November 29, 2010

Model-Based Programming of Modular Robots.

[BibT_eX]

[DOI]

David Arney

Yoshihito Takashima

Mark Yim

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.

[BibT_eX]

[DOI]

Eunkyoung Jee

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

GSA: a framework for rapid prototyping of smart alarm systems.

[BibT_eX]

[DOI]

Adrian Viesca Trevino

Soojin Park

Proceedings of the ACM International Health Informatics Symposium, 2010

Prototyping closed loop physiologic control with the medical device coordination framework.

[BibT_eX]

[DOI]

Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, 2010

Toward patient safety in closed-loop medical device systems.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

A Process Algebraic Framework for Modeling Resource Demand and Supply.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Detecting Wikipedia vandalism via spatio-temporal analysis of revision metadata?

[BibT_eX]

[DOI]

Proceedings of the Third European Workshop on System Security, 2010

Modeling buffers with data refresh semantics in automotive architectures.

[BibT_eX]

[DOI]

Proceedings of the 10th International conference on Embedded software, 2010

Compositional Analysis of Multi-mode Systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

Cyber-physical systems: the next computing revolution.

[BibT_eX]

[DOI]

Proceedings of the 47th Design Automation Conference, 2010

Medical cyber physical systems.

[BibT_eX]

[DOI]

Proceedings of the 47th Design Automation Conference, 2010

Towards a data-centric view of cloud security.

[BibT_eX]

[DOI]

Proceedings of the Second International CIKM Workshop on Cloud Data Management, 2010

Spam mitigation using spatio-temporal reputations from blacklist history.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth Annual Computer Security Applications Conference, 2010

2009

Hardware Acceleration for Programmable Real-Time Ethernet.

[BibT_eX]

[DOI]

Robert Trausmuth

IEEE Trans. Ind. Informatics, 2009

Optimal virtual cluster-based multiprocessor scheduling.

[BibT_eX]

[DOI]

Real Time Syst., 2009

Model Checking of Real-Time Properties of Resource-Bound Process Algebra.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009

Dynamic Trust Management.

[BibT_eX]

[DOI]

Computer, 2009

Model-Based Testing of GUI-Driven Applications.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

<i>DMaC</i>: Distributed Monitoring and Checking.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, 9th International Workshop, 2009

Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems.

[BibT_eX]

[DOI]

Samarjit Chakraborty

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

A Compositional Scheduling Framework for Digital Avionics Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009

Strong and Weak Policy Relations.

[BibT_eX]

[DOI]

Proceedings of the POLICY 2009, 2009

Resource Scopes: Toward Language Support for Compositional Determinism.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

QuanTM: a quantitative trust management system.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Biomedical Engineering Systems and Technologies, 2009

Synchronizing an X-ray and Anesthesia Machine Ventilator - A Medical Device Interoperability Case Study.

[BibT_eX]

Proceedings of the BIODEVICES 2009, 2009

Process-Algebraic Interpretation of AADL Models.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2009

2008

Compositional real-time scheduling framework with periodic model.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2008

A design framework for real-time embedded systems with code size and energy constraints.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2008

Compositional schedulability analysis for cyber-physical systems.

[BibT_eX]

[DOI]

SIGBED Rev., 2008

Challenges and opportunities in deeply embedded systems security.

[BibT_eX]

[DOI]

SIGBED Rev., 2008

Checking Traces for Regulatory Conformance.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, 8th International Workshop, 2008

Robust and sustainable schedulability analysis of embedded software.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008

Compositional Feasibility Analysis of Conditional Real-Time Task Models.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Robert Trausmuth

Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008

Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science, 9th International Conference, 2008

2007

Compositional Real-Time Schedulability Analysis.

[BibT_eX]

[DOI]

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

Introduction and Overview.

[BibT_eX]

[DOI]

Joseph Y.-T. Leung

Sang Hyuk Son

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

Temporal Control in Real-Time Systems.

[BibT_eX]

[DOI]

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

A Verifiable Language for Programming Real-Time Communication Schedules.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2007

Editorial: Special issue on real-time wireless sensor networks.

[BibT_eX]

[DOI]

Chenyang Lu

Real Time Syst., 2007

Resources in process algebra.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2007

Statistical Runtime Checking of Probabilistic Properties.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, 7th International Workshop, 2007

Compositional Analysis Framework Using EDP Resource Models.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Logic-Based Regulatory Conformance Checking.

[BibT_eX]

[DOI]

Proceedings of the Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 2007

Compositional Schedulability Analysis of Hierarchical Real-Time Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

A dynamic scheduling approach to designing flexible safety-critical systems.

[BibT_eX]

[DOI]

Luís Almeida

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Composition Techniques for Tree Communication Schedules.

[BibT_eX]

[DOI]

Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

Runtime Verification for Wireless Sensor Network Applications.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, 02.01. - 06.01.2007, 2007

2006

Introduction to special issue.

[BibT_eX]

[DOI]

John Hatcliff

SIGBED Rev., 2006

Compositional modeling and refinement for hierarchical hybrid systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2006

High-Confidence Medical Device Software and Systems.

[BibT_eX]

[DOI]

Computer, 2006

Sensor Network Security: More Interesting Than You Think.

[BibT_eX]

[DOI]

Proceedings of the 1st USENIX Workshop on Hot Topics in Security, 2006

Simulation-Based Graph Similarity.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Network-Code Machine: Programmable Real-Time Communication Schedules.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

Schedulability analysis of AADL models.

[BibT_eX]

[DOI]

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

R-Charon, a Modeling Language for Reconfigurable Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Incremental schedulability analysis of hierarchical real-time components.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

An analysis framework for network-code programs.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies.

[BibT_eX]

[DOI]

Michael J. May

Carl A. Gunter

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

Securing the drop-box architecture for assisted living.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM workshop on Formal methods in security engineering, 2006

Generating Sound and Resource-Aware Code from Hybrid Systems Models.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006

2005

Preface.

[BibT_eX]

[DOI]

Rajeev Alur

ACM Trans. Embed. Comput. Syst., 2005

Run-Time Checking of Dynamic Properties.

[BibT_eX]

[DOI]

Proceedings of the Fifth Workshop on Runtime Verification, 2005

A Family of Resource-Bound Real-Time Process Algebras.

[BibT_eX]

[DOI]

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

Opportunities and Obligations for Physical Computing Systems.

[BibT_eX]

[DOI]

Computer, 2005

Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking.

[BibT_eX]

[DOI]

Hyoung Seok Hong

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.

[BibT_eX]

[DOI]

Usa Sammapun

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Service Availability, 2005

Security in Sensor Networks for Medical Systems Torso Architecture.

[BibT_eX]

[DOI]

Chaitanya Penubarthi

Myuhng Joo Kim

Proceedings of the Computational Science and Its Applications, 2005

Distributed-code generation from hybrid systems models for time-delayed multirate systems.

[BibT_eX]

[DOI]

Proceedings of the EMSOFT 2005, 2005

Quantifying eavesdropping vulnerability in sensor networks.

[BibT_eX]

[DOI]

Zachary G. Ives

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.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2004

Research challenges in embedded and hybrid systems.

[BibT_eX]

[DOI]

SIGBED Rev., 2004

Java-MaC: A Run-Time Assurance Approach for Java Programs.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2004

Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Runtime Verification, 2004

Compositional Real-Time Scheduling Framework.

[BibT_eX]

[DOI]

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

Is runtime verification applicable to cheat detection?

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Network and System Support for Games, 2004

Specification-based Testing with Linear Temporal Logic.

[BibT_eX]

[DOI]

Li Tan

Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

Model-based Testing and Monitoring for Hybrid Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

Sound Code Generation from Communicating Hybrid Models.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

A Compositional Framework for Real-Time Guarantees.

[BibT_eX]

[DOI]

Proceedings of the Automotive Software, 2004

2003

Hierarchical modeling and analysis of embedded systems.

[BibT_eX]

[DOI]

Proc. IEEE, 2003

Testing and Monitoring Model-based Generated Program.

[BibT_eX]

[DOI]

Li Tan

Proceedings of the Third Workshop on Run-time Verification, 2003

Modeling and Analysis of Power-Aware Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Periodic Resource Model for Compositional Real-Time Guarantees.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

Modular Code Generation from Hybrid Automata based on Data Dependency.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), 2003

Generating embedded software from hierarchical hybrid models.

[BibT_eX]

[DOI]

Proceedings of the 2003 Conference on Languages, 2003

Modeling Distributed Autonomous Robots Using CHARON: Formation Control Case Study.

[BibT_eX]

[DOI]

Yerang Hur

Rafael Fierro

Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003

Data Flow Testing as Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Software Engineering, 2003

2002

Verisim: Formal Analysis of Network Simulations.

[BibT_eX]

[DOI]

Karthikeyan Bhargavan

IEEE Trans. Software Eng., 2002

Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2002

A Framework and Architecture for Multi-Robot Coordination.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2002

Monitoring, Checking, and Steering of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification 2002, 2002

Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification 2002, 2002

A Temporal Logic Based Theory of Test Coverage and Generation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Sang Lyul Min

Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

A General Resource Framework for Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Distributed Simulation of Multi-Agent Hybrid Systems.

[BibT_eX]

[DOI]

Yerang Hur

Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

2001

Distributed web-based simulation experiments for optimization.

[BibT_eX]

[DOI]

Simul. Pract. Theory, 2001

Hiding resources that can fail: An axiomatic perspective.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2001

Characterizing Non-Zenoness on Real-Time Processes.

[BibT_eX]

[DOI]

Jitka Stríbrná

Proceedings of the International Workshop on Models for Time-Critical Systems, 2001

Java-MaC: a Run-time Assurance Tool for Java Programs.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Runtime Verification, 2001

Fair Real-Time Traffic Scheduling over a Wireless LA.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

Measuring False-Positive by Automated Real-Time Correlated Hacking Behavior Analysis.

[BibT_eX]

[DOI]

Jia Wang

Proceedings of the Information Security, 4th International Conference, 2001

Compositional Refinement for Hierarchical Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

A Family of Resource-Bound Real-Time Process Algebras.

[BibT_eX]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

Hierarchical Hybrid Modeling of Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software, First International Workshop, 2001

2000

An Efficient State Space Generation for the Analysis of Real-Time Systems.

[BibT_eX]

[DOI]

Inhye Kang

Young-Si Kim

IEEE Trans. Software Eng., 2000

Distributed web-based simulation optimization.

[BibT_eX]

[DOI]

Proceedings of the 32nd conference on Winter simulation, 2000

Fundamental R&D Issues in Real-Time Distributed Computing.

[BibT_eX]

[DOI]

Bhavani Thuraisingham

Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

A Framework and Architecture for Multirobot Coordination.

[BibT_eX]

[DOI]

Proceedings of the Experimental Robotics VII [ISER 2000, 2000

A Framework for Embedded Real-Time System Design.

[BibT_eX]

[DOI]

Proceedings of the Parallel and Distributed Processing, 2000

Modular Specification of Hybrid Systems in CHARON.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Weak Bisimulation for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2000, 2000

1999

Specification and Analysis of Real-Time Systems with PARAGON.

[BibT_eX]

[DOI]

Ann. Softw. Eng., 1999

Steering of real-time systems based on monitoring and checking.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

Runtime Assurance Based On Formal Specifications.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

Formally specified monitoring of temporal properties.

[BibT_eX]

[DOI]

Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

1998

Parallel Algorithms for Relational Coarsest Partition Problems.

[BibT_eX]

[DOI]

Sanguthevar Rajasekaran

IEEE Trans. Parallel Distributed Syst., 1998

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

[BibT_eX]

[DOI]

Real Time Syst., 1998

A Graphical Language for Specifying and Analyzing Real-Time Systems.

[BibT_eX]

[DOI]

Integr. Comput. Aided Eng., 1998

Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP.

[BibT_eX]

[DOI]

Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, 1998

Web-based Simulation Experiments.

[BibT_eX]

[DOI]

Enver Yücesan

Chun-Hung Chen

Proceedings of the 30th conference on Winter simulation, 1998

Symbolic Schedulability Analysis of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE Real-Time Technology and Applications Symposium, 1998

Praobabilistic Resource Failure in Real-Time Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

A Process Algebra of Communicating Shared Resources with Dense Time and Priorities.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1997

A Complete Axiomatization of Finite-State ACSR Processes.

[BibT_eX]

[DOI]

Inf. Comput., 1997

Automatic generation of tests for timing constraints from requirements.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, 1997

Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements.

[BibT_eX]

[DOI]

Young-Si Kim

Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

Analytical Design of Evolutionary Control Flow Components.

[BibT_eX]

[DOI]

Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

1996

Formal Verification, Testing and Checking of Real-Time Systems.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Schedulability and safety analysis in the graphical communicating shared resources.

[BibT_eX]

[DOI]

Young-Si Kim

Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996

A Theory of Testing for Soft Real-Time Processes.

[BibT_eX]

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Testing-Based Analysis of Real-Time System Models.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE International Test Conference 1996, 1996

An Efficient State Space Generation for Analysis of Real-Time Systems.

[BibT_eX]

[DOI]

Inhye Kang

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.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

The Specification and Schedulability Analysis of Real-Time Systems using ACSR.

[BibT_eX]

[DOI]

Hong-liang Xie

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.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

Testing Real-Time Constraints in a Process Algebraic Setting.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Software Engineering, 1995

Automation of analysis and simulation for understanding of large real-time Ada software.

[BibT_eX]

[DOI]

Moon Lee

Noah S. Prywes

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

[BibT_eX]

[DOI]

Inf. Comput., August, 1994

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

[BibT_eX]

[DOI]

Proc. IEEE, 1994

A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation.

[BibT_eX]

[DOI]

Sanguthevar Rajasekaran

Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1993

RTC: Language Support for Real-Time Concurrency.

[BibT_eX]

[DOI]

Real Time Syst., 1993

Deadlock Prevention in Concurrent Real-Time Systems.

[BibT_eX]

[DOI]

Real Time Syst., 1993

Fast Parallel Algorithms for Model Checking Using BDDs.

[BibT_eX]

[DOI]

Sanguthevar Rajasekaran

Proceedings of the Seventh International Parallel Processing Symposium, 1993

Deadlock Prevention in the RTC Programming System for Distributed Real-Time Applications.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '93, 1993

1992

A Layered Approach to Automating the Verification of Real-Time Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1992

CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities.

[BibT_eX]

[DOI]

Proceedings of the NAPAW 92, 1992

1991

Timed Atomic Commitment.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1991

Implementing a Real-Time Process Algebra in HOL.

[BibT_eX]

Elsa L. Gunter

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.

[BibT_eX]

[DOI]

Proceedings of the Real-Time: Theory in Practice, 1991

1990

A Performance Analysis of Times Synchronous Communication Primitives.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1990

A Proof System for Communicating Shared Resources.

[BibT_eX]

[DOI]

Proceedings of the Real-Time Systems Symposium, 1990

CCSR: A Calculus for Communicating Shared Resources.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '90, 1990

1989

Synthesizing Minimum Total Expansion Topologies for Reconfigurable Interconnection Networks.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1989

A Predictable Real-Time Kernel for Distributed Multisensor Systems.

[BibT_eX]

[DOI]

Robert B. King

Richard P. Paul

Computer, 1989

Communicating Shared Resources: A Model for Distributed Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Real-Time Systems Symposium, 1989

A protocol for timed atomic commitment.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Distributed Computing Systems, 1989

Language constructs for timed atomic commitment.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth International Symposium on Fault-Tolerant Computing, 1989

1988

A Synthesis Algorithm for Reconfigurable Interconnection Networks.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1988

Formal specification and analysis of DMI-an X-25 based protocol.

[BibT_eX]

[DOI]

Vijay Gehlot

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.

[BibT_eX]

[DOI]

Amy E. Zwarico

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988

1987

Adding Time to Synchronous Process Communications.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1987

Synthesis of Topologies with Minimum Total Expansion.

[BibT_eX]

Proceedings of the International Conference on Parallel Processing, 1987

Generalized I/O with Timing Constraints.

[BibT_eX]

Proceedings of the 7th International Conference on Distributed Computing Systems, 1987

1986

Partitioning of Massive/Real-Time Programs for Parallel Processing.

[BibT_eX]

[DOI]

Noah S. Prywes

Boleslaw K. Szymanski

Adv. Comput., 1986

Protocols for Timed Synchronous Process Communications.

[BibT_eX]

Proceedings of the 7th IEEE Real-Time Systems Symposium (RTSS '86), 1986

Synthesis and Mapping Algorithms for a Reconfigurable Optical Interconnection Network.

[BibT_eX]

Samuel M. Goldwasser

Proceedings of the International Conference on Parallel Processing, 1986

1985

Proving a Network of Real-Time Processes Correct.

[BibT_eX]

Amy E. Zwarico

Proceedings of the 6th IEEE Real-Time Systems Symposium (RTSS '85), 1985

Language Constructs for Distributed Real-Time Programming.

[BibT_eX]

Vijay Gehlot

Proceedings of the 6th IEEE Real-Time Systems Symposium (RTSS '85), 1985

A distributed testbed for active sensory processing.

[BibT_eX]

[DOI]

Samuel M. Goldwasser

Proceedings of the 1985 IEEE International Conference on Robotics and Automation, 1985

1983

Integrated environments.

[BibT_eX]

[DOI]

Proceedings of the symposium on High-level debugging, 1983

DYMOS: a dynamic modification system.

[BibT_eX]

[DOI]

Robert P. Cook

Proceedings of the symposium on High-level debugging, 1983

1982

A Contextual Analysis of Pascal Programs.

[BibT_eX]

[DOI]

Robert P. Cook