| 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. |
| 2006 |
|---|
| Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Replaying play in and play out : synthesis of design models from scenarios by learning, 26 Bl. : graph. Darst., 2006. |
| Tingting Han, Joost-Pieter Katoen. Counterexamples in probabilistic model checking, 35 Bl. : graph. Darst., RWTH, Department of Computer Science, 2006. |
| Michael Weber. Parallel algorithms for verification of large systems, II, 133 S. : graph. Darst., RWTH, Department of Computer Science, 2006. |
| Angelika Mader, Henrik Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann Hurink, Holger Hermanns. Synthesis and stochastic assessment of cost-optimal schedules, Technical report / centre for telmatics and information technology, university of twente, 2006. |
| DOI | Dino Distefano, Joost-Pieter Katoen, Arend Rensink. Safety and liveness in concurrent pointer programs, Formal methods for components and objects : 4th international symposium ; revised lectures / FMCO 2005, Amsterdam, The Netherlands, November 1- 4, 2005. Frank S. de Boer ... (ed.), 280-312, Springer, 2006. |
| DOI | Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz. MSCan : a tool for analyzing MSC specifications, Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the joint european conferences on theory and practice of software, ETAPS 2006, vienna, austria, march 25 - april 2, 2006 ; proceedings / holger hermanns ... (eds.), 455-458, Springer, 2006. |
| DOI | Thomas Noll, Chanchal Kumar Roy. Towards automatic verification of Erlang programs by pi-calculus translation, Proceedings of the ACM SIGPLAN workshop on generic programming 2006 : WGP 06, held 16 september 2006, portland oregon / ACM SIGPLAN, 38-50, ACM, 2006. |
| DOI | Erika Ábrahám, Andreas Grüner, Martin Steffen. Abstract interface behavior of object-oriented languages with monitors, Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference ; proceedigs / FMOODS 2006, bologna, italy, june 14 - 16, 2006. Roberto gorrieri ... (ed.), 218-232, Springer, 2006. |