| Publication | Date of Publication | Type |
|---|
Distributed Markovian bisimulation reduction aimed at CSL model checking
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
Model checking for performability
MSCS. Mathematical Structures in Computer Science | 2013-08-26 | Paper |
| Sequential and distributed model checking of Petri net specifications | 2013-08-16 | Paper |
Region-based analysis of hybrid Petri nets with a single general one-shot transition
Lecture Notes in Computer Science | 2012-11-21 | Paper |
Decomposition-Based Queueing Network Analysis with FiFiQueues
International Series in Operations Research & Management Science | 2011-05-09 | Paper |
| Reachability in continuous-time Markov reward decision processes | 2011-03-30 | Paper |
Performability assessment by model checking of Markov reward models
Formal Methods in System Design | 2010-05-05 | Paper |
A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks
Lecture Notes in Computer Science | 2008-12-02 | Paper |
A Fixed-Point Algorithm for Closed Queueing Networks
Formal Methods and Stochastic Models for Performance Evaluation | 2008-08-28 | Paper |
Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won’t Tell About the Equilibrium Distribution
Formal Methods and Stochastic Models for Performance Evaluation | 2008-08-28 | Paper |
Faster SPDL Model Checking Through Property-Driven State Space Generation
Formal Methods and Stochastic Models for Performance Evaluation | 2008-08-28 | Paper |
CSL Model Checking Algorithms for Infinite-State Structured Markov Chains
Lecture Notes in Computer Science | 2008-07-03 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
CSL model checking algorithms for QBDs
Theoretical Computer Science | 2007-09-03 | Paper |
Distributed disk-based algorithms for model checking very large Markov chains
Formal Methods in System Design | 2006-10-24 | Paper |
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
Theoretical Computer Science | 2005-12-06 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
| scientific article; zbMATH DE number 2090702 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 2087817 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1946767 (Why is no real title available?) | 2003-07-07 | Paper |
Performance evaluation of multicast communication in packet-switched networks
Performance Evaluation | 2003-06-24 | Paper |
| scientific article; zbMATH DE number 1927572 (Why is no real title available?) | 2003-06-12 | Paper |
| scientific article; zbMATH DE number 1884418 (Why is no real title available?) | 2003-03-18 | Paper |
| scientific article; zbMATH DE number 1786472 (Why is no real title available?) | 2002-08-21 | Paper |
Performance and dependability techniques and tools
Performance Evaluation | 2002-07-14 | Paper |
| scientific article; zbMATH DE number 1670788 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1670870 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1629924 (Why is no real title available?) | 2001-10-23 | Paper |
Approximate analysis of networks of PH\(|\)PH\(| 1| K\) queues with customer losses: Test results
Annals of Operations Research | 1998-07-01 | Paper |
Performability modelling tools and techniques
Performance Evaluation | 1997-02-27 | Paper |
Product forms for availability models
Applied Stochastic Models and Data Analysis | 1994-09-08 | Paper |
Approximate performability and dependability analysis using generalized stochastic Petri nets
Performance Evaluation | 1994-01-09 | Paper |
Specification techniques for Markov reward models
Discrete Event Dynamic Systems | 1993-10-13 | Paper |
Composite performance and dependability analysis
Performance Evaluation | 1992-09-27 | Paper |
