Technical Reports
2010
2009
| Taolue Chen, Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Quantitative model checking of continuous-time Markov chains against timed automata specifications. Technical Report AIB-2009-02, RWTH Aachen University, 2009. | |
|
| Joost-Pieter Katoen, Daniel Klink, and Martin R. Neuhäußer. Compositional Abstraction for Stochastic Systems. Technical Report AIB-2009-15, RWTH Aachen, 2009. |
2008
|
| Henrik Bohnenkamp, and Marielle Stoelinga. Quantitative Testing. Technical Report AIB-2008-02, RWTH Aachen, 2008. | |
|
| Joost-Pieter Katoen, Daniel Klink, Martin Leucker, and Verena Wolf. Abstraction for stochastic systems by Erlang’s method of stages. Technical Report AIB-2008-12, RWTH Aachen University, 2008. | |
|
| Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, and Martin Leucker. SMA—the Smyle modeling approach. Technical Report TUM-I0820, TU München, 2008. | |
|
| Benedikt Bollig, Peter Habermehl, Carsten Kern, and Martin Leucker. Angluin-Style Learning of NFA. Technical Report LSV-08-28, Laboratoire Spécification et Vérification, ENS Cachan, France, 2008. |
2007
|
| Joost-Pieter Katoen, Thomas Noll, and Stefan Rieger. Verifying Concurrent List-Manipulating Programs by LTL Model Checking. Technical Report 2007-06, RWTH Aachen University, 2007. http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2007/2007-06.pdf. | |
|
| Martin R. Neuhäußer, and Joost-Pieter Katoen. Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. Technical Report AIB 2007-10, RWTH Aachen University, Dept. of Computer Science, 2007. | |
|
| Joost-Pieter Katoen, Daniel Klink, Martin Leucker, and Verena Wolf. Three-Valued Abstraction for Probabilistic Systems. Technical Report , RWTH Aachen University, 2007. | |
|
| Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. Technical Report AIB-2007-21, RWTH Aachen, 2007. |
2006
|
| Angelika Mader, Henrik Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann Hurink, and Holger Hermanns. Synthesis and Stochastic Assessment of Cost-Optimal Schedules. Technical Report 06-14, University of Twente, 2006. ISSN 1381-3625. | |
|
| Tingting Han, and Joost-Pieter Katoen. Counterexamples in probabilistic model checking. Technical Report AIB 2006-09, RWTH Aachen, 2006. | |
|
| Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, and Martin Leucker. Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning. Technical Report AIB-2006-12, RWTH Aachen, 2006. | |
|
| Erika Ábrahám, Andreas Grüner, and Martin Steffen. Dynamic Heap-Abstraction for Open, Object-Oriented Systems with Thread Classes. Technical Report 0601, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, 2006. | |
|
| Erika Ábrahám, Andreas Grüner, and Martin Steffen. Abstract Interface Behavior of Object-Oriented Languages with Monitors. Technical Report 0612, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, 2006. |
2005
|
| Thomas Noll, and Stefan Rieger. Optimization of Straight-Line Code Revisited. Technical Report 2005-21, RWTH Aachen University, Dept. of Computer Science, 2005. | |
|
| Joost-Pieter Katoen, and Ivan S. Zapreev. Safe on-the-fly steady-state detection for time-bounded reachability.. Technical Report TR-CTIT-05-52, CTIT, University of Twente, 2005. |
2004
|
| Henrik C. Bohnenkamp, Pedro R. D’Argenio, Holger Hermanns, and Joost-Pieter Katoen. MoDeST: A compositional modeling formalism for real-time and stochastic systems. Technical Report TR-CTIT-04-46, Centre for Telematics and Information Technology, University of Twente, 2004. | |
|
| Klaus Indermark, and Thomas Noll. Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information. Technical Report 2004-08, RWTH Aachen University, 2004. |
2003
2002
2001
|
| Thomas Noll, and Klaus Indermark, editors, Kolloquium Programmiersprachen und Grundlagen der Programmierung. Technical Report 2001-11, Aachen University of Technology, 2001. | |
|
| Benedikt Bollig, Martin Leucker, and Thomas Noll. Regular MSC Languages. Technical Report 01-05, RWTH Aachen University, 2001. |
2000
|
| Thomas Arts, and Thomas Noll. Verifying Generic Erlang Client-Server Implementations. Technical Report 2000-08, RWTH Aachen University, 2000. |
1999
|
| Thomas Noll, and Heiko Vogler. On the Universality of Higher-Order Attributed Tree Transducers. Technical Report TUD-FI 99/05, Dresden University of Technology, 1999. |
1998
1997
1996
1995
1994
1993
1992
|
| Thomas Noll, and Heiko Vogler. Top-Down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars. Technical Report 1992-14, RWTH Aachen University, 1992. |
1991
1989
