Publications

2005

Book
Model-based testing of reactive systems : advanced lectures ; [outcome of a research seminar held in Schloss Dagstuhl in January 2004]
Springer
RWTH record for Model-based testing of reactive systems : advanced lectures ; [outcome of a research seminar held in Schloss Dagstuhl in January 2004]BibTeX for Model-based testing of reactive systems : advanced lectures ; [outcome of a research seminar held in Schloss Dagstuhl in January 2004]

2003

Journal article
Deciding LTL over Mazurkiewicz traces
Benedikt Bollig, Martin Leucker
Data & knowledge engineering
RWTH record for Deciding LTL over Mazurkiewicz traces BibTeX for Deciding LTL over Mazurkiewicz traces
Conference paper
Model checking probabilistic distributed systems
Benedikt Bollig, Martin Leucker
Advances in computing science - ASIAN 2003
RWTH record for Model checking probabilistic distributed systems BibTeX for Model checking probabilistic distributed systems

2002

Journal article
Introduction to the special section on Petri Nets and Performance Models
Gianfranco Ciardo, Reinhard German, Boudewijn R. Haverkort
IEEE transactions on software engineering
RWTH record for Introduction to the special section on Petri Nets and Performance Models BibTeX for Introduction to the special section on Petri Nets and Performance Models
Conference paper
Extending compositional message sequence graphs
Benedikt Bollig, Martin Leucker, Philipp Lucas
Logic for programming, artificial intelligence, and reasoning
RWTH record for Extending compositional message sequence graphs BibTeX for Extending compositional message sequence graphs
Conference paper
A graph-free approach to data-flow analysis
Markus Mohnen
Compiler construction
RWTH record for A graph-free approach to data-flow analysis BibTeX for A graph-free approach to data-flow analysis
Conference paper
Automated performance and dependability evaluation using model checking
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Performance evaluation of complex systems
RWTH record for Automated performance and dependability evaluation using model checking BibTeX for Automated performance and dependability evaluation using model checking
Conference paper
Enabling network caching of dynamic Web objects
Pankaj K. Garg, Kave Eshghi, Thomas Gschwind, Boudewijn R. Haverkort, Katinka Wolter
Computer performance evaluation
RWTH record for Enabling network caching of dynamic Web objects BibTeX for Enabling network caching of dynamic Web objects
Conference paper
Generalised regular MSC languages
Benedikt Bollig, Martin Leucker, Thomas Noll
Foundations of software science and computation structures
RWTH record for Generalised regular MSC languages BibTeX for Generalised regular MSC languages
Conference paper
Model checking performability properties
Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier
Proceedings
RWTH record for Model checking performability properties BibTeX for Model checking performability properties
Conference paper
Model checking Erlang programs : LTL-propositions and abstract interpretation
Frank Günter Huch
Implementation of functional languages
RWTH record for Model checking Erlang programs : LTL-propositions and abstract interpretation BibTeX for Model checking Erlang programs : LTL-propositions and abstract interpretation
Conference paper
Implementation of port-based distributed Haskell
Frank Günter Huch, Volker Stolz
Implementation of functional languages
RWTH record for Implementation of port-based distributed Haskell BibTeX for Implementation of port-based distributed Haskell
Proceedings
Implementation of functional languages : 13th international workshop; selected papers
Springer
RWTH record for Implementation of functional languages : 13th international workshop; selected papers BibTeX for Implementation of functional languages : 13th international workshop; selected papers

2001

Journal article
Model checking Erlang programs : abstracting the context-free structure
Frank Günter Huch
Electronic notes in theoretical computer science
RWTH record for Model checking Erlang programs : abstracting the context-free structure BibTeX for Model checking Erlang programs : abstracting the context-free structure
Journal article
A rewriting logic implementation of Erlang
Thomas Noll
Electronic notes in theoretical computer science
RWTH record for A rewriting logic implementation of Erlang BibTeX for A rewriting logic implementation of Erlang
Conference paper
ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry
Michael Hanus, Frank Günter Huch, Philipp Niederau
Implementation of functional languages
RWTH record for ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry BibTeX for ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry
Conference paper
The Erlang verification tool
L.-A. Fredlund, D. Gurov, Thomas Noll
Tools and algorithms for the construction and analysis of systems
RWTH record for The Erlang verification tool BibTeX for The Erlang verification tool
Conference paper
Deciding LTL over Mazurkiewicz traces
Benedikt Bollig, Martin Leucker
Proceedings
RWTH record for Deciding LTL over Mazurkiewicz traces BibTeX for Deciding LTL over Mazurkiewicz traces
Conference paper
Distributed programming in Haskell with ports
Frank Günter Huch, Ulrich Norbisrath
Implementation of functional languages
RWTH record for Distributed programming in Haskell with ports BibTeX for Distributed programming in Haskell with ports
Conference paper
Modelling, specifying, and verifying message passing systems
Benedikt Bollig, Martin Leucker
Proceedings
RWTH record for Modelling, specifying, and verifying message passing systems BibTeX for Modelling, specifying, and verifying message passing systems
Conference paper
Transaction-based anomaly detection in communication networks
Roland Büschkes, Thomas Noll, Mark Borning
9th International Conference on Telecommunication Systems - Modeling and Analysis, March, 15 - 18, 2001, Dallas, Texas, USA
RWTH record for Transaction-based anomaly detection in communication networks BibTeX for Transaction-based anomaly detection in communication networks
Conference paper
Verifying generic Erlang client-server implementations
Thomas Arts, Thomas Noll
Implementation of functional languages
RWTH record for Verifying generic Erlang client-server implementations BibTeX for Verifying generic Erlang client-server implementations
Conference paper
Semi-automated verification of Erlang code
Lars-Åke Fredlund, Dilian Gurov, Thomas Noll
Proceedings
RWTH record for Semi-automated verification of Erlang code BibTeX for Semi-automated verification of Erlang code
Conference paper
Truth/SLC : a parallel verification platform for concurrent systems
Martin Leucker, Thomas Noll
Computer aided verification
RWTH record for Truth/SLC : a parallel verification platform for concurrent systems BibTeX for Truth/SLC : a parallel verification platform for concurrent systems
Conference paper
Distributed programming in Haskell : from ports to streams
Frank Günter Huch, V. Stolz
Sprachen, Architekturen und neue objektorientierte Softwaretechniken
RWTH record for Distributed programming in Haskell : from ports to streams BibTeX for Distributed programming in Haskell : from ports to streams