Search the dblp DataBase

Publications of Author

1. Roel Wieringa, David N. Jansen
   Techniques for Reactive System Design: The Tools in TRADE. [Citation Graph (0, 0)][DBLP]
   CAiSE, 2001, pp:93-107 [Conf]
   
2. Lijun Zhang, Holger Hermanns, David N. Jansen
   Logic and Model Checking for Hidden Markov Models. [Citation Graph (0, 0)][DBLP]
   FORTE, 2005, pp:98-112 [Conf]
   
3. David N. Jansen, Holger Hermanns, Joost-Pieter Katoen
   A Probabilistic Extension of UML Statecharts. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 2002, pp:355-374 [Conf]
   
4. Jasper Berendsen, David N. Jansen, Joost-Pieter Katoen
   Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata. [Citation Graph (0, 0)][DBLP]
   QEST, 2006, pp:311-322 [Conf]
   
5. David N. Jansen, Holger Hermanns
   Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains? [Citation Graph (0, 0)][DBLP]
   QEST, 2004, pp:250-259 [Conf]
   
6. David N. Jansen, Holger Hermanns, Joost-Pieter Katoen
   A QoS-Oriented Extension of UML Statecharts. [Citation Graph (0, 0)][DBLP]
   UML, 2003, pp:76-91 [Conf]
   
7. Holger Hermanns, David N. Jansen, Yaroslav S. Usenko
   From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. [Citation Graph (0, 0)][DBLP]
   WOSP, 2005, pp:13-23 [Conf]
   
8. David N. Jansen, Roel Wieringa
   Extending CTL with Actions and Real Time. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2002, v:12, n:4, pp:607-621 [Journal]
   
9. Rik Eshuis, David N. Jansen, Roel Wieringa
   Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts. [Citation Graph (0, 0)][DBLP]
   Requir. Eng., 2002, v:7, n:4, pp:243-263 [Journal]
   
10. David N. Jansen, Holger Hermanns
    QoS modelling and analysis with UML-statecharts: the StoCharts approach. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:28-33 [Journal]
    
11. Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen
    Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:87-101 [Conf]
    
12. Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen
    Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:155-169 [Conf]
    
13. 
    07101 Working Group Report -- Performance Measures Other Than Time. [Citation Graph (, )][DBLP]
    
    
14. 
    How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. [Citation Graph (, )][DBLP]
    
    
15. 
    An industrial-strength formal method -- A Modest survey. [Citation Graph (, )][DBLP]
    
    
16. 
    The Ins and Outs of the Probabilistic Model Checker MRMC. [Citation Graph (, )][DBLP]
    
    
17. 
    Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata. [Citation Graph (, )][DBLP]
    
    
18. 
    Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations [Citation Graph (, )][DBLP]