Search the dblp DataBase

Publications of Author

1. Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan
   Model Checking Markov Reward Models with Impulse Rewards. [Citation Graph (0, 0)][DBLP]
   DSN, 2005, pp:722-731 [Conf]
   
2. Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker
   Compositional Performability Evaluation for STATEMATE. [Citation Graph (0, 0)][DBLP]
   QEST, 2006, pp:167-178 [Conf]
   
3. 
   The Minimal Representation of the Maximum of Erlang Distributions. [Citation Graph (, )][DBLP]
   
   
4. 
   Does Clock Precision Influence ZigBee's Energy Consumptions?. [Citation Graph (, )][DBLP]
   
   
5. 
   Acyclic Minimality by Construction---Almost. [Citation Graph (, )][DBLP]
   
   
6. 
   Effective Minimization of Acyclic Phase-Type Representations. [Citation Graph (, )][DBLP]