• Publications
  • Influence
Hierarchical modeling and analysis of embedded systems
This paper describes the modeling language CHARON for modular design of interacting hybrid systems. The language allows specification of architectural as well as behavioral hierarchy and discrete asExpand
  • 186
  • 15
  • Open Access
Runtime Assurance Based On Formal Specifications
We describe the Monitoring and Checking (MaC) framework which assures the correctness of the current execution at run-time. Monitoring is performed based on a formal specification of systemExpand
  • 193
  • 14
  • Open Access
Java-MaC: A Run-Time Assurance Approach for Java Programs
We describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs. The MaC architecture provides assurance that the target program is runningExpand
  • 232
  • 12
  • Open Access
Weak Bisimulation for Probabilistic Systems
In this paper, we introduce weak bisimulation in the framework of Labeled Concurrent Markov Chains, that is, probabilistic transition systems which exhibit both probabilistic and nondeterministicExpand
  • 127
  • 12
  • Open Access
Challenges and Research Directions in Medical Cyber–Physical Systems
Medical cyber-physical systems (MCPS) are life-critical, context-aware, networked systems of medical devices. These systems are increasingly used in hospitals to provide high-quality continuous careExpand
  • 268
  • 10
  • Open Access
Real-time multi-core virtual machine scheduling in Xen
  • Sisu Xi, M. Xu, +4 authors I. Lee
  • Computer Science
  • International Conference on Embedded Software…
  • 12 October 2014
Recent years have witnessed two major trends in the development of complex real-time embedded systems. First, to reduce cost and enhance flexibility, multiple systems are sharing common computingExpand
  • 88
  • 10
  • Open Access
An Evaluation Framework for Reputation Management Systems
Reputation management (RM) is employed in distributed and peer-to-peer networks to help users compute a measure of trust in other users based on initial belief, observed behavior, and run-timeExpand
  • 42
  • 10
  • Open Access
Medical Cyber Physical Systems
We discuss current trends in the development and use of high-confidence medical cyber-physical systems (MCPS). These trends, including increased reliance on software to deliver new functionality,Expand
  • 156
  • 9
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study
Model-Driven Design (MDD) of cyber-physical systems advocates for design procedures that start with formal modeling of the real-time system, followed by the model's verification at an early stage.Expand
  • 61
  • 9
  • Open Access
Robustness of attack-resilient state estimators
The interaction between information technology and phys ical world makes Cyber-Physical Systems (CPS) vulnerable to malicious attacks beyond the standard cyber attacks. This has motivated the needExpand
  • 176
  • 8
  • Open Access