| 2008 |
|---|
| DOI | Lijun Zhang, Friedrich Eisenbrand, Holger Hermanns, David N. Jansen. Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations,
43 S., Department of Theoretical Computer Science, TU, 2008. |
| DOI | Lars Helge Haß, Thomas Noll. Equational Abstractions for Reducing the State Space of Rewrite Theories,
139-154, Elsevier, 2008. |
| DOI | B. Neumann, T. Sydow, Holger Blume, Tobias G. Noll. Application domain specific embedded FPGAs for flexible ISA-extension of ASIPs,
129-143, Springer, 2008. |
| 2007 |
|---|
| Martin R. Neuhäußer, Joost-Pieter Katoen. Bisimulation and logical preservation for continuous-time Markov decision processes,
26 S., RWTH, Department of Computer Science, 2007. |
| Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Three-valued abstraction for probabilistic systems,
49 Bl. : graph. Darst., RWTH Aachen, Department of Computer Science, 2007. |
| Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Compositional modeling and minimization of time-inhomogeneous Markov chains,
39 Bl. : graph. Darst., RWTH, Department of Computer Science, 2007. |
| Joost-Pieter Katoen. Stochastic model checking,
Stochastic Hybrid Systems : recent developments and research trends / edited by Christos G. Cassandras and John Lygeros, CRC, Taylor & Francis, 2007. |
| DOI | Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde. Parallel SAT solving in bounded model checking,
Formal methods: applications and technology ; 11th international workshop, FMICS 2006, and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 ; revised selected papers / Luboš Brim; Boudewijn Haverkort; Martin Leucker; Jaco van de Pol (eds.), 301-315, Springer, 2007. |
| DOI | Henrik Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen. Motor : the MoDeST tool environment,
Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings / Orna Grumberg ... (Eds.), 500-504, Springer, 2007. |
| DOI | Thomas Noll, Stefan Rieger. Composing Transformations to Optimize Linear Code,
Theoretical aspects of computing - ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 ; proceedings / Cliff B. Jones ... (eds.), 425-439, Springer, 2007. |
| DOI | Martin R. Neuhäußer, Joost-Pieter Katoen. Bisimulation and logical preservation for continuous-time Markov decision processes,
CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings / Luís Caires ... (eds.), 412-427, Springer-Verlag, 2007. |
| DOI | Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen. Flow faster : efficient decision algorithms for probabilistic simulations,
Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings / Orna Grumberg ... (Eds.), 155-169, Springer, 2007. |
| DOI | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Three-Valued Abstraction for Continuous-Time Markov Chains,
Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3 - 7, 2007 ; proceedings / Werner Damm ... (eds.), 311-324, Springer, 2007. |
| DOI | Tingting Han, Joost-Pieter Katoen. Providing evidence of likely being on time : counterexample generation for CTMC model checking,
Automated technology for verification and analysis : 5th international symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007 ; proceedings / Kedar S. Namjoshi ... (eds.), 331-346, Springer, 2007. |
| DOI | Joost-Pieter Katoen. Abstraction of probabilistic systems,
Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings / Jean François Raskin ... (eds.), 1-3, Springer, 2007. |
| DOI | Tingting Han, Joost-Pieter Katoen. Counterexamples in probabilistic model checking,
Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings / Orna Grumberg ... (Eds.), 72-86, Springer, 2007. |
| DOI | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Replaying play in and play out : synthesis of design models from scenarios by learning,
Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings / Orna Grumberg ... (Eds.), 435-450, Springer, 2007. |
| Henrik Bohnenkamp, Axel Belinfante. Timed model-based testing,
Tangram: model-based integration and testing of complex high-tech systems : a collaborative research project for multi-disciplinary design of high-tech systems / ed.: Jan Tretmans, 115-128, Embedded Systems Institute, The Netherlands, 2007. |
| Joost-Pieter Katoen, Thomas Noll, Stefan Rieger. Verifying concurrent list-manipulating programs by LTL model checking,
26 Bl. : graph. Darst., RWTH, Department of Computer Science, 2007. |
| Joost-Pieter Katoen, Thomas Noll, Stefan Rieger. Verifying concurrent list-manipulating programs by LTL model checking,
HAV 2007 : Workshop on Heap Analysis and Verification, March 25, 2007, Braga, Portugal ; [Informal Proceedings], 94-113, 2007. |
| DOI | Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen. Bisimulation minimisation mostly speeds up probabilistic model checking,
Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings / Orna Grumberg ... (Eds.), 87-101, Springer, 2007. |
| DOI | Marc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde. On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata,
2007 IEEE design and diagnostics of electronic circuits and systems : Krakow, Poland, 11 - 13 April 2007, 391-396, IEEE Service Center, 2007. |
| DOI | G. Kappen, S. Bahri, O. Priebe, Tobias G. Noll. Evaluation of a tightly coupled ASIP co-processor architecture used in GNSS receivers,
2007 IEEE International Conference on Application-Specific Systems, Architectures and Processors : Montréal, QC, Canada, 9 - 11 July 2007, 296-301, IEEE, 2007. |
| DOI | Rocco Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink. Model checking mobile stochastic logic,
42-70, Elsevier, 2007. |
| DOI | Martin R. Neuhäußer, Thomas Noll. Abstraction and model checking of core Erlang programs in Maude,
147-163, Elsevier, 2007. |