Research Group: Formal Methods and Tools (FMT)

These publication lists might not be complete. Publications are added regularly.

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1992 | 1991
Number of items: 626.

2014

Anjorin, Anthony and Cunha, Alcino and Giese, Holger and Hermann, Frank and Rensink, Arend and Schürr, Andy (2014) BenchmarX. In: Bidirectional Transformations (BX 2014) - Workshops of the EDBT/ICDT 2014 Joint Conference, 28 March 2014, Athens, Greece (pp. pp. 82-86).

Timmer, Mark (2014) Community of Learners (2): samen met vakcollega's op zoek naar een betere introductie van telproblemen. De Lerarenagenda 2013-2020, 2014 .

Timmer, Mark (2014) Community of Learners: samen met vakcollega's werken aan didactiekverbetering. De Lerarenagenda 2013-2020, 2014 .

Ngo, Minh Tri and Stoelinga, Mariëlle and Huisman, Marieke (2014) Effective verification of confidentiality for multi-threaded programs. Journal of computer security . ISSN 0926-227X

Timmer, Mark (2014) Efficient Modelling, Generation and Analysis of Markov Automata. Bulletin of the European Association for Theoretical Computer Science, 112 . pp. 139-140. ISSN 0252-9742

Sijtema, M. and Belinfante, A. and Stoelinga, M.I.A. and Marinelli, L. (2014) Experiences with formal engineering: model-based specification, implementation and testing of a software bus at Neopost. Science of computer programming, 80 (Part A). pp. 188-209. ISSN 0167-6423

Guck, Dennis and Timmer, Mark and Blom, Stefan (2014) Extending Markov Automata with State and Action Rewards. In: 12th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, 12-13 April 2014, Grenoble, France.

Göknil, Arda and Kurtev, Ivan and Berg, Klaas van den (2014) Generation and validation of traces between requirements and architecture based on formal trace semantics. Journal of Systems and Software, 88 . pp. 112-137. ISSN 0164-1212

Li, Binlong and Broersma, Hajo and Zhang, Shenggui (2014) Heavy subgraph pairs for traceability of block-chains. Discussiones Mathematicae Graph Theory, 34 (2). pp. 287-307. ISSN 1234-3099

Hek, Geertje M. and Timmer, Mark (2014) In de verdediging: Efficient modelling, generation and analysis of Markov automata. Nieuw Archief voor Wiskunde, 15 (1). pp. 25-26. ISSN 0028-9825

Brinke, Steven te (2014) Interpreting energy profiles with CEGAR. In: 29th Annual ACM Symposium on Applied Computing, SAC 2014, 24-28 March 2014, Gyeongju, Korea.

Guck, Dennis and Timmer, Mark and Hatefi, Hassan and Ruijters, Enno and Stoelinga, Mariëlle (2014) Modelling and analysis of Markov reward automata (extended version). [Report]

Schivo, Stefano and Scholma, Jetse and Wanders, Brend and Urquidi Camacho, Ricardo A. and Vet, Paul E. van der and Karperien, Marcel and Langerak, Rom and Pol, Jaco van de and Post, Janine N. (2014) Modelling biological pathway dynamics with Timed Automata. IEEE journal of biomedical and health informatics, 18 (3). pp. 832-839. ISSN 2168-2194

Broersma, Hajo and Patel, Viresh and Pyatkin, Artem (2014) On toughness and hamiltonicity of 2K2-free graphs. Journal of graph theory, 75 (3). pp. 244-255. ISSN 0364-9024

Ngo, Tri Minh (2014) Qualitative and quantitative information flow analysis for multi-thread programs. thesis.

Ngo, Minh Tri and Huisman, Marieke (2014) Quantitative security analysis for programs with low input and noisy output. In: 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, 26-28 February 2014, Munich, Germany.

Wu, Jichang and Broersma, Hajo and Kang, Haiyan (2014) Removable edges and chords of longest cycles in 3-connected graphs. Graphs and Combinatorics, 30 (3). pp. 743-753. ISSN 0911-0119

Ahmad, Waheed and Groote, Robert de and Hölzenspies, Philip and Stoelinga, Mariëlle and Pol, Jaco van de (2014) Resource-constrained optimal scheduling of synchronous dataflow graphs via timed automata. [Report]

Ahmad, Waheed and Groote, Robert de and Hölzenspies, Philip K.F. and Stoelinga, Mariëlle and Pol, Jaco van de (2014) Resource-constrained optimal scheduling of synchronous dataflow graphs via timed automata (extended version). [Report]

Laarman, Alfons Wilhelmus (2014) Scalable multi-core model checking. thesis.

Schivo, Stefano and Scholma, Jetse and Karperien, Marcel and Post, Janine N. and Pol, Jaco van de and Langerak, Rom (2014) Setting Parameters for Biological Models With ANIMO. In: 1st International Workshop on Synthesis of Continuous Parameters, 6 April 2014, Grenoble, France (pp. pp. 35-47).

Schürr, Andy and Rensink, Arend (2014) Software and systems modeling with graph transformations: Theme issue of the Journal on Software and Systems Modeling. Software and systems modeling, 13 (1). pp. 171-172. ISSN 1619-1366

2013

Mostowski, Wojciech (2013) A case study in formal verification using multiple explicit heaps. In: Joint IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems, FMOODS/FORTE 2013, 3-6 June 2013, Florence, Italy (pp. pp. 20-34).

Jakumeit, E. and Buchwald, S. and Wagelaar, D. and Dan, L. and Hegedüs, Á and Hermannsdörfer, M. and Horn, T. and Kalnina, E. and Krause, C. and Lano, K. and Lepper, M. and Rensink, A. and Rose, L.M. and Wätzoldt, S. and Mazanek, S. (2013) A survey and comparison of transformation tools based on the transformation tool contest. Science of computer programming . p. 1. ISSN 0167-6423

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

Stoelinga, Mariëlle and Pieters, Wolter (2013) Attack navigator vindt en verhelpt zwakke plekken. Bits & chips : tweewekelijks nieuwsmagazine voor de hightechindustrie, 4 . ISSN 1879-6443

Smid, Wietse and Rensink, Arend (2013) Class diagram restructuring with GROOVE. In: Sixth Transformation Tool Contest, 19-20 June 2013, Budapest. Hungary (pp. pp. 83-87).

Katoen, Joost-Pieter (2013) Concurrency meets probability: theory and practice (abstract). In: 24th International Conference on Concurrency Theory, CONCUR 2013, 27-30 August 2013, Buenos Aires, Argentina (pp. pp. 44-45).

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, Jaco van de 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, Mark and Pol, Jaco van de and Stoelinga, L.A. (2013) Confluence reduction for Markov automata. In: 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, 29-31 August 2013, Buenos Aires, Argentina (pp. pp. 243-257).

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

Cohen, Albert and Donaldson, Alistair F. and Huisman, Marieke and Katoen, Joost-Pieter (2013) Correct and efficient accelerator programming. Dagstuhl Reports, 4 (3). pp. 17-33. ISSN 2192-5283

Arnold, Florian and Belinfante, Axel and Berg, Freark van der and Guck, Dennis and Stoelinga, Mariëlle (2013) DFTCalc: a tool for efficient fault tree analysis. In: 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, 24-27 September 2013, Toulouse, France (pp. pp. 293-301).

Arnold, Florian and Belinfante, Axel and Berg, Freark van der and Guck, Dennis and Stoelinga, Mariëlle (2013) DFTCalc: a tool for efficient fault tree analysis (extended version). [Report]

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

Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2013) Divergent quiescent transition systems. In: 7th International Conference on Tests and Proofs, TAP 2013, 18-19 June 2013, Budapest, Hungary (pp. pp. 214-231).

Timmer, Mark (2013) Efficient modelling, generation and analysis of Markov automata. thesis.

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

Li, Binlong and Broersma, Hajo and Zhang, Shenggui (2013) Forbidden subgraph pairs for traceability of block-chains. Electronic journal of graph theory and applications, 1 (1). pp. 1-10. ISSN 2338-2287

Amighi, Afshin and Blom, Stefan and Huisman, Marieke and Mostowski, Wojciech and Zaharieva-Stojanovski, Marina (2013) Formal specifications for Java’s synchronisation classes. [Report]

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, Jaco van de 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.

Blom, Stefan and Kiniry, Joseph and Huisman, Marieke (2013) How do developers use APIs? A case study in concurrency. In: 18th International Conference on Engineering of Complex Computer Systems, ICECCS 2013, 17-19 July 2013, Singapore (pp. pp. 212-221).

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

Boode, Antoon H. and Broersma, Hajo and Broenink, Jan F. (2013) Improving the performance of periodic real-time processes: a graph theoretical approach. In: Communicating Process Architectures 2013, 25-28 August 2013, Edinburgh, UK (pp. pp. 57-79).

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

Broersma, Hajo and Fiala, Jiri and Golovach, Petr A. and Kaiser, Tomas and Paulusma, Daniël and Proskurowski, Andrzej (2013) Linear-time algorithms for scattering number and hamilton-connectivity of interval graphs. In: 39th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2013, 19-21 June 2013, Lübeck, Germany (pp. pp. 127-138).

Scholma, J. and Kerkhofs, J. and Schivo, S. and Langerak, R. and Vet, P.E. van der and Karperien, H.B.J. and Pol, J.C. van de and Geris, L. and Post, J.N. (2013) Mathematical modeling of signaling pathways in osteoarthritis. Osteoarthritis and cartilage, 21 (Suppl.). S123-S123. ISSN 1063-4584

Katoen, Joost-Pieter (2013) Model checking meets probability: a gentle introduction. In: Engineering dependable software systems. NATO Science for Peace and Security Series - D: Information and Communication Security, 34 . IOS Press, Amsterdam, pp. 177-205. ISBN 9781614992066

Guck, Dennis and Hatefi, Hassan and Hermanns, Holger and Katoen, Joost-Pieter and Timmer, Mark (2013) Modelling, reduction and analysis of Markov automata. In: 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, 27-30 August 2013, Buenos Aires, Argentina (pp. pp. 55-71).

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, Jaco van de (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 (pp. pp. 337-351).

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, Ander de (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

Belinfante, Axel and Rensink, Arend (2013) Publishing your prototype tool on the web: PUPTOL, a framework. [Report]

Arnold, Florian and Pieters, Wolter and Stoelinga, Mariëlle (2013) Quantitative penetration testing with item response theory (extended version). [Report]

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]

Blom, Stefan and Huisman, Marieke and Mihelcic, Matej (2013) Specification and verification of GPGPU programs. [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 (pp. pp. 411-430).

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

Bonsma, Paul (2013) The complexity of rerouting shortest paths. Theoretical computer science, 510 . pp. 1-12. ISSN 0304-3975

Bodlaender, Hans L. and Bonsma, Paul and Lokshtanov, Daniel (2013) The fine details of fast dynamic programming over tree decompositions. In: 8th International Symposium on Parameterized and Exact Computation, IPEC 2013, 4-6 September 2013, Sophia Antipolis, France (pp. pp. 41-53).

Broersma, Hajo and Fomin, Vedor V. and Golovach, Petr A. and Paulusma, Daniël (2013) Three complexity results on coloring $P_k$-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

Berkholz, Christoph and Bonsma, Paul and Grohe, Martin (2013) Tight lower and upper bounds for the complexity of canonical colour refinement. In: 21st Annual European Symposium on Algorithms, ESA 2013, 2-4 September 2013, Sophia Antipolis, France (pp. pp. 145-156).

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

Drijfhout, Wanno and Oliver, Jundt and Wevers, Lesley and Hiemstra, Djoerd (2013) Traitor: associating concepts using the world wide web. In: 13th Dutch-Belgian Workshop on Information Retrieval, DIR 2013, 26 April 2013, Delft, the Netherlands (pp. pp. 56-57).

Blom, Stefan and Huisman, Marieke (2013) Witnessing the elimination of magic wands. [Report]

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 (pp. pp. 31-35).

Yildiz, Bugra M. and Tekinerdogan, Bedir and Cetin, Semih (2012) A tool framework for deriving the application architecture for global software development projects. In: 7th IEEE International Conference on Global Software Engineering, ICGSE 2012, 27-30 August 2012 , Porto Alegre, Brazil (pp. pp. 94-103).

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 (pp. p. 44).

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 (pp. pp. 459-464).

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, J. van den 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

Broersma, Hajo and Golovach, Petr A. and Paulusma, Daniël and Song, Jian (2012) Determining the chromatic number of triangle-free 2P3-free graphs in polynomial time. Theoretical computer science, 423 . pp. 1-10. ISSN 0304-3975

Kant, Gijs and Pol, Jaco van de (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 (pp. pp. 50-65).

Timmer, Mark and Katoen, Joost-Pieter and Pol, Jaco van de 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, Jaco van de 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 (pp. pp. 364-379).

Timmer, Mark and Katoen, Joost-Pieter and Pol, Jaco van de 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 (pp. pp. 1022-1031).

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 (pp. pp. 6-11).

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 (pp. pp. 234-248).

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 (pp. pp. 35-49).

Mol, Maarten de 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 (pp. 723:1-723:14).

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, Jaco van de (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 (pp. 736:1-736:12).

Groote, Robert de 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 (pp. pp. 29-38).

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 (pp. pp. 1-14).

Schivo, S. and Scholma, J. and Wanders, B. and Urquidi Camacho, R.A. and Vet, P.E. van der and Karperien, H.B.J. and Langerak, R. and Pol, J.C. van de 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 (pp. pp. 447-453).

Dijk, T. van and Laarman, A.W. and Pol, J.C. van de (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, Jaco van de (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 (pp. pp. 91-106).

Dijk, Tom van and Laarman, Alfons and Pol, Jaco van de (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.

Broersma, Hajo and Gomez, Faustino and Miller, Julian and Petty, Mike and Tufte, Gunnar (2012) Nascence project: nanoscale engineering for novel computation using evolution. International journal of unconventional computing, 8 (4). pp. 313-317. ISSN 1548-7199

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 (pp. pp. 50-59).

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 (pp. pp. 66-80).

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 (pp. pp. 8-23).

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 (pp. pp. 145-154).

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 (pp. pp. 209-224).

Amighi, Afshin and Carvalho Gomes, Pedro de 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 (pp. pp. 33-47).

Berg, Freark van der 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 (pp. pp. 73-87).

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 (pp. pp. 71-82).

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 (pp. pp. 207-218).

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 (pp. pp. 207-218).

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, Jaco van de (2011) A Calculus for Four-Valued Sequential Logic. Theoretical Computer Science, 412 (28). pp. 3122-3128. ISSN 0304-3975

Vegt, Steven van der 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, Jaco van de 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 (pp. pp. 61-70).

Yildiz, Bugra M. and Tekinerdogan, Bedir (2011) Architectural viewpoints for global software development. In: Sixth IEEE International Conference on Global Software Engineering Workshops, ICGSEW 2011, 15-18 August 2011, Helsinki, Finland (pp. pp. 9-16).

Hansen, Helle Hvid and Ketema, Jeroen and Luttik, Bas and Mousavi, MohammadReza and Pol, Jaco van de 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 (pp. pp. 225-250).

Timmer, Mark and Stoelinga, Mariëlle and Pol, Jaco van de (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 (pp. pp. 311-325).

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 (pp. pp. 128-142).

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

Sijtema, Marten and Stoelinga, Mariëlle and Belinfante, Axel and Marinelli, Lawrence (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 (pp. pp. 117-133).

Mol, Maarten de 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 (pp. pp. 121-136).

Yildiz, Bugra Mehmet and Tekinerdogan, Bedir (2011) Meta-Model for global software development to support portability and interoperability. In: Sixth International Conference on Software Engineering Advances, ICSEA 2011, 23-29 October 2011, Barcelona, Spain (pp. pp. 98-103).

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, Maarten de 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, Jaco van de 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 (pp. pp. 506-511).

Laarman, Alfons and Langerak, Rom and Pol, Jaco van de 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, Hendrik Michaël van der (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, Jaco van de (2011) On the axiomatizability of priority II. Theoretical Computer Science, 412 (28). pp. 3035-3044. ISSN 0304-3975

Laarman, Alfons and Pol, Jaco van de 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 (pp. p. 3).

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 (pp. pp. 366-381).

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, Pedro de 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 (pp. pp. 31-48).

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, Maarten de 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 (pp. pp. 215-222).

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 (pp. pp. 260-277).

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 (pp. pp. 126-130).

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 (pp. pp. 125-135).

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, Jaco van de (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, Jaco van de 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 (pp. pp. 213-222).

Katoen, Joost-Pieter and Pol, Jaco van de 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 (pp. p. 25).

Laarman, Alfons and Pol, Jaco van de 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 (pp. pp. 247-255).

Laarman, Alfons and Pol, Jaco van de 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 (pp. pp. 107-121). (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 (pp. pp. 309-320).

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, Jaco van de (2010) Confluence Reduction for Probabilistic Systems (extended version). [Report]

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

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 (pp. pp. 419-424).

Xing, Jiansheng and Theelen, B.D. and Langerak, Rom and Pol, Jaco van de 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 (pp. pp. 47-56).

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, Pieter van (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, Maarten de (2010) ICGT 2010 Doctoral Symposium [preface]. In: 5th Internal Conference on Graph Transformations, ICGT 2010, 27 Sep - 2 Oct 2010, Enschede, Netherlands (pp. pp. 379-380).

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 (pp. pp. 129-136).

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 (pp. pp. 266-270).

Blom, Stefan and Pol, Jaco van de 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 (pp. pp. 354-359).

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 (pp. pp. 272-287).

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 (pp. pp. 53-68).

Ghamarian, Amir Hossein and Mol, Maarten de 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, Maarten de 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 (pp. pp. 174-183).

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, Jaco van de 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 (pp. vii-viii).

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 (pp. V-VI).

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 (pp. p. 127).

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 (pp. pp. 183-198).

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 (pp. pp. 809-815).

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 (pp. pp. 113-118).

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 (pp. pp. 311-337).

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, Jaco van de (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, Pieter van, 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, Jaco van de 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 (pp. pp. 160-174). (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 (pp. pp. 416-418).

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 (pp. pp. 1-6).

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, Jaco van de 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 (pp. pp. 340-354).

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 (pp. pp. 39-50).

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 (pp. pp. 119-133).

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 (pp. pp. 14-22).

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 (pp. pp. 278-297).

Blom, Stefan and Pol, Jaco van de 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 (pp. pp. 239-254).

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 (pp. pp. 195-211).

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

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, Jaco van de (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 (pp. pp. 92-106).

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 (pp. p. 31).

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 (pp. pp. 364-379).

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 (pp. pp. 4-7).

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

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

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

Blom, Stefan and Pol, Jaco van de (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 (pp. pp. 32-46).

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 (pp. p. 3).

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 (pp. pp. 70-76).

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 (pp. pp. 25-30).

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 (pp. pp. 251-258).

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

Alfaro, Luca de 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 (pp. pp. 209-216).

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 (pp. p. 8).

Brim, L. and Pol, J.C. van de (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 (pp. pp. 309-318).

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 (pp. pp. 136-150).

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, M.J. van and Pras, A. and Haverkort, B.R.H.M. and Apers, P.M.G. and Hartel, P.H. and Pol, J.C. van de 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 (pp. pp. 31-40).

Wijs, Anton J. and Pol, Jaco C. van de 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, Jaco van de 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 (pp. pp. 54-68).

Pol, Jaco van de 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 (pp. pp. 233-238).

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 (pp. pp. 167-176).

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 (pp. pp. 133-142).

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 (pp. No. 05).

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

2008

Blom, Stefan and Lisser, Bert and Pol, Jaco van de 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 (pp. pp. 321-335).

Pol, Jaco van de 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, Jaco van de (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 (pp. pp. 487-492).

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

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 (pp. pp. 3635-3640).

Crouzen, P. and Pol, J.C. van de 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, Jaco van de (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 (pp. pp. 250-265).

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 (pp. pp. 173-182).

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 (pp. pp. 243-248).

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 (pp. pp. 512-521).

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. (pp. pp. 244-258).

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 (pp. p. 11).

Blom, Stefan and Haverkort, Boudewijn R. and Kuntz, Matthias and Pol, Jaco van de (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 (pp. pp. 233-247).

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 (pp. pp. 94-109).

Alfaro, L. de 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 (pp. pp. 51-62).

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 (pp. pp. 1-2).

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 (pp. pp. 463-466).

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 (pp. pp. 69-85).

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, Jaco van de (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 (pp. pp. 63-77).

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

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 (pp. pp. 493-513).

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

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

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 (pp. pp. 61-77).

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, Jaco van de 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 (pp. pp. 193-200).

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

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 (pp. pp. 147-166).

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 (pp. pp. 227-236).

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 (pp. pp. 610-613).

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 (pp. pp. 53-71).

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 (pp. pp. 171-187).

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 (pp. pp. 179-188).

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 (pp. pp. 48-62).

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 (pp. pp. 5-10).

Blom, Stefan and Deiß, Thomas and Ioustinova, Natalia and Kontio, Ari and Pol, Jaco van de 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, Jaco van de (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 (pp. pp. 81-95).

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 (pp. pp. 177-184).

2007

Blom, Stefan and Lisser, Bert and Pol, Jaco van de 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 (pp. pp. 17-32).

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 (pp. pp. 441-456).

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 (pp. pp. 168-186).

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 (pp. pp. 161-170).

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 (pp. pp. 84-92).

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

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

Calamé, Jens R. and Ioustinova, Natalia and Pol, Jaco van de (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 (pp. pp. 25-48).

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 (pp. pp. 45-49).

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 (pp. pp. 412-427).

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

Calame, J.R. and Ioustinova, N. and Pol, J.C. van de 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 (pp. pp. 72-86).

Blom, Stefan and Calamé, Jens R. and Lisser, Bert and Orzan, Simona and Pang, Jun and Pol, Jaco van de 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 (pp. pp. 683-689).

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 (pp. pp. 708-717).

Chen, Taolue and Ploeger, Bas and Pol, Jaco van de 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 (pp. pp. 120-135).

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, Axel (2007) Extensible synthetic file servers? or: Structuring the glue between tester and system under test. In: Second International Workshop on Plan 9, IWP9 2007, 3-4 December 2007, Murray Hill, NJ, USA (pp. pp. 47-54).

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

Alfaro, Luca de 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 (pp. pp. 99-108).

Badban, Bahareh and Pol, Jaco van de 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 (pp. pp. 1-2).

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 (pp. pp. 500-504).

Brim, Lubos and Haverkort, Boudewijn R. and Leucker, Martin and Pol, Jaco van de (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 (pp. V-VI).

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

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 (pp. pp. 331-346).

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 (pp. p. 42).

Blom, Stefan and Deiß, Thomas and Ioustinova, Natalia and Kontio, Ari and Pol, Jaco van de 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 (pp. pp. 98-111).

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 (pp. p. 3).

Bohnenkamp, H. and Belinfante, A. (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 (pp. pp. 240-241).

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 (pp. pp. 1-12).

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 (pp. pp. 399-414).

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 (pp. pp. 39-59).

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

Havinga, Wilke and Staijen, Tom and Rensink, Arend and Bergmans, Lodewijk and Berg, Klaas van den (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 (pp. pp. 73-78).

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 (pp. pp. 186-201).

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 (pp. pp. 30-31).

Belinfante, Axel (2006) Experiments towards model-based testing using Plan 9: Labelled transition file systems, stacking file systems, on-the-fly coverage measuring. In: First International Workshop on Plan 9, 4-5 December 2006, Madrid, Spain (pp. pp. 53-64).

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 (pp. pp. 37-40).

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 (pp. pp. 299-305).

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

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

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 (pp. pp. 1-5).

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 (pp. pp. 311-322).

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 (pp. pp. 179-189).

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 (pp. pp. 301-310).

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 (pp. pp. 280-312).

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. (pp. pp. 65-72).

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 (pp. pp. 108-122).

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 (pp. pp. 445-460).

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 (pp. pp. 24-37).

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 (pp. pp. 243-245).

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 (pp. pp. 8088-8093).

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 (pp. pp. 64-78).

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 (pp. pp. 4712-4717).

Bijl, Machiel van der and Rensink, Arend and Tretmans, Jan (2005) Action refinement in conformance testing. [Report]

Bijl, Machiel van der 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 (pp. pp. 704-709).

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 (pp. pp. 33-38).

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 (pp. pp. 64-79).

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 (pp. pp. 13-23).

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 (pp. pp. 98-112).

Alfaro, Luca de 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 (pp. pp. 722-731).

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 (pp. pp. 58-69).

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

Katoen, Joost-Pieter and Zapreev, Ivan S. (2005) Safe on-the-fly steady-state detection for time-bounded reachability. [Report]

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

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 (pp. pp. 201-231).

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 (pp. pp. 264-279).

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, Axel (2005) Timed testing with TorX. In: International Symposium of Formal Methods Europe, FM 2005, July 18-22, 2005, Newcastle, UK (pp. pp. 173-188).

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 (pp. pp. 4867-4872).

Belinfante, Axel and Frantzen, Lars and Schallhart, Christian (2005) Tools for test case generation. In: Model-based testing of reactive systems: advanced lectures. Lecture notes in computer science, 3472 . Springer, 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 (pp. pp. 200-237).

Jones, Val and Rensink, Arend and Ruys, Theo and Brinksma, Ed and Halteren, Aart van (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 (pp. pp. 28-35).

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

Bijl, Machiel van der 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 (pp. pp. 16-26).

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

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

Bijl, Machiel van der 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 (pp. pp. 86-100).

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

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 (pp. pp. 61-76).

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, Luca de 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 (pp. pp. 97-109).

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 (pp. pp. 312-326).

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]

Alfaro, Luca de 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 (pp. pp. 77-92).

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

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 (pp. pp. 711-720).

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) (pp. pp. 319-335).

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 (pp. pp. 3-4).

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

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 (pp. pp. 84-99).

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 (pp. pp. 250-262).

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 (pp. pp. 76-91).

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 (pp. pp. 492-507).

Bijl, Machiel van der 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 (pp. pp. 37-42).

Bohnenkamp, Henrik and Stok, Peter van der 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 (pp. pp. 531-540).

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 (pp. pp. 88-104).

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

Turetayev, Daulet (2003) Nondeterminism in stochastic modeling. [Report]

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 (pp. pp. 377-382).

Eertink, Henk and Fokkink, Wan and Langevelde, Izak van 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 (pp. pp. 31-43).

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

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 (pp. pp. 355-374).

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 (pp. pp. 246-255).

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 (pp. pp. 435-447).

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 (pp. pp. 103-112).

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 (pp. pp. 338-352).

Belinfante, Axel (2002) Timed testing with TorX: the Oosterschelde storm surge barrier. In: Handout 8e Nederlandse Testdag, 20 November 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 (pp. pp. 83-88).

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 (pp. pp. 493-505).

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 (pp. pp. 57-70).

Belinfante, Axel 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, 8 February 2001, Enschede, the Netherlands (pp. pp. 49-51).

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 (pp. pp. 23-38).

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 (pp. pp. 220-235).

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 (pp. pp. 110-114).

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 (pp. pp. 87-104).

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 (pp. pp. 31-36).

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 (pp. pp. 59-81).

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

Belinfante, Axel and Feenstra, Jan and Heerink, Lex and Vries, René G. de (2001) Specification based formal testing: the EasyLink case study. In: 2nd PROGRESS Workshop on Embedded Systems, 2001, 18 October 2001, Veldhoven, The Netherlands (pp. pp. 73-82).

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 (pp. pp. 187-195).

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 (pp. pp. 331-344).

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 (pp. pp. 347-362).

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 (pp. pp. 290-304).

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, Arjan de (2000) Côte de resyste in PROGRESS. In: PROGRESS 2000 Workshop on Embedded Systems, October 13, 2000, Utrecht, The Netherlands (pp. pp. 141-148).

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 (pp. pp. 211-220).

Du Bousquet, Lydie and Ramangalahy, Solofo and Simon, Severine and Viho, Cesar and Belinfante, Axel and Vries, René G. de (2000) Formal test automation: the conference protocol with TGV/TorX. In: 13th IFIP TC6/WG6.1 International Conference on Testing Communicating Systems, TestCom 2000, August 29 - September 1, 2000, Ottawa, ON, Canada (pp. pp. 221-228).

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 (pp. pp. 358-372).

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 (pp. pp. 305-326).

Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend (2000) On a temporal logic for object-based systems. [Report]

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 (pp. pp. 780-792).

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 (pp. pp. 228-237).

Vries, René G. de 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 (pp. pp. 420-439).

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 (pp. pp. 184-195).

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 (pp. pp. 146-162).

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 (pp. pp. 24-41).

Belinfante, Axel and Feenstra, Jan and Vries, René G. de and Tretmans, Jan and Goga, Nicolae and Feijs, Loe and Mauw, Sjouke and Heerink, Lex (1999) Formal test automation: a simple experiment. In: 12th IFIP WG 6.1 International Workshop on Testing Communicating Systems, September 1-3, 1999, Budapest, Hungary (pp. pp. 179-196).

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 (pp. pp. 30-54).

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 (pp. pp. 104-114).

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 (pp. pp. 46-65).

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 (pp. pp. 391-397).

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 (pp. pp. 228-239).

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 (pp. pp. 126-147).

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) (pp. pp. 3-18).

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 (pp. pp. 393-408).

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 (pp. pp. 568-580).

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 (pp. pp. 197-207).

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 (pp. pp. 1-16).

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) (pp. pp. 772-786).

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

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 (pp. pp. 317-332).

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) (pp. pp. 468-477).

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

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 (pp. pp. 416-431).

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 (pp. pp. 59-72).

Eijk, Peter van 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, 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) (pp. pp. 145-160).

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 (pp. pp. 160-177).

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

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 (pp. pp. 21-49).

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, Peter van 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 (pp. pp. 160-174).

Sinderen, Marten van 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 (pp. pp. 294-309).

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 (pp. pp. 258-278).

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 (pp. pp. 313-327).

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

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 (pp. pp. 124-125).

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 (pp. pp. 227-246).

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

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

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. (pp. pp. 269-285).

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

This list was generated on Thu Jul 31 06:04:52 2014 CEST.