Marc Geilen

2009
34	EE	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
2008
33	EE	Hamid Shojaei, Twan Basten, Marc Geilen, Phillip Stanley-Marbell: SPaC: a symbolic pareto calculator. CODES+ISSS 2008: 179-184
32	EE	Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Sander Stuijk: Parametric Throughput Analysis of Synchronous Data Flow Graphs. DATE 2008: 116-121
31	EE	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	EE	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	EE	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	EE	Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal: Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs. DAC 2007: 777-782
27	EE	Marc Geilen, Twan Basten: A calculator for Pareto points. DATE 2007: 285-290
26	EE	Amir Hossein Ghamarian, Sander Stuijk, Twan Basten, Marc Geilen, Bart D. Theelen: Latency Minimization for Synchronous Data Flow Graphs. DSD 2007: 189-196
25	EE	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	EE	Rob Hoes, Twan Basten, Chen-Khong Tham, Marc Geilen, Henk Corporaal: Analysing qos trade-offs in wireless sensor networks. MSWiM 2007: 60-69
23	EE	Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten: An Algebra of Pareto Points. Fundam. Inform. 78(1): 35-74 (2007)
2006
22	EE	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	EE	Sander Stuijk, Marc Geilen, Twan Basten: SDF3: SDF For Free. ACSD 2006: 276-278
20	EE	Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal: Branching-Time Property Preservation Between Real-Time Systems. ATVA 2006: 260-275
19	EE	Sander Stuijk, Marc Geilen, Twan Basten: Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs. DAC 2006: 899-904
18	EE	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	EE	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	EE	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	EE	Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten: An Algebra of Pareto Points. ACSD 2005: 88-97
14	EE	Marc Geilen, Twan Basten, Sander Stuijk: Minimising buffer requirements of synchronous dataflow graphs with model checking. DAC 2005: 819-824
13	EE	Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen: Predictable Embedding of Large Data Structures in Multiprocessor Networks-on-Chip. DATE 2005: 254-255
12	EE	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	EE	Marc Geilen, Twan Basten: Reactive process networks. EMSOFT 2004: 137-146
10	EE	Twan Basten, Dragan Bosnacki, Marc Geilen: Cluster-Based Partial-Order Reduction. Autom. Softw. Eng. 11(4): 365-402 (2004)
2003
9	EE	Marc Geilen: An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic. CAV 2003: 394-406
8	EE	Marc Geilen, Twan Basten: Requirements on the Execution of Kahn Process Networks. ESOP 2003: 319-334
7	EE	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	EE	Marc Geilen: On the Construction of Monitors for Temporal Logic Properties. Electr. Notes Theor. Comput. Sci. 55(2): (2001)
2000
4	EE	Marc Geilen, Dennis Dams: An On-the-Fly Tableau Construction for a Real-Time Temporal Logic. FTRTFT 2000: 276-290
1999
3	EE	Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen: Software Synthesis for System Level Design Using Process Execution Trees. EUROMICRO 1999: 1463-1467
2	EE	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	EE	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]
2	Marco Bekooij	[22]
3	Leo J. van Bokhoven	[3] [6]
4	Dragan Bosnacki	[10]
5	Henk Corporaal	[20] [24] [28] [34]
6	Dennis Dams	[4]
7	Oana Florescu	[25]
8	Amir Hossein Ghamarian	[17] [18] [22] [26] [29] [32]
9	Stefan Valentin Gheorghita	[16]
10	Rob Hoes	[24] [34]
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]
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]
25	Chen-Khong Tham	[24] [34]
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	[34]