We work on a number of different models that support different aspects of model-based design and design-automation solutions
- dataflow models, including dynamic dataflow (KPN/RPN, SADF)
- (switched) max-plus-linear models
- flow shop models and constraint graph specifications
- Parallel Object-Oriented Specification Language
- Pareto Algebra
- Activity models
- Game-theoretic models for correctness and performance
- Run-time verification
- Quality and Resource Management models
- Scenario Based Design
- Timed Actor Interfaces
- Timed Message Sequence Charts
- Game-theoretic models for supervisory controller synthesis for optimal performance