Insup Lee

According to our database1, Insup Lee
  • authored at least 355 papers between 1982 and 2018.
  • has a "Dijkstra number"2 of four.

Awards

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 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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

Parameter-Invariant Monitor Design for Cyber-Physical Systems.
Proceedings of the IEEE, 2018

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

Injected and Delivered: Fabricating Implicit Control over Actuation Systems by Spoofing Inertial Sensors.
CoRR, 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

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

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

Attack-Resilient State Estimation for Noisy Dynamical Systems.
IEEE Trans. Control of Network Systems, 2017

Protecting interoperable clinical environment with authentication.
SIGBED Review, 2017

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

Resilient Linear Classification: An Approach to Deal with Attacks on Training Data.
CoRR, 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. Embedded Comput. Syst., 2016

Prediction of Critical Pulmonary Shunts in Infants.
IEEE Trans. Contr. Sys. Techn., 2016

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

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

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

Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study.
JCSE, 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 Distrib. Syst., 2015

Formal synthesis of application and platform behaviors of embedded software systems.
Software and System Modeling, 2015

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

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

Medical Cyber-Physical Systems: The Early Years.
IEEE Design & 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

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. Industrial Informatics, 2014

Safety-critical medical device development using the UPP2SF model translation tool.
ACM Trans. Embedded 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. Embedded Comput. Syst., 2013

AS-CRED: Reputation and Alert Service for Interdomain Routing.
IEEE Systems Journal, 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

Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms.
Proceedings of the IEEE 34th Real-Time Systems Symposium, 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

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.
STTT, 2012

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

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

Challenges and Research Directions in Medical Cyber-Physical Systems.
Proceedings of the IEEE, 2012

Security and Interoperable-Medical-Device Systems, Part 1.
IEEE Security & Privacy, 2012

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

Trust in collaborative web applications.
Future Generation Comp. 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 Software Engineering Notes, 2011

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

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

Zero-laxity based real-time multiprocessor scheduling.
Journal of Systems and Software, 2011

Permission to speak: A logic for access control and conformance.
J. Log. Algebr. 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

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. Industrial Informatics, 2010

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

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

UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture.
J. UCS, 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. Industrial Informatics, 2009

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

Model Checking of Real-Time Properties of Resource-Bound Process Algebra.
IEICE Transactions, 2009

Dynamic Trust Management.
IEEE Computer, 2009

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

DMaC: 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

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. Embedded Comput. Syst., 2008

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

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

Challenges and opportunities in deeply embedded systems security.
SIGBED Review, 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 Systems, 2007

Resources in process algebra.
J. Log. Algebr. 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 Review, 2006

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

Run-Time Checking of Dynamic Properties.
Electr. Notes Theor. Comput. Sci., 2006

A Family of Resource-Bound Real-Time Process Algebras.
Electr. Notes Theor. Comput. Sci., 2006

High-Confidence Medical Device Software and Systems.
IEEE 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. Embedded Comput. Syst., 2005

Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification.
Electr. Notes Theor. Comput. Sci., 2005

Opportunities and Obligations for Physical Computing Systems.
IEEE 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.
STTT, 2004

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

Java-MaC: A Run-Time Assurance Approach for Java Programs.
Formal Methods in System Design, 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.
Proceedings of the IEEE, 2003

Testing and Monitoring Model-based Generated Program.
Electr. Notes Theor. Comput. Sci., 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.
I. J. Robotics Res., 2002

Monitoring, Checking, and Steering of Real-Time Systems.
Electr. Notes Theor. Comput. Sci., 2002

Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC.
Electr. Notes Theor. Comput. Sci., 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. Pr. Theory, 2001

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

Characterizing Non-Zenoness on Real-Time Processes.
Electr. Notes Theor. Comput. Sci., 2001

Java-MaC: a Run-time Assurance Tool for Java Programs.
Electr. Notes Theor. Comput. Sci., 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, WSC 2000, 2000

Verisim: Formal analysis of network simulations.
Proceedings of the International Symposium on Software Testing and Analysis, 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
Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP.
Electr. Notes Theor. Comput. Sci., 1999

Specification and Analysis of Real-Time Systems with PARAGON.
Ann. Software 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 Distrib. Syst., 1998

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

A Graphical Language for Specifying and Analyzing Real-Time Systems.
Integrated Computer-Aided Engineering, 1998

Web-based Simulation Experiments.
Proceedings of the 30th conference on Winter simulation, WSC 1998, 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 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 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 Systems, 1993

Deadlock Prevention in Concurrent Real-Time Systems.
Real-Time Systems, 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

RTC: language support for real-time concurrency.
Proceedings of the Real-Time Systems Symposium, 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

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 Distrib. Comput., 1989

A Predictable Real-Time Kernel for Distributed Multisensor Systems.
IEEE 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

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.
Advances in Computers, 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.
SIGPLAN Notices, 1983

DYMOS: a dynamic modification system.
SIGPLAN Notices, 1983

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


  Loading...