Martijn Hendriks

	2011
11		Martijn Hendriks, Marc Geilen, Twan Basten: Pareto Analysis with Uncertainty. EUC 2011: 189-196
10		Nikola Trcka, Martijn Hendriks, Twan Basten, Marc Geilen, Lou J. Somers: Integrated model-driven design-space exploration for embedded systems. ICSAMOS 2011: 339-346
	2010
9		Twan Basten, Emiel van Benthum, Marc Geilen, Martijn Hendriks, Fred Houben, Georgeta Igna, Frans Reckers, Sebastian de Smet, Lou J. Somers, Egbert Teeselink: Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset. ISoLA (1) 2010: 90-105
	2006
8		Martijn Hendriks, Marcel Verhoef: Timed automata based analysis of embedded system architectures. IPDPS 2006
7		Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks: UPPAAL 4.0. QEST 2006: 125-126
6		Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager: Model checker aided design of a controller for a wafer scanner. STTT 8(6): 633-647 (2006)
	2005
5		Martijn Hendriks: Model Checking the Time to Reach Agreement. FORMATS 2005: 98-111
4		Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader: Production Scheduling by Reachability Analysis - A Case Study. IPDPS 2005
	2004
3		Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager: Model Checker Aided Design of a Controller for a Wafer Scanner. ISoLA (Preliminary proceedings) 2004: 201-208
	2003
2		Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager: Adding Symmetry Reduction to Uppaal. FORMATS 2003: 46-59
	2002
1		Martijn Hendriks, Kim Guldstrand Larsen: Exact Acceleration of Real-Time Model Checking. Electr. Notes Theor. Comput. Sci. 65(6): 120-139 (2002)

Coauthor Index

1	Twan Basten	[9] [10] [11]
2	Gerd Behrmann	[2] [4] [7]
3	Emiel van Benthum	[9]
4	Ed Brinksma	[4]
5	Alexandre David	[7]
6	Marc Geilen (Marc C. W. Geilen)	[9] [10] [11]
7	John Håkansson	[7]
8	Fred Houben	[9]
9	Georgeta Igna	[9]
10	Kim Guldstrand Larsen (Kim G. Larsen)	[1] [2] [7]
11	Angelika Mader	[4]
12	Peter Niebert	[2]
13	Barend van den Nieuwelaar	[3] [6]
14	Paul Pettersson	[7]
15	Frans Reckers	[9]
16	Sebastian de Smet	[9]
17	Lou J. Somers	[9] [10]
18	Egbert Teeselink	[9]
19	Nikola Trcka	[10]
20	Frits W. Vaandrager	[2] [3] [6]
21	Marcel Verhoef	[8]
22	Wang Yi	[7]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page