1
0
0
(1 - 21 von 21
)
Academy of Europe: Publications - Academia Europaeawww.ae-info.org › User › Hermanns_Holger › Publi...
www.ae-info.org
— Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer: Analysis of Timed and Long-Run Objectives for Markov Automata ...
[ ] Modelling, Reduction and Analysis of Markov Automata...
arxiv.org
Title: Modelling, Reduction and Analysis of Markov Automata (extended version). Authors: Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer. (Submitted on 30 May 2013). Abstract: Markov automata (MA) constitute an expressive continuous-time compositional modelling formalism.
Es fehlt: staub logistik
Probabilistic Model Checking for Uncertain Scenario-Aware Data Flowwww.es.ele.tue.nl › sadf › publications
www.es.ele.tue.nl
von JP Katoen · Zitiert von: 10 — Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters, and Mariлlle Stoelinga b. Modelling and. Analysis of Markov Reward Automata.
Synthesizing FDIR Recovery Strategies From Non-Deterministic ...elib.dlr.de › Synthesizing_FDIR_Recovery_Strategies_From_Non_De...
elib.dlr.de
von S Müller · · Zitiert von: 5 — 6Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, and Mark Timmer. Modelling, reduction and analysis of Markov automata.
Publications of Joost-Pieter Katoen
www-i2.informatik.rwth-aachen.de
Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer. Modelling, Reduction and Analysis of Markov Automata. 10th Int. Conf. on Quantitative Evaluation of Systems (QEST'13), Volume of LNCS, pages 34–50, Springer, Joost-Pieter Katoen. Concurrency meets Probability: Theory and Practice (Abstract). Int.
Mark Timmer - dblpdblp.uni-trier.de › Persons
dblp.uni-trier.de
persistent URL: https://dblp.org/rec/conf/atva/GuckTHRS14. Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters , Mariëlle Stoelinga:
Modelling, reduction and analysis of Markov automata - CORE
core.ac.uk
Modelling, reduction and analysis of Markov automata. By Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen and Mark Timmer.
Modelling, Reduction and Analysis of Markov Automata | SpringerLink
link.springer.com
Dennis Guck (20) (22); Hassan Hatefi (21); Holger Hermanns (21); Joost-Pieter Katoen (20) (22); Mark Timmer (22). Author Affiliations Software Modelling ...
10th International Conference on the Quantitative Evaluation QESTwww.qest.org › qest2013 › accepted
www.qest.org
Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen and Mark Timmer. Modelling, Reduction and Analysis of Markov Automata.
A Modest Approach to Markov Automata - OUCIouci.dntb.gov.ua › works
ouci.dntb.gov.ua
von Y Butkova · · Zitiert von: 4 — DOI:https://doi.org LMCS-10(3:17)2014 Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, and Mark Timmer
ANALYSIS OF TIMED AND LONG-RUN OBJECTIVES FOR Ebscosearch.ebscohost.com › login
search.ebscohost.com
von D GUCK · · Zitiert von: 39 — DENNIS GUCK a, HASSAN HATEFI b, HOLGER HERMANNSc,. JOOST-PIETER KATOEN d, AND MARK TIMMER e a,e Formal Methods and Tools, University of ...
Analysis of Timed and Long-Run Objectives for Markov Automatalmcs.episciences.org › ...
lmcs.episciences.org
von M Timmer · · Zitiert von: 1 — Dennis Guck ; Hassan Hatefi ; Holger Hermanns ; Joost-Pieter Katoen ; Mark Timmer - Analysis of Timed and Long-Run Objectives for Markov Automata.
Analysis of Timed and Long-Run Objectives for Markov Automatawww.academia.edu › Analysis_of_Timed_and_Lon...
www.academia.edu
ANALYSIS OF TIMED AND LONG-RUN OBJECTIVES FOR MARKOV AUTOMATA DENNIS GUCK, HASSAN HATEFI, HOLGER HERMANNS, JOOST-PIETER KATOEN, AND MARK TIMMER Formal ...
CiteSeerX — Modelling, reduction and analysis of Markov automata...
citeseerx.ist.psu.edu
by Dennis Guck , Hassan Hatefi , Holger Hermanns , Joost-pieter Katoen , Mark Timmer. Citations: self · Summary · Citations · Active Bibliography · Co- ...
SPECIAL ISSUE: Selected Papers of the "10th International ...lmcs.episciences.org › public
lmcs.episciences.org
Analysis of Timed and Long-Run Objectives for Markov Automata. Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen and Mark Timmer.
Modelling and analysis of Markov reward automata (extended version)...
research.utwente.nl
Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Jozef Johannes Ruijters, Mariëlle Ida Antoinette Stoelinga. Research output: Book/Report › Report › ...
References - Electronic Proceedings in Theoretical Computer ...eptcs.web.cse.unsw.edu.au › refere...
cgi.cse.unsw.edu.au
Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen & Mark Timmer (2013): Modelling, Reduction and Analysis of Markov Automata. In: Proc. of ...
Modelling, Reduction and Analysis of Markov Automata —...
research.utwente.nl
Modelling, Reduction and Analysis of Markov Automata. Dennis Guck, Hassan Hatefi, H. Hermanns, Joost P. Katoen, Mark Timmer · Formal Methods and Tools ...
Alle Infos zum Namen "Hassan Hatefi"
Verwandte Suchanfragen zu Hassan Hatefi
Amir Masoud Ralf Wimmer Bettina Braitling | Bernd Becker Mark Timmer Dennis Guck | Joost-Pieter Katoen Jerzy Filar |
Personen Vorname "Hassan" (4096) Name "Hatefi" (12) |
sortiert nach Relevanz / Datum