| 2001 |
|---|
| . Kolloquium programmiersprachen und Grundlagen der Programmierung ; 11 (Simmerath-Rurberg) : 2001.10.07-11, 128 Bl.. : graph. Darst., RWTH, Department of Computer Science, 2001. |
| DOI | . Implementation of functional languages : 12th international workshop, Aachen, Germany, September 4 - 7, 2000 ; selected papers, VIII, 265 S. : graph. Darst., Springer, 2001. |
| Benedikt Bollig, Martin Leucker. Deciding LTL over Mazurkiewicz traces, 26 Bl.. : graph. Darst.., RWTH, 2001. |
| Benedikt Bollig, Martin Leucker, Thomas Noll. Regular MSC languages, RWTH, 2001. |
| Benedikt Bollig, Martin Leucker, Michael Weber. Local parallel model checking for the alternation free mu-calculus, 38 Bl.. : graph. Darst.., RWTH, Department of Computer Science, 2001. |
| Benedikt Bollig, Martin Leucker, Michael Weber. Parallel model checking for the alternation free mu-calculus, Tools and algorithms for the construction and analysis of systems : 7th international conference ; proceedings / TACAS 2001, held as part of the joint european conferences on theory and practice of software, ETAPS 2001, genova, italy, april 2 - 6, 2001. Tiziana margaria; wang yi (eds.), 543-558, Springer, 2001. |
| Frank Günter Huch, V. Stolz. Distributed programming in Haskell : from ports to streams, Sprachen, architekturen und neue objektorientierte softwaretechniken : Bad honnef, 7.-9. Mai 2001 / wolfgang goerigk ... (hrsg.), Inst. für Informatik und Praktische Mathematik, 2001. |
| Martin Leucker, Thomas Noll. Truth/SLC : a parallel verification platform for concurrent systems, Computer aided verification : 13th international conference, CAV 2001, paris, france, july 18 - 22, 2001 ; proceedings / gérard berry ... (eds.), 255-259, Springer, 2001. |
| DOI | Lars-Åke Fredlund, Dilian Gurov, Thomas Noll. Semi-automated verification of Erlang code, Proceedings / 16th annual international conference on automated software engineering (ASE 2001) : 26 - 29 november 2001, loew's coronado bay resort, coronado island, san diego, california / sponsored by IEEE computer society techncial committee on software engineering; ACM sigsoft; ACM sigart, 319-323, IEEE Computer Society, 2001. |
| Thomas Arts, Thomas Noll. Verifying generic Erlang client-server implementations, Implementation of functional languages : 12th international workshop, aachen, germany, september 4 - 7, 2000 ; selected papers / IFL 2000. Markus mohnen; pieter koopman (ed.), 37-52, Springer, 2001. |
| Roland Büschkes, Thomas Noll, Mark Borning. Transaction-based anomaly detection in communication networks, 9th international conference on telecommunication systems - modeling and analysis, march, 15 - 18, 2001, dallas, texas, USA / sponsored by edwin L. Cox school of business, southern methodist university ... conference general chair: Bezalel gavish, 2001. |
| DOI | Benedikt Bollig, Martin Leucker. Modelling, specifying, and verifying message passing systems, Proceedings / eighth international symposium on temporal representation and reasoning, TIME 2001 : 14 - 16 june 2001, cividale del friuli, italy / sponsored by university of milan ... [ed. by claudio bettini ...], 240-247, IEEE Computer Soc., 2001. |
| Frank Günter Huch, Ulrich Norbisrath. Distributed programming in Haskell with ports, Implementation of functional languages : 12th international workshop, aachen, germany, september 4 - 7, 2000 ; selected papers / IFL 2000. Markus mohnen; pieter koopman (ed.), 107-121, Springer, 2001. |
| DOI | Benedikt Bollig, Martin Leucker. Deciding LTL over Mazurkiewicz traces, Proceedings / eighth international symposium on temporal representation and reasoning, TIME 2001 : 14 - 16 june 2001, cividale del friuli, italy / sponsored by university of milan ... [ed. by claudio bettini ...], 189-197, IEEE Computer Soc., 2001. |
| DOI | L.-A. Fredlund, D. Gurov, Thomas Noll. The Erlang verification tool, Tools and algorithms for the construction and analysis of systems : 7th international conference ; proceedings / TACAS 2001, held as part of the joint european conferences on theory and practice of software, ETAPS 2001, genova, italy, april 2 - 6, 2001. Tiziana margaria; wang yi (eds.), 582-585, Springer, 2001. |
| DOI | Michael Hanus, Frank Günter Huch, Philipp Niederau. ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry, Implementation of functional languages : 12th international workshop, aachen, germany, september 4 - 7, 2000 ; selected papers / IFL 2000. Markus mohnen; pieter koopman (ed.), 89-106, Springer, 2001. |
| DOI | Thomas Noll. A rewriting logic implementation of Erlang, 206-224, Elsevier Science, 2001. |
| DOI | Frank 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. |
| DOI | Jö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. |