Ric Klaren

Publication Activity (10 Years)

Years Active: 2001-2004
Publications (10 Years): 0

Publications

Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko
Synthesis and Stochastic Assessment of Schedules for Lacquer Production. QEST (2004)
Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns
Embedded Software Analysis with MOTOR. SFM (2004)
Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren
The Modest Modeling Tool and Its Implementation. Computer Performance Evaluation / TOOLS (2003)
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)
Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren
MoDeST - A Modelling and Description Language for Stochastic Timed Systems. PAPM-PROBMIV (2001)