| 2005 |
|---|
| DOI | Erika Ábrahám, Frank S. Boer, Willem-Paul Roever, Martin Steffen. Inductive Proof Outlines for Exceptions in Multithreaded Java, Proceedings of the first IPM international workshop on foundations of software engineering (FSEN 2005) : Tehran, iran, 01-03 october 2005 / ed. by F. Arbab ..., 281-297, Elsevier, 2005. |
| DOI | Erika Ábrahám, Frank S. Boer, Marcello Bonsangue, Andreas Grüner, Martin Steffen. Observability, Connectivity, and Replay in a Sequential Calculus of Classes, Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004 ; revised lectures / Frank S. de Boer ... (eds.), 296-316, Springer-Verlag, 2005. |
| DOI | Frank S. Boer, Marcello Bonsangue, Martin Steffen, Erika Ábrahám. A Fully Abstract Trace Semantics for UML Components, Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004 ; revised lectures / Frank S. de Boer ... (eds.), 49-69, Springer-Verlag, 2005. |
| DOI | Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen. Optimizing Bounded Model Checking for Linear Hybrid Systems, Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17 - 19, 2005 ; proceedings / Radhia Cousot (ed.), 396-412, Springer, 2005. |
| Erika Ábrahám, Andreas Grüner, Martin Steffen. Dynamic Heap-Abstraction for Open, Object-Oriented Systems with Thread Classes, COSMICAH 2005 : workshop on verification of concurrent systems with dynaMIC allocated heaps (a satellite event of ICALP 2005) : informal proceedings, 47-61, Queen Mary, University of London, Department of Computer Science, 2005. |
| DOI | Benedikt Bollig, Martin Leucker. A hierarchy of implementable MSC languages, Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 international conference, taipei, taiwan, october 2-5, 2005 ; proceedings / farn wang (ed.), 53-67, Springer, 2005. |
| DOI | Benedikt Bollig. On the expressiveness of asynchronous cellular automata, Fundamentals of computation theory : 15th international symposium, FCT 2005, lübeck, germany, august 17 - 20, 2005 ; proceedings / maciej liśkiewicz ... (eds.), 528-539, Springer, 2005. |
| DOI | Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber. Functional programming languages for verification tools : a comparison of ML and Haskell, 184-194, Springer, 2005. |
| DOI | Pedro R. D'Argenio, Joost-Pieter Katoen. A theory of stochastic systems. Part I: Stochastic automata, 1-38, Elsevier, 2005. |
| DOI | Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf. Comparative branching-time semantics for Markov chains, 149-214, Elsevier, 2005. |
| DOI | Pedro R. D'Argenio, Joost-Pieter Katoen. A theory of stochastic systems. Part II: Process algebra, 39-74, Elsevier, 2005. |
| DOI | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Model checking meets performance evaluation, 10-15, Association for Computing Machinery, 2005. |
| DOI | Erika Ábrahám, Frank S. Boer, Willem-Paul Roever, Martin Steffen. An Assertion-Based Proof System for Multithreaded Java, 251-290, Elsevier, 2005. |
| 2003 |
|---|
| DOI | Benedikt Bollig, Martin Leucker. Model checking probabilistic distributed systems, Advances in computing science - ASIAN 2003 : programming languages and distributed computation ; 8th asian computing science conference mumbai, india, december 10 - 12, 2003, proceedings / vijay a. Saraswat (ed.), 291-304, Springer, 2003. |
| DOI | Benedikt Bollig, Martin Leucker. Deciding LTL over Mazurkiewicz traces, North-Holland, 2003. |
| 2002 |
|---|
| DOI | . Implementation of functional languages : 13th international workshop; selected papers, VI, 185 S. : graph. Darst., Springer, 2002. |
| Frank Günter Huch, Volker Stolz. Implementation of port-based distributed Haskell, Implementation of functional languages : 13th international workshop; selected papers /IFL 2001, stockholm, sweden, september 24 - 26, 2001. Thomas arts; markus mohnen (ed.), Springer, 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. |