PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "de Vink, Erik P."

Author of the publication

copydeleteadd this publication to your clipboard
Compositionality for Markov reward chains with fast and silent transitions.

, , , and . Perform. Eval., 66 (8): 435-452 (2009)

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.

Erik Eppinger University of Stuttgart

Erik Hesselmeier University of Stuttgart

Dr. Erik Poloni University of Stuttgart

Erik Wimmer University of Stuttgart

P. Hommel

 

Other publications of authors with the same name

Compositionality for Markov reward chains with fast and silent transitions., , , and . Perform. Eval., 66 (8): 435-452 (2009)Control flow semantics., and . MIT Press, (1996)Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards., and . Formal Aspects in Security and Trust, volume 173 of IFIP, page 85-98. Springer, (2004)Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra., and . Fundam. Inform., 95 (1): 157-186 (2009)Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach., and . Theor. Comput. Sci., 221 (1-2): 271-293 (1999)Towards a Proof Method for Paradigm., , and . Theory and Practice of Formal Methods, volume 9660 of Lecture Notes in Computer Science, page 242-260. Springer, (2016)Deadlock Detection for Actor-Based Coroutines., , and . FM, volume 10951 of Lecture Notes in Computer Science, page 39-54. Springer, (2018)Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract)., and . TAPSOFT, Vol.1, volume 249 of Lecture Notes in Computer Science, page 241-255. Springer, (1987)The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability., , , , , , , , and . TACAS (2), volume 11428 of Lecture Notes in Computer Science, page 21-39. Springer, (2019)Verification and Improvement of the Sliding Window Protocol., , and . TACAS, volume 2619 of Lecture Notes in Computer Science, page 113-127. Springer, (2003)