1
0
0
(1 - 36 von 50
)
Programmeetaps.org › index.php › workshops
etaps.org
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, and Holger Hermanns. MeGARA: Menu-based Game Abstraction and ...
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 ...
Finite Horizon Analysis of Markov Automata - Hassan Hatefi Ardakani -...
books.google.com.ua
Title, Finite Horizon Analysis of Markov Automata. Author, Hassan Hatefi Ardakani. Contributor, Holger Hermanns. Publisher, Saarländische Universitäts- und ...
Dependable Software Systems Engineering - Google Books
books.google.no
Jerzy Filar and Koos Vrieze. Competitive Markov Decision Processes. Springer, Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, and ...
Verification, Model Checking, and Abstract Interpretation: 16th ...
books.google.com
Bettina Braitling, Luis Mar ́ıa Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, and Holger Hermanns Proving Guarantee and Recurrence Temporal ...
[ ] 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
Memory Requirements for the Detection of Impostor Nodes in ...easychair.org › publications › download › CTn5
easychair.org
von S Gruner · — [18] Hassan Hatefi and Holger Hermanns. Model Checking Algorithms for Markov Automata. Elec- tronic Communications of the EASST 53 (Automated Verification ...
Analysis of Timed and Long-Run Objectives for Markov Automataarxiv.org › cs
arxiv.org
von D Guck · · Zitiert von: 39 — Authors:Dennis Guck (University of Twente), Hassan Hatefi (Saarland University), Holger Hermanns (Saarland University), Joost-Pieter Katoen (RWTH Aachen ...
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.
dblp: Hassan Hatefi
dblp.org
Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker, Holger Hermanns: Cost vs. time in stochastic games and Markov automata. Formal Aspects Comput. 29 (4): (2017)
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.
Hassan Hatefi · Depend
depend.cs.uni-saarland.de
HASSAN HATEFI: Members. Holger Hermanns. Pedro D'Argenio. Hubert Garavel. Yuliya Butkova. Christian Eisentraut. Luis María Ferrer Fioriti. Felix Freiberger ...
Dependable Systems and Software: Jan Krcal
depend.cs.uni-saarland.de
Vahid Hashemi, Hassan Hatefi, Jan Krcál: Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs. SynCoP PDF; Holger Hermanns, Jan Krcál, Jan Kretínský: Compositional Verification and Optimization of Interactive Markov Chains. CONCUR PDF; Tomás Brázdil, Lubos Korenciak, Jan Krcál, Jan Kretínský, Vojtech Rehák:
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 ...
PROCOS Archives - JISCMailwww.jiscmail.ac.uk › cgi-bin › webadmin
www.jiscmail.ac.uk
— A Contextual Equivalence Checker for IMJ* Yuliya Butkova, Hassan Hatefi, Holger Hermanns and Jan Krcal. Optimal Continuous Time Markov ...
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
Cost vs. Time in Stochastic Games and Markov Automata ...www.springerprofessional.de › cost-vs-time-in-stochasti...
www.springerprofessional.de
Autoren: Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker. Verlag: Springer International Publishing.
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.
Cost vs. Time in Stochastic Games and Markov Automata ...www.springerprofessional.de › cost-vs-time-in-stochastic-...
www.springerprofessional.de
Authors: Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker. Publisher: Springer International Publishing.
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 ...
EPTCS 154: Quantitative Aspects of Programming Languages and Systems
cgi.cse.unsw.edu.au
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker and Holger Hermanns, 48. Patch-based Hybrid Modelling ...
EPTCS: MeGARA: Menu-based Game Abstraction and Abstraction ...eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL
cgi.cse.unsw.edu.au
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns. Markov automata combine continuous ...
Electronic Communication of The European Association of Software ...oa.mg › journal › electronic-communication-of-the-...
oa.mg
Hassan Hatefi, Holger Hermanns. Markov chain. Reachability. Computer science · DOI: tuj.eceasst Electronic Communication of The European ...
Interactive markov chains by holger hermanns - inoxdvr.comsakibanken55.inoxdvr.com › ...
sakibanken55.inoxdvr.com
Interactive Markov Chains26 Apr Hassan Hatefi, Holger Hermanns Interactive Markov Chains (IMCs) are compositional behaviour Hassan Hatefi and Holger ...
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.
Optimal Continuous Time Markov Decisions | Faculty of Medicine...
www.med.muni.cz
Citation, BUTKOVA, Yuliya, Hassan HATEFI, Holger HERMANNS and Jan KRČÁL. Optimal Continuous Time Markov Decisions. In ATVA Shanghai ...
Sparrho | PTRebeca: Modeling and analysis of distributed and asynchro
www.sparrho.com
Research paper by Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer. Indexed on: 09 Sep '14. Published on: ...
Modelling, Reduction and Analysis of Markov Automata ...www.springerprofessional.de › modelling-reduction-an...
www.springerprofessional.de
Autoren: Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer. Verlag: Springer Berlin Heidelberg. Erschienen in: Quantitative ...
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 ...www.springerprofessional.de › mo...
www.springerprofessional.de
Authors: Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer. Publisher: Springer Berlin Heidelberg. Published in: Quantitative ...
Optimal Continuous Time Markov Decisions | Masarykova univerzita
www.muni.cz
Citace, BUTKOVA, Yuliya, Hassan HATEFI, Holger HERMANNS a Jan KRČÁL. Optimal Continuous Time Markov Decisions. In ATVA Shanghai, China: ...
Cost vs. time in stochastic games and Markov automata ...www.springerprofessional.de › cost-vs-time-in-stochastic-games-and-mark...
www.springerprofessional.de
· Autoren: Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker, Holger Hermanns. » Jetzt Zugang zum Volltext ...
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