Pepijn Crouzen

According to our database1, Pepijn Crouzen
  • authored at least 16 papers between 2007 and 2015.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Modularity and determinism in compositional Markov models.
PhD thesis, 2015

2011
On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models
Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

Smart Reduction.
Proceedings of the Fundamental Approaches to Software Engineering, 2011

Bounded Fairness for Probabilistic Distributed Algorithms.
Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010
A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis.
IEEE Trans. Dependable Sec. Comput., 2010

Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains.
Proceedings of the Model Checking Software, 2010

Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems.
Proceedings of the QEST 2010, 2010

Aggregation Ordering for Massively Compositional Models.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009
Dependability Engineering of Silent Self-stabilizing Systems.
Proceedings of the Stabilization, 2009

2008
Applying formal methods to gossiping networks with mCRL and groove.
SIGMETRICS Performance Evaluation Review, 2008

Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

Architectural dependability evaluation with Arcade.
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

On the Minimisation of Acyclic Models.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

07101 Working Group Report -- Performance Measures Other Than Time.
Proceedings of the Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007

A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains.
Proceedings of the Automated Technology for Verification and Analysis, 2007


  Loading...