Publications

2001

Conference paper
Parallel model checking for the alternation free mu-calculus
Benedikt Bollig, Martin Leucker, Michael Weber
Tools and algorithms for the construction and analysis of systems
RWTH record for Parallel model checking for the alternation free mu-calculus BibTeX for Parallel model checking for the alternation free mu-calculus
Technical report
Local parallel model checking for the alternation free mu-calculus
Benedikt Bollig, Martin Leucker, Michael Weber
RWTH record for Local parallel model checking for the alternation free mu-calculus BibTeX for Local parallel model checking for the alternation free mu-calculus
Technical report
Regular MSC languages
Benedikt Bollig, Martin Leucker, Thomas Noll
RWTH record for Regular MSC languages BibTeX for Regular MSC languages
Technical report
Deciding LTL over Mazurkiewicz traces
Benedikt Bollig, Martin Leucker
RWTH record for Deciding LTL over Mazurkiewicz traces BibTeX for Deciding LTL over Mazurkiewicz traces
Proceedings
Implementation of functional languages : 12th international workshop, Aachen, Germany, September 4 - 7, 2000 ; selected papers
Springer
RWTH record for Implementation of functional languages : 12th international workshop, Aachen, Germany, September 4 - 7, 2000 ; selected papers BibTeX for Implementation of functional languages : 12th international workshop, Aachen, Germany, September 4 - 7, 2000 ; selected papers
Proceedings
Kolloquium programmiersprachen und Grundlagen der Programmierung ; 11 (Simmerath-Rurberg) : 2001.10.07-11
RWTH, Department of Computer Science
RWTH record for Kolloquium programmiersprachen und Grundlagen der Programmierung ; 11 (Simmerath-Rurberg) : 2001.10.07-11 BibTeX for Kolloquium programmiersprachen und Grundlagen der Programmierung ; 11 (Simmerath-Rurberg) : 2001.10.07-11

2000

Conference paper
On the Logical Characterisation of Performability Properties
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Automata, languages and programming
RWTH record for On the Logical Characterisation of Performability Properties BibTeX for On the Logical Characterisation of Performability Properties
Conference paper
Using skeletons to implement a parallel multigrid method with overlapping adaptive grids
Thomas Georg Richert
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2000
RWTH record for Using skeletons to implement a parallel multigrid method with overlapping adaptive grids BibTeX for Using skeletons to implement a parallel multigrid method with overlapping adaptive grids
Conference paper
Dynamic load balancing for parallel adaptive multigrid solvers with algorithmic skeletons
Thomas Georg Richert
Euro-Par 2000 parallel processing
RWTH record for Dynamic load balancing for parallel adaptive multigrid solvers with algorithmic skeletons BibTeX for Dynamic load balancing for parallel adaptive multigrid solvers with algorithmic skeletons
Conference paper
FiFiQueues: Fixed-point analysis of queueing networks with finite-buffer stations
Ramin Sadre, Boudewijn R. Haverkort
Computer performance evaluation
RWTH record for FiFiQueues: Fixed-point analysis of queueing networks with finite-buffer stations BibTeX for FiFiQueues: Fixed-point analysis of queueing networks with finite-buffer stations
Journal article
The universality of higher-order attributed tree transducers
Thomas Noll, H. Vogler
Theory of computing systems
RWTH record for The universality of higher-order attributed tree transducers BibTeX for The universality of higher-order attributed tree transducers
Conference paper
Interfaces with skeletal implementations in Java
Markus Mohnen
Programmiersprachen und Rechenkonzepte - Schwerpunkt Softwarekomponenten
RWTH record for Interfaces with skeletal implementations in Java BibTeX for Interfaces with skeletal implementations in Java
Conference paper
Typeview : a tool for understanding type errors
Olaf Chitil, F. Huch, A. Simon
Proceedings of the 12. International Workshop on Implementation of Functional Languages
RWTH record for Typeview : a tool for understanding type errors BibTeX for Typeview : a tool for understanding type errors
Conference paper
Type-inference based short cut deforestation (nearly) without inlining
Olaf Chitil
Implementation of functional languages
RWTH record for Type-inference based short cut deforestation (nearly) without inlining BibTeX for Type-inference based short cut deforestation (nearly) without inlining
Conference paper
Deforestation of functional programs through type inference
Olaf Chitil
Programmiersprachen und Rechenkonzepte - Schwerpunkt Softwarekomponenten
RWTH record for Deforestation of functional programs through type inference BibTeX for Deforestation of functional programs through type inference
Conference paper
Objectcurry : an object oriented extension of the declarative multi-paradigm language curry
M. Hanus, F. Huch, P. Niederau
Proceedings of the 12. International Workshop on 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
Truth - a real-world application in Haskell
M. Leucker, Thomas Noll
Proceedings of the 12. International Workshop on Implementation of Functional Languages
RWTH record for Truth - a real-world application in Haskell BibTeX for Truth - a real-world application in Haskell
Conference paper
On model checking synchronised hardware circuits
Martin Leucker
Advances in computing science - ASIAN 2000
RWTH record for On model checking synchronised hardware circuits BibTeX for On model checking synchronised hardware circuits
Conference paper
Verifying generic Erlang Client-Server implementations
Thomas Arts, Thomas Noll
Proceedings of the 12. International Workshop on Implementation of Functional Languages
RWTH record for Verifying generic Erlang Client-Server implementations BibTeX for Verifying generic Erlang Client-Server implementations
Conference paper
Deciding LTL over Mazurkiewicz traces
Benedikt Bollig, J. Henriksen, Martin Leucker
Theorietag 2000
RWTH record for Deciding LTL over Mazurkiewicz traces BibTeX for Deciding LTL over Mazurkiewicz traces
Conference paper
Parallel model checking for the alternation free mu-calculus
Martin Leucker
FM Tools 2000
RWTH record for Parallel model checking for the alternation free mu-calculus BibTeX for Parallel model checking for the alternation free mu-calculus
Conference paper
Efficient abstract interpretation using component-wise homomorphisms
Jörg Köller, Markus Mohnen
Proceedings of the 2. International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
RWTH record for Efficient abstract interpretation using component-wise homomorphisms BibTeX for Efficient abstract interpretation using component-wise homomorphisms
Book chapter
Context-representable processes
Mads Dam, Thomas Noll
Verification of infinite-state systems
RWTH record for Context-representable processes BibTeX for Context-representable processes
Conference paper
Distributed programming in Haskell with ports
F. Huch, Ulrich Norbisrath
Proceedings of the 12. International Workshop on Implementation of Functional Languages
RWTH record for Distributed programming in Haskell with ports BibTeX for Distributed programming in Haskell with ports
Technical report
Verifying generic Erlang client-server implementations
Thomas Arts, Thomas Noll
RWTH record for Verifying generic Erlang client-server implementations BibTeX for Verifying generic Erlang client-server implementations