Searching for authors named "Martijn Hendriks" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Model Checking the Time to Reach Agreement
- …Model Checking the Time to Reach Agreement ⋆ Martijn Hendriks Institute for Computing…
- Cited by 3 (0 self) – Add To MetaCart
-
Enhancing UPPAAL by Exploiting Symmetry
- … by Exploiting Symmetry ? Martijn Hendriks martijnh@(email omitted); Department of Computing Science, University…
- Cited by 2 (1 self) – Add To MetaCart
-
Exact acceleration of real-time model checking
- …://www.elsevier.nl/locate/entcs/volume65.html 20 pages Exact Acceleration of Real-Time Model Checking Martijn Hendriks 1 ;2 Department…
- Cited by 8 (2 self) – Add To MetaCart
-
Model Checking Timed Automata - Techniques and Applications
- …Model Checking Timed Automata Techniques and Applications Martijn Hendriks Copyright c○ 2006…
- Cited by 11 (0 self) – Add To MetaCart
-
unknown title
- … Adding Symmetry Reduction to Uppaal ? Martijn Hendriks 1 , Gerd Behrmann 2 , Kim Larsen 2…
- Add To MetaCart
-
Adding Symmetry Reduction to UPPAAL
- …Adding Symmetry Reduction to Uppaal Martijn Hendriks 1 Gerd Behrmann 2 Kim Larsen 2 Peter…
- Cited by 11 (1 self) – Add To MetaCart
-
Recognizing finite repetitive scheduling patterns in manufacturing systems
- …RECOGNIZING FINITE REPETITIVE SCHEDULING PATTERNS IN MANUFACTURING SYSTEMS Martijn Hendriks 1…
- Cited by 2 (0 self) – Add To MetaCart
-
Model checker aided design of a controller for a wafer scanner
- …Model Checker Aided Design of a Controller for a Wafer Scanner ⋆ Martijn Hendriks 1 , Barend van…
- Cited by 4 (0 self) – Add To MetaCart
Showing 1 through 8.
