| 2005 |
|---|
| DOI | Henrik Bohnenkamp, Johan Gorter, Jarno Guidi, Joost-Pieter Katoen. Are you still there? : a lightweight algorithm to monitor node presence in self-configuring networks,
Proceedings / 2005 international conference on dependable systems and networks : 28 june - 1 july 2005, yokohama, japan / sponsored by IEEE computer society technical committee on fault-tolerant computing; IFIP WG 10.4 on dependable computing and fault tolerance; IEICE technical group on dependable comouting, 704-709, IEEE Computer Society, 2005. |
| DOI | Joost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev. A Markov reward model checker,
Proceedings / second international conference on the quantitative evaluation of systems : 19 - 22 september 2005, torino, italy / organized by dipartimento di informatica, università di torino ..., 243-244, IEEE Computer Society, 2005. |
| Thomas Noll, Chanchal Kumar Roy. Modeling Erlang in the pi-Calculus,
Erlang 05 : proceedings of the ACM SIGPLAN 2005 erlang workshop ; september 25, 2005, tallin, estonia ; [co-located with the annual international conference in functional programming (ICFP)] / sponsored by the association for computing machinery, special interest group on programming languages (SIGPLAN) / erlang workshop ¡4, 2005, tallinn¿, 72-77, ACM Press, 2005. |
| Thomas Noll, Chanchal Kumar Roy. Towards automatic verification of Erlang programs by pi-calculus translation,
Erlang 05 : proceedings of the ACM SIGPLAN 2005 erlang workshop ; september 25, 2005, tallin, estonia ; [co-located with the annual international conference in functional programming (ICFP)] / sponsored by the association for computing machinery, special interest group on programming languages (SIGPLAN) / erlang workshop ¡4, 2005, tallinn¿, 38-50, ACM Press, 2005. |
| DOI | Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan. Model checking Markov reward models with impulse rewards,
Proceedings / 2005 international conference on dependable systems and networks : 28 june - 1 july 2005, yokohama, japan / sponsored by IEEE computer society technical committee on fault-tolerant computing; IFIP WG 10.4 on dependable computing and fault tolerance; IEICE technical group on dependable comouting, 722-731, IEEE Computer Society, 2005. |
| Carsten Kern. Analysis and imlementations of MSC specifications,
IFM2005 doctoral symposium on integrated formal methods / judi romijn, graeme smith, jaco van de pol, 55-61, TU, 2005. |
| DOI | Erika Ábrahám, Marcello Bonsangue, Frank S. Boer, Martin Steffen. Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes,
Theoretical aspects of computing - ICTAC 2004 : first international colloquium, Guiyang, China, September 20 - 24, 2004 ; revised selected papers / Zhiming Liu ... (eds.), 37-51, Springer, 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. |