Marc Geilen

	2009
37		Marc Geilen: Reduction techniques for synchronous dataflow graphs. DAC 2009: 911-916
36		Hamid Shojaei, Amir Hossein Ghamarian, Twan Basten, Marc Geilen, Sander Stuijk, Rob Hoes: A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management. DAC 2009: 917-922
35		Rob Hoes, Twan Basten, Wai-Leong Yeow, Chen-Khong Tham, Marc Geilen, Henk Corporaal: QoS Management for Wireless Sensor Networks with a Mobile Sink. EWSN 2009: 53-68
34		Rob Hoes, Twan Basten, Chen-Khong Tham, Marc Geilen, Henk Corporaal: Quality-of-service trade-off analysis for wireless sensor networks. Perform. Eval. 66(3-5): 191-208 (2009)
	2008
33		Hamid Shojaei, Twan Basten, Marc Geilen, Phillip Stanley-Marbell: SPaC: a symbolic pareto calculator. CODES+ISSS 2008: 179-184
32		Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Sander Stuijk: Parametric Throughput Analysis of Synchronous Data Flow Graphs. DATE 2008: 116-121
31		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
30		Sander Stuijk, Marc Geilen, Twan Basten: Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs. IEEE Trans. Computers 57(10): 1331-1345 (2008)
29		Sander Stuijk, Twan Basten, Marc Geilen, Amir Hossein Ghamarian, Bart D. Theelen: Resource-efficient routing and scheduling of time-constrained streaming communication on networks-on-chip. Journal of Systems Architecture - Embedded Systems Design 54(3-4): 411-426 (2008)
	2007
28		Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal: Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs. DAC 2007: 777-782
27		Marc Geilen, Twan Basten: A calculator for Pareto points. DATE 2007: 285-290
26		Amir Hossein Ghamarian, Sander Stuijk, Twan Basten, Marc Geilen, Bart D. Theelen: Latency Minimization for Synchronous Data Flow Graphs. DSD 2007: 189-196
25		Bart D. Theelen, Oana Florescu, Marc Geilen, Jinfeng Huang, P. H. A. van der Putten, Jeroen Voeten: Software/Hardware Engineering with the Parallel Object-Oriented Specification Language. MEMOCODE 2007: 139-148
24		Rob Hoes, Twan Basten, Chen-Khong Tham, Marc Geilen, Henk Corporaal: Analysing qos trade-offs in wireless sensor networks. MSWiM 2007: 60-69
23		Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten: An Algebra of Pareto Points. Fundam. Inform. 78(1): 35-74 (2007)
	2006
22		Amir Hossein Ghamarian, Marc Geilen, Sander Stuijk, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, A. J. M. Moonen, Marco Bekooij: Throughput Analysis of Synchronous Data Flow Graphs. ACSD 2006: 25-36
21		Sander Stuijk, Marc Geilen, Twan Basten: SDF3: SDF For Free. ACSD 2006: 276-278
20		Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal: Branching-Time Property Preservation Between Real-Time Systems. ATVA 2006: 260-275
19		Sander Stuijk, Marc Geilen, Twan Basten: Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs. DAC 2006: 899-904
18		Sander Stuijk, Twan Basten, Marc Geilen, Amir Hossein Ghamarian, Bart D. Theelen: Resource-Efficient Routing and Scheduling of Time-Constrained Network-on-Chip Communication. DSD 2006: 45-52
17		Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, Sander Stuijk: Liveness and Boundedness of Synchronous Data Flow Graphs. FMCAD 2006: 68-75
16		Bart D. Theelen, Marc Geilen, Twan Basten, Jeroen Voeten, Stefan Valentin Gheorghita, Sander Stuijk: A scenario-aware data flow model for combined long-run average and worst-case performance analysis. MEMOCODE 2006: 185-194
	2005
15		Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten: An Algebra of Pareto Points. ACSD 2005: 88-97
14		Marc Geilen, Twan Basten, Sander Stuijk: Minimising buffer requirements of synchronous dataflow graphs with model checking. DAC 2005: 819-824
13		Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen: Predictable Embedding of Large Data Structures in Multiprocessor Networks-on-Chip. DATE 2005: 254-255
12		Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen: Predictable embedding of large data structures in multiprocessor networks-on-chip. DSD 2005: 388-396
	2004
11		Marc Geilen, Twan Basten: Reactive process networks. EMSOFT 2004: 137-146
10		Twan Basten, Dragan Bosnacki, Marc Geilen: Cluster-Based Partial-Order Reduction. Autom. Softw. Eng. 11(4): 365-402 (2004)
	2003
9		Marc Geilen: An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic. CAV 2003: 394-406
8		Marc Geilen, Twan Basten: Requirements on the Execution of Kahn Process Networks. ESOP 2003: 319-334
7		Jinfeng Huang, Jeroen Voeten, Marc Geilen: Real-time Property Preservation in Approximations of Timed Systems. MEMOCODE 2003: 163-171
	2001
6		Marc Geilen, Jeroen Voeten, P. H. A. van der Putten, Leo J. van Bokhoven, M. P. J. Stevens: Object-oriented modelling and specification using SHE. Comput. Lang. 27(1/3): 19-38 (2001)
5		Marc Geilen: On the Construction of Monitors for Temporal Logic Properties. Electr. Notes Theor. Comput. Sci. 55(2): (2001)
	2000
4		Marc Geilen, Dennis Dams: An On-the-Fly Tableau Construction for a Real-Time Temporal Logic. FTRTFT 2000: 276-290
	1999
3		Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen: Software Synthesis for System Level Design Using Process Execution Trees. EUROMICRO 1999: 1463-1467
2		P. H. A. van der Putten, Jeroen Voeten, Marc Geilen, M. P. J. Stevens: System Level Models for Real-Time Communication. EUROMICRO 1999: 1496-
	1998
1		Jeroen Voeten, P. H. A. van der Putten, Marc Geilen, M. P. J. Stevens: System Level Modelling for Hardware/Software Systems. EUROMICRO 1998: 10154-10161

Coauthor Index

1	Twan Basten	[8] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [21] [22] [23] [24] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36]
2	Marco Bekooij	[22]
3	Leo J. van Bokhoven	[3] [6]
4	Dragan Bosnacki	[10]
5	Henk Corporaal	[20] [24] [28] [34] [35]
6	Dennis Dams	[4]
7	Oana Florescu	[25]
8	Amir Hossein Ghamarian	[17] [18] [22] [26] [29] [32] [36]
9	Stefan Valentin Gheorghita	[16]
10	Rob Hoes	[24] [34] [35] [36]
11	Jinfeng Huang	[7] [20] [25]
12	Georgeta Igna	[31]
13	Venkatesh Kannan	[31]
14	Bart Mesman	[12] [13]
15	A. J. M. Moonen	[22]
16	Mohammad Reza Mousavi	[17] [22]
17	Ralph Otten	[15] [23]
18	P. H. A. van der Putten	[1] [2] [6] [25]
19	Hamid Shojaei	[33] [36]
20	Sebastian de Smet	[31]
21	Lou J. Somers	[31]
22	Phillip Stanley-Marbell	[33]
23	M. P. J. Stevens	[1] [2] [6]
24	Sander Stuijk	[12] [13] [14] [16] [17] [18] [19] [21] [22] [26] [28] [29] [30] [32] [36]
25	Chen-Khong Tham	[24] [34] [35]
26	Bart D. Theelen	[15] [16] [17] [18] [22] [23] [25] [26] [29]
27	Frits W. Vaandrager	[31]
28	Jeroen Voeten	[1] [2] [3] [6] [7] [16] [20] [25]
29	Marc Voorhoeve	[31]
30	Yang Yang	[31]
31	Wai-Leong Yeow	[35]