1
0
0
(1 - 20 von 23
)
Extending Compositional Message Sequence Graphs
www.rw.cdl.uni-saarland.de
@conference(BLL-LPAR-02-CompositionalMSGs, author={Benedikt Bollig and Martin Leucker and Philipp Lucas}, title={Extending Compositional Message Sequence …
Publications
www.rw.cdl.uni-saarland.de
Publications (chronologically sorted): (explanation of topics) Note This paper repository is no longer updated (MSC) [BLL02a] Benedikt Bollig, Martin Leucker ...
Geometry.Net - Authors: Benedikt Michael
www.geometry.net
4, EE, benedikt Bollig, Martin Leucker, michael Weber Local Parallel ModelChecking for the AlternationFree µ-Calculus. SPIN
Exploring New Frontiers of Theoretical Informatics: IFIP 18th World...
books.google.de
... given internally or externally. Controller Synthesis for Probabilistic Systems ChristelBaier, Marcus Groesser, Martin Leucker, Benedikt Bollig, Frank Ciesinski.
Foundations of Software Science and Com…tion Structures: 5th
books.google.de
ACM Press. 3. Benedikt Bollig and Martin Leucker. Modelling, Specifying, and Verifying Message Passing Systems. In Claudio Bettini and Angelo Montanari, ...
Model Checking Software: 9th International SPIN Workshop Grenoble,...
books.google.de
... wrt. an a-priori-known transition systems Benedikt Bollig, Martin Leucker, and Michael Weber 6 Conclusion References.
Prof. Dr. Martin Leucker
www.isp.uni-luebeck.de
Benedikt Bollig, Habermehl Peter, Leucker Martin, and Monmege Benjamin A Fresh Approach to Learning Register Automata. Developments in Language ...
Smyle | Informatik 2
moves.rwth-aachen.de
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning.
"Extending Compositional Message Sequence Graphs" by Benedikt Bollig,...
repository.upenn.edu
Benedikt Bollig, Aachen University of Technology (RWTH) ... Benedikt Bollig, Martin Leucker, and Philipp Lucas, "Extending Compositional ...
CiteSeerX — Angluin-Style Learning of NFA
citeseerx.ist.psu.edu
@MISC{Bollig08angluin-stylelearning, author = {Benedikt Bollig and Peter Habermehl and Carsten Kern and Martin Leucker}, title = { Angluin-Style Learning of ...
Angluin-Style Learning of~NFA - Inria
hal.inria.fr
Peter Habermehl, Carsten Kern, Martin Leucker, Benedikt Bollig. Angluin-Style Learning of~NFA. Proceedings of the 21st International Joint Conference on ...
Benjamin Monmege - Université libre de Bruxelles
di.ulb.ac.be
DLT Presentation of A Fresh Approach to Learning Register Automata (joint work with Benedikt Bollig, Peter Habermehl and Martin Leucker),
Learning Communicating Automata from MSCs - ProQuest
www.proquest.com
Benedikt Bollig, Joost-Pieter Katoen, Member, IEEE Computer Society,. Carsten Kern, and Martin Leucker. AbstractThis paper is concerned with bridging the ...
Peter Habermehl - Home Page
www.irif.fr
Benedikt Bollig, Peter Habermehl, Carsten Kern and Martin Leucker. Angluin-Style Learning of NFA. Proceedings of IJCAI (PDF).
Main/Bibliography
automata.cs.ru.nl
BKKL07: Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, and Martin Leucker. Replaying play in and play out: Synthesis of design models from scenarios by ...
Alle Infos zum Namen "Benedikt Bollig"
sortiert nach Relevanz / Datum