Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Bounded Fairness for Probabilistic Distributed Algorithms.

P. Crouzen, E. Hahn, H. Hermanns, A. Dhama, O. Theel, R. Wimmer, B. Braitling, and B. Becker. ACSD, page 89-97. IEEE Computer Society, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Crouzen, Pepijn

add a person with the name Crouzen, Pepijn

Other publications of authors with the same name

A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis.H. Boudali, P. Crouzen, and M. Stoelinga. IEEE Trans. Dependable Sec. Comput., 7 (2): 128-143 (2010)Smart Reduction.P. Crouzen, and F. Lang. FASE, volume 6603 of Lecture Notes in Computer Science, page 111-126. Springer, (2011)Bounded Fairness for Probabilistic Distributed Algorithms.P. Crouzen, E. Hahn, H. Hermanns, A. Dhama, O. Theel, R. Wimmer, B. Braitling, and B. Becker. ACSD, page 89-97. IEEE Computer Society, (2011)07101 Working Group Report -- Performance Measures Other Than Time.L. Cloth, P. Crouzen, M. Fruth, T. Han, D. Jansen, M. Kattenbelt, G. Smit, and L. Zhang. Quantitative Aspects of Embedded Systems, volume 07101 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems.R. Wimmer, B. Braitling, B. Becker, E. Hahn, P. Crouzen, H. Hermanns, A. Dhama, and O. Theel. QEST, page 27-36. IEEE Computer Society, (2010)On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population ModelsA. Andreychenko, P. Crouzen, and V. Wolf. QAPL, volume 57 of EPTCS, page 1. (2011)Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains.G. Calin, P. Crouzen, P. D'Argenio, E. Hahn, and L. Zhang. SPIN, volume 6349 of Lecture Notes in Computer Science, page 193-211. Springer, (2010)Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework.H. Boudali, P. Crouzen, B. Haverkort, M. Kuntz, and M. Stoelinga. ICECCS, page 243-248. IEEE Computer Society, (2008)Aggregation Ordering for Massively Compositional Models.P. Crouzen, and H. Hermanns. ACSD, page 171-180. IEEE Computer Society, (2010)A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains.H. Boudali, P. Crouzen, and M. Stoelinga. ATVA, volume 4762 of Lecture Notes in Computer Science, page 441-456. Springer, (2007)

PUMA

Disambiguation of "Crouzen, Pepijn"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Bounded Fairness for Probabilistic Distributed Algorithms.

Please choose a person to relate this publication to

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Crouzen, Pepijn"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Bounded Fairness for Probabilistic Distributed Algorithms.

Please choose a person to relate this publication to

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Bounded Fairness for Probabilistic Distributed Algorithms.