Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Insup Lee
Weak Bisimulation for Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Checking Traces for Regulatory Conformance
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modeling and Analysis of Power-Aware Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modular Specification of Hybrid Systems in Charon
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Simulation-Based Graph Similarity
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Specifications and Analysis of the Computer-Assisted Resuscitation Algorithm (CARA) Infusion Pump Control System
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Incremental Schedulability Analysis of Hierarchical Real-Time Components
Distributed-Code Generation From Hybrid Systems Models for Time-Delayed Multirate Systems
Hardware Acceleration for Verifiable, Adaptive Real-Time Communication
‹
1
2
