| 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. |
| DOI | Frank Günter Huch. Model checking Erlang programs : abstracting the context-free structure,
18 S., Elsevier Science, 2001. |