1
0
0
News
Etaps programme: QAPL.html
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
EPEW 2010: 7th European Performance Engineering Workshop
www.sti.uniurb.it
7th European Performance Engineering Workshop
Netzwerk-Profile
LinkedIn: Marcus Groesser | Berufsprofil - LinkedIn
Marcus Groessers berufliches Profil anzeigen LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach- und Führungskräften wie Marcus Groesser dabei hilft, Kontakte zu finden, die mit empfohlenen Kandidaten, Branchenexperten und potenziellen Geschäftspartnern verbunden sind.
LinkedIn: Marcus Groesser | LinkedIn
Marcus Groesser. Dr. rer. nat. at Technische Universität Dresden. Ort Dresden und Umgebung, Deutschland Branche Forschung
LinkedIn: Marcus Groesser - Deutschland | LinkedIn
Sehen Sie sich das Karriere-Profil von Marcus Groesser (Deutschland) auf LinkedIn an. LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach- und ...
Private Homepages
Gästebuch
www.marcus-groesser.de
www.marcus-groesser.de Du bist Deutschland . Jochen: 24. April Hallo ihr beiden, herzlichen Glückwunsch zu eurem Glück, dem Stammhalter im Hause
GrösserSolutions
www.marcus-groesser.de
Grösser Solutions ist ein Startup Unternehmen, das Software Lösungen verschiedenster Art bietet. Unser erstes Produkt ist das Outlook-AddIn Birthday Importer.
Ausbildung
Academy of Europe: CV
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 ...
Bücher
Automated Technology for Verification and Analysis: 7th International...
books.google.de
Quantitative Analysis under Fairness Constraints Christel Baier, Marcus Groesser , and Frank Ciesinski Technische Universtät Dresden ...
Exploring New Frontiers of Theoretical Informatics: IFIP 18th World...
books.google.de
The requirement specification can either be given internally or externally. Controller Synthesis for Probabilistic Systems Christel Baier, Marcus Groesser, Martin ...
Computer Aided Verification: 21st International Conference, CAV
books.google.de
... Goel Dan Goldwasser Alexey Gotsman Susanne Graf Karin Greimel Andreas Griesmayer Alex Groce Marcus Groesser Bhargav Gulavani VIII Organization.
Formal Methods for Components and Objects: 4th International...
books.google.ca
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
lics.rwth-aachen.de
lics.siglog.org
... a model of concurrent interaction Christel Baier and Marcus Groesser. Recognizing omega-regular languages with probabilistic automata Iovka Boneva, Jean ...
Preliminary Programwww.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 ...
From carlos.martin at urv.cat Sun Jan 2 10:18: From: carlos ...
lists.seas.upenn.edu
... University of Verona, Italy * Susanne Graf, Verimag, France * Marcus Groesser, Technical University Dresden, Germany * Mieke Massink, CNR-ISTI, Pisa, Italy ...
Wissenschaftliche Veröffentlichungen
uni-muenster.de
www.uni-muenster.de
(Joint work with Nathalie Bertrand, Frank Ciesinski, and Marcus Groesser) Speaker: Antonin Kucera Title: Properties of Stochastic Games with Branching-Time Winning Objectives Abstract: Stochastic games are directed binary graphs where each vertex belongs either to Player-I, Player-II, and it is stochastic. The talk surveys recent results about ...
TUD - Chair of Algebraic and Logical Foundations of Computer Science...
www.inf.tu-dresden.de
Marcus Grösser was working as researcher for the Chair of Algebraic and Logical Foundations of Computer Science untill End of September, ...
Publikationen — Professur für Algebraische und logische Grundlagen...
tu-dresden.de
Bücher
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...
QAPL – Openresearch
www.openresearch.org
... Pierro, University of Verona, Italy; Maurizio Gabbrielli, University of Bologna, Italy; Marcus Groesser, Technical University Dresden, Germany ...
Artikel & Meinungen
Schloss Dagstuhl : Participant List
www.dagstuhl.de
Marcus Groesser (TU Dresden, DE) Serge Haddad (ENS – Cachan, FR) Holger Hermanns (Universität des Saarlandes, DE) Line Juhl (Aalborg University, DK) Marcin Jurdzinski (University of Warwick – Coventry, GB) Jan Kretinsky (TU München, DE) Werner Kuich (TU …
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 ...
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 2004
memocode.irisa.fr
Christel Baier, Frank Ciesinski, and Marcus Groesser, U. Bonn Break
EMCL Student WS SS 2010
emcl-study.eu
5, Dr. Marcus Groesser from Technische Universität Dresden (TUD), Algebraic and Logical Foundations Group Profiling Presentation. Abstract: Model Checking ...
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 ...
ETAPS 2008
etaps08.mit.bme.hu
PROBABILISTIC SYSTEMS (room: Magnolia): On Decision Problems for Probabilistic Buechi Automata: Christel Baier (Dresden Technical University) Nathalie Bertrand (IRISA, Rennes) and Marcus Groesser (Dresden Technical University): Model-Checking ω-Regular Properties of Interval Markov Chain ...
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.
Quantitative Analysis under Fairness Constraints - Springer ...www.springerprofessional.de › quantitative-analysis-...
www.springerprofessional.de
Authors: Christel Baier, Marcus Groesser, Frank Ciesinski. Publisher: Springer Berlin Heidelberg. Published in: Automated Technology for Verification and ...
First International Workshop on Probabilistic Automata and Logics -...
www.informs.org
The Institute for Operations Research and the Management Sciences
SPIN PROGRAM
compilers.cs.ucla.edu
Translating ProbMela Specifications Into the PRISM Language Frank Ciesinski, Christel Baier, Marcus Groesser and David Parker ...
PRISM - Publications
www.prismmodelchecker.org
[CBGP08] Frank Ciesinski, Christel Baier, Marcus Groesser and David Parker. Generating Compact MTBDD-Representations from Probmela Specifications. In Proc. 15th International SPIN Workshop on Model Checking of Software (SPIN'08), volume of Lecture Notes in Computer Science, pages , Springer.
On reduction criteria for probabilistic reward models
www.cs.bham.ac.uk
[GNB+06] Marcus Groesser, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Kwiatkowska, David Parker. On reduction criteria for probabilistic reward ...
Laboratoire Spécification et Vérification
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.
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 ...
QAPL 2010: Eighth Workshop on Quantitative Aspects of Programming...
qav.comlab.ox.ac.uk
QAPL 2010: Eighth Workshop on Quantitative Aspects of Programming Languages
Quantitative Analysis under Fairness Constraints
www.infona.pl
It is well-known that fairness assumptions can be crucial for verifying progress, reactivity or other liveness properties for interleaving models. This...
VerTeCs Project - Irisa/INRIA Rennes
www.irisa.fr
Christel Baier, Nathalie Bertrand, Marcus Groesser, On Decision Problems for Probabilistic Büchi Automata, in Proceedings of the 11th International Conference ...
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?
Stochastic timed automata - Inria
hal.inria.fr
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...
UMONS | Département de mathématique | Service de Mathématiques...
math.umons.ac.be
Publications référencées. Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Groesser, Marcin Jurdzinski, Stochastic Timed Automata, Logical Methods in Computer Science, (2014), Technische Universität Braunschweig. Institut für Theoretische Informatik. Julie De Pril, János Flesch, ...
Verwandte Suchanfragen zu Marcus Groesser
| Frank Ciesinski Christel Baier Susanne Graf |
Person "Groesser" (1) Vorname "Marcus" (24254) Name "Groesser" (26) |
sortiert nach Relevanz / Datum