- Modeling and Reconfigurating critical Business Processes for the purpose of a Business Continuity Management
- Vakkenlijst voor Informatica 2010/2011 Versie 2010.1
- Analysing the BKE-security protocol with CRL Jan Friso Groote Sjouke Mauw Alexander Serebrenik
- College Speci cation and analysis of Embedded Systems, 2R770, Spring 2003
- An Ecient Algorithm for Branching Bisimulation and Stuttering Equivalence
- Tentamen Veri catie en Testen, 2R460, 19/11/99, 14.00-17.00 Gebruik van het collegemateriaal over testen is niet toegestaan. Dit tentamen bestaat uit 6 vragen -
- Verifying a Sliding Window Protocol in CRL Wan Fokkink 1,2 , Jan Friso Groote 1,3 , Jun Pang 1 ,
- Requirement analysis, design and verification RADV, 2IW20
- Congruence for SOS with Data MohammadReza Mousavi, Michel Reniers, Jan Friso Groote
- Modelling Distributed Systems Wan Fokkink
- Software Engineering Reference Framework Michel Chaudron, Jan Friso Groote, Kees van Hee,
- College Verificatie en Testen 2002/2003 (2R460) Docenten: Jan Friso Groote en Ruurd Kuiper
- Semantics, bisimulation and congruence results for a general stochastic process operator
- The Syntax and Semantics of CRL Jan Friso Groote
- The propositional formula checker HeerHugo J.F. Groote
- Tentamen Veri catie en Testen, 2R460, 28/11/2000, 9.00-12.00 Gebruik van het collegemateriaal over testen is niet toegestaan. Dit tentamen bestaat uit 6 vragen -
- Efficient Almost Wait-free Parallel Accessible Dynamic Hashtables
- System validation, 2IW26 Jan Friso Groote (J.F.Groote@tue.nl, HG 6.75, 040-247 5003).
- Modelling Distributed Systems Wan Fokkink
- Requirement analysis, design and verification RADV, 2IW25
- Verification Techniques for the RADV Project MohammadReza Mousavi
- Operational semantics for Petri Net components Jan Friso Groote and Marc Voorhoeve
- De Realiteit van Denkniveaus bij Algoritmen Jacob Perrenet, Jan Friso Groote en Eric Kaasenbrood
- A Hierarchy of SOS Rule Formats (Preliminary abstract)
- Projectwijzer OGO 2.1 (2R660) Het decoderen van geheimschrift
- Process Algebra and Structured Operational Semantics
- Verification of Parallel Systems via Decomposition Jan Friso Groote1
- LAnguage for Railway Interlocking Specifications
- !"$#&%$')(0#1"2 (3 45!6#789A@BCEDFGH#!I9 I PRQTS
- A linear translation from LTL to the first-order modal -calculus
- Een structurele aanpak voor faalkansanalyse van software intensieve systemen
- Detailed proof of lemma 3.19 of [1] Aad Mathijssen
- Trial Exam Requirement Analysis, Design and Verification RADV, 2IW25, February 30, 2112, 9:00-12:00
- Honderdduizend maal excuus voorkomt geen ramp door Jan Friso Groote. zaterdag 01 maart 2008 | 03:25 | Laatst bijgewerkt op: zaterdag 01 maart 2008 | 09:47
- Lock-free Parallel Garbage Collection by Mark&Sweep , Groote, J.F.2
- Requirement analysis, design and verification RADV, 2IW25
- A CHECKER FOR MODAL FORMULAS FOR PROCESSES WITH DATA Jan Friso Groote and Tim A.C. Willemse
- Verification of Networks of Timed Automata using mCRL2 Jan Friso Groote Michel A. Reniers Yaroslav S. Usenko
- Requirement analysis, design and verification RADV, 2IW20
- C voor OGO 2.1-1 C in a nutshell for OGO
- Search Algorithms for Automated Validation Tom A.N. Engels, Jan Friso Groote,
- Evaluation of a Business Continuity Plan using Process Algebra and Modal Logic
- SOS Formats and Meta-Theory 20 Years After
- AN ANALYSIS OF THE CONTROL HIERARCHY MODELLING OF THE CMS DETECTOR CONTROL SYSTEM
- Sarir: A Rebeca to mCRL2 Translator , M. Sirjani1
- Actions Multi-Actions Alternative and Sequential Composition Conditional and Sum Operators Algebraic Process Descriptions
- Inhoudsopgave 1 Inleiding 1
- Benefits of Applying Formal Methods to Industrial Control Software
- Journal of Research and Practice in Information Technology, Vol. 43, No. 1, February 2011 65 Generation and Evaluation of Business Continuity
- Forschungsberichte der Fakultt IV Elektrotechnik und Informatik
- Specification Guidelines to avoid the State Space Explosion Problem
- Switching Graphs Jan Friso Groote
- 1 Analysis of Distributed Systems with mCRL2 3 Jan Friso Groote, Aad Mathijssen, Michel Reniers, Yaroslav S. Usenko
- Opinie14 Zaterdag 1 maart 2008 Brabants Dagblad Jonge wurger
- OpinieBrabants Dagblad Zaterdag 1 maart 2008 15 Alle brommers moeten
- Statistical Certification of Software Systems Alessandro Di Bucchianico, Jan Friso Groote,
- Time Abstraction in Timed CRL `a la Regions Jan Friso Groote Michel A. Reniers Yaroslav S. Usenko
- AG14-Pagina 17 Cyaan MagYelZw
- Parameterised Boolean Equation Systems Jan Friso Groote and Tim Willemse
- Exploring Students' Understanding of the Concept of Algorithm: Levels of Abstraction
- A sub-quadratic algorithm for conjunctive and disjunctive BESs
- A Syntactic Commutativity Format for SOS MohammadReza Mousavi, Michel Reniers and Jan Friso Groote
- Denkniveaus bij algoritmen Jacob Perrenet, Jan Friso Groote en Eric Kaasenbrood
- Statistical Certification of Software Systems A. Di Bucchianico1,2,4
- A Dedicated Verification Approach for Scheduling in Complex Manufacturing Machines
- Transforming equality logic to propositional logic
- Algebraic Process Verification J. F. Groote
- Verification Techniques for the RADV Project MohammadReza Mousavi
- Modelling and Analysis of Communicating Systems Jan Friso Groote & Michel Reniers
- Requirement analysis, design and verification RADV, 2IW25
- Modelling and Analysis of Communicating Jan Friso Groote & Michel Reniers
- Modelling and Analysis of Communicating Jan Friso Groote & Michel Reniers
- Assigment for Requirement Analysis, Design and Verification RADV, 2IW25
- Parallel Composition Communication and Allow Hiding Parallel Processes
- Weak Behavioral Equivalences Mohammad Mousavi
- Weak Equivalences Behavioral Equivalences
- Designing and Understanding the Behaviour of Jan Friso Groote & Michel Reniers
- Abstract Data Types Mohammad Mousavi
- Model exam Requirement Analysis, Design and Verification RADV, 2IW20, January 2004
- Requirement analysis, design and verification RADV, 2IW20
- Solutions to Exercises 2.5, 2.12 and 2.14 of [1] Aad Mathijssen
- Requirement analysis, design and verification RADV, 2IW20
- Projectwijzer OGO 2.1 (2I040) Het ontwerp van een dienstregeling voor de NS
- A Fast Bit-Vector Algorithm for Approximate String Matching Based on Dynamic Programming
- Assignment for the course 2R770, design and analysis of em-bedded systems, Spring 2003
- Tentamen Veri catie en Testen, 2R460, 19/11/99 Gebruik van het collegemateriaal over testen is niet toegestaan. Dit tentamen bestaat uit 6 vragen.
- Designing and Understanding the Behaviour of Jan Friso Groote & Michel Reniers
- nformatica is de onzichtbare innova-tiemotor van onze kenniseconomie,
- Modelling and Analysis of Communicating Systems Jan Friso Groote & Michel Reniers
- Parameterised anonymity Jan Friso Groote and Simona Orzan
- System validation, 2IW26 Jan Friso Groote (J.F.Groote@tue.nl, HG 6.75, 040-247 5003).
- Modelling and Analysis of Communicating Systems Jan Friso Groote and Mohammad Reza Mousavi
- Modelling and Analysis of Communicating Systems Jan Friso Groote and Mohammad Reza Mousavi
- Analyzing a Controller of a Power Distribution Unit Using Formal Methods
- Experience report on developing the Front-end Client unit under the control of formal methods
- Suitability of mCRL2 for Concurrent-System A 2 2 Switch Case Study
- Analyzing a Controller of a Power Distribution Unit using Formal Methods
- Dogfooding the Structural Operational Semantics of mCRL2
