The following pages link to Insup Lee (Q234682):
Displaying 42 items.
- State-based scheduling with tree schedules: analysis and evaluation (Q438213) (← links)
- Permission to speak: a logic for access control and conformance (Q615900) (← links)
- PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling (Q764283) (← links)
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning (Q832173) (← links)
- Optimal virtual cluster-based multiprocessor scheduling (Q1039304) (← links)
- A resource-based prioritized bisimulation for real-time systems (Q1333279) (← links)
- A complete axiomatization of finite-state ACSR processes (Q1376418) (← links)
- A process algebra of communicating shared resources with dense time and priorities (Q1389685) (← links)
- Hiding resources that can fail: An axiomatic perspective (Q1607106) (← links)
- Java-MaC: A run-time assurance approach for Java programs (Q1878917) (← links)
- Compositional modeling and refinement for hierarchical hybrid systems (Q2368695) (← links)
- Resources in process algebra (Q2373652) (← links)
- A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems (Q2403815) (← links)
- Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control (Q2925507) (← links)
- Reputation-based networked control with data-corrupting channels (Q2986744) (← links)
- Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking (Q3522045) (← links)
- A Process Algebraic Framework for Modeling Resource Demand and Supply (Q3588093) (← links)
- Robust Test Generation and Coverage for Hybrid Systems (Q3612982) (← links)
- Distributed web-based simulation experiments for optimization (Q4331544) (← links)
- (Q4417942) (← links)
- (Q4448429) (← links)
- (Q4472251) (← links)
- (Q4499182) (← links)
- (Q4536612) (← links)
- (Q4552455) (← links)
- Parameter Invariant Monitoring for Signal Temporal Logic (Q4561452) (← links)
- A Verifiable Language for Programming Real-Time Communication Schedules (Q4564238) (← links)
- MC-Fluid: Multi-Core Fluid-Based Mixed-Criticality Scheduling (Q4567331) (← links)
- Continuous Estimation Using Context-Dependent Discrete Measurements (Q4614018) (← links)
- Adding Time to Synchronous Process Communications (Q4728234) (← links)
- (Q4953375) (← links)
- Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators (Q5019359) (← links)
- Case study (Q5146397) (← links)
- Verisig (Q5239233) (← links)
- A Family of Resource-Bound Real-Time Process Algebras (Q5262969) (← links)
- Generating Reliable Code from Hybrid-Systems Models (Q5280712) (← links)
- Hybrid Systems: Computation and Control (Q5307941) (← links)
- Attack-Resilient State Estimation for Noisy Dynamical Systems (Q5358525) (← links)
- (Q5692739) (← links)
- Hybrid Systems: Computation and Control (Q5898992) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899072) (← links)
- Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP (Q5957896) (← links)
