Publications

2001
DOIFrank Günter Huch. Model checking Erlang programs : abstracting the context-free structure, 18 S., Elsevier Science, 2001.
2000
. Proceedings of the 12. International Workshop on Impementation of Functional Languages : [IFL 2000] ; Aachen, Germany, September 4th-7th 2000, 402 S. : Ill., graph. Darst., RWTH, 2000.
Thomas Arts, Thomas Noll. Verifying generic Erlang client-server implementations, 26 Bl., RWTH, Fachgruppe Informatik, 2000.
F. Huch, Ulrich Norbisrath. Distributed programming in Haskell with ports, Proceedings of the 12. International Workshop on Implementation of Functional Languages : [IFL 2000] ; Aachen, Germany, 4.-7.9.2000 / Mohnen, M. [u.a.] Hrsg, 87-99, RWTH, Fachgruppe Informatik, 2000.
Mads Dam, Thomas Noll. Context-representable processes, Verification of infinite-state systems : 2.-7.4.2000 ; Seminar 00141 / Schloß Dagstuhl Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI) / Bouajjani, A. ... Hrsg, 19-22, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), 2000.
DOIJörg Köller, Markus Mohnen. Efficient abstract interpretation using component-wise homomorphisms, Proceedings of the 2. International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming : Montréal, Canada, 20.-23.9.2000 / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages, SIGPLAN / PPDP 2000, 226-234, ACM Press, 2000.
Martin Leucker. Parallel model checking for the alternation free mu-calculus, FM Tools 2000 / The 4. Workshop on Tools for System Design and Verification. [Universität Ulm, Fakultät für Informatik] / Schellhorn, G. [u.a.] Hrsg, 135-140, Univ., Fak. für Informatik, 2000.
Benedikt Bollig, J. Henriksen, Martin Leucker. Deciding LTL over Mazurkiewicz traces, Theorietag 2000 : 10. Theorietag der GI-Fachgruppe 0.1.5 'Automaten und Formale Sprachen', 26.-27.9.2000 ; 'Workshop New Computing Paradigms: Molecular Computing and Quantum Computing' ; 24.-25.9.2000 ; Wien Österreich / Freund, R. Hrsg, Techn. Universität, 2000.
Thomas Arts, Thomas Noll. Verifying generic Erlang Client-Server implementations, Proceedings of the 12. International Workshop on Implementation of Functional Languages : [IFL 2000] ; Aachen, Germany, 4.-7.9.2000 / Mohnen, M. [u.a.] Hrsg, 387-402, RWTH, Fachgruppe Informatik, 2000.
Martin Leucker. On model checking synchronised hardware circuits, Advances in computing science - ASIAN 2000 : proceedings / 6th Asian Computing Science Conference, Penang, Malaysia, November 25 - 27, 2000. Jifeng He ... (eds.), 182-198, Springer, 2000.
M. Leucker, Thomas Noll. Truth - a real-world application in Haskell; Ed.: Markus Mohnen ..., Proceedings of the 12. International Workshop on Implementation of Functional Languages : [IFL 2000] ; Aachen, Germany, September 4th-7th 2000, 363-380, RWTH Aachen, 2000.
M. Hanus, F. Huch, P. Niederau. Objectcurry : an object oriented extension of the declarative multi-paradigm language curry, Proceedings of the 12. International Workshop on Implementation of Functional Languages : [IFL 2000] ; Aachen, Germany, 4.-7.9.2000 / Mohnen, M. [u.a.] Hrsg, 331-337, RWTH, Fachgruppe Informatik, 2000.
Olaf Chitil. Deforestation of functional programs through type inference, Programmiersprachen und Rechenkonzepte - Schwerpunkt Softwarekomponenten : Bad Honnef, 8.-10.5.2000 / Institut für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel / Goerigk, W. Hrsg, 121-130, Inst. für Informatik und Praktische Mathematik, 2000.
Olaf Chitil. Type-inference based short cut deforestation (nearly) without inlining, Implementation of functional languages : 11th international workshop ; selected papers / IFL 99, Lochem, The Netherlands, September 7 - 10, 1999. Pieter Koopman ... (eds.), 17-32, Springer, 2000.
Olaf Chitil, F. Huch, A. Simon. Typeview : a tool for understanding type errors, Proceedings of the 12. International Workshop on Implementation of Functional Languages : [IFL 2000] ; Aachen, Germany, 4.-7.9.2000 / Mohnen, M. [u.a.] Hrsg, 63-69, RWTH, Fachgruppe Informatik, 2000.
Markus Mohnen. Interfaces with skeletal implementations in Java, Programmiersprachen und Rechenkonzepte - Schwerpunkt Softwarekomponenten : Bad Honnef, 8.-10.5.2000 / Institut für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel / Wolfgang Goerigk (Hrsg.), Inst. für Informatik und Praktische Mathematik, 2000.
DOIThomas Noll, H. Vogler. The universality of higher-order attributed tree transducers, 45-75, Springer, 2000.
DOIRamin Sadre, Boudewijn R. Haverkort. FiFiQueues: Fixed-point analysis of queueing networks with finite-buffer stations, Computer performance evaluation : modelling techniques and tools ; 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27 - 31, 2000 ; proceedings / Boudewijn R. Haverkort ... (ed.), 324-327, Springer, 2000.
DOIThomas Georg Richert. Dynamic load balancing for parallel adaptive multigrid solvers with algorithmic skeletons, Euro-Par 2000 parallel processing : 6th International Euro-Par Conference, Munich, Germany, August 29 - September 1, 2000 ; proceedings / Arndt Bode ... (eds.), 325-328, Springer, 2000.
Thomas Georg Richert. Using skeletons to implement a parallel multigrid method with overlapping adaptive grids, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2000 : Las Vegas, Nevada, USA, June 26 - 29, 2000 / World Scientific Engineering Society. Ed.: H. R. Arabnia, CSREA Press, 2000.
DOIChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. On the Logical Characterisation of Performability Properties, Automata, languages and programming : 27th international colloquium ; proceedings / ICALP 2000, Geneva, Switzerland, July 9 - 15, 2000 / Ugo Montanari ... (eds.), 780-792, Springer [u.a.], 2000.
1999
Frank Günter Huch. Verification of Erlang programs using abstract interpretation and model checking - extended version, RWTH, 1999.
. Fundamenta Informaticae, IOS Press, 1999.
K. Indermark. Semantik rekursiver Funktionsdefinitionen, Angewandte Mathematik, insbesondere Informatik : Beispiele erfolgreicher Wege zwischen Mathematik und Informatik / Horster, P. Hrsg, Vieweg, 1999.
K. Indermark. Walter Oberschelp - Lehrstuhl für angewandte Mathematik, insbesondere Informatik, Angewandte Mathematik, insbesondere Informatik : Beispiele erfolgreicher Wege zwischen Mathematik und Informatik / Horster, P. Hrsg, Vieweg, 1999.