Searching for authors named "Martin Leucker" – sorted by Relevance.
60 documents found, showing 1 through 10.
Next 10 →
-
Model Checking Games for the Alternation-Free ��-Calculus and Alternating Automata
- …Model Checking Games for the Alternation-Free -Calculus and Alternating Automata Martin Leucker…
- Add To MetaCart
-
Learning meets verification
- …���Learning Meets Verification Martin Leucker Institut f��r Informatik TU M��nchen, Germany Abstract…
- Cited by 1 (1 self) – Add To MetaCart
-
Truth - A Real-World Application in Haskell
- …Truth -- A Real--World Application in Haskell Martin Leucker 1 and Thomas Noll 2 1 Lehrstuhl…
- Add To MetaCart
-
Truth/SLC - A Parallel Verification Platform for Concurrent Systems
- …Truth/SLC | A Parallel Verication Platform for Concurrent Systems Martin Leucker and Thomas Noll…
- Cited by 5 (1 self) – Add To MetaCart
-
Modelling, Specifying, and Verifying Message Passing Systems
- …Modelling, Specifying, and Verifying Message Passing Systems ? Benedikt Bollig and Martin Leucker…
- Cited by 6 (3 self) – Add To MetaCart
-
A Distributed Model Checking Tool Tailored to Erlang
- …A Distributed Model Checking Tool Tailored to Erlang Martin Leucker and Thomas Noll Lehrstuhl f…
- Cited by 1 (0 self) – Add To MetaCart
-
Rapid Prototyping of Specification Language Implementations
- …1 Rapid Prototyping of Specification Language Implementations Martin Leucker and Thomas Noll…
- Cited by 4 (2 self) – Add To MetaCart
-
A Hierarchy of Implementable MSC Languages
- …���A Hierarchy of Implementable MSC Languages Benedikt Bollig 1 and Martin Leucker 2 1 Lehrstuhl f��r…
- Cited by 2 (2 self) – Add To MetaCart
-
Network Invariants for Real-Time Systems
- … Martin Leucker 2 IT Department Uppsala University Uppsala, Sweden Abstract We extend the approach…
- Cited by 1 (0 self) – Add To MetaCart
-
Rapid Prototyping of Specification Language Implementations
- …1 Rapid Prototyping of Specification Language Implementations Martin Leucker and Thomas Noll…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
