Research Group: Formal Methods and Tools (FMT)

2013

Zambon, Eduardo (2013) Abstract graph transformation : theory and practice. thesis.

Ngo, Minh Tri and Stoelinga, M.I.A. and Huisman, M. (2013) Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification. In: 5th International Conference on Engineering Secure Software and Systems, ESSoS 2013, 27 February - 1 March 2013, Paris, France.

Timmer, Mark and Pol van de, Jaco and Stoelinga, Mariëlle (2013) Confluence reduction for Markov automata. In: 11th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, 23-24 March 2013, Rome, Italy.

Timmer, M. and Pol van de, J.C. and Stoelinga, M.I.A. (2013) Confluence reduction for Markov automata (extended version). [Report]

Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2013) Divergent Quiescent Transition Systems (extended version). [Report]

Broersma, Hajo and Fomin, Fedor V. and Hof van 't, Pim and Paulusma, Daniël (2013) Exact algorithms for finding longest cycles in claw-free graphs. Algorithmica, 65 (1). pp. 129-145. ISSN 0178-4617

Broersma, Hajo and Kratsch, Dieter and Woeginger, Gerhard J. (2013) Fully decomposable split graphs. European journal of combinatorics, 34 (3). pp. 567-575. ISSN 0195-6698

Laarman, Alfons and Pater, Elwin and Pol van de, Jaco and Weber, Michael (2013) Guard-based partial-order reduction. In: 20th International SPIN Symposium on Model Checking of Software, SPIN 2013, 8-9 July 2013, Stony Brook, NY, USA.

Laarman, Alfons and Faragó, David (2013) Improved on-the-fly livelock detection: combining partial order reduction and parallelism for . In: Fifth NASA Formal Methods Symposium, NFM 2013, 14-16 May 2013, Moffett Field, CA, USA.

Verhoef, Nellie and Timmer, Mark (2013) Lesson study - deel 3. Ervaringen bij de introductie van periodieke bewegingen. Euclides, 88 (4). pp. 173-176. ISSN 0165-0394

Guck, Dennis and Hatefi, Hassan and Hermanns, Holger and Katoen, Joost-Pieter and Timmer, Mark (2013) Modelling, reduction and analysis of Markov automata (extended version). [Report]

Laarman, Alfons and Olesen, Mads Chr. and Dalsgaard, Andreas and Larsen, Kim G. and Pol van de, Jaco (2013) Multi-core emptiness checking of timed Büchi automata using inclusion abstraction. In: 25th International Conference on Computer Aided Verification, CAV 2013, 13-19 July 2013, Saint Petersburg, Russia.

Hartmanns, A. and Timmer, M. (2013) On-the-Fly Confluence Detection for Statistical Model Checking. In: 5th International Symposium on NASA Formal Methods, NFM 2013, 14-16 May 2013, Moffett Field, CA, USA.

Hartmanns, Arnd and Timmer, Mark (2013) On-the-fly confluence detection for statistical model checking. In: 11th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, 23-24 March 2013, Rome, Italy.

Hartmanns, Arnd and Timmer, Mark (2013) On-the-fly confluence detection for statistical model checking (extended version). [Report]

Wevers, Lesley and Huisman, Marieke and Keijzer de, Ander (2013) Parallel transaction processing in functional languages, towards practical functional databases. [Report]

Soleimanifard, S. and Gurov, D. and Huisman, M. (2013) Procedure-modular specification and verification of temporal safety properties. Software and systems modeling . ISSN 1619-1366

Gurov, Dilian and Huisman, Marieke (2013) Reducing behavioural to structural properties of programs with procedures. Theoretical computer science, 480 . pp. 69-103. ISSN 0304-3975

Amighi, Afshin and Blom, Stefan and Huisman, Marieke (2013) Resource protection using atomics: patterns and verifications. [Report]

Huisman, Marieke and Mihelcic, Matej (2013) Specification and Verification of GPGPU programs using Permission-based Separation logic. [Report]

Katoen, Joost-Pieter and Peled, Doron (2013) Taming confusion for modeling and implementing probabilistic concurrent systems. In: 22nd European Symposium on Programming, ESOP 2013, 16-24 March 2013, Rome, Italy.

Li, MingChu and Yuan, Lifeng and Jiang, He and Liu, Bing and Broersma, H.J. (2013) Tank-ring factors in supereulerian claw-free graphs. Graphs and combinatorics, 29 (3). pp. 599-608. ISSN 0911-0119

Broersma, Hajo and Fomin, Vedor V. and Golovach, Petr A. and Paulusma, Daniël (2013) Three complexity results on coloring -free graphs. European journal of combinatorics, 34 (3). pp. 609-619. ISSN 0195-6698

Broersma, Hajo and Golovach, Petr A. and Patel, Viresh (2013) Tight complexity bounds for FPT subgraph problems parameterized by the clique-width. Theoretical computer science, 485 . pp. 69-84. ISSN 0304-3975

Bauer, D. and Broersma, H.J. and Heuvel van den, J. and Kahl, N. and Schmeichel, E. (2013) Toughness and vertex degrees. Journal of graph theory, 72 (2). pp. 209-219. ISSN 0364-9024

2012

Zand, Pouria and Chatterjea, Supriyo and Ketema, Jeroen and Havinga, Paul (2012) A Distributed Scheduling Algorithm for Real-time (D-SAR) Industrial Wireless Sensor and Actuator Networks. In: 17th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2012, 17-21 September 2012, Krakow, Poland.

Zaharieva-Stojanovski, Marina and Huisman, Marieke and Blom, Stefan (2012) A history of BlockingQueues. In: Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2012, 19 September 2012, Bertinoro, Italy.

Timmer, Mark and Jeurnink, Gerard A.M. and Verhoef, Nellie C. (2012) Analytische meetkunde door een synthetische bril. In: 18e Nationale Wiskunde Dagen, 3-4 Februari 2012, Noordwijkerhout.

Ketema, Jeroen and Simonsen, Jakob Grue (2012) Characterizing Languages by Normalization and Termination in String Rewriting. In: 16th International Conference on Developments in Language Theory, DLT 2012, August 14-17, 2012, Taipei, Taiwan.

Kuijper, Wouter (2012) Compositional synthesis of safety controllers. thesis.

Ngo, Minh Tri and Stoelinga, Mariëlle and Huisman, Marieke (2012) Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification. [Report]

Bauer, D. and Broersma, H.J. and Heuvel van den, J. and Kahl, N. and Schmeichel, E. (2012) Degree sequences and the existence of k-factors. Graphs and combinatorics, 28 (2). pp. 149-166. ISSN 0911-0119

Kant, Gijs and Pol van de, Jaco (2012) Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games. In: First Workshop on Graph Inspection and Traversal Engineering, GRAPHite 2012, 1 April 2012, Tallinn, Estonia.

Timmer, Mark and Katoen, Joost-Pieter and Pol van de, Jaco and Stoelinga, Mariëlle (2012) Efficient Modelling and Generation of Markov Automata. In: 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, 31 March - 1 April 2012, Tallinn, Estonia.

Timmer, Mark and Katoen, Joost-Pieter and Pol van de, Jaco and Stoelinga, Mariëlle (2012) Efficient Modelling and Generation of Markov Automata. In: 23rd International Conference on Concurrency Theory, CONCUR 2012, September 4-7, 2012, Newcastle upon Tyne, UK.

Timmer, Mark and Katoen, Joost-Pieter and Pol van de, Jaco and Stoelinga, Mariëlle (2012) Efficient Modelling and Generation of Markov Automata (extended version). [Report]

Esteve, M.-A. and Katoen, J.P. and Nguyen, V.Y. and Postma, B. and Yushstein, Y. (2012) Formal correctness, safety, dependability, and performance analysis of a satellite. In: 34th International Conference on Software Engineering, ICSE 2012, 2-9 June 2012, Zürich, Switzerland.

Katoen, J.P. (2012) GSPNs Revisited: Simple Semantics and New Analysis Algorithms. In: 12th International Conference on Application of Concurrency to System Design, ACSD 2012, 27-29 June 2012, Hamburg, Germany.

Ghamarian, Amir Hossein and Rensink, Arend (2012) Generalised compositionality in graph transformation. [Report]

Ghamarian, Amir Hossein and Rensink, Arend (2012) Generalised compositionality in graph transformation. In: 6th International Conference on Graph Transformation, ICGT 2012, 24-29 September 2012, Bremen, Germany.

Ghamarian, Amir Hossein and Rensink, Arend (2012) Graph Passing in Graph Transformation. [Report]

Zambon, E. and Rensink, A. (2012) Graph Subsumption in Abstract State Space Exploration. In: First Workshop on Graph Inspection and Traversal Engineering, GRAPHite 2012, 1 April 2012, Tallinn, Estonia.

Mol de, Maarten and Rensink, Arend and Hunt, James J. (2012) Graph Transforming Java Data. In: 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, 26-29 March 2012, Talinn, Estonia.

Boneva, Iovka and Kreiker, Jörg and Kurbán, Marcos and Rensink, Arend and Zambon, Eduardo (2012) Graph abstraction and abstract graph transformations (Amended version). [Report]

Kastenberg, Harmen and Rensink, Arend (2012) Graph attribution through sub-graphs. [Report]

Ghamarian, Amir Hossein and Rensink, Arend (2012) Graph passing in graph transformation. In: 11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012, 24-25 March 2012, Tallinn, Estonia.

Broersma, H.J. and Ryjáček, Z. and Vrána, P. (2012) How many conjectures can you stand: a survey. Graphs and Combinatorics, 28 (1). pp. 57-75. ISSN 0911-0119

Evangelista, Sami and Laarman, Alfons and Petrucci, Laure and Pol van de, Jaco (2012) Improved Multi-Core Nested Depth-First Search. In: 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, 3-6 October 2012, Thiruvananthapuram (Trivandrum), Kerala.

Timmer, Mark and Verhoef, Nellie (2012) Increasing insightful thinking in analytic geometry. Nieuw Archief voor Wiskunde, 5/13 (3). pp. 217-219. ISSN 0028-9825

Jalali, Arash and Ghamarian, Amir Hossein and Rensink, Arend (2012) Incremental pattern matching for regular expressions. In: 11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012, 24-25 March 2012, Tallinn, Estonia.

Groote de, Robert and Kuper, Jan and Broersma, Hajo and Smit, Gerard J.M. (2012) Max-plus algebraic throughput analysis of synchronous dataflow graphs. In: 38th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2012, 5-8 September 2012, Cesme, Izmir, Turkey.

Katoen, Joost-Pieter (2012) Model checking: one can do much more than you think! In: 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, April 20-22, 2011, Teheran, Iran.

Schivo, S. and Scholma, J. and Wanders, B. and Urquidi Camacho, R.A. and Vet van der, P.E. and Karperien, H.B.J. and Langerak, R. and Pol van de, J.C. and Post, J.N. (2012) Modelling biological pathway dynamics with Timed Automata. In: 12th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2012, 11-13 November 2012, Larnaca, Cyprus.

Dijk van, T. and Laarman, A.W. and Pol van de, J.C. (2012) Multi-Core BDD Operations for Symbolic Reachability. In: 11th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2012, 17 September 2012, London, UK.

Dalsgaard, Andreas and Laarman, Alfons and Larsen, Kim G. and Olesen, Mads Chr. and Pol van de, Jaco (2012) Multi-Core Reachability for Timed Automata. In: 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, 18-20 September 2012, London, UK.

Dijk van, Tom and Laarman, Alfons and Pol van de, Jaco (2012) Multi-core and/or symbolic model checking. In: 12th International Workshop on Automated Verification of Critical Systems, AVoCS 2012, 18-20 September 2012, Bamberg, Germany.

Huisman, Marieke and Klebanov, Vladimir and Monahan, Rosemary (2012) On the organisation of program verification competitions. In: 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, COMPARE 2012, 30 June 2012, Manchester, UK.

Li, Binlong and Broersma, Hajo and Zhang, Shenggui (2012) Pairs of forbidden induced subgraphs for homogeneously traceable graphs. Discrete mathematics, 312 (18). pp. 2800-2818. ISSN 0012-365X

Rensink, Arend and Zambon, Eduardo (2012) Pattern-Based Graph Abstraction. In: International Conference on Graph Transformation, ICGT 2012, 24-29 September 2012, Bremen, Germany.

Guck, Dennis and Han, Tingting and Katoen, Joost-Pieter and Neuhausser, M. (2012) Quantitative timed analysis of interactive Markov chains. In: 4th International Symposium on NASA Formal Methods, NFM 2012, 3-5 April 2012, Norfolk, VA, USA.

Ahrendt, W. and Mostowski, W.I. and Paganelli, G. (2012) Real-time Java API Specifications for High Coverage Test Generation. In: 10th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2012, 24-26 October 2012, Copenhagen, Denmark.

Rensink, Arend and Rozenberg, Grzegorz and Schürr, Andy (2012) Recent Developments in the Theory of Graph Transformation, 2010. Fundamenta Informaticae, 118 (3). i-iii. ISSN 0169-2968

Ketema, Jeroen (2012) Reinterpreting Compression in Infinitary Rewriting. In: 23rd International Conference on Rewriting Techniques and Applications, RTA 2012, 30 May - 1 June 2012, Nagoya, Japan.

Amighi, Afshin and Carvalho Gomes de, Pedro and Gurov, Dilian and Huisman, Marieke (2012) Sound Control-Flow Graph Extraction for Java Programs with Exceptions. In: 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, 1-5 October 2012, Thessaloniki, Greece.

Berg van der, Freark and Laarman, Alfons (2012) SpinS: Extending LTSmin with Promela through SpinJa. In: 11th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2012, 17 September 2012, London, UK.

Polderman, J.W. and Langerak, R. (2012) Stability and robustness of planar switching linear systems. Systems & Control Letters, 61 (9). pp. 904-910. ISSN 0167-6911

Polenkova, S. and Polderman, J. and Langerak, R. (2012) Stability of reset systems. In: 20th International Symposium on Mathematical Theory of Networks and Systems, MTNS 2012, 9-13 July 2012, Melbourne, Australia.

Stokkink, Gerjan and Timmer, Mark and Stoelinga, Mariëlle (2012) Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation. In: 7th Workshop on Model-Based Testing, MBT 2012, 25 March 2012, Tallinn, Estonia.

Stokkink, Gerjan and Timmer, Mark and Stoelinga, Mariëlle (2012) Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version). [Report]

Amighi, Afshin and Blom, Stefan and Huisman, Marieke and Zaharieva-Stojanovski, Marina (2012) The VerCors Project: Setting Up Basecamp. In: Sixth Workshop Programming Languages meets Program Verification, PLPV 2012, 24 January 2012, Philadelphia, PA, USA.

Bonsma, P.S. and Broersma, H.J. and Patel, Viresh and Pyatkin, A.V. (2012) The complexity of finding uniform sparsest cuts in various graph classes. Journal of Discrete Algorithms, 14 . pp. 136-149. ISSN 1570-8667

Broersma, Hajo and Golovach, Petr A. and Patel, Viresh (2012) Tight complexity bounds for FPT subgraph problems parameterized by clique-width. In: 6th International Symposium on Parameterized and Exact Computation, IPEC 2011, 6-8 September 2011, Saarbrücken, Germany.

Stoelinga, Mariëlle (2012) Trends in testen: modellen en verhalen. Bits en chips, 10 . pp. 16-17. ISSN 1879-6443

Broersma, H.J. and Golovach, P.A. and Paulusma, D. and Song, Jian (2012) Updating the complexity status of coloring graphs without a fixed induced linear forest. Theoretical Computer Science, 414 (1). pp. 9-19. ISSN 0304-3975

Hansen, Henri and Timmer, Mark (2012) Why Confluence is More Powerful than Ample Sets in Probabilistic and Non-Probabilistic Branching Time. In: 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2012, 31 March - 1 April 2012, Tallinn, Estonia.

2011

Bergstra, Jan A. and Pol van de, Jaco (2011) A Calculus for Four-Valued Sequential Logic. Theoretical Computer Science, 412 (28). pp. 3122-3128. ISSN 0304-3975

Vegt van der, Steven and Laarman, Alfons (2011) A Parallel Compact Hash Table. In: Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2011, 14-16 Oct 2011, Lednice, Czech Republic.

Katoen, Joost-Pieter and Pol van de, Jaco and Stoelinga, Mariëlle and Timmer, Mark (2011) A linear process-algebraic format with data for probabilistic automata. Theoretical Computer Science, 413 (1). pp. 36-57. ISSN 0304-3975

Grathwohl, Niels Bjørn Bugge and Ketema, Jeroen and Pallesen, Jens Duelund and Simonsen, Jakob Grue (2011) Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus. In: 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, 30 May - 1 June 2011, Novi Sad, Serbia.

Hansen, Helle Hvid and Ketema, Jeroen and Luttik, Bas and Mousavi, MohammadReza and Pol van de, Jaco and Marchi dos Santos, Oscar (2011) Automated Verification of Executable UML Models. In: 9th International Symposium on Formal Methods for Components and Objects, FMCO 2010, 29 Nov - 01 Dec 2010, Graz, Austria.

Timmer, Mark and Stoelinga, Mariëlle and Pol van de, Jaco (2011) Confluence Reduction for Probabilistic Systems. In: 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, 26 March - 3 April 2011, Saarbrücken, Germany.

Hansen, Henri and Timmer, Mark (2011) Confluence versus Ample Sets in Probabilistic Branching Time. In: 3rd Young Researchers Workshop on Concurrency Theory, 10 Sep 2011, Aachen, Germany.

Ketema, Jeroen (2011) Counterexamples in Infinitary Rewriting with Non-Fully-Extended Rules. Information Processing Letters, 111 (13). pp. 642-646. ISSN 0020-0190

Zand, Pouria and Chatterjea, Supriyo and Ketema, Jeroen and Havinga, Paul (2011) D-SAR: A Distributed Scheduling Algorithm for Real-time, Closed-Loop Control in Industrial Wireless Sensor and Actuator Networks. [Report]

Alberink, Martin and Muijlwijk, Heleen and Timmer, Mark (2011) De sinus: van meetkundige definitie naar analytisch begrip. Euclides, 86 (6). pp. 250-252. ISSN 0165-0394

Barbot, Benoit and Chen, Taolue and Han, Tingting and Katoen, Joost-Pieter and Mereacre, Alexandru (2011) Efficient CTMC Model Checking of Linear Real-Time Objectives. In: 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, 26 March - 3 April 2011, Saarbrücken, Germany.

Stoelinga, Mariëlle and Timmer, Mark (2011) Efficiënt zoeken in grote tekstbestanden. Nieuwe Wiskrant, 30 (4). pp. 35-38. ISSN 0928-7167

Sijtema, M. and Stoelinga, M.I.A. and Belinfante, A. and Marinelli, L. (2011) Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost. In: 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, 29-30 August 2011, Trento, Italy.

Mol de, Maarten and Rensink, Arend (2011) Formal Semantics of the CHART Transformation Language. [Report]

Rensink, Arend (2011) Graven in software. [Lecture]

Ketema, Jeroen and Simonsen, Jakob Grue (2011) Infinitary combinatory resuction Systems. Information and Computation, 209 (6). pp. 893-926. ISSN 0890-5401

Galvão, Ismênia and Zambon, Eduardo and Rensink, Arend and Wevers, Lesley and Aksit, Mehmet (2011) Knowledge-based Graph Exploration Analysis. In: Fourth International Symposium on Applications of Graph Transformation with Industrial Relevance, AGTIVE 2011, 4-7 October 2011, Budapest, Hungary.

Chen, Taolue and Han, Tingting and Katoen, Joost-Pieter and Mereacre, Alexandru (2011) Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. Logical Methods in Computer Science, 7 (1-12). ISSN 1860-5974

Stoelinga, Mariëlle (2011) Model- en risicogebaseerd testen voeren boventoon op Nederlandse Testdag. Bits en chips, 113 (15). pp. 14-15. ISSN 1879-6443

Timmer, Mark and Brinksma, Ed and Stoelinga, Mariëlle (2011) Model-based Testing. In: Software and Systems Safety: Specification and Verification. NATO Science for Peace and Security Series - D: Information and Communication Security . IOS Press, Amsterdam.

Huisman, Marieke and Blondeel, Henri-Charles (2011) Model-checking Secure Information Flow for Multi-Threaded Programs. In: Theory of Security and Applications, TOSCA'11, Affiliated with ETAPS 2011, March 31 - April 1, 2011, Saarbrücken, Germany.

Rensink, Arend (2011) Modelleren is het Nieuwe Programmeren. In: i&i conferentie, 23-24 November 2011, Lunteren, Nederland.

Ghamarian, Amir Hossein and Mol de, Maarten and Rensink, Arend and Zambon, Eduardo and Zimakova, Maria (2011) Modelling and analysis using GROOVE. International Journal on Software Tools for Technology Transfer (STTT) . ISSN 1433-2779

Laarman, Alfons and Pol van de, Jaco and Weber, Michael (2011) Multi-Core LTSmin: Marrying Modularity and Scalability. In: Third International Symposium on NASA Formal Methods, NFM 2011, 18-20 April 2011, Pasadena, CA, USA.

Laarman, Alfons and Langerak, Rom and Pol van de, Jaco and Weber, Michael and Wijs, Anton (2011) Multi-Core Nested Depth-First Search. In: 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, 11-14 October 2011, Tapei, Taiwan.

Rensink, Arend and Zambon, Eduardo (2011) Neighbourhood Abstraction in GROOVE. In: Fourth International Workshop on Graph-Based Tools, GraBaTs 2010, 28 September 2010, Enschede, NL.

Bijl van der, Hendrik Michaël (2011) On changing models in model-based testing. thesis.

Rebelo, Henrique and Coelho, Roberta and Lima, Ricardo and Leavens, Gary T. and Huisman, Marieke and Mota, Alexandra and Castor, Fernando (2011) On the Interplay of Exception Handling and Design by Contract: An Aspect-Oriented Recovery Approach. In: 13th Workshop on Formal Techniques for Java-like Programs, FJDP 2011, July 26, 2011, Lancaster, UK.

Aceto, Luca and Chen, Taolue and Ingolfsdottir, Anna and Luttik, Bas and Pol van de, Jaco (2011) On the axiomatizability of priority II. Theoretical Computer Science, 412 (28). pp. 3035-3044. ISSN 0304-3975

Laarman, Alfons and Pol van de, Jaco and Weber, Michael (2011) Parallel Recursive State Compression for Free. In: 18th International SPIN Workshop on Model Checking of Software, SPIN 2011, 14-15 July 2011, Snow Bird, Utah.

Haack, Christian and Huisman, Marieke and Hurlin, Clement (2011) Permission-Based Separation Logic for Multithreaded Java Programs. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, 15 . pp. 13-23.

Stoelinga, Mariëlle (2011) Preface. In: 17th Dutch Testing Day: Testing Evolvability, 29 November 2011, Enschede, The Netherlands.

Soleimanifard, Siavash and Gurov, Dilian and Huisman, Marieke (2011) ProMoVer: Modular Verification of Temporal Safety Properties. In: 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, 14-18 November 2011, Montevideo, Uruguay.

Stoelinga, Mariëlle and Timmer, Mark, eds. (2011) Proceedings of the 17th Dutch Testing Day: Testing Evolvability. CTIT Workshop Proceedings Series, WP12-01 (WP12-01). University of Twente, Centre for Telematics and Information Technology, Enschede, the Netherlands.

Amighi, Afshin and Carvalho Gomes de, Pedro and Huisman, Marieke (2011) Provably Correct Control-Flow Graphs from Java Programs with Exceptions. In: 2nd International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, October 5-7, 2011, Turin, Italy.

Timmer, Mark (2011) SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes. In: 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011, September 5-8, 2011, Aachen, Germany.

Ghamarian, Amir Hossein and Mol de, Maarten and Rensink, Arend and Zambon, Eduardo (2011) Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case. In: Fifth Transformation Tool Contest, TTC 2011, 29-30 June 2011, Zurich, Switzerland.

Huisman, Marieke and Ngo, Tri Minh (2011) Scheduler-Specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification. In: 2nd International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, October 5-7, 2011, Turin, Italy.

Huisman, Marieke and Ngo, Minh Tri (2011) Scheduler-specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification. [Report]

Rensink, Arend and Zambon, Eduardo (2011) Solving the TTC 2011 Compiler Optimization Case with GROOVE. In: Fifth Transformation Tool Contest, TTC 2011, 29-30 June 2011, Zurich, Switzerland.

Bonsma, Paul and Broersma, Hajo and Patel, Viresh and Pyatkin, Artem (2011) The complexity status of problems related to sparsest cuts. In: 21st International Workshop on Combinatorial Algorithms, IWOCA 2010, 26-28 July 2010, London, UK.

Katoen, Joost-Pieter and Zapreev, Ivan S. and Hahn, Ernst Moritz and Hermanns, Holger and Jansen, David N. (2011) The ins and outs of the probabilistic model checker MRMC. Performance Evaluation, 68 (2). pp. 90-104. ISSN 0166-5316

Klink, Daniel and Remke, Anne and Haverkort, Boudewijn R. and Katoen, Joost-Pieter (2011) Time-bounded reachability in tree-structured QBDs by abstraction. Performance Evaluation, 68 (2). pp. 105-125. ISSN 0166-5316

Zambon, Eduardo and Rensink, Arend (2011) Using Graph Transformations and Graph Abstractions for Software Verification. In: Fifth International Conference on Graph Transformations - Doctoral Symposium, ICGT-DS 2010, 29 Sept - 1 Oct 2010, Enschede, The Netherlands.

Laarman, Alfons and Pol van de, Jaco (2011) Variations on Multi-Core Nested Depth-First Search. In: 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, 14 July 2011, Snowbird, Utah.

2010

Rensink, Arend (2010) A First Study of Compositionality in Graph Transformation. [Report]

Boudali, Hichem and Crouzen, Pepijn and Stoelinga, Mariëlle (2010) A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis. IEEE Transactions on Dependable and Secure Computing, 7 (2). pp. 128-143. ISSN 1545-5971

Katoen, Joost-Pieter and Pol van de, Jaco and Stoelinga, Mariëlle and Timmer, Mark (2010) A linear process algebraic format for probabilistic systems with data. In: Tenth International Conference on Application of Concurrency to System Design, ACSD 2010, 21-25 June 2010, Braga, Portugal.

Katoen, Joost-Pieter and Pol van de, Jaco and Stoelinga, Mariëlle and Timmer, Mark (2010) A linear process-algebraic format for probabilistic systems with data (extended version). [Report]

Katoen, Joost-Pieter (2010) Advances in Probabilistic Model Checking. In: 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, 17-19 Jan 2010, Madrid, Spain.

Laarman, Alfons and Pol van de, Jaco and Weber, Michael (2010) Boosting Multi-Core Reachability Performance with Shared Hash Tables. In: 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, 20-23 October 2010, Lugano, Switzerland.

Laarman, Alfons and Pol van de, Jaco and Weber, Michael (2010) Boosting Multi-Core Reachability Performance with Shared Hash Tables. [Report]

Huisman, Marieke and Gurov, Dilian (2010) CVPP: A Tool Set for Compositonal Verification of Control-Flow Safety Properties. In: International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, 28-30 June 2010, Paris, France. (In Press)

Rensink, Arend (2010) Compositionality in Graph Transformation. In: 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, July 6-10, 2010, Bordeaux, France.

Jongerden, Marijn and Mereacre, Alexandru and Bohnenkamp, Henrik and Haverkort, Boudewijn and Katoen, Joost-Pieter (2010) Computing Optimal Schedules of Battery Usage in Embedded Systems. IEEE Transactions on Industrial Informatics, 6 (3). pp. 276-286. ISSN 1551-3203

Timmer, Mark and Stoelinga, Mariëlle and Pol van de, Jaco (2010) Confluence Reduction for Probabilistic Systems (extended version). [Report]

Timmer, Mark and Pol van de, Jaco and Stoelinga, Mariëlle (2010) Confluence reduction for probabilistic systems. In: 2nd Young Researchers Workshop on Concurrency Theory, 4 September 2010, Paris, France.

Blom, Stefan and Kant, Gijs and Rensink, Arend (2010) Distributed graph-based state space generation. Electronic Communications of the EASST, 32 . ISSN 1863-2122

Haverkort, B.R. and Kuntz, M. and Remke, A. and Roolvink, S. and Stoelinga, M.I.A. (2010) Evaluating Repair Strategies for a Water-Treatment Facility using Arcade. In: 2010 IEEE/IFIP International Conference on Dependable Systems & Networks, DSN 2010, 28 June - 1 July 2010, Chicago, IL, USA.

Xing, Jiansheng and Theelen, B.D. and Langerak, Rom and Pol van de, Jaco and Tretmans, Jan and Voeten, J.P.M. (2010) From POOSL to UPPAAL: Transformation and Quantitative Analysis. In: Tenth International Conference on Application of Concurrency to System Design, ACSD 2010, 21-25 June 2010, Braga, Portugal.

Hülsbusch, Mathias and König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike (2010) Full Semantics Preservation in Model Transformation – A Comparison of Proof Techniques. [Report]

Rensink, Arend and Gorp van, Pieter (2010) Graph transformation tool contest 2008. International Journal on Software Tools for Technology Transfer (STTT), 12 (3-4). pp. 171-181. ISSN 1433-2779

Corradini, Andrea and Mol de, Maarten (2010) ICGT 2010 Doctoral Symposium [preface]. In: 5th Internal Conference on Graph Transformations, ICGT 2010, 27 Sep - 2 Oct 2010, Enschede, Netherlands.

Ghamarian, Amir Hossein and Jalali, Arash and Rensink, Arend (2010) Incremental Pattern Matching in Graph-Based State Space Exploration. Electronic Communications of the EASST . ISSN 1863-2122

Hipp, Markus and Schaub, Florian and Kargl, Frank and Weber, Michael (2010) Interaction Weaknesses of Personal Navigation Devices. In: Second International Conference on Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI 2010, 11-12 Nov 2010, Pittsburgh, Pennsylvania.

Rensink, Arend (2010) Isomorphism Checking for Symmetry Reduction. [Report]

Belinfante, Axel (2010) JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. In: 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS, 22-25 March 2010, Paphos, Cyprus.

Blom, Stefan and Pol van de, Jaco and Weber, Michael (2010) LTSmin: Distributed and Symbolic Reachability. In: 22nd International Conference on Computer Aided Verification, CAV 2010, 15-19 July 2010, Edinburgh, UK.

Ketema, Jeroen and Simonsen, Jakob Grue (2010) Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus. In: 10th International Symposium on Functional and Logic Programming, FLOPS 2010, 19-21 April 2010, Sendai, Japan.

Ma, Zhendong and Kargl, Frank and Weber, Michael (2010) Measuring long-term location privacy in vehicular communication systems. Computer Communications, 33 (12). pp. 1414-1427. ISSN 0140-3664

Neuhausser, Martin and Zhang, Lijun (2010) Model Checking Interactive Markov Chains. In: 16th International Conferenceon Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, 20-28 March 2010, Paphos, Cyprus.

Ghamarian, Amir Hossein and Mol de, Maarten and Rensink, Arend and Zambon, Eduardo and Zimakova, Maria (2010) Modelling and Analysis Using GROOVE. [Report]

Rensink, Arend and Zambon, Eduardo (2010) Neighbourhood Abstraction in GROOVE - Tool Paper. In: Fourth International Workshop on Graph-Based Tools, GraBaTs 2010, 28 September 2010, Enschede, NL. (In Press)

Mol de, Maarten and Rensink, Arend (2010) On A Graph Formalism for Ordered Edges. In: Ninth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT 2010, 20-21 March 2010, Paphos, Cyprus.

Laarman, Alfons and Kurtev, Ivan (2010) Ontological Metamodeling with Explicit Instantiation. In: Second International Conference on Software Language Engineering, SLE, October 5-6, 2009, Denver, CO, USA.

Baier, Christel and Cloth, Lucia and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2010) Performability assessment by model checking of Markov reward models. Formal Methods in System Design, 36 (1). pp. 1-36. ISSN 0925-9856

Baier, Christel and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2010) Performance Evaluation and Model Checking Join Forces. Communications of the ACM, 53 (9). pp. 76-85. ISSN 0001-0782

Pol van de, Jaco and Weber, Michael (2010) Preface. In: Model Checking Software. Lecture Notes in Computer Science, 6349 . Springer Verlag, Berlin, Germany, v-vi. ISBN 9783642161636

Ballarini, Paolo and Barnat, Jiri and Weber, Michael (2010) Preface. In: 9th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2010) and the 2nd International Workshop on High Performance Computational Systems Biology (HiBi 2010), 30 Sept. - 1 Oct. 2010, Enschede, the Netherlands.

Ehrig, Hartmut and Rensink, Arend and Rozenberg, Grzegorz and Schürr, Andy (2010) Preface. In: 5th International Conference on Graph Transformationcs, ICGT 2010, 27 Sep - 2 Oct 2010, Enschede, the Netherlands.

Soleimanifard, Siavash and Gurov, Dilian and Huisman, Marieke (2010) Procedure-Modular Verification of Control Flow Safety Properties. In: 12th Workshop on Formal Techniques for Java-like Programs, FTfJP 2010, June 22, 2010, Maribor, Slovenia. (In Press)

Haverkort, Boudewijn R. and Katoen, Joost-Pieter and Larsen, Kim G. (2010) Quantitative Verification in Practice. In: 4th International Symposium on Leveraging Applications, ISoLA 2010, October 18-21, 2010, Heraklion, Greece.

Kordy, Piotr and Langerak, Rom and Polderman, Jan Willem (2010) Re-verification of a Lip Synchronization Protocol using Robust Reachability. In: Proceedings FM-09 Workshop on Formal Methods for Aerospace. Electronic Proceedings in Theoretical Computer Science, 20 . EPTCS, pp. 49-62.

Dietzel, Stefan and Schoch, Elmar and Kargl, Frank and Könings, Bastian and Weber, Michael (2010) Resilient Secure Aggregation for Vehicular Networks. IEEE Network, 24 (1). pp. 26-31. ISSN 0890-8044

Hüksbusch, Mathias and König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike (2010) Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. In: 8th International Conference on Integrated Formal Methods, IFM 2010, October 11-14, 2010, Nancy, France.

Polenkova, Svetlana and Polderman, Jan Willem and Langerak, Rom (2010) Stability criteria for planar linear systems with state reset. In: 19th International Symposium on Mathematical Theory of Networks and Systems, MTNS 2010, 5-9 July 2010, Budapest, Hungary.

Könings, Bastian and Schaub, Florian and Weber, Michael and Kargl, Frank (2010) Territorial Privacy in Smart Environments. In: Proceedings of the Intelligent Information Privacy Management Symposium, AAAI Spring Symposium, Stanford University, USA.

Rensink, Arend (2010) The Edge of Graph Transformation - Graphs for Behavioural Specification. In: Graph Transformations and Model-Driven Engineering. Lecture Notes in Computer Science, 5765 . Springer Verlag, Berlin, pp. 6-32. ISBN 9783642173219

Hermanns, Holger and Katoen, Joost-Pieter (2010) The How and Why of Interactive Markov Chains. In: Symposium on Formal Methods for Components and Objects, FMCO 2009, 4 - 6 November 2009, Eindhoven, the Netherlands.

Chen, Taolue (2010) The saga of finite equational bases over BCCSP. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica . pp. 25-39.

Hansen, Helle Hvid and Ketema, Jeroen and Luttik, Bas and Mousavi, MohammadReza and Pol van de, Jaco (2010) Towards Model Checking Executable UML Specifications in mCRL2. Innovations in Systems and Software Engineering, 6 (1-2). pp. 83-90. ISSN 1614-5046

Mazanek, Steffen and Rensink, Arend and Gorp van, Pieter, eds. (2010) Transformation Tool Contest 2010, 1-2 July 2010, Malaga, Spain. CTIT Workshop Proceedings Series ; WP 10-03, 10-03 . CTIT, University of Twente, Enschede.

Xing, Jiansheng and Theelen, Bart D. and Langerak, Rom and Pol van de, Jaco and Tretmans, Jan and Voeten, J.P.M. (2010) UPPAAL in Practice: Quantitative Verication of a RapidIO Network. In: 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2010, 18-20 October 2010, Amirandes, Heraclion, Crete. (In Press)

Kant, Gijs (2010) Using Canonical Forms for Isomorphism Reduction in Graph-based Model Checking. [Report]

Zambon, Eduardo (2010) Using Graph Transformations and Graph Abstractions for Software Verification. In: Fifth International Conference on Graph Transformations, ICGT 2010, 27 Sep - 02 Oct 2010, Enschede, The Netherlands.

Schaub, Florian and Kargl, Frank and Ma, Zhendong and Weber, Michael (2010) V-Tokens for Conditional Pseudonymity in VANETs. In: IEEE Wireless Communications and Networking Conference (WCNC 2010), 18-21 April 2010, Sydney, Australia.

Ngo, Minh Tri (2010) Verification of Confidentiality of Multi-threaded Programs. In: IPA PhD Workshop 2010, 1-3 November 2010, Veldhoven, The Netherlands.

2009

Blom, Stefan and Lisser, Bert and Pol van de, Jaco and Weber, Michael (2009) A Database Approach to Distributed State-Space Generation. Journal of Logic and Computation, 21 (1). pp. 45-62. ISSN 0955-792X

Huisman, M. and Tamalet, A. (2009) A Formal Connection between Security Automata and JML Annotations. In: Fundamental Approaches to Software Engineering, March 22- 29, 2009, York, UK.

de Mol, M.J. and Zimakova, M.V. (2009) A GROOVE Solution for the BPMN to BPEL Model Transformation. [Report]

Akşit, M. and Rensink, A. and Staijen, T. (2009) A Graph-Transformation-Based Simulation Approach for Analysing Aspect Interference on Shared Join Points. In: AOSD '09: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development, 3-6 Mar 2009, Charlottesville, Virginia, USA.

Zambon, Eduardo and Bossois, Débora Z. and Garcia, Berilhes B. and Azeredo, Elias F. (2009) A Novel Nonlinear Programming Model for Distribution Protection Optimization. IEEE Transactions on Power Delivery, 24 (4). pp. 1951-1958. ISSN 0885-8977

Rensink, Arend and Zambon, Eduardo (2009) A Type Graph Model for Java Programs. [Report]

Rensink, Arend and Zambon, Eduardo (2009) A Type Graph Model for Java Programs. In: Formal Techniques for Distributed Systems. Lecture Notes in Computer Science, 5522 . Springer Verlag, Berlin, pp. 237-242. ISBN 9783642021374

Laarman, A.W. (2009) Achieving QVTO & ATL Interoperability: An Experience Report on the Realization of a QVTO to ATL Computer. In: 1st International Workshop on Model Transformation with ATL, MtATL 2009, 8-9 Jul 2009, Nantes, France.

Laarman, A.W. (2009) An Ontology-Based Metalanguage with Explicit Instantiation. [Masters Thesis]

Boudali, Hichem and Sözer, Hasan and Stoelinga, Mariëlle (2009) Architectural Availability Analysis of Software Decomposition for Local Recovery. In: Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 8-10 July 2009, Shanghai, China.

Chrząszcz, J. and Huisman, M. and Schubert, A. (2009) BML and Related Tools. In: Formal Methods for Components and Objects, 21-23 Oktober 2008, Sophia Antipolis, France.

Blom, Stefan and Pol van de, Jaco and Weber, Michael (2009) Bridging the Gap between Enumerative and Symbolic Model Checkers. [Report]

Ketema, J. (2009) Comparing Böhm-Like Trees. In: Rewriting Techniques and Applications: 20th International Conference, RTA 2009, 29 Jun - 1 Jul 2009, Brasília, Brazil.

Katoen, Joost-Pieter and Klink, Daniel and Neuhäußer, Martin R. (2009) Compositional Abstraction of Stochastic Systems. In: 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, September 14-16, 2009, Budapest, Hungary.

Kuijper, Wouter and Pol van de, Jaco (2009) Compositional Control Synthesis for Partially Observable Systems. In: 20th International Conference on Concurrency Theory, CONCUR 2009, 1-4 September 2009, Bologna, Italy.

Stoelinga, Mariëlle (2009) Compositional dependability modeling using arcade. In: 8th International Workshop on Specification and Verification of Component-based Systems, SAVCBS 2009, 25 August 2009, Amsterdam, The Netherlands.

Kuijper, Wouter and Pol van de, Jaco (2009) Computing Weakest Strategies for Safety Games of Imperfect Information. In: 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, 22-29 March 2009, York, UK.

Han, T. and Katoen, J.P. and Damman, B. (2009) Counterexample Generation in Probabilistic Model Checking. IEEE Transactions on Software Engineering, 35 (2). pp. 241-257. ISSN 0098-5589

Boudali, H. and Nijmeijer, A.P. and Stoelinga, M.I.A. (2009) DFTSim: A Simulation Tool for Extended Dynamic Fault Trees. In: 42nd Annual Simulation Symposium, ANSS 2009, March 22-27, 2009, San Diego, CA, USA.

Neuhäußer, Martin R. and Stoelinga, Mariëlle and Katoen, Joost-Pieter (2009) Delayed Nondeterminism in Continuous-Time Markov Decision Processes. In: 12th International Conference Foundations of Software Science and Computational Structures, FOSSACS 2009, March 22-29, 2009, York, UK.

Roolvink, Stephan and Remke, Anne and Stoelinga, Mariëlle (2009) Dependability and Survivability Evaluation of a Water Distribution Process with Arcade. In: Ninth International Workshop on Performability of Computer and Communication Systems, 17-18 Sept, 2009, Eger, Hungary.

Han, Tingting (2009) Diagnosis, synthesis and analysis of probabilistic models. thesis.

Barnat, Jiri and Chaloupka, Jakub and Pol van de, Jaco (2009) Distributed Algorithms for SCC Decomposition. Journal of Logic and Computation, 21 (1). pp. 23-44. ISSN 0955-792X

Blom, Stefan and Pol van de, Jaco (2009) Distributed Branching Bisimulation Minimization by Inductive Signatures. [Report]

Blom, Stefan and Pol van de, Jaco (2009) Distributed Branching Bisimulation Minimization by Inductive Signatures. In: 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, 4 November 2009, Eindhoven, The Netherlands.

Chitchyan, Ruzanna and Fabry, Johan and Katz, Shmuel and Rensink, Arend (2009) Editorial for Special Section on Dependencies and Interactions with Aspects. In: Transactions on Aspect-Oriented Software Development V. Lecture Notes in Computer Science, 5490 . Springer Verlag, Berlin, pp. 133-134. ISBN 9783642020599

Rensink, A. and Zimakova, M.V. (2009) Flow Diagram Decomposition Using Graph Transformations. [Report]

Huisman, Marieke and Aldrich, Jonathan and Barnett, Mike and Giannakopoulou, Dimitra and Leavens, Gary T. and Sharagyna, Natasha (2009) Foreword. In: 8th International Workshop on Specification and Verification of Component-Based Systems, SAVCBS, 25 August 2009, Amsterdam, The Netherlands.

Albert, E. and Banerjee, A. and Drossopoulou, S. and Huisman, M. and Igarashi, A. and Leavens, G.T. and Müller, P. and Wrigstad, T. (2009) Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008. In: Object-Oriented Technology. ECOOP 2008 Workshop Reader, July 8, 2008, Paphos, Cyprus.

Boneva, Iovka and Kreiker, Jörg and Kurban, Marcos E. and Rensink, Arend (2009) Graph Abstraction for a Modal Logic. Bulletin of the European Association for Theoretical Computer Science, 97 . pp. 106-116. ISSN 0252-9742

Staijen, T. and Rensink, A. (2009) Graph-Based Specification and Simulation of Featherweight Java with Around Advice. In: FOAL '09: Proceedings of the 2009 workshop on Foundations of aspect-oriented languages, 2 Mar 2009, Charlottesville, Virginia, USA.

Ketema, Jeroen and Simonsen, Jakob Grue (2009) Infinitary Combinatory Reduction Systems: Confluence. Logical Methods in Computer Science, 5 (4). p. 3. ISSN 1860-5974

Stoelinga, Mariëlle and Timmer, Mark (2009) Interpreting a Successful Testing Process: Risk and Actual Coverage. In: Third IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE, 29-31 July 2009, Tianjin, China.

Stoelinga, Mariëlle and Timmer, Mark (2009) Interpreting a Successful Testing Process: Risk and Actual Coverage. [Report]

Alfaro de, Luca and Faella, Marco and Stoelinga, Mariëlle (2009) Linear and Branching System Metrics. IEEE Transactions on Software Engineering, 35 (2). pp. 258-273. ISSN 0098-5589

Jongerden, M.R. and Haverkort, B.R.H.M. and Bohnenkamp, H.C. and Katoen, J.P. (2009) Maximizing System Lifetime by Battery Scheduling. In: 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009, 29 jun - 2 jul 2009, Estoril, Portugal.

Ngo, Minh Tri and Weber, Jos H. and Abdel-Ghaffar, Khaled A.S. (2009) New Upper Bounds on the Separating Redundancy of Linear Block Codes. In: 30th Symposium on Information Theory in the Benelux, 28-29 May 2009, Eindhoven, the Netherlands.

Chen, Taolue and Han, Tingting and Lu, Jian (2009) On metrics for probabilistic systems: definitions and algorithms. Computers & Mathematics with Applications, 57 (6). pp. 991-999. ISSN 0898-1221

Huisman, M. (2009) On the Interplay between the Semantics of Java's Finally Clauses and the JML Run-Time Checker. In: 11th International Workshop on Formal Techniques for Java-like Programs, July 5, 2009, Genua, Italy.

Brim, L. and Pol van de, J.C. (2009) Preface. In: 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, 4 November 2009, Eindhoven, The Netherlands.

Chen, Taolue and Han, Tingting and Katoen, Joost-Pieter and Mereacre, Alexandru (2009) Quantitative model checking of continuous-time Markov chains against timed automata specifications. In: 24th Annual IEEE Symposium on Logic In Computer Science, LICS 2009, 11-14 Aug 2009, Los Angeles, USA.

Kordy, Piotr and Langerak, Rom and Polderman, Jan Willem (2009) Re-verification of a Lip Synchronization Algorithm using robust reachability. In: Formal Methods for Aerospace, FMA, 03 Nov 2009, Eindhoven, The Netherlands.

Gurov, D. and Huisman, M. (2009) Reducing Behavioural to Structural Properties of Programs with Procedures. In: Verification, Model Checking, and Abstract Interpretation, January 18-20, 2009, Savannah, GA, USA.

Rensink, Arend and Kuperus, Jan-Hendrik (2009) Repotting the Geraniums: On Nested Graph Transformation Rules. In: Eighth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT, 28-29 March 2009, York, U.K..

Sinderen van, M.J. and Pras, A. and Haverkort, B.R.H.M. and Apers, P.M.G. and Hartel, P.H. and Pol van de, J.C. and Nijholt, A. and Wieringa, R.J. and Havinga, P.J.M. and Aksit, M. (2009) Research Self-Evaluation 2003-2008, Computer Science Department, University of Twente. [Report]

Ketema, Jeroen and Blom, Stefan and Aoto, Takahito and Simonsen, Jakob Grue (2009) Rewriting Transfinite Terms. In: Liber Amicorum for Roel de Vrijer. Lulu, Raleigh, NC, pp. 129-144.

Katoen, Joost-Pieter and Zapreev, Ivan S. (2009) Simulation-based CTMC Model Checking: An Empirical Evaluation. In: Sixth International Conference on the Quantitative Evaluation of Systems, QEST, 13-16 Sept 2009, Budapest, Hungary.

Wijs, Anton J. and Pol van de, Jaco C. and Bortnik, Elena M. (2009) Solving scheduling problems by untimed model checking. The clinical chemical analyser case study. International Journal on Software Tools for Technology Transfer (STTT), 11 (5). pp. 375-392. ISSN 1433-2779

Pol van de, Jaco and Timmer, Mark (2009) State Space Reduction of Linear Processes Using Control Flow Reconstruction. In: 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, October 14-16, 2009, Macao SAR, China.

Pol van de, Jaco and Timmer, Mark (2009) State Space Reduction of Linear Processes using Control Flow Reconstruction. [Report]

Bujorianu, L.M. and Katoen, J.P. (2009) Symmetry reduction for stochastic hybrid systems. In: 47th IEEE Conference on Decision and Control, CDC 2008, 9-11 Dec 2008, Cancun, Mexico.

Katoen, Joost-Pieter and Zapreev, Ivan S. and Hahn, Ernst Moritz and Hermanns, Holger and Jansen, David N. (2009) The Ins and Outs of the Probabilistic Model Checker MRMC. In: Sixth International Conference on the Quantitative Evaluation of Systems, QEST, 13-16 Sept 2009, Budapest, Hungary.

Klink, Daniel and Remke, Anne and Haverkort, Boudewijn R. and Katoen, Joost-Pieter (2009) Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. In: Sixth International Conference on the Quantitative Evaluation of Systems, QEST, 13-16 Sept 2009, Budapest, Hungary.

Rensink, A. and Zimakova, M.V. (2009) Towards model structuring based on flow diagram decomposition. In: Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture, 23 Jun 2009, Enschede, The Netherlands.

Zambon, Eduardo and Rensink, Arend (2009) Using Graph Transformations and Graph Abstractions for Software Verification. [Report]

2008

Blom, Stefan and Lisser, Bert and Pol van de, Jaco and Weber, Michael (2008) A Database Approach to Distributed State Space Generation. Electronic Notes in Theoretical Computer Science, 198 (1). pp. 17-32. ISSN 1571-0661

Kleppe, A.G. and Rensink, A. (2008) A Graph-Based Semantics for UML Class and Object Diagrams. [Report]

Bauer, J. and Boneva, I.B. and Kurban, M.E. and Rensink, A. (2008) A Modal-Logic Based Graph Abstraction. In: International Conference on Graph Transformations (ICGT), 9-13 Sep 2008, Leicester, UK.

Pol van de, Jaco and Weber, Michael (2008) A Multi-Core Solver for Parity Games. Electronic Notes in Theoretical Computer Science, 220 (2). pp. 19-34. ISSN 1571-0661

Pol van de, Jaco (2008) A Typical Verification Challenge for the GRID. In: Dagstuhl Seminar Proceedings 08332 'Distributed Verification and Grid Computing ', 10-14 August 2008, Dagstuhl, Germany.

Rensink, A. and Taentzer, G. (2008) AGTIVE 2007 Graph Transformation Tool Contest. In: Applications of Graph Transformation with Industrial Relevance (AGTIVE), 10-12 Oct 2007, Kassel, Germany.

Timmer, Mark (2008) Actual Test Coverage for Embedded Systems. In: 14th Dutch Testing Day, 29 November 2008, Utrecht, The Netherlands.

Bujorianu, M.C. and Bujorianu, L.M. and Langerak, R. (2008) An Interpretation of Concurrent Hybrid Time Systems over Multi-clock Systems. In: Proceedings of the 17th IFAC World Congress, 6-11 Jul 2008, Seoul, Korea.

Crouzen, P. and Pol van de, J.C. and Rensink, A. (2008) Applying Formal Methods to Gossiping Networks with mCRL and Groove. ACM SIGMETRICS Performance Evaluation Review, 36 (3). pp. 7-16. ISSN 0163-5999

Calamé, Jens R. and Pol van de, Jaco (2008) Applying Model-based Testing to HTML Rendering Engines - A Case Study. In: 20th IFIP TC 6/WG 6.1 International Conference on Testing of Software and Communicating Systems, TestCom 2008, 10-13 June 2008, Tokyo, Japan.

Han, T. and Katoen, J.P. and Mereacre, A. (2008) Approximate parameter synthesis for probabilistic time-bounded reachability. In: Proceedings of the IEEE Real-Time Systems Symposium (RTSS 2008), 1-3 Dec 2008, Barcelona, Spain.

Boudali, Hichem and Crouzen, Pepijn and Haverkort, Boudewijn R. and Kuntz, Matthias and Stoelinga, Mariëlle (2008) Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework. In: 13th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2008, March 31, 2008 - April 3, 2008 , Belfast, UK.

Boudali, H. and Crouzen, P. and Haverkort, B.R. and Kuntz, M. and Stoelinga, M.I.A. (2008) Architectural dependability evaluation with Arcade. In: 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, June 24-27, Anchorage, USA.

Han, T. and Katoen, J.P. and Mereacre, A. (2008) Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. In: Hybrid Systems: Computation and Control (HSCC), St. Louis, U.S..

Daws, C.F. and Langerak, R. and Polderman, J.W. (2008) Decision algorithm for the stability of planar switching linear systems. In: Proceedings of the 18th international symposium on mathematical theory of networks & systems, 28 July - 1 August 2008, Blacksburg, Virginia, USA.

Blom, Stefan and Haverkort, Boudewijn R. and Kuntz, Matthias and Pol van de, Jaco (2008) Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. Electronic Notes in Theoretical Computer Science, 220 (2). pp. 35-50. ISSN 1571-0661

Kastenberg, H. and Rensink, A. (2008) Dynamic Partial Order Reduction Using Probe Sets. In: Concurrency Theory (CONCUR), 19-22 Aug 2008, Toronto, Canada.

Rensink, A. (2008) Explicit State Model Checking for Graph Grammars. In: Concurrency, Graphs and Models. Lecture Notes in Computer Science, 5065 . Springer Verlag, Berlin, pp. 114-132. ISBN 9783540686767

Engels, G. and Kleppe, A.G. and Rensink, A. and Semenyak, M. and Soltenborn, Ch. and Wehrheim, H. (2008) From UML Activities to TAAL: Towards behaviour-preserving model transformations. In: European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA), 10-12 Jun 2008, Berlin, Germany.

de Alfaro, L. and Majumdar, R. and Raman, V. and Stoelinga, M.I.A. (2008) Game Refinement Relations and Metrics. Logical Methods in Computer Science, 4 (3). p. 7. ISSN 1860-5974

Rensink, Arend and Nederpel, Ronald (2008) Graph Transformation Semantics for a QVT Language. In: Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT, April 1-2, 2006, Vienna, Austria.

König, Barbara and Rensink, Arend and Heckel, Reiko (2008) Graph Transformation for Concurrency and Verification - Preface. In: Third Workshop on Graph Transformation for Concurrency and Verification, GT-VC, 3 September 2007, Lisbon, Portugal.

Rensink, A. and Van Gorp, P. (2008) Graph-Based Tools: The Contest. In: International Conference on Graph Transformations (ICGT), 9-13 Sep 2008, Leicester, UK.

Kastenberg, Harmen (2008) Graph-based software specification and verification. thesis.

Montani, Stefania and Boudali, Hichem (2008) Guest Editorial: Special session on Bayesian networks in dependability. Reliability Engineering & System Safety, 93 (7). p. 921. ISSN 0951-8320

Jansen, D.N. and Katoen, J.P. and Oldenkamp, M. and Stoelinga, M.I.A. and Zapreev, I.S. (2008) How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. In: Hardware and Software: Verification and Testing, Proceedings of the Third International Haifa Verification Conference, HVC 2007, 23-25 Oct 2007, Haifa, Israel.

Langerak, R. and Polderman, J.W. (2008) Hybrid automata. In: Handbook of Hybrid Systems Control, Theory - Tools - Applications. Cambridge University Press, Cambridge, pp. 60-65. ISBN 9780521765053 (In Press)

Barnat, Jiri and Chaloupka, Jakub and Pol van de, Jaco (2008) Improved Distributed Algorithms for SCC Decomposition. In: 6th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2007, 8 July 2007, Berlin, Germany.

Bakhshi, Rena and Fokkink, Wan and Pang, Jun and Pol van de, Jaco (2008) Leader Election in Anonymous Rings: Franklin Goes Probabilistic. In: Fifth IFIP International Conference On Theoretical Computer Science, 8-10 September 2008, Milano, Italy.

Rensink, A. and Dotor, A. and Ermel, C. and Jurack, S. and Kniemeyer, O. and De Lara, J. and Maier, S. and Staijen, T. and Zündorf, A. (2008) Ludo: A Case Study for Graph Transformation Tools. In: Applications of Graph Transformation with Industrial Relevance (AGTIVE), 10-12 Oct 2007, Kassel, Germany.

Badban, Bahareh and Fokkink, Wan and Pol van de, Jaco (2008) Mechanical Verification of a Two-Way Sliding Window Protocol (Full version including proofs). [Report]

Badban, Bahareh and Fokkink, Wan and Pol van de, Jaco (2008) Mechanical verification of a two-way sliding window protocol. In: Communicating Process Architectures 2008, 7-10 September 2008, York, UK.

Zapreev, Ivan S. (2008) Model checking Markov chains : techniques and tools. thesis.

Faella, M. and Legay, A. and Stoelinga, M.I.A. (2008) Model checking Quantitative Linear Time Logic. In: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008), March 29-30, 2008, Budapest, Hungary.

Kleppe, Anneke and Rensink, Arend (2008) On a Graph-Based Semantics for UML Class and Object Diagrams. Electronic Communications of the EASST, 10 . ISSN 1863-2122

Bouyer, Patricia and Brinksma, Ed and Larsen, Kim G. (2008) Optimal infinite scheduling for multi-priced timed automata. Formal Methods in System Design, 32 (1). pp. 3-23. ISSN 0925-9856

Chen, Taolue and Pol van de, Jaco and Wang, Yanjing (2008) PDL over Accelerated Labeled Transition Systems. In: 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, 17-19 June 2008, Nanjing, China.

Katoen, J.P. (2008) Perspectives in probabilistic verification. In: Proceedings 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, Nanjing, China.

Huisman, M. and Aktug, I. and Gurov, D. (2008) Program models for compositional verification. In: 10th International Conference on Formal Engineering Methods, 27-31 Oct 2008.

Bohnenkamp, H.C. and Stoelinga, M.I.A. (2008) Quantitative Testing. In: Proceedings of the 7th ACM International conference on Embedded software, October 19-24, 2008, Georgia, Atlanta.

Bujorianu, L.M. and Lygeros, J. and Langerak, R. (2008) Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. In: 11th International Workshop, HSCC 2008, 22-24 Aril 2008, St. Louis, USA.

Baier, Christel and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2008) Reachability in continuous-time Markov reward decision processes. In: Logic and Automata: History and Perspectives, 14-15 Dec 2007, Aachen, Germany.

Haack, C. and Huisman, M. and Hurlin, C. (2008) Reasoning about Java's Reentrant Locks. In: The Sixth ASIAN Symposium on Programming Languages and Systems, 9-11 Dec 2008, Bangalore, India.

Damman, B. and Han, T. and Katoen, J.P. (2008) Regular Expressions for PCTL Counterexamples. In: Proceedings of the 5th International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 Sept 2008, Saint Malo, France.

Barnat, J. and Brim, L. and Šimeček, P. and Weber, M. (2008) Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. In: 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2008, 29 Mar - 06 Apr 2008, Budapest, Hungary.

Boudali, Hichem and Crouzen, Pepijn and Haverkort, Boudewijn R. and Kuntz, Matthias and Stoelinga, Mariëlle (2008) Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models. In: Second Workshop on Foundations of Interface Theories, FIT 2008, April 10, 2008, Budapest, Hungary.

Blom, Stefan and Deiß, Thomas and Ioustinova, Natalia and Kontio, Ari and Pol van de, Jaco and Rennoch, Axel and Sidorova, Natalia (2008) Simulated time for host-based testing with TTCN-3. Software Testing, Verification and Reliability, 18 (1). pp. 29-49. ISSN 0960-0833

Blom, Stefan and Pol van de, Jaco (2008) Symbolic Reachability for Process Algebras with Recursive Data Types. In: 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008, 1-3 September 2008, Istanbul, Turkey.

Bujorianu, L.M. and Katoen, J.P. (2008) Symmetry Reduction For Stochastic Hybrid Systems. [Report]

Calamé, Jens Rüdiger (2008) Testing reactive systems with data : enumerative methods and constraint solving. thesis.

Chen, Taolue and Han, Tingting and Katoen, Joost-Pieter (2008) Time-Abstracting Bisimulation for Probabilistic Timed Automata. In: 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, 17-19 June 2008, Nanjing, China.

2007

Blom, Stefan and Lisser, Bert and Pol van de, Jaco and Weber, Michael (2007) A Database Approach to Distributed State Space Generation. In: Sixth International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2007, 8 July 2007, Berlin, Germany.

Chueng, Ling and Stoelinga, Mariëlle and Vaandrager, Frits (2007) A Testing Scenario for Probabilistic Processes. Journal of the ACM, 54 (6). pp. 1-45. ISSN 0004-5411

Boudali, H. and Crouzen, P. and Stoelinga, M.I.A. (2007) A compositional reliability and availability evaluation tool. In: ARTIST workshop: Tool Platforms for Embedded Systems Modeling, Analysis and Validation. Presented at the 19th International conference on Computer Aided Verification, July 1-2, 2007, Berlin, Germany.

Boudali, H. and Crouzen, P. and Stoelinga, M.I.A. (2007) A compositional semantics for Dynamic Fault Trees in terms of Interactive Markov Chains. In: 5th International Symposium on Automated Technology for Verification and Analysis (ATVA'07), October 22-25, 2007, Tokyo, Japan.

Weber, M. (2007) An Embeddable Virtual Machine for State Space Generation. In: Proceedings of the 14th International SPIN Workshop, 1-3 Jul 2007, Berlin, Germany.

Bujorianu, Manuela L. and Bujorianu, Marius C. (2007) An Integrated Specification Framework for Embedded Systems. In: Fifth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007, 10-14 September 2007, London, UK.

Kattenbelt, M. and Ruys, T.C. and Rensink, A. (2007) An Object-Oriented Framework for Explicit-State Model Checking. In: Proceedings of the 3rd European Symposium on Verification and Validation of Software Systems (VVSS 2007), 23 March 2007, Eindhoven, The Netherlands.

Valero Espada, Miguel and Pol van de, Jaco (2007) An abstract interpretation toolkit for μCRL. Formal Methods in System Design, 30 (3). pp. 249-273. ISSN 0925-9856

Bijl van der, Machiel and Rensink, Arend and Tretmans, Jan (2007) Atomic Action Refinement in Model Based Testing. [Report]

Calamé, Jens R. and Ioustinova, Natalia and Pol van de, Jaco (2007) Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. In: Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, IFM 2005, 29 November 2005, Eindhoven, The Netherlands.

Boudali, Hichem and Haverkort, Boudewijn R. and Kuntz, Matthias and Stoelinga, Mariëlle (2007) Best of Three Worlds: Towards Sound Architectural Dependability Models. In: 8th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS), September 20-21, 2007, Edinburgh, UK.

Neuhausser, M. and Katoen, J.P. (2007) Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. In: 18th International Conference on Concurrency Theory, CONCUR 2007, September 3-8, 2007, Lisbon, Portugal.

Calamé, Jens and Ioustinova, Natalia and Pol van de, Jaco and Sidorova, Natalia (2007) Bug Hunting with False Negatives. In: 6th International Conferenceon Integrated Formal Methods, IFM 2007, 2-5 July 2007, Oxford, UK.

Calame, J.R. and Ioustinova, N. and Pol van de, J.C. and Sidorova, N. (2007) Bug Hunting with False Negatives Revisited. [Report]

Han, Tingting and Katoen, Joost-Pieter (2007) Counterexamples in probabilistic model checking. In: 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 2007, 24 March - 1 April 2007, Braga, Portugal.

Blom, Stefan and Calamé, Jens R. and Lisser, Bert and Orzan, Simona and Pang, Jun and Pol van de, Jaco and Torabi Dashti, Mohammad and Wijs, Anton J. (2007) Distributed Analysis with µCRL: a Compendium of Case Studies. In: 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, 24 March - 01 April 2007, Braga, Portugal.

Boudali, Hichem and Crouzen, Pepijn and Stoelinga, Mariëlle (2007) Dynamic Fault Tree analysis using Input/Output Interactive Markov Chains. In: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK.

Chen, Taolue and Ploeger, Bas and Pol van de, Jaco and Willemse, Tim A.C. (2007) Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. In: 18th International Conference on Concurrency Theory, CONCUR 2007, September 3-8, 2007, Lisbon, Portugal.

Khusainov, D. and Langerak, R. and Kuzmych, O. (2007) Estimations of solutions convergence of hybrid systems consisting of linear equations with delay. Nonlinear dynamics and systems theory, 7 (2). pp. 169-186. ISSN 1562-8353

Belinfante, A.F.E. (2007) Extensible Synthetic File Servers? or: Structuring the Glue between Tester and System Under Test. In: Proceedings of the Second International Workshop on Plan 9 (IWP9 2007), 3-4 Dec 2007, Bell Labs, Murray Hill, NJ, USA.

Rensink, A. and Vogler, W. (2007) Fair Testing. Information and Computation, 205 (2). pp. 125-198. ISSN 0890-5401

Alfaro de, Luca and Majumdar, Rupak and Raman, Viswanath and Stoelinga, Mariëlle (2007) Game relations and metrics. In: 22nd Annual IEEE Symposium on Logic in Computer Science, LICS 2007, 10-14 July 2007, Wroclav, Poland.

Badban, Bahareh and Pol van de, Jaco and Tveretina, Olga and Zantema, Hans (2007) Generalizing DPLL and satisfiability for equalities. Information and Computation, 205 (8). pp. 1188-1211. ISSN 0890-5401

Boneva, I.B. and Rensink, A. and Kurban, M.E. and Bauer, J. (2007) Graph Abstraction and Abstract Graph Transformation. [Report]

Edelkamp, S. and Rensink, A. (2007) Graph Transformation and AI Planning. In: Knowledge Engineering Competition (ICKEPS), 22 Sep 2007, Rhode Island, USA.

Rensink, Arend and Heckel, Reiko and König, Barbara (2007) Graph Transformation for Concurrency and Verification - Preface. In: Workshop on Graph Transformation for Concurrency and Verification, GT-VC, 31 Aug 2006, Bonn, Germany.

De Nicola, Rocco and Katoen, Joost-Pieter and Latella, Diego and Loreti, Michele and Massink, Mieke (2007) Model checking mobile stochastic logic. Theoretical Computer Science, 382 (1). pp. 42-70. ISSN 0304-3975

Bohnenkamp, Henrik and Hermanns, Holger and Katoen, Joost-Pieter (2007) Motor: The MoDeST Tool Environment. In: 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 2007, 24 March - 1 April 2007, Braga, Portugal.

Brim, Lubos and Haverkort, Boudewijn R. and Leucker, Martin and Pol van de, Jaco (2007) Preface. In: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006 and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, 26-31 Aug 2006, Bonn, Germany.

Romijn, Judi and Smith, Graeme and Pol van de, Jaco (2007) Preface. In: Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 29 Nov 2005, Eindhoven, The Netherlands.

Han, T. and Katoen, J.P. (2007) Providing evidence of likely being on time – Counterexample generation for CTMC model checking. In: Providing evidence of likely being on time: Counterexample generation for CTMC model checking, 22-25 Oct 2007, Tokyo, Japan.

Boneva, Iovka and Hermann, Frank and Kastenberg, Harmen and Rensink, Arend (2007) Simulating Multigraph Transformations Using Simple Graphs. In: Sixth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT 2007, 31 March - 1 April 2007, Braga, Portugal.

Blom, Stefan and Deiß, Thomas and Ioustinova, Natalia and Kontio, Ari and Pol van de, Jaco and Rennoch, Axel and Sidorova, Natalia (2007) TTCN-3 for Distributed Testing Embedded Software. In: 6th International Andrei Ershov Memorial Conference on Perspectives of Systems Informatics, PSI 2006, 27-30 June 2006, Novosibirsk, Russia.

Brinksma, Ed (2007) The Challenges of Embedded Systems Engineering. In: 10th International Workshop on Hybrid Systems: Computation and Control, HSCC 2007, 3-5 April 2007, Pisa, Italy.

Bohnenkamp, H.C. and Belinfante, A.F.E. (2007) Timed model-based testing. In: Tangram: Model-based integration and testing of complex high-tech systems. Embedded Systems Institute, Eindhoven, the Netherlands, pp. 115-128. ISBN 9789078679028

Bujorianu, Manuela L. and Bujorianu, Marius C. (2007) Towards Hilbertian Formal Methods. In: Seventh International Conference on Application of Concurrency to System Design, ACSD 2007, 10-13 July 2007, Bratislava, Slovak Republic.

2006

Staijen, T. and Rensink, A. (2006) A Graph-Transformation-Based Semantics for Analysing Aspect Interference. In: Workshop on Graph Computation Models, 18 Sept 2006, Natal, Brazil.

Brandan Briones, Laura and Brinksma, Ed and Stoelinga, Mariëlle (2006) A Semantic Framework for Test Coverage. In: 4th International Symposium on Automated Technology for Verification and Analysis, ATVA, October 23-26, 2006, Beijing, China.

Brandan Briones, Laura and Brinksma, Ed and Stoelinga, Mariëlle (2006) A Semantic Framework for Test Coverage. [Report]

Brinksma, Ed and Stoelinga, Mariëlle and Brandan Briones, Laura (2006) A Semantic Framework for Test Coverage (Extended Version). [Report]

Cheung, L. and Stoelinga, M.I.A. and Vaandrager, F.W. (2006) A Testing Scenario for Probabilistic Processes. [Report]

Rensink, Arend and Distefano, Dino (2006) Abstract Graph Transformation. In: Software Verification and Validation, 31 Oct 2005, Manchester.

Havinga, Wilke and Staijen, Tom and Rensink, Arend and Bergmans, Lodewijk and Berg van den, Klaas (2006) An Abstract Metamodel for Aspect Languages. [Report]

Havinga, Wilke and Staijen, Tom and Rensink, Arend and Bergmans, Lodewijk and Berg van den, Klaas (2006) An Abstract Metamodel for Aspect Languages. In: Open and Dynamic Aspect Languages, 20 Mar 2006, Bonn, Germany.

Baier, Christel and Hermanns, Holger and Katoen, Joost-Pieter and Wolf, Verena (2006) Bisimulation and Simulation Relations for Markov Chains. In: Essays on Algebraic Process Calculi, August 2005, Bertinoro, Italy.

Andova, Suzana and Willemse, Tim A.C. (2006) Branching bisimulation for probabilistic systems: Characteristics and decidability. Theoretical Computer Science, 356 (3). pp. 325-355. ISSN 0304-3975

Katoen, J.P. (2006) Constraint-oriented specification of performance aspects. In: Architectural Design of Open Distributed Systems: From Interface to Telematics (Liber Amicorum dedicated to Chris Vissers). Telematica Instituut, Enschede, pp. 47-54. ISBN 9789075176414

Kastenberg, H. and Kleppe, A.G. and Rensink, A. (2006) Defining Object-Oriented Execution Semantics Using Graph Transformations. In: Proceedings of the 8th IFIP International Conference on Formal Methods for Open-Object Based Distributed Systems, 14-16 June 2006, Bologna, Italy.

Kastenberg, H. and Kleppe, A.G. and Rensink, A. (2006) Engineering Object-Oriented Semantics Using Graph Transformations. [Report]

Langerak, R. and Kuzmych, O. (2006) Estimations of solutions convergence of hybrid systems with delay. In: Conference on Differential and Difference Equations and Applications CDDEA 2006, June 26–30, 2006, Zilina, Slovensko.

Belinfante, A.F.E. (2006) Experiments towards model-based testing using Plan 9: Labelled transition file systems, stacking file systems, on-the-fly coverage measuring. In: Proceedings of the First International Workshop on Plan 9, 4-5 Dec 2006, Madrid, Spain.

Laarman, A.W. (2006) Improving a Modular Verification Technique for Aspect Oriented Programming. In: 5th Twente Student Conference on Information Technology, 26 Jun 2006, Enschede, The Netherlands.

Rensink, Arend (2006) Isomorphism Checking in GROOVE. In: Third InternationalWorkshop on Graph Based Tools, GraBaTs 2006, 21-22 September 2006, Natal, Brazil.

Bohnenkamp, H.C. and D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (2006) MoDeST: A compositional modeling formalism for real-time and stochastic systems. IEEE Transactions on Software Engineering, 32 (10). pp. 812-830. ISSN 0098-5589

Kastenberg, H. and Rensink, A. (2006) Model Checking Dynamic States in GROOVE. In: Model Checking Software (SPIN), 30 Mar - 1 Apr 2006, Vienna, Austria.

Rensink, A. (2006) Model Checking Quantified Computation Tree Logic. In: Concurrency Theory (CONCUR), 27-30 Aug 2006, Bonn, Germany.

Rensink, A. (2006) Nested Quantification in Graph Transformation Rules. In: Graph Transformations (ICGT), 19-21 Sep 2006, Natal, Brazil.

Rensink, Arend and Heckel, Reiko and König, Barbara (2006) Preface. In: Workshop on Graph Transformation for Verification and Concurrency, GT-VC, Aug 2005, San Fransisco, USA.

Berendsen, J. and Jansen, D.N. and Katoen, J.P. (2006) Probably on time and within budget – On reachability in priced probabilistic timed automata. In: Quantitative Evaluation of Systems (QEST), Riverside, US.

Berendsen, J. and Jansen, D.N. and Katoen, J.P. (2006) Probably on time and within budget: on reachability in priced probabilistic timed automata. [Report]

Chatterjee, K. and de Alfaro, L. and Faella, M. and Henzinger, T.A. and Majumdar, R. and Stoelinga, M.I.A. (2006) Quantitative Compositional Reasoning. In: Third International Conference on the Quantitative Evaluation of Systems (QEST'06), 11-14 Sep 2006, Riverside, California.

Katoen, J.P. and Zapreev, I.S. (2006) Safe on-the-fly steady-state detection for time-bounded reachability. In: Quantitative Evaluation of Systems (QEST), Riverside, US.

Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend (2006) Safety and Liveness in Concurrent Pointer Programs. In: 4th Internatinal Symposium on Formal Methods for Components and Objects, FMCO 2005, November 1-4, 2005, Amsterdam, The Netherlands.

Smelik, R. and Rensink, A. and Kastenberg, H. (2006) Specification and Construction of Control Flow Semantics. In: Visual Languages and Human-Centric Computing (VL/HCC), Sep 2006, Brighton, U.K..

Katoen, J.P. (2006) Stochastic model checking. In: Stochastic Hybrid Systems. Automation and Control Engineering Series, 24 . CRC Press, pp. 77-104. ISBN 9780849390838

Kurbán, Marcos E. and Niebert, Peter and Qu, Hongyang and Vogler, Walter (2006) Stronger reduction criteria for Local First Search. In: Third International Colloquium on Theoretical Aspects of Computing, ICTAC 2006, 20-24 November 2006, Tunis, Tunisia.

Kastenberg, Harmen (2006) Towards Attributed Graphs in Groove. Electronic Notes in Theoretical Computer Science (ENTCS), 154 (2). pp. 47-54. ISSN 1571-0661

Sathyanathan, P.W. and Rensink, A. (2006) Unfolding Shape Graphs. [Report]

Habel, Annegret and Pennemann, Karl-Heinz and Rensink, Arend (2006) Weakest Preconditions for High-Level Programs. In: Third International Conference on Graph Transformations, ICGT 2006, 19-21 September 2006, Natal, Rio Grande do Norte, Brazil.

Habel, A. and Pennemann, K.-H. and Rensink, A. (2006) Weakest Preconditions for High-Level Programs. [Report]

Bravetti, Mario and Hermanns, Holger and Katoen, Joost-Pieter (2006) YMCA: Why Markov Chain Algebra? Electronic Notes in Theoretical Computer Science (ENTCS), 162 . pp. 107-112. ISSN 1571-0661

2005

Strubbe, Stefan and Langerak, Rom (2005) A Composition Operator for Systems with Active and Passive Actions. In: 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2005, October 2-5, 2005, Taipei, Taiwan.

Katoen, J.P. and Maneesh Khattri, M. and Zapreev, I.S. (2005) A Markov reward model checker. In: Second International Conference on the Quantitative Evaluation of Systems, 2005.

Brinksma, Ed and Krilavicius, Tomas and Usenko, Yaroslav S. (2005) A process-algebraic approach to hybrid systems. In: 16th IFAC World Congress, July 4-8, 2005, Prague, Czech Republic.

Bujorianu, L.M. (2005) A statistical inference method for the stochastic reachability analysis. In: 44th IEEE Conference on Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05, Seville, Spain.

Brandan Briones, Laura and Brinksma, Ed (2005) A test generation framework for quiescent real-time systems. In: 4th International Workshop on Formal Approaches to Software Testing, FATES, September 21, 2004, Linz, Austria.

D'Argenio, Pedro R. and Katoen, Joost-Pieter (2005) A theory of stochastic systems part I: Stochastic automata. Information and Computation, 203 (1). pp. 1-38. ISSN 0890-5401

D'Argenio, Pedro R. and Katoen, Joost-Pieter (2005) A theory of stochastic systems. Part II: Process algebra. Information and Computation, 203 (1). pp. 39-74. ISSN 0890-5401

Rensink, Arend and Distefano, Dino (2005) Abstract Graph Transformation. [Report]

Bujorianu, L.M. and Bujorianu, M. C. and Lygeros, J. (2005) Abstractions of stochastic hybrid systems. In: 44th IEEE Conference on Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC, Seville, Spain.

Bijl van der, Machiel and Rensink, Arend and Tretmans, Jan (2005) Action Refinement in Conformance Testing. [Report]

Bijl van der, Machiel and Rensink, Arend and Tretmans, Jan (2005) Action Refinement in Testing with uioco. [Report]

Bohnenkamp, Henrik and Gorter, Johan and Guidi, Jarno and Katoen, Joost-Pieter (2005) Are You Still There? - A Lightweight Algorithm to Monitor Node Presence in Self-Configuring Networks. In: International Conference on Dependable Systems and Networks, DSN, 28 June-1 July 2005, Yokohama, Japan.

Brinksma, H. and Krilavicius, T. (2005) Behavioural Hybrid Process Calculus. [Report]

Andova, Suzana and Willemse, Tim A.C. (2005) Branching bisimulation for probabilistic systems: characteristics and decidability. [Report]

Baier, Christel and Katoen, Joost-Pieter and Hermanns, Holger and Wolf, Verena (2005) Comparative branching-time semantics for Markov chains. Information and Computation, 200 (2). pp. 149-214. ISSN 0890-5401

Krilavičius, Tomas and Schonenberg, Helen (2005) Discrete Simulation of Behavioural Hybrid Process Calculus. In: Fifth International Conference on Integrated Formal Methods, IFM 2005, 29 November - 2 December 2005, Eindhoven, the Netherlands.

Baier, Christel and Hermanns, Holger and Katoen, Joost-Pieter and Haverkort, Boudewijn R. (2005) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theoretical Computer Science, 345 (1). pp. 2-26. ISSN 0304-3975

Taentzer, G. and Rensink, A. (2005) Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. In: Fundamental Approaches to Software Engineering (FASE), 2-10 Apr 2005, Edinburgh, UK.

Rensink, Arend and Vogler, W. (2005) Fair Testing. [Report]

Hermanns, H. and Jansen, D.N. and Usenko, Y.S. (2005) From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. In: Proceedings of the 5th international workshop on Software and performance, WOSP '05, July, 12-14, Palma de Mallorca, Spain.

Heckel, R. and König, B. and Rensink, A. (2005) Graph Transformation for Verification and Concurrency. [Report]

Zhang, L. and Hermanns, H. and Jansen, D.N. (2005) Logic and model checking for hidden Markov models. In: Formal techniques for networked and distributed systems, FORTE.

Alfaro de, Luca and Faella, Marco and Henzinger, Thomas A. and Majumdar, Rupak and Stoelinga, Mariëlle (2005) Model Checking Discounted Temporal Properties. Theoretical Computer Science, 345 (1). pp. 139-170. ISSN 0304-3975

Cloth, L. and Katoen, J.P. and Maneesh Khattri, M. and Pulungan, R. (2005) Model Checking Markov Reward Models with Impulse Rewards. In: International Conference on Dependable Systems and Networks, 2005. DSN 2005.

Baier, Christel and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2005) Model Checking meets Performance Evaluation. ACM SIGMETRICS Performance Evaluation Review, 32 (4). pp. 10-15. ISSN 0163-5999

Aßmann, Uwe and Aksit, Mehmet and Rensink, Arend, eds. (2005) Model Driven Architecture : European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004: Revised Selected Papers. Lecture Notes in Computer Science 3599 . Springer Verlag, Berlin. ISBN 9783540282402

Broy, M. and Jonsson, B. and Katoen, J.P. and Leucker, M. and Pretschner, A., eds. (2005) Model-Based Testing of Reactive Systems, Advanced Lectures. Lecture Notes in Computer Science, 3472 . Springer-Verlag, Berlin. ISBN 9783540262787

Jones, Val and Rensink, Arend and Brinksma, Ed (2005) Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise. [Report]

Jones, Val and Rensink, Arend and Brinksma, Ed (2005) Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise. In: Ninth IEEE International EDOC Enterprise Computing Conference, 2005, 19-23 September 2005, Enschede, the Netherlands.

Haverkort, Boudewijn R. and Katoen, Joost-Pieter (2005) Performance and Verification. ACM SIGMETRICS Performance Evaluation Review, 32 (4). p. 3. ISSN 0163-5999

Jansen, David N. and Hermanns, Holger (2005) QoS modelling and analysis with UML-statecharts: the StoCharts approach. ACM SIGMETRICS Performance Evaluation Review, 32 . pp. 28-33. ISSN 0163-5999

Rensink, Arend (2005) Subjects, Models, Languages, Transformations. In: Dagstuhl Seminar Proceedings (04101).

Brandan Briones, Laura and Rohl, Mathias (2005) Test Derivation from Timed Automata. In: 7th International Conference on Formal Engineering Methods, ICFEM, November 1-4, 2005, Manchester, UK.

Brandan Briones, Laura and Brinksma, Ed (2005) Testing real-time multi input-output systems. In: 7th International Conference on Formal Engineering Methods, ICFEM, November 1-4, 2005, Manchester, United Kingdom.

Rensink, Arend (2005) The Joys of Graph Transformation. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica . pp. 22-33.

Rensink, Arend (2005) Time and Space Issues in the Generation of Graph Transition Systems. Electronic Notes in Theoretical Computer Science (ENTCS), 127 (1). pp. 127-139. ISSN 1571-0661

Bohnenkamp, Henrik and Belinfante, Alex (2005) Timed Testing with TorX. In: International Symposium of Formal Methods Europe, July 18-22, 2005, Newcastle, UK.

Langerak, Rom and Polderman, Jan Willem (2005) Tools for Stability of Switching Linear Systems: Gain Automata and Delay Compensation. In: 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005, Sevilla, Spain, Sevilla, Spain.

Belinfante, A.F.E. and Frantzen, L. and Schallhart, C. (2005) Tools for Test Case Generation. In: Model-Based Testing of Reactive Systems: Advanced Lectures. Lecture Notes in Computer Science, 3472 . Springer Verlag, pp. 391-438. ISBN 9783540262787

De Nicola, Rocco and Katoen, Joost-Pieter and Latella, Diego and Massink, Mieke (2005) Towards a logic for performance and mobility. Electronic Notes in Theoretical Computer Science (ENTCS), 153 (2). pp. 161-175. ISSN 1571-0661

2004

Behrmann, Gerd and David, Alexandre and Larsen, Kim G. (2004) A Tutorial on UPPAAL. In: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004. Revised Lectures.

Jones, Val and Rensink, Arend and Ruys, Theo and Brinksma, Ed and Halteren van, Aart (2004) A formal MDA approach for mobile health systems. In: Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations, EWMDA-2, 7-8 September 2004, Canterbury, England.

Brandan Briones, Laura and Brinksma, Ed (2004) A test generation framework for quiescent real-time systems. [Report]

Bijl van der, Machiel and Rensink, Arend and Tretmans, Jan (2004) Action Refinement in Testing with uioco. In: 5TH PROGRESS Symposium on Embedded Systems, October 20, 2004, Nieuwegein, the Netherlands.

Rensink, A. (2004) Canonical Graph Shapes. In: Programming Languages and Systems (ESOP).

Baier, C. and Katoen, J.P. and Hermanns, H. and Wolf, V. (2004) Comparative branching-time semantics for Markov chains. [Report]

Bijl van der, Machiel and Rensink, Arend and Tretmans, Jan (2004) Compositional Testing with ioco. In: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, October 6, 2003, Montreal, Quebec, Canada.

Jansen, D.N. and Hermanns, H. (2004) Dependability checking with StoCharts: Is train radio reliable enough for trains? In: QEST 2004 proceedings.

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2004) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. [Report]

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2004) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. In: 10th International Conference Tools and Algorithms for the Construction and Analysis of Systems, TACAS, March 29 - April 2, 2004, Barcelona, Spain.

Katoen, J.P. and Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. (2004) Embedded software analysis with MOTOR. In: Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004. Lecture Notes in Computer Science, 3185 . Springer Verlag, Bertinoro, Italy, pp. 268-293. ISBN 9783540230687

Alfaro de, Luca and Faella, Marco and Stoelinga, Mariëlle (2004) Linear and Branching Metrics for Quantitative Transition Systems. In: 31st International Colloquium on Automata, Languages and Programming, ICALP, July 12-16, 2004, Turku, Finland.

Behrmann, Gerd and Bouyer, Patricia and Larsen, Kim G. and Pelánek, Radek (2004) Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. In: 10th Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004, 29 Mar - 2 Apr, 2004, Barcelona, Spain.

Bohnenkamp, Henrik and D'Argenio, Pedro R. and Hermanns, Holger and Katoen, Joost-Pieter (2004) MoDeST: A compositional modeling formalism for hard and softly timed systems. [Report]

Bohnenkamp, H.C. and D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (2004) MoDeST: A compositional modeling formalism for real-time and stochastic systems. [Report]

Alfaro de, Luca and Faella, Marco and Henzinger, Thomas A. and Majumdar, Rupak and Stoelinga, Mariëlle (2004) Model Checking Discounted Temporal Properties. In: 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'04, March 29 - april 2, 2004, Barcelona, Spain.

Rensink, A. and Schmidt, Á. and Varró, D. (2004) Model Checking Graph Transformations: A Comparison of Two Approaches. In: International Conference on Graph Transformations (ICGT).

Massink, M. and Katoen, J.P. and Latella, D. (2004) Model checking dependabiliy attributes of wireless group communication. In: Dependable Systems and Networks - Performance and Dependability Symposium (DSN 2003), 28 June - 1 July 2004, Florence, Italy.

Baier, C. and Hermanns, H. and Katoen, J.P. (2004) Probabilistic weak simulation is polynomially decidable. Information Processing Letters, 89 (3). pp. 123-252. ISSN 0020-0190

Franceschinis, G. and Haverkort, B.R.H.M. and Katoen, J.P. and Woodside, M., eds. (2004) Proceedings of the First International Conference on the Quantitative Evaluation of Systems (QEST). IEEE Computer Society Press, Los Alamitos. ISBN 9780769521855

Rensink, A. (2004) Representing First-Order Logic Using Graphs. In: International Conference on Graph Transformations (ICGT).

Brinksma, Ed (2004) Testing Times: On Model Driven Test Generation for Non Deterministic Real Time Systems. In: Fourth International Conference on Application of Concurrency to System Design, ACSD, 16-18 June 2004 , Hamilton, Canada.

Rensink, A. (2004) The GROOVE Simulator: A Tool for State Space Generation. In: Applications of Graph Transformations with Industrial Relevance (AGTIVE).

Baier, Christel and Haverkort, Boudewijn R. and Katoen, Joost-Pieter and Hermanns, Holger and Siegle, Markus, eds. (2004) Validation of Stochastic Systems : A Guide to Current Research. Lecture Notes in Computer Science, 2925 . Springer-Verlag, Berlin, Germany. ISBN 9783540222651

Andova, S. and Willemse, T.A.C. (2004) Verification of probabilistic behaviours. In: 1st South-East European Workshop on Formal Methods: Agile Formal Methods: Practical, Rigorous Methods for a Changing World, 20 November 2003, Thessaloniki, Greece.

Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend (2004) Who is pointing when to whom? In: Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2004, 16-18 December 2004, Chennai, India.

2003

Rensink, A. (2003) A Logic of Local Graph Shapes. [Report]

Jansen, David N. and Hermanns, Holger and Katoen, Joost-Pieter (2003) A QoS-oriented extension of UML statecharts. In: 6th International Conference on the Unified Modeling Language, UML 2003, October 20-24, 2003, San Francisco, CA, USA.

Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2003) A tool for model-checking Markov chains. Int. Journal on Software Tools for Technology Transfer, 4 (2). pp. 153-172. ISSN 1433-2779

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2003) An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes. [Report]

Baier, Christel and Hermanns, Holger and Katoen, Joost-Pieter and Wolf, Verena (2003) Comparative branching-time semantics for Markov chains (extended abstract). In: 14th International Conference on Concurrency Theory, CONCUR 2003, September 3-5, 2003, Marseille, France.

Bijl van der, Machiel and Rensink, Arend and Tretmans, Jan (2003) Component Based Testing with ioco. [Report]

Brinksma, Ed (2003) Compositional Theories of Qualitative and Quantitative Behaviour. In: 24th International Conference on Applications and Theory of Petri Nets, ICATPN, June 23-27, 2003, Eindhoven, The Netherlands.

Bohnenkamp, Henrik and Stok van der, Peter and Hermanns, Holger and Vaandrager, Frits (2003) Cost-Optimisation of the IPv4 Zeroconf Protocol. In: International Conference on Dependable Systems and Networks, DSN 2003, 22-25 June, 2003, San Francisco, USA.

Andova, Suzana and Hermanns, Holger and Katoen, Joost-Pieter (2003) Discrete-time rewards model-checked. In: First International Workshop on Formal Modelling and Analysis of Timed Systems, FORMATS 2003, September 6-7, 2003, Marseille, France.

Jansen, David Nicolaas (2003) Extensions of statecharts : with probability, time, and stochastic timing. thesis.

Rensink, A. (2003) Model Driven Architecture: Foundations and Applications. [Report]

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2003) Model-checking algorithms for continuous-time Markov chains. IEEE Transactions on Software Engineering, 29 (6). pp. 524-541. ISSN 0098-5589

Buchholz, P. and Katoen, J.P. and Kemper, P. and Tepper, C. (2003) Model-checking large structured Markov chains. Journal of Logic and Algebraic Programming, 56 (1-2). pp. 69-97. ISSN 1567-8326

Bohnenkamp, Henrik and Courtney, Tod and Daly, David and Derisavi, Salem and Hermanns, Holger and Katoen, Joost-Pieter and Klaren, Ric and Vi Lam, Vinh and Sanders, William H. (2003) On Integrating the Mobius and Modest Modeling Tools. In: International Conference on Dependable Systems and Networks, DSN 2003, 22-25 June, 2003, San Francisco, USA.

Hermanns, Holger and Kwiatkowska, Marta and Norman, Gethin and Parker, David and Siegle, Markus (2003) On the use of MTBDDs for performability analysis and verification of stochastic systems. Journal of Logic and Algebraic Programming, 56 (1-2). pp. 23-67. ISSN 1567-8326

Derisavi, Salem and Hermanns, Holger and Sanders, William H. (2003) Optimal state-space lumping in Markov chains. Information Processing Letters, 87 (6). pp. 309-315. ISSN 0020-0190

Langerak, R. and Polderman, J.W. and Krilavicius, T. (2003) Stability Analysis for Hybrid Automata Using Conservative Gains. In: IFAC Conference on Analysis and Design of Hybrid Systems, ADHS, 16-18 June 2003, Saint-Malo, France.

Eertink, Henk and Fokkink, Wan and Langevelde van, Izak and Hermanns, Holger (2003) The Systems Validation Centre in retrospect. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica . pp. 33-37.

Tretmans, Jan and Brinksma, Ed (2003) TorX: Automated Model-Based Testing. In: First European Conference on Model-Driven Software Engineering, December 11-12, 2003, Nuremberg, Germany.

Rensink, Arend (2003) Towards model checking graph grammars. In: 3rd Workshop on Automated Verification of Critical Systems, AVoCS, April 2-3, 2003, Southampton, UK.

Distefano, Dino and Rensink, Arend and Katoen, Joost-Pieter (2003) Who is pointing When to Whom: On Model-Checking Pointer Structures. [Report]

2002

Jansen, David N. and Hermanns, Holger and Katoen, Joost-Pieter (2002) A probabilistic extension of UML statecharts: Specification and Verification. In: 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2002, September 9-12, 2002, Oldenburg, Germany.

Jansen, David N. and Hermanns, Holger and Katoen, Joost-Pieter (2002) A probabilistic extension of UML statecharts: specification and verification. [Report]

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2002) Automated performance and dependability evaluation using model checking. In: Computer Performance Evaluation. Lecture Notes in Computer Science, 2459 . Springer Verlag, Berlin, pp. 261-289. ISBN 9783540442523

Tretmans, Jan and Brinksma, Ed (2002) Côte de Resyste : Automated Model Based Testing. In: 3rd PROGRESS Workshop on Embedded Systems, 24 October 2002, Utrecht, Netherlands.

Katoen, Joost-Pieter (2002) Foreword. Theoretical Computer Science, 282 (1). pp. 1-3. ISSN 0304-3975

Hermanns, H. and Katoen, J.P. (2002) Guest editors' introduction: Model checking in a nutshell. Journal of Logic and Algebraic Programming, 52-53 . pp. 1-5. ISSN 1567-8326

Distefano, Dino and Rensink, Arend and Katoen, Joost-Pieter (2002) Model checking birth and death. In: 2nd IFIP International Conference on Theoretical Computer Science, TCS: Foundations of Information Technology in the Era of Network and Mobile Computing, August 25-30, 2002, Quebec, Canada.

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2002) Model-Checking Algorithms for Continuous-Time Markov Chains. [Report]

Haverkort, Boudewijn and Cloth, Lucia and Hermanns, Holger and Katoen, Joost-Pieter and Baier, Christel (2002) Model-checking performability properties. In: International IEEE Conference on Dependable Systems and Networks, DSN, 23-26 June 2002, Bethesda, MD, USA.

Hermanns, Holger and Herzog, Ulrich and Katoen, Joost-Pieter (2002) Process algebra for performance evaluation. Theoretical Computer Science, 274 (1-2). pp. 43-87. ISSN 0304-3975

Baier, Christel and Katoen, Joost-Pieter and Hermanns, Holger and Haverkort, Boudewijn (2002) Simulation for continuous-time Markov chains. In: 13th International Conference on Concurrency Theory, CONCUR 2002, August 20-23, 2002, Brno, Czech Republic.

Belinfante, A.F.E. (2002) Timed Testing with TorX: The Oosterschelde Storm Surge Barrier. In: Handout 8e Nederlandse Testdag, 20 Nov 2002, Rotterdam, the Netherlands.

Rensink, A. (2002) Visualisatie van het Objectgeoriënteerde Paradigma. TINFON, 11 (2). pp. 80-83. ISSN 0927-8982

2001

Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2001) A model checker for performance and dependability properties. In: 2nd PROGRESS workshop on Embedded Systems, 18 Oct 2001, Veldhoven, The Netherlands.

Gorrieri, R. and Rensink, A. (2001) Action Refinement. In: Handbook of Process Algebra. Elsevier, Amsterdam, pp. 1047-1146. ISBN 9780444828309

Larsen, Kim and Behrmann, Gerd and Brinksma, Ed and Fehnker, Ansgar and Hune, Thomas and Petterson, Paul and Romijn, Judi (2001) As Cheap as Possible:Efficient Cost-Optimal Reachability for Priced Timed Automata. In: 13th International Conference on Computer Aided Verification, CAV 2001, July 18-22, 2001, Paris, France.

Infante-Lopez, G.G. and Hermanns, H. and Katoen, J.P. (2001) Beyond memoryless distributions: model checking semi-Markov chains. In: Process Algebra and Probabilistic Methods. Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, 12-14 Sep 2001, Aachen, Germany.

Belinfante, Alex and Brinksma, Ed and Feenstra, Jan and Tretmans, Jan and Vries, René (2001) Côte de Resyste : Automatic Model-Based Testing of Communication Protocols. In: 7th Annual CTIT Workshop on Mobile Communications in Perspective, 7 Feb 2001, Enschede, the Netherlands.

Katoen, Joost-Pieter and Kwiatkowska, Marta and Norman, Gethin and Parker, David (2001) Faster and symbolic CTMC model checking. In: Joint International Workshop on Process Algebra and Probabilistic Methods & Performance Modeling and Verification, PAPM-PROBMIV 2001, September 12-14, 2001, Aachen, Germany.

Ruys, T.C. and Langerak, R. and Katoen, J.P. and Latella, D. and Massink, M. (2001) First passage time analysis of stochastic process algebra using partial orders. In: Tools and Algorithms for the Construction and Analysis of Systems.

Glandrup, M.H.J. and Rensink, A. (2001) Formal Foundations for Reasoning about Composition. In: OOPSLA 2001 Advanced Separation of Concerns Workshop, 14 October 2001, Tampa Bay, USA.

Katoen, J.P. and D'Argenio, P.R. (2001) General distributions in process algebra. In: Lectures on Formal Methods and Performance Analysis. Lecture notes in Computer Science, 2090 . Springer Verlag, London, pp. 375-428.

Brinksma, Ed and Katoen, Joost-Pieter (2001) Hooggespannen verwachtingen model checking. Bits & chips : tweewekelijks nieuwsmagazine voor de hightechindustrie, 3 (4). pp. 31-34. ISSN 1879-6443

Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. (2001) Implementing a Model Checker for Performability Behaviour. In: Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5), September 15-16, 2001, Erlangen, Germany.

Brinksma, H. and Hermanns, H. and Katoen, J.P., eds. (2001) Lectures on Formal Methods and Performance Analysis. Lecture Notes in Computer Science, 2090 . Springer Verlag, Berlin. ISBN 9783540424796

Katoen, Joost-Pieter and Baier, Christel and Latella, Diego (2001) Metric semantics for true concurrent real time. Theoretical Computer Science, 254 (1-2). pp. 501-542. ISSN 0304-3975

D'Argenio, Pedro R. and Hermanns, Holger and Katoen, Joost-Pieter and Klaren, Ric (2001) MoDeST: A Modelling language for Stochastic Timed Systems. In: Joint International Workshop on Process Algebra and Probabilistic Methods. Performance Modelling and Verification, PAPM-PROBMIV, September 12–14, 2001, Aachen, Germany.

Distefano, Dino and Rensink, Arend and Katoen, Joost-Pieter (2001) Model Checking Dynamic Allocation and Deallocation. [Report]

D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. and Klaren, R. (2001) Modelling stochastic timed systems. In: 2nd PROGRESS workshop on Embedded Systems, 18 Oct 2001, Veldhoven, The Netherlands.

Hermanns, H. and Katoen, J.P. (2001) Performance evaluation:= (process algebra + model checking) x Markov chains. In: 12th International Conference on Concurrency Theory, CONCUR 2001, 20-25 Aug 2001, Aalborg, Denmark.

Rensink, A. and Wehrheim, H. (2001) Process Algebra with Action Dependencies. Acta informatica, 38 (3). pp. 155-234. ISSN 0001-5903

Belinfante, A.F.E. and Feenstra, J. and Heerink, A.W. and de Vries, R.G. (2001) Specification Based Formal Testing: The EasyLink Case Study. In: 2nd PROGRESS workshop on Embedded Systems, October 13, 2000, Utrecht, the Netherlands.

Brinksma, Ed and Tretmans, Jan (2001) Testing Transition Systems: An Annotated Bibliography. In: 4th Summer School on Modeling and Verification of Parallel Processes, MOVEP 2000, June 19-23, 2000, Nantes, France.

Ruijs, Theodorus Cornelis (2001) Towards Effective Model Checking. thesis.

Rensink, Arend and Gorrieri, Roberto (2001) Vertical Implementation. Information and Computation, 170 (1). pp. 95-133. ISSN 0890-5401

2000

Willemse, Tim and Tretmans, Jan and Klomp, Arjen (2000) A Case Study in Formal Methods: Specification and Validation of the OM/RR Protocol. In: 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems, FMICS 2000, April 3-4, 2000, Berlin, Germany.

Hermanns, Holger and Katoen, Joost-Pieter and Meyer-Kayser, Joachim and Siegle, M. (2000) A Markov Chain Model Checker. In: 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, 27-31 March 2000, Berlin, Germany.

D'Argenio, Pedro R. (2000) A compositional translation of stochastic automata into timed automata. [Report]

Rensink, A. (2000) Action Contraction. In: Concurrency Theory (CONCUR), Aug 2000, State College, USA.

Rensink, A. (2000) Action Contraction Using Coupled. CTIT technical reports series, 2000 (00-13). ISSN 13813625

Rensink, A. (2000) Action Contraction Using Coupled Simulation. [Report]

Goga, Nicolae (2000) An Optimization of the TorX Test Generation Algorithm. Xootic Magazine, 8 (2). pp. 15-21.

Hermanns, H. and Katoen, J.P. (2000) Automated compositional Markov chain generation for a plain-old telephone system. Science of Computer Programming, 36 (1). pp. 97-127. ISSN 0167-6423

Tretmans, Jan and Belinfante, Axel (2000) Automatic Testing with Formal Methods - Samenvatting van de EuroSTAR'99 presentatie. Testnet Nieuws, 4 (1). pp. 8-10.

Rensink, Arend (2000) Bisimilarity of Open Terms. Information and Computation, 156 (1-2). pp. 345-385. ISSN 0890-5401

Vries, René and Tretmans, Jan and Belinfante, Axel and Feenstra, Jan and Feijs, Loe and Mauw, Sjouke and Goga, Nicolae and Heerink, Lex and Heer de, Arjan (2000) Côte de Resyste in Progress. In: PROGRESS 2000 Workshop on Embedded Systems, October 13, 2000, Utrecht, The Netherlands.

Heerink, Lex and Feenstra, Jan and Tretmans, Jan (2000) Formal Test Automation: The Conference Protocol with PHACT. In: IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques, TESTCOM 2000, August 29 - September 1, 2000, Ottawa, Canada.

Belinfante, A.F.E. and de Vries, R.G. and Du Bousquet, L. and Ramangalahy, S. and Simon, S. and Viho, C. (2000) Formal Test Automation: The Conference protocol with TGV/TorX. In: Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada.

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) Model checking continuous-time Markov chains by transient analysis. In: Computer Aided Verification, 12th International Conference, CAV 2000, July 15-19, 2000, Chicago, IL, USA.

Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend (2000) On a Temporal Logic for Object-Based Systems. [Report]

Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend (2000) On a Temporal Logic for Object-Based Systems. In: Fourth International Conference on Formal Methods for Open Object-based Distributed Systems, FMOODS 2000, September 6-8, 2000, Stanford, CA, USA.

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2000) On the Logical Characterisation of Performability Properties. In: 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, Geneva, Switzerland.

Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2000) On the Use of Model Checking Techniques for Quantitative Dependability Evaluation. In: 19th IEEE Symposium on Reliable Distributed Systems, SRDS 2000, 16-18 October 2000, Nürnberg, Germany.

Vries de, René G. and Tretmans, Jan (2000) On-the-fly conformance testing using Spin. International Journal on Software Tools for Technology Transfer (STTT), 2 (4). pp. 382-393. ISSN 1433-2779

Katoen, Joost-Pieter and Nymeyer, Albert (2000) Pattern-matching algorithms based on term rewrite systems. Theoretical Computer Science, 238 (1-2). pp. 439-463. ISSN 0304-3975

Brinksma, Ed and D'Argenio, Pedro R. and Katoen, Joost-Pieter (2000) Stochastic process algebras: linking process descriptions with performance. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica . pp. 34-42.

Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend (2000) Towards Model Checking OCL. In: ECOOP 2000: Defining Precise Semantics for UML, 12 June 2000, Sophia Antipolis, France.

Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2000) Towards Model Checking Stochastic Process Algebra. In: Integrated Formal Methods, 2nd international Workshop, IFM 2000, 1-3 Nov 2000, Schloss Dagstuhl, Saarland, Germany.

Rensink, A. (2000) YOO (Why Object-Orientation). [Report]

1999

Gehrke, T. and Rensink, A. (1999) A Mobile Calculus with Data. [Report]

Langerak, Rom and Brinksma, Ed (1999) A complete finite prefix for process algebra. In: 11th International Conference on Computer Aided Verification, CAV '99, July 6-10, 1999, Trento, Italy.

D'Argenio, Pedro Ruben (1999) Algebras and Automata for Timed and Stochastic Systems. thesis.

Romijn, Judi Maria Tirza (1999) Analysing Industrial Protocols with Formal Methods. thesis.

Baier, Christel and Katoen, Joost-Pieter and Hermanns, Holger (1999) Approximate symbolic model checking of continous-time Markov chains. In: 10th International Conference on Concurrency Theory, CONCUR '99, August 24-27, 1999, Eindhoven, The Netherlands.

Tretmans, Jan and Belinfante, Axel (1999) Automatic Testing with Formal Methods. [Report]

Tretmans, Jan and Belinfante, Axel (1999) Automatic Testing with Formal Methods. In: 7th European International Conference on Software Testing, Analysis & Review, EuroSTAR 1999, 8-12 November 1999, Barcelona, Spain.

Langerak, Rom (1999) Deriving a Graph Rewriting System from a Complete Finite Prefix of an Unfolding. In: 6th International Workshop on Expressiveness in Concurrency, 23 August 1999, Eindhoven, The Netherlands.

Belinfante, A.F.E. and Feenstra, J. and de Vries, R.G. and Tretmans, G.J. and Goga, N. and Feijs, L.M.G. and Mauw, S. and Heerink, A.W. (1999) Formal Test Automation: A Simple Experiment. In: Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications.

D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (1999) On Generative Parallel Composition. In: First International Workshop on Probabilistic Methods in Verification, PROBMIV '98, 19-20 June 1998, Indianapolis, Indiana.

Rensink, Arend and Wehrheim, Heike (1999) Process Algebra with Action Dependencies. [Report]

D'Argenio, Pedro R. and Katoen, Joost-Pieter and Brinksma, Ed (1999) Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. In: 20th IEEE Real-Time Systems Symposium, 1-3 Dec. 1999 , Phoenix, Arizona.

Tretmans, Jan (1999) Testing Concurrent Systems: A Formal Approach. In: 10th International Conference on Concurrency Theory, CONCUR 1999, August 24-27, 1999, Eindhoven, The Netherlands.

Baier, Christel and Hermanns, Holger (1999) Weak Bisimulation for fully Probabilistic Processes. [Report]

1998

D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1998) A Compositional Approach to Generalised semi-Markov Processes. In: Proceedings of the 4th Int. Workshop on Discrete Event Systems (WODES'98), Cagliari, Italy.

Gehrke, T. and Huhn, M. and Rensink, A. and Wehrheim, H. (1998) A Process Algebra Semantics for Message Sequence Chart Documents. [Report]

Katoen, Joost-Pieter and Latella, Diego and Langerak, Rom and Brinksma, Ed and Bolognesi, Tommaso (1998) A consistent causality-based view on a timed process algebra including urgent interactions. Formal Methods in System Design, 12 (2). pp. 189-216. ISSN 0925-9856

Bowman, H. and Katoen, J.P. (1998) A true concurrency semantics for ET-LOTOS. In: Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on, 03/23/1998 - 03/26/1998, Fukushima, Japan.

D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1998) An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract). In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98), 8-12 June 1998, Shelter Island, New York.

Gehrke, T. and Huhn, M. and Rensink, A. and Wehrheim, H. (1998) An Algebraic Semantics for Message Sequence Chart Documents. In: Formal Decription Techniques (FORTE).

Bowman, H. and Faconti, G. and Katoen, J.P. and Latella, D. and Massink, M. (1998) Automatic verification of a lip-synchronisation protocol using Uppaal. Formal Aspects of Computing, 10 . pp. 550-575.

Ruys, Theo C. and Brinksma, Ed (1998) Experience with Literate Programming in the Modelling and Validation of Systems. In: 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1998, March 28 - April 4, 1998, Lisbon, Portugal.

Heerink, Alexander Wilhelmus (1998) Ins and Outs in Refusal Testing. thesis.

Baier, Christel and Katoen, Joost-Pieter and Latella, Diego (1998) Metric semantics for true concurrent real time. In: 25th International Colloquium Automata, Languages and Programming, ICALP '98, July 13-17, 1998, Aalborg, Denmark.

Brinksma, Ed and Katoen, Joost-Pieter and Langerak, Rom and Latella, Diego (1998) Partial-order models for quantitative extensions of LOTOS. Computer Networks and ISDN Systems, 30 (9-10). pp. 925-950. ISSN 0169-7552

Katoen, J.P. and Lambert, L. (1998) Pomsets for message sequence charts. In: Formale Beschreibungstechniken fuer verteilte Systeme, 8. GI/ITG-Fachgespraech, 4. und 5. Juni 1998, Cottbus, Germany.

1997

D'Argenio, Pedro R. and Katoen, Joost-Pieter and Brinksma, Ed (1997) A Stochastic Automata Model and its Algebraic Approach. In: 5th International Workshop on Process Algebra and Performance Modeling, PAPM 1997, 26-27 June 1997, Enschede, the Netherlands.

Rensink, A. (1997) A Typed Functional Calculus With State. In: Special Issues in Object-Oriented Programming. dpunkt.verlag, Heidelberg, Germany, pp. 558-561. ISBN 9783920993676

D'Argenio, Pedro R. and Verhoef, Chris (1997) A general conservative extension theorem in process algebras with inequalities. Theoretical Computer Science, 177 (2). pp. 351-380. ISSN 0304-3975

Rensink, A. and Gorrieri, R. (1997) Action Refinement as an Implementation Relation. In: Theory and Practice of Software Development (TAPSOFT).

Rensink, Arend (1997) Bisimilarity of Open Terms. In: Expressiveness in Concurrency, EXPRESS '97, 8-12 September 1997, Ligure, Italy.

Langerak, Rom and Brinksma, Ed and Katoen, Joost-Pieter (1997) Causal ambiguity and partial orders in event structures. [Report]

Langerak, Rom and Brinksma, Ed and Katoen, Joost-Pieter (1997) Causal ambiguity and partial orders in event structures. In: Concurrency Theory (CONCUR'97), July 1-4, 1997, Warsaw, Poland.

Nymeyer, A. and Katoen, J.P. (1997) Code generation based on formal BURS theory and heuristic search. Acta informatica, 34 (8). pp. 597-635. ISSN 0001-5903

Rensink, A. and Wehrheim, H. (1997) Dependency-Based Action Refinement. In: Mathematical Foundations of Computer Science (MFCS).

Gehrke, T. and Rensink, A. (1997) Process Creation and Full Sequential Composition in a Name-Passing Calculus. In: Expressiveness in Concurrency.

D'Argenio, Pedro R. (1997) Regular processes and timed automata. [Report]

Springintveld, Jan and Vaandrager, Frits and D'Argenio, Pedro R. (1997) Testing Timed Automata. [Report]

D'Argenio, Pedro R. and Katoen, Joost-Pieter and Ruijs, Theo C. and Tretmans, G. Jan (1997) The Bounded Retransmission Protocol Must Be on Time! [Report]

D'Argenio, P.R. and Katoen, J.P. and Ruys, T.C. and Tretmans, G.J. (1997) The bounded retransmission protocol must be on time! In: Proceedings of the Third Workshop on Tools and Algorithms for the Construction and Analysis of Systems.

Katoen, J.P. and Nymeyer, A. (1997) The systematic development of a pattern-matching algorithm using term rewrite systems. In: Proceedings of the Computing: the Australasian Theory Symposium (CATS'97), Sydney, Australia.

Eijk van, Peter and Belinfante, Axel and Eertink, Henk and Alblas, Henk (1997) The term processor generator Kimwitu. In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture notes in computer science, 1217 . Springer Verlag, Berlin, Germany, pp. 96-111. ISBN 9783540627906

Ruys, Theo C. and Langerak, Rom (1997) Validation of Bosch' Mobile Communication NetworkArchitecture with SPIN. In: Third International Workshop on SPIN, SPIN '97, 5 April 1997, Enschede, The Netherlands.

1996

D'Argenio, P.R. and Brinksma, H. (1996) A Calculus for Timed Automata. [Report]

D'Argenio, Pedro R. and Verhoef, Chris (1996) A general conservative extension theorem in process algebras with inequalities. [Report]

Rensink, A. (1996) Algebra and Theory of Order-Deterministic Pomsets. Notre Dame Journal of Formal Logic, 37 (2). pp. 283-320. ISSN 0029-4527

Brinksma, H. and Rensink, A. and Vogler, W. (1996) Applications of Fair Testing. In: Protocol Specification, Testing and Verification XVI (PSTV).

Nymeyer, A. and Katoen, J.P. and Westra, Y. and Alblas, H. (1996) Code Generation = A* + BURS. In: Compiler Construction, 6th International Conference, CC'96, April 24-26, 1996, Linkoping, Sweden.

Rensink, A. (1996) Denotational, Causal, and Operational Determinism in Event Structures. In: Trees in Algebra and Programming (CAAP).

Katoen, Joost-Pieter (1996) Quantitative and qualitative extensions of event structures. thesis.

Katoen, Joost-Pieter and Brinksma, Ed and Latella, Diego and Langerak, Rom (1996) Stochastic simulation of event structures. In: Fourth Process Algebra and Performance Modelling Workshop, PAPM '96, 4-5 July 1996, Torino, Italy.

Katoen, Joost-Pieter and Schoenmakers, Berry (1996) Systolic arrays for the recognition of invariant segments. Science of Computer Programming, 27 (2). pp. 119-137. ISSN 0167-6423

Tretmans, Jan (1996) Test Generation with Inputs, Outputs and Repetitive Quiescence. [Report]

Eijk van, Peter and Belinfante, Axel and Eertink, Henk and Alblas, Henk (1996) The Term Processor Generator Kimwitu. [Report]

1995

Rensink, A. (1995) A Theory of Deterministic Event Structures. In: Concurrency Theory (CONCUR), Long Island, USA.

Sinderen van, Marten and Ferreira Pires, Luis and Vissers, Chris A. and Katoen, Joost-Pieter (1995) A design model for Open Distributed Processing systems. Computer Networks and ISDN Systems, 27 (8). pp. 1263-1285. ISSN 0169-7552

Nijmeijer, Albert (1995) A grammatical specification of human-computer dialogue. Computer languages, 21 (1). pp. 1-16. ISSN 0096-0551

Brinksma, Ed and Katoen, Joost-Pieter and Langerak, Rom and Latella, Diego (1995) A stochastic causality-based process algebra. The Computer Journal, 38 (7). pp. 552-565. ISSN 0010-4620

Rensink, A. (1995) An Event-Based SOS for a Language with Refinement. In: Structures in Concurrency Theory, Berlin, Germany.

Katoen, J.P. (1995) Causal Behaviours and Nets. In: Application and Theory of Petri Nets 1995, 16th International Conference, June 26-30, 1995, Turin, Italy.

Rensink, Arend (1995) Causal Traces. [Report]

Rensink, Arend (1995) Denotational, Causal, and Operational Determinism in Event Structures. [Report]

Brinksma, Ed and Rensink, Arend and Vogler, Walter (1995) Fair Testing. In: 6th International Conference on Concurrency Theory, CONCUR 1995, August 21–24, 1995 , Philadelphia, PA, USA.

Katoen, J.P. (1995) Functional Integration of B-ISDN and Umts. In: 45th IEEE Vehicular Technology Conference, Chicago, USA, 1995, 25-28 July 1995.

Brinksma, Ed and Langerak, Rom (1995) Functionality Decomposition by Compositional Correctness Preserving Transformation. South African Computer Journal, 13 . pp. 2-13. ISSN 1015-7999

Brinksma, Ed (1995) Performance and Formal Design: A Process-Algebraic Perspective. In: Sixth International Workshop on Petri Nets and Performance Models, 3-6 Oct. 1995, Durham, USA.

1994

Rensink, Arend (1994) Deterministic Pomsets. [Report]

Goltz, Ursula and Rensink, Arend (1994) Finite petri nets as models for recursive causal behaviour. Theoretical Computer Science, 124 (1). pp. 169-179. ISSN 0304-3975

Rensink, A. (1994) Methodological Aspects of Action Refinement. In: Programming Concepts, Methods and Calculi, San Miniato, Italy.

Goltz, U. and Gorrieri, R. and Rensink, A. (1994) On Syntactic and Semantic Action Refinement. In: Theoretical Aspects of Computer Software, Sendai, Japan.

Rensink, A. and Wehrheim, H. (1994) Weak Sequential Composition in Process Algebras. In: Concurrency Theory (CONCUR), Uppsala, Sweden.

1992

Tretmans, Gerrit Jan (1992) A formal approach to conformance testing. thesis.

Costantini, R. and Rensink, A. (1992) Abstraction and Refinement in Configuration Structures. [Report]

Goltz, Ursula and Gorrieri, Roberto and Rensink, Arend (1992) On Syntactic and Semantic Action Refinement. [Report]

Rensink, A. (1992) Posets for Configurations! In: Third International Conference on Concurrency Theory (CONCUR), Stony Brook, U.S.A..

1991

Brinksma, Ed and Scollo, Giuseppe and Vissers, Chris A. (1991) Guest editorial: Introduction to the PSTV-IX. Computer Networks and ISDN Systems, 22 (1). pp. 1-6. ISSN 0169-7552