Insup Lee

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
T4V: exploring neural network architectures that improve the scalability of neural network verification	2023-08-10	Paper
Verisig 2.0: verification of neural network controllers using Taylor model preconditioning	2022-03-25	Paper
Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators	2022-01-10	Paper
Case study	2021-01-25	Paper
Verisig	2019-10-22	Paper
Continuous Estimation Using Context-Dependent Discrete Measurements	2019-01-28	Paper
Parameter Invariant Monitoring for Signal Temporal Logic	2018-12-06	Paper
MC-Fluid: Multi-Core Fluid-Based Mixed-Criticality Scheduling	2018-06-27	Paper
A Verifiable Language for Programming Real-Time Communication Schedules	2018-06-12	Paper
Attack-Resilient State Estimation for Noisy Dynamical Systems	2017-09-21	Paper
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems	2017-09-12	Paper
Generating Reliable Code from Hybrid-Systems Models	2017-07-27	Paper
Reputation-based networked control with data-corrupting channels	2017-05-16	Paper
A Family of Resource-Bound Real-Time Process Algebras	2015-07-10	Paper
Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control	2014-10-16	Paper
State-based scheduling with tree schedules: analysis and evaluation	2012-07-30	Paper
PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling	2012-03-13	Paper
Permission to speak: a logic for access control and conformance	2011-01-07	Paper
A Process Algebraic Framework for Modeling Resource Demand and Supply	2010-09-10	Paper
Optimal virtual cluster-based multiprocessor scheduling	2009-11-27	Paper
Robust Test Generation and Coverage for Hybrid Systems	2009-03-11	Paper
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking	2008-08-28	Paper
Hybrid Systems: Computation and Control	2007-09-25	Paper
Resources in process algebra	2007-07-16	Paper
Hybrid Systems: Computation and Control	2007-05-02	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
Compositional modeling and refinement for hierarchical hybrid systems	2006-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q5692739	2005-09-28	Paper
Java-MaC: A run-time assurance approach for Java programs	2004-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4472251	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4448429	2004-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q4417942	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4953375	2002-09-08	Paper
https://portal.mardi4nfdi.de/entity/Q4552455	2002-09-03	Paper
Hiding resources that can fail: An axiomatic perspective	2002-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4536612	2002-06-25	Paper
Distributed web-based simulation experiments for optimization	2002-05-21	Paper
Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP	2002-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4499182	2001-03-06	Paper
A process algebra of communicating shared resources with dense time and priorities	1998-06-30	Paper
A complete axiomatization of finite-state ACSR processes	1998-02-02	Paper
A resource-based prioritized bisimulation for real-time systems	1996-02-26	Paper
Adding Time to Synchronous Process Communications	1987-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Insup Lee