Overall Objectives
Research Program
Application Domains
New Results
- Generalized Alignment-Based Trace Clustering of Process Behavior
- The involution tool for accurate digital timing and power analysis
- Transistor-level analysis of dynamic delay models
- A faithful binary circuit model
- Concurrency in Boolean networks
- Sequential Reprogramming of Boolean Networks Made Practical
- Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks.
- Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics
- Autonomous Transitions Enhance CSLTA Expressiveness and Conciseness
- Coverability and Termination in Recursive Petri Nets
Partnerships and Cooperations
Bibliography
Overall Objectives
Research Program
Application Domains
New Results
- Generalized Alignment-Based Trace Clustering of Process Behavior
- The involution tool for accurate digital timing and power analysis
- Transistor-level analysis of dynamic delay models
- A faithful binary circuit model
- Concurrency in Boolean networks
- Sequential Reprogramming of Boolean Networks Made Practical
- Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks.
- Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics
- Autonomous Transitions Enhance CSLTA Expressiveness and Conciseness
- Coverability and Termination in Recursive Petri Nets
Partnerships and Cooperations
Bibliography
Previous | 
Home