1
0
0
News
Etaps programme: QAPL.htmlwww.etaps05.inf.ed.ac.uk › Programme › QAPL
www.etaps05.inf.ed.ac.uk
Christel Baier, Pedro D'Argenio and Marcus Groesser. Coffee. Session 2 11: :30. A Novel Stochastic Game via the Quantitative Mu-Calculus
PAuL (Probabilistic Automata and Logics), 6 July resources.illc.uva.nl › newsitem
resources.illc.uva.nl
... Universitaet Dresden, Germany) Marcus Groesser, co-chair (Technische Universitaet Dresden, Germany) Joseph Halpern (Cornell University ...
Private Homepages
Marcus Groesser Namen Analyse
marcus-groesser.deunamen.com
DeuNamen.com - Marcus Groesser Namen Analyse und statistische für Deutschland und Österreich
Ausbildung
CV - Academy of Europewww.ae-info.org › User › Baier_Christel
www.ae-info.org
· Marcus Groesser, 2008, TU Dresden Verena Wolf, 2008, Universitaet Mannheim (co-advisor) Frank Ciesinski, 2011, TU Dresden
Herkunft
Marcus Groesser - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Marcus Groesser. Dr. rer. nat. Technische Universität Dresden Germany. Dissertation: Reduction Methods for Probabilistic Model Checking. Mathematics ...
Christel Baier - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
School Year Descendants; Marcus Groesser: Technische Universität Dresden: 2008: Werner Sandmann: Rheinische Friedrich-Wilhelms-Universität Bonn: 2004
Bücher
Bibliographische Datenbank LEABib: Suchergebnissewwwmayr.in.tum.de › leabib › adv...
wwwmayr.in.tum.de
Christel Baier, Marcus Grösser, Nathalie Bertrand · Journal of the ACM 59 (1), 2012, pp. 1: 1-52; Recurrence and transience for probabilistic automata ...
Automated Technology for Verification and Analysis: 7th International...
books.google.de
This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao,...
Formal Methods for Components and Objects: 4th International...
books.google.de
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the...
Dokumente zum Namen
[ ] Stochastic Timed Automata
arxiv.org
... Baier (Technische Universit\"at Dresden), Marcus Groesser (Technische Universit\"at Dresden), Marcin Jurdzinski (University of Warwick).
LICS Preliminary Program ==================== Tue Jun ...www.cs.cmu.edu › lics08 › program
www.cs.cmu.edu
... Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye and Marcus Groesser :00- 4:30 Coffee Break :30- 6:00 Session 9: Proof Theory ...
EPTCS 28: Quantitative Aspects of Programming Languages
arxiv.org
Marcus Groesser (Technical University of Dresden, Germany) Mieke Massink (CNR-ISTI, Italy) Paulo Mateus (Instituto Superior Tecnico, Portugal)
Prefacewww.sti.uniurb.it › epew2010.preface.pdf
www.sti.uniurb.it
University of Roma “Tor Vergata” (IT). Marcus Grösser. Technical University of Dresden (DE). Valérie Issarny. INRIA Paris Rocquencourt (FR).
Wissenschaftliche Veröffentlichungen
Warsaw, Poland September 2010
www.uni-muenster.de
... check that certain probability bounds hold under all partial-information schedulers. (Joint work with Nathalie Bertrand, Frank Ciesinski, and Marcus Groesser) ...
TUD - Algebraische und logische Grundlagen der Informatik - Ehemalige...
www.inf.tu-dresden.de
Ehemalige Mitarbeiter
(PN) EPEW preliminary call for papers
www.mail-archive.com
... of Modena and Reggio Emilia, IT) Stephen Gilmore (University of Edinburgh, UK) Vincenzo Grassi (University of Roma "Tor Vergata", IT) Marcus Groesser
Publikationen — Professur für Algebraische und logische Grundlagen...
tu-dresden.de
Bücher Christel Baier, Joost-Pieter Katoen
Principles of Model Checking
The MIT Press, Cambridge, Massachusetts, MIT Press
Alexander...
Veröffentlichungen allgemein
Quantitative Analysis under Fairness Constraints | SpringerLink
link.springer.com
It is well-known that fairness assumptions can be crucial for verifying progress, reactivity or other liveness properties for interleaving models. This also...
Marcus Groesser – Openresearch
www.openresearch.org
Sunday, Monday, Tuesday, Wednesday, Thursday, Friday, Saturday
Artikel & Meinungen
Schloss Dagstuhl : Participant List
www.dagstuhl.de
... Fülöp (University of Szeged, HU); Paul Gastin (ENS – Cachan, FR); Marcus Groesser (TU Dresden, DE); Serge Haddad (ENS – Cachan, FR) ...
Sonstiges
Marcus Groesser | LinkedIn
www.linkedin.com
View Marcus Groesser's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Marcus Groesser discover ...
# Stochastic Timed Automata
lmcs.episciences.org
A stochastic timed automaton is a purely stochastic process defined on a timed automaton, in which both delays and discrete choices are made randomly. We study...
1st International Conference on Quantitative Evaluation of SysTems ...www.qest.org › qest2004 › submissions
www.qest.org
Christel Baier, Marcus Groesser and Frank Ciesinski; Backward stochastic bisimulation in CSL model checking. Jeremy Sproston and Susanna Donatelli ...
ACM-IEEE MEMOCODE 2004memocode.irisa.fr › program
memocode.irisa.fr
Christel Baier, Frank Ciesinski, and Marcus Groesser, U. Bonn Break
Quantitative Analysis under Fairness Constraints ...www.springerprofessional.de › quantitative-analysis-...
www.springerprofessional.de
Quantitative Analysis under Fairness Constraints. Verifying VLSI Circuits Read first chapter. Authors: Christel Baier, Marcus Groesser, Frank Ciesinski.
Ergebnisse - tischfussball.de
www.tischfussball.de
33, Marcus Groesser, Yvonne Deuster. 33, Stefanie Selzer, Matthias Voigt. 33, Michael Prinz, Kerstin Bedenek. 33, Jan de Mol, Andrea Diekelmann. 33, Helmut ...
EPTCS 28: Quantitative Aspects of Programming Languages
cgi.cse.unsw.edu.au
... Marcus Groesser (Technical University of Dresden, Germany); Mieke Massink (CNR-ISTI, Italy); Paulo Mateus (Instituto Superior Tecnico, ...
Foundations of Software Technology and Theoretical Computer Science -...
docplayer.net
... Navin Goyal Fabrizio Grandoni Marcus Groesser Hermann Gruber Dimitar Guelev Hari Gupta Christoph Haase Matthew Hague Ramesh Hariharan Jonathan ...
Generating Compact MTBDD-Representations from Probmela Specifications
www.prismmodelchecker.org
[CBGP08] Frank Ciesinski, Christel Baier, Marcus Groesser and David Parker. Generating Compact MTBDD-Representations from Probmela Specifications.
FMCO 2005: List of participants
liacs.leidenuniv.nl
France. Marcus Groesser. Bonn University. Germany. Jan Friso Groote. Technical University of Eindhoven. The Netherlands. Andreas Gruener.
First International Workshop on Probabilistic Automata and Logics -...
www.informs.org
The Institute for Operations Research and the Management Sciences
LSV Seminar - Laboratoire Spécification et Vérificationwww.lsv.fr › Seminaires
www.lsv.fr
... which turns out to be less powerful, but has a decidable emptiness problem. This is a joint work with Christel Baier and Marcus Groesser.
ICALP/LICS/LC/PPDP 2007: Satellite workshops
july2007.ii.uni.wroc.pl
PAuL 2007: International Workshop on Probabilistic Automata and Logics; Contact: Christel Baier, Marcus Groesser. There is a recent trend to study probabilistic ...
Partial Order Reduction for Probabilistic Branching Time – topic of...
cyberleninka.org
Abstract In the past, partial order reduction has been used successfully to combat the state explosion...
Partial Order Reduction for Markov Decision Processes: A ...www.springerprofessional.de › partial-order-redu...
www.springerprofessional.de
Authors: Marcus Groesser, Christel Baier. Publisher: Springer Berlin Heidelberg. Published in: Formal Methods for Components and Objects. » Get access to the ...
On reduction criteria for probabilistic reward models
www.prismmodelchecker.org
[GNB+06] Marcus Groesser, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Kwiatkowska, David Parker. On reduction criteria for probabilistic reward ...
Two Decades of Probabilistic Verification - Reflections and...
sws.cs.ru.nl
... Stoelinga); PASS (Bjoern Wachter); Liquor/PROBMELA (Christel Baier/Frank Ciesinski/Marcus Groesser/Joachim Klein); A Model Checking Competition?
UMONS | Département de mathématique | Service de Mathématiques...
math.umons.ac.be
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Groesser, Marcin Jurdzinski, Stochastic Timed Automata, Logical ...
[ ] Stochastic Timed Automata
arxiv-export-lb.library.cornell.edu
... Quentin Menet (Université de Mons), Christel Baier (Technische Universität Dresden), Marcus Groesser (Technische Universität Dresden), ...
Informace o semináři Souběžnost (IA072)
www.fi.muni.cz
... Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata (a paper by Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Groesser)
Verwandte Suchanfragen zu Marcus Grösser
| Christel Baier Patrick Mulder |
Personen Vorname "Marcus" (24254) Name "Grösser" (106) |
sortiert nach Relevanz / Datum