dblp.uni-trier.dewww.uni-trier.de

Ric Klaren

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
5EEHenrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko: Synthesis and Stochastic Assessment of Schedules for Lacquer Production. QEST 2004: 28-37
4EEJoost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns: Embedded Software Analysis with MOTOR. SFM 2004: 268-294
2003
3EEHenrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren: The Modest Modeling Tool and Its Implementation. Computer Performance Evaluation / TOOLS 2003: 116-133
2EEHenrik 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
1EEPedro 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

Coauthor Index

1Henrik C. Bohnenkamp [2] [3] [4] [5]
2Tod Courtney [2]
3Pedro R. D'Argenio [1]
4David Daly [2]
5Salem Derisavi [2]
6Holger Hermanns [1] [2] [3] [4] [5]
7Joost-Pieter Katoen [1] [2] [3] [4]
8Vinh Vi Lam [2]
9Angelika Mader [5]
10William H. Sanders [2]
11Yaroslav S. Usenko [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)