| 2002 |
|---|
| Frank Günter Huch. Model checking Erlang programs : LTL-propositions and abstract interpretation,
Implementation of functional languages : 13th international workshop; selected papers /IFL 2001, Stockholm, Sweden, September 24 - 26, 2001. Thomas Arts; Markus Mohnen (ed.), Springer, 2002. |
| DOI | Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier. Model checking performability properties,
Proceedings / International Conference on Dependable Systems and Networks : 23 - 26 June 2002, Washington, D.C., USA / sponsored by IEEE Computer Society Technical Committee on Fault-Tolerant Computing (TCFTC) ..., 103-112, IEEE Computer Society, 2002. |
| DOI | Benedikt Bollig, Martin Leucker, Thomas Noll. Generalised regular MSC languages,
Foundations of software science and computation structures : 5th international conference ; proceedings / FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 - 12, 2002. Mogens Nielsen; Uffe Engberg (ed.), 52-66, Springer, 2002. |
| DOI | Pankaj K. Garg, Kave Eshghi, Thomas Gschwind, Boudewijn R. Haverkort, Katinka Wolter. Enabling network caching of dynamic Web objects,
Computer performance evaluation : modelling techniques and tools ; proceedings / TOOLS 2002, 12th international conference, London, UK, April 14-17, 2002. Tony Field ... (eds.), 329-338, Springer, 2002. |
| DOI | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Automated performance and dependability evaluation using model checking,
Performance evaluation of complex systems : techniques and tools ; Performance 2002 tutorial lectures ; [tutorials presented at the IFIP WG 7.3 International Symposium on Computer Modeling, Measurement and Evaluation (Performance 2002) held in Rome on September 23 - 27, 2002] / Maria Carla Calzarossa; Salvatore Tucci (eds.), 261-289, Springer, 2002. |
| DOI | Markus Mohnen. A graph-free approach to data-flow analysis,
Compiler construction : 11th international conference, CC 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 - 12, 2002 ; proceedings / R. Nigel Horspool (ed.), 46-61, Springer, 2002. |
| DOI | Benedikt Bollig, Martin Leucker, Philipp Lucas. Extending compositional message sequence graphs,
Logic for programming, artificial intelligence, and reasoning : 9th international conference ; proceedings / LPAR 2002, Tbilisi, Georgia, October 14 - 18, 2002. Matthias Baaz; Andrei Voronkov (ed.), 68-85, Springer, 2002. |
| DOI | Gianfranco Ciardo, Reinhard German, Boudewijn R. Haverkort. Introduction to the special section on Petri Nets and Performance Models,
913-914, IEEE, 2002. |
| 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. |