Pepijn Crouzen
According to our database1,
Pepijn Crouzen
authored at least 16 papers
between 2007 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
2007
2008
2009
2010
2011
2012
2013
2014
2015
0
1
2
3
4
5
1
1
3
3
1
3
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
2011
Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011
Proceedings of the Fundamental Approaches to Software Engineering, 2011
Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011
2010
IEEE Trans. Dependable Secur. Comput., 2010
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains.
Proceedings of the Model Checking Software, 2010
Proceedings of the QEST 2010, 2010
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010
2009
Proceedings of the Stabilization, 2009
2008
SIGMETRICS Perform. Evaluation Rev., 2008
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008
2007
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007
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