 | 2004 |
|---|
| 5 |       | Henrik C. Bohnenkamp,
Holger Hermanns,
Ric Klaren,
Angelika Mader,
Yaroslav S. Usenko:
Synthesis and Stochastic Assessment of Schedules for Lacquer Production.
QEST 2004: 28-37 |
| 4 | | Joost-Pieter Katoen,
Henrik C. Bohnenkamp,
Ric Klaren,
Holger Hermanns:
Embedded Software Analysis with MOTOR.
SFM 2004: 268-294 |
| 2003 |
|---|
| 3 | | Henrik C. Bohnenkamp,
Holger Hermanns,
Joost-Pieter Katoen,
Ric Klaren:
The Modest Modeling Tool and Its Implementation.
Computer Performance Evaluation / TOOLS 2003: 116-133 |
| 2 | | Henrik C. Bohnenkamp,
Tod Courtney,
David Daly,
Salem Derisavi,
Holger Hermanns,
Joost-Pieter Katoen,
Ric Klaren,
Vinh Vi Lam,
William H. Sanders:
On Integrating the MÖBIUS and MODEST Modeling Tools.
DSN 2003: 671 |
| 2001 |
|---|
| 1 | | Pedro R. D'Argenio,
Holger Hermanns,
Joost-Pieter Katoen,
Ric Klaren:
MoDeST - A Modelling and Description Language for Stochastic Timed Systems.
PAPM-PROBMIV 2001: 87-104 |
