Martijn Hendriks

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2012
c11		Martijn Hendriks, Frits W. Vaandrager: Reconstructing Critical Paths from Execution Traces. CSE 2012: 524-531
c10		Twan Basten, Martijn Hendriks, Lou J. Somers, Nikola Trcka: Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems - (Extended Abstract). FORMATS 2012: 1-6
	2011
c9		Martijn Hendriks, Marc Geilen, Twan Basten: Pareto Analysis with Uncertainty. EUC 2011: 189-196
c8		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
c7		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
j2		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)
c6		Martijn Hendriks, Marcel Verhoef: Timed automata based analysis of embedded system architectures. IPDPS 2006
c5		Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks: UPPAAL 4.0. QEST 2006: 125-126
	2005
c4		Martijn Hendriks: Model Checking the Time to Reach Agreement. FORMATS 2005: 98-111
c3		Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader: Production Scheduling by Reachability Analysis - A Case Study. IPDPS 2005
	2004
c2		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
c1		Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager: Adding Symmetry Reduction to Uppaal. FORMATS 2003: 46-59
	2002
j1		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	[c10] [c9] [c8] [c7]
2	Gerd Behrmann	[c5] [c3] [c1]
3	Emiel van Benthum	[c7]
4	Ed Brinksma	[c3]
5	Alexandre David	[c5]
6	Marc Geilen (Marc C. W. Geilen)	[c9] [c8] [c7]
7	Fred Houben	[c7]
8	John Håkansson	[c5]
9	Georgeta Igna	[c7]
10	Kim Guldstrand Larsen (Kim G. Larsen)	[c5] [c1] [j1]
11	Angelika Mader	[c3]
12	Peter Niebert	[c1]
13	Barend van den Nieuwelaar	[j2] [c2]
14	Paul Pettersson	[c5]
15	Frans Reckers	[c7]
16	Sebastian de Smet	[c7]
17	Lou J. Somers	[c10] [c8] [c7]
18	Egbert Teeselink	[c7]
19	Nikola Trcka	[c10] [c8]
20	Frits W. Vaandrager	[c11] [j2] [c2] [c1]
21	Marcel Verhoef	[c6]
22	Wang Yi 0001	[c5]

Last update Sat May 25 10:40:09 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page