Searching for authors named "Benedikt Bollig" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

Modelling, Specifying, and Verifying Message Passing Systems
by Benedikt Bollig, Martin Leucker — 2001 — Proceedings of the Symposium on Temporal Representation and Reasoning (TIME’01), IEEE Computer
…Modelling, Specifying, and Verifying Message Passing Systems ? Benedikt Bollig and Martin Leucker…
Cited by 6 (3 self) – Add To MetaCart

A Hierarchy of Implementable MSC Languages
by Benedikt Bollig, Martin Leucker — 2005 — In FORTE, volume 3731 of LNCS
…A Hierarchy of Implementable MSC Languages Benedikt Bollig 1 and Martin Leucker 2 1 Lehrstuhl für…
Cited by 1 (1 self) – Add To MetaCart

Smyle — Synthesis of Design Models from Scenarios by Learning
by Benedikt Bollig, Joost-pieter Katoen, Carsten Kern, Martin Leucker
…Smyle — Synthesis of Design Models from Scenarios by Learning Benedikt Bollig 1 , Joost…
Add To MetaCart

Generalised regular MSC languages
by Benedikt Bollig, Benedikt Bollig, Martin Leucker, Martin Leucker, Thomas Noll, Thomas Noll — 2002 — Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures (FOSSACS’02), Lecture Notes in Computer Science 2303, Springer-Verlag
… Web. http://aib.informatik.rwth-aachen.de/ Generalised Regular MSC Languages Benedikt Bollig 1…
Cited by 6 (3 self) – Add To MetaCart

Extending Compositional Message Sequence Graphs
by Benedikt Bollig, Martin Leucker, Philipp Lucas — 2002 — In Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2002
…Extending Compositional Message Sequence Graphs Benedikt Bollig 1 , Martin Leucker 2…
Cited by 2 (0 self) – Add To MetaCart

Deciding LTL over Mazurkiewicz Traces
by Benedikt Bollig, Jesper Henriksen, Martin Leucker — 2001
…Deciding LTL over Mazurkiewicz Traces Benedikt Bollig 1 and Jesper Henriksen 2 and Martin…
Cited by 4 (2 self) – Add To MetaCart

Replaying play in and play out: Synthesis of design models from scenarios by learning
by Benedikt Bollig, Joost-pieter Katoen, Carsten Kern, Martin Leucker — 2007 — Proceedings of the 13 th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS’07
…Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning Benedikt…
Cited by 2 (1 self) – Add To MetaCart

MSCan: A tool for analyzing MSC specifications
by Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz — 2006 — In TACAS 2006, volume 3920 of LNCS
…– MSCan – A Tool for Analyzing MSC Specifications Benedikt Bollig 1 , Carsten Kern 2 , Markus…
Cited by 4 (2 self) – Add To MetaCart

Local Parallel Model Checking for the Alternation-Free µ-Calculus
by Benedikt Bollig, Martin Leucker, Michael Weber — 2002 — In Proceedings of the 9th International SPIN Workshop on Model checking of Software (SPIN
…Local Parallel Model Checking for the Alternation-Free µ-Calculus Benedikt Bollig 1 , Martin…
Cited by 16 (5 self) – Add To MetaCart

Local Parallel Model Checking for the Alternation Free µ-Calculus
by Benedikt Bollig, Benedikt Bollig, Martin Leucker, Martin Leucker, Michael Weber, Michael Weber — 2001 — Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’01), volume 2031 of LNCS
… for the Alternation Free -Calculus Benedikt Bollig, Martin Leucker, and Michael Weber ISSN 0935-3232 Aachener…
Cited by 22 (6 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB