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

Ernst Moritz Hahn Vis

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

*2009
4EEErnst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang: INFAMY: An Infinite-State Markov Model Checker. CAV 2009: 641-647
3EEErnst Moritz Hahn, Holger Hermanns, Lijun Zhang: Probabilistic Reachability for Parametric Markov Models. SPIN 2009: 88-106
2008
2EELijun Zhang, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter: Time-bounded model checking of infinite-state continuous-time Markov chains. ACSD 2008: 98-107
2006
1EEThomas Peikenkamp, Antonella Cavallo, Laura Valacca, Eckard Böde, Matthias Pretzer, Ernst Moritz Hahn: Towards a Unified Model-Based Safety Assessment. SAFECOMP 2006: 275-288

Coauthor Index

1Eckard Böde [1]
2Antonella Cavallo [1]
3Holger Hermanns [2] [3] [4]
4Thomas Peikenkamp [1]
5Matthias Pretzer [1]
6Laura Valacca [1]
7Björn Wachter [2] [4]
8Lijun Zhang [2] [3] [4]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)