56 Infos zu Marcus Groesser

3 Aktuelle Nachrichten

Christel Baier, Pedro D'Argenio and Marcus Groesser. Coffee. Session 2 11: :30. A Novel Stochastic Game via the Quantitative Mu-Calculus

7th European Performance Engineering Workshop

8 Profile in Sozialen Netzwerken

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.

Marcus Groesser. Dr. rer. nat. at Technische Universität Dresden. Ort Dresden und Umgebung, Deutschland Branche Forschung

Sehen Sie sich das Karriere-Profil von Marcus Groesser (Deutschland) auf LinkedIn an. LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach- und ...

3 Persönliche Webseiten

Mein VoIP-Status: AIDA luna. enlarge... Fildorado

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össer Solutions ist ein Startup Unternehmen, das Software Lösungen verschiedenster Art bietet. Unser erstes Produkt ist das Outlook-AddIn Birthday Importer.

1 Infos zur Ausbildung

· Marcus Groesser, 2008, TU Dresden Verena Wolf, 2008, Universitaet Mannheim (co-advisor) Frank Ciesinski, 2011, TU Dresden

1 Angaben zur Herkunft

Marcus Groesser. Dr. rer. nat. Technische Universität Dresden Germany. Dissertation: Reduction Methods for Probabilistic Model Checking. Mathematics ...

4 Bücher zum Namen

Quantitative Analysis under Fairness Constraints Christel Baier, Marcus Groesser , and Frank Ciesinski Technische Universtät Dresden  ...

The requirement specification can either be given internally or externally. Controller Synthesis for Probabilistic Systems Christel Baier, Marcus Groesser, Martin ...

... Goel Dan Goldwasser Alexey Gotsman Susanne Graf Karin Greimel Andreas Griesmayer Alex Groce Marcus Groesser Bhargav Gulavani VIII Organization.

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the...

3 Dokumente

... a model of concurrent interaction Christel Baier and Marcus Groesser. Recognizing omega-regular languages with probabilistic automata Iovka Boneva, Jean ...

... Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye and Marcus Groesser :00- 4:30 Coffee Break :30- 6:00 Session 9: Proof Theory ...

... University of Verona, Italy * Susanne Graf, Verimag, France * Marcus Groesser, Technical University Dresden, Germany * Mieke Massink, CNR-ISTI, Pisa, Italy ...

3 Wissenschaftliche Publikationen

(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 ...

Marcus Grösser was working as researcher for the Chair of Algebraic and Logical Foundations of Computer Science untill End of September, ...

Bücher ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​

3 Allgemeine Veröffentlichungen

It is well-known that fairness assumptions can be crucial for verifying progress, reactivity or other liveness properties for interleaving models. This also...

Dr. rer. nat. Technische Universität Dresden 2008

... Pierro, University of Verona, Italy; Maurizio Gabbrielli, University of Bologna, Italy; Marcus Groesser, Technical University Dresden, Germany ...

1 Meinungen & Artikel

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 …

24 Webfunde aus dem Netz

View Marcus Groesser's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Marcus Groesser discover ...

Christel Baier, Marcus Groesser and Frank Ciesinski; Backward stochastic bisimulation in CSL model checking. Jeremy Sproston and Susanna Donatelli ...

Christel Baier, Frank Ciesinski, and Marcus Groesser, U. Bonn Break

5, Dr. Marcus Groesser from Technische Universität Dresden (TUD), Algebraic and Logical Foundations Group Profiling Presentation. Abstract: Model Checking ...

33, Marcus Groesser, Yvonne Deuster. 33, Stefanie Selzer, Matthias Voigt. 33, Michael Prinz, Kerstin Bedenek. 33, Jan de Mol, Andrea Diekelmann. 33, Helmut ...

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 ...

[CBGP08] Frank Ciesinski, Christel Baier, Marcus Groesser and David Parker. Generating Compact MTBDD-Representations from Probmela Specifications.

Authors: Christel Baier, Marcus Groesser, Frank Ciesinski. Publisher: Springer Berlin Heidelberg. Published in: Automated Technology for Verification and ...

The Institute for Operations Research and the Management Sciences

Translating ProbMela Specifications Into the PRISM Language Frank Ciesinski, Christel Baier, Marcus Groesser and David Parker ...

[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.

[GNB+06] Marcus Groesser, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Kwiatkowska, David Parker. On reduction criteria for probabilistic reward ...

... which turns out to be less powerful, but has a decidable emptiness problem. This is a joint work with Christel Baier and Marcus Groesser.

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 Languages

It is well-known that fairness assumptions can be crucial for verifying progress, reactivity or other liveness properties for interleaving models. This...

Christel Baier, Nathalie Bertrand, Marcus Groesser, On Decision Problems for Probabilistic Büchi Automata, in Proceedings of the 11th International Conference ...

... Stoelinga); PASS (Bjoern Wachter); Liquor/PROBMELA (Christel Baier/Frank Ciesinski/Marcus Groesser/Joachim Klein); A Model Checking Competition?

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...

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, ...