1
0
0
(1 - 29 von 29
)
dblp: Temporal Logics for Concurrent Recursive Programs:...
dblp.dagstuhl.de
Bibliographic details on Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking.
Informatik an der Universität Stuttgart | Veröffentlichungen :...
www2.informatik.uni-stuttgart.de
Informatik an der Universität Stuttgart : Veröffentlichungen. Benedikt Bollig: Betreute studentische Arbeiten. suche · englishicon. Jahrgang Decker ...
Search results for "Benedikt Bollig" – FacetedDBLP
dblp.l3s.uni-hannover.de
Found 66 publication records. Showing 65 according to the selection in the facets . Hits ? Authors Title Venue Year Link Author keywords; 1: Benedikt Bollig: One ...
A Robust Class of Data Languages and an Application to Learning | ISP...
www.isp.uni-luebeck.de
Title: A Robust Class of Data Languages and an Application to Learning: Publication Type: Journal Article: Year of Publication: 2014: Authors: Benedikt Bollig ...
libalf: The Automata Learning Framework
libalf.informatik.rwth-aachen.de
The following people are or were involed in the libalf project (in alphabetical order): Benedikt Bollig (ENS Cachan) Joost-Pieter Katoen (RWTH Aachen University)
A Hierarchy of Implementable {MSC} Languages | ISP - Institute for...
www.isp.uni-luebeck.de
A Hierarchy of Implementable {MSC} Languages: Publication Type: Conference Paper: Year of Publication: 2005: Authors: Benedikt Bollig, Leucker, M: Conference Name:
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.
Angluin-Style Learning of {NFA} | ISP - Institute for Software...
www.isp.uni-luebeck.de
Title: Angluin-Style Learning of {NFA} Publication Type: Conference Paper: Year of Publication: 2009: Authors: Benedikt Bollig, Habermehl, P, Kern, C, Leucker, M
GAMES - Past Publications
www.games.rwth-aachen.de
B. Bollig and M. Leucker. Verifying Qualitative Properties of Probabilistic ... author = {Benedikt Bollig and Martin Leucker}, title = {Verifying Qualitative ...
CONCUR 2017
www.concur2017.tu-berlin.de
The Complexity of Flat Freeze LTL Benedikt Bollig Karin Quaas Arnaud Sangnier; Higher-Order Linearisability Andrzej Murawski Nikos Tzevelekos;
Modelling, {S}pecifying, and {V}erifying {M}essage {P}assing...
www.isp.uni-luebeck.de
Title: Modelling, {S}pecifying, and {V}erifying {M}essage {P}assing {S}ystems: Publication Type: Conference Paper: Year of Publication: 2001: Authors: Benedikt Bollig ...
Learning Communicating Automata from {MSCs} | ISP - Institute for...
www.isp.uni-luebeck.de
Title: Learning Communicating Automata from {MSCs} Publication Type: Journal Article: Year of Publication: 2010: Authors: Benedikt Bollig, Joost-Pieter Katoen, Kern ...
Publikationen
www.tu-ilmenau.de
Publikationen; Forschungsseminar; Tagungen; Lehre; ... Benedikt Bollig, Dietrich Kuske und Roy Mennicke: The Complexity of Model Checking Multi-Stack Systems.
Verifying Qualitative Properties of Probabilistic Programs | ISP -...
www.isp.uni-luebeck.de
Title: Verifying Qualitative Properties of Probabilistic Programs: Publication Type: Book Chapter: Year of Publication: 2004: Authors: Benedikt Bollig, Leucker, M
Search results for "David R. Piegdon" – FacetedDBLP
dblp.l3s.uni-hannover.de
Found 2 publication records. Showing 2 according to the selection in the facets . Hits ? Authors Title Venue Year Link Author keywords; 1: Benedikt Bollig, Joost ...
Generalised {R}egular {MSC} {L}anguages | ISP - Institute for...
www.isp.uni-luebeck.de
Title, Generalised {R}egular {MSC} {L}anguages. Publication Type, Miscellaneous. Year of Publication, Authors, Benedikt Bollig, Leucker, M, Noll, T.
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 ...
[MMB] YR-CONCUR Young Researchers Workshop on...
lists.ira.uni-karlsruhe.de
The third and fourth editions YR-CONCUR and YR-CONCUR were organized by Benedikt Bollig as satellite workshops of ...
sortiert nach Relevanz / Datum