Georgeta Igna

	2012
5		Fred Houben, Georgeta Igna, Frits W. Vaandrager: Modeling Task Systems Using Parameterized Partial Orders. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 317-327
	2010
4		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
3		Georgeta Igna, Frits W. Vaandrager: Verification of Printer Datapaths Using Timed Automata. ISoLA (2) 2010: 412-423
	2009
2		Israa AlAttili, Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu, Frits W. Vaandrager: Adaptive Scheduling of Data Paths using Uppaal Tiga QFM 2009: 1-11
	2008
1		Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits W. Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou J. Somers: Formal Modeling and Scheduling of Datapaths of Digital Document Printers. FORMATS 2008: 170-187

Coauthor Index

1	Israa AlAttili	[2]
2	Twan Basten	[1] [4]
3	Emiel van Benthum	[4]
4	Marc Geilen (Marc C. W. Geilen)	[1] [4]
5	Martijn Hendriks	[4]
6	Fred Houben	[2] [4] [5]
7	Venkatesh Kannan	[1]
8	Steffen Michels	[2]
9	Frans Reckers	[4]
10	Sebastian de Smet	[1] [4]
11	Lou J. Somers	[1] [4]
12	Egbert Teeselink	[4]
13	Frits W. Vaandrager	[1] [2] [3] [5]
14	Marc Voorhoeve	[1]
15	Yang Yang	[1]
16	Feng Zhu	[2]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page