Ric Klaren

According to our database, Ric Klaren authored at least 5 papers between 2001 and 2004.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2004

Embedded Software Analysis with MOTOR.

Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns

Proceedings of the Formal Methods for the Design of Real-Time Systems, 2004

Synthesis and Stochastic Assessment of Schedules for Lacquer Production.

Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

2003

On Integrating the MÖBIUS and MODEST Modeling Tools.

Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

The Modest Modeling Tool and Its Implementation.

Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren

Proceedings of the Computer Performance Evaluations, 2003

2001

MoDeST - A Modelling and Description Language for Stochastic Timed Systems.

Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren

Proceedings of the Process Algebra and Probabilistic Methods, 2001