Marc Geilen

Marc C. W. Geilen

	2012
67		Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal: Playing games with scenario- and resource-aware SDF graphs through policy iteration. DATE 2012: 194-199
66		Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal: Modeling static-order schedules in synchronous dataflow graphs. DATE 2012: 775-780
65		Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk: Static Rate-Optimal Scheduling of Multirate DSP Algorithms via Retiming and Unfolding. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 109-118
64		Xue-Yang Zhu, Twan Basten, Marc Geilen, Sander Stuijk: Efficient Retiming of Multirate DSP Algorithms. IEEE Trans. on CAD of Integrated Circuits and Systems 31(6): 831-844 (2012)
	2011
63		Sander Stuijk, Twan Basten, Benny Akesson, Marc Geilen, Orlando Moreira, Jan Reineke: Designing next-generation real-time streaming systems. CODES+ISSS 2011: 375-376
62		Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal: Iteration-Based Trade-Off Analysis of Resource-Aware SDF. DSD 2011: 567-574
61		Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal: Hybrid Code-Data Prefetch-Aware Multiprocessor Task Graph Scheduling. DSD 2011: 583-590
60		Martijn Hendriks, Marc Geilen, Twan Basten: Pareto Analysis with Uncertainty. EUC 2011: 189-196
59		Bart D. Theelen, Marc Geilen, Jeroen Voeten: Performance Model Checking Scenario-Aware Dataflow. FORMATS 2011: 43-59
58		Marc Geilen, Stavros Tripakis, Maarten Wiggers: The earlier the better: a theory of timed actor interfaces. HSCC 2011: 23-32
57		Nikola Trcka, Martijn Hendriks, Twan Basten, Marc Geilen, Lou J. Somers: Integrated model-driven design-space exploration for embedded systems. ICSAMOS 2011: 339-346
56		Sander Stuijk, Marc Geilen, Bart D. Theelen, Twan Basten: Scenario-aware dataflow: Modeling, analysis and implementation of dynamic applications. ICSAMOS 2011: 404-411
55		Marcel Steine, Cuong Viet Ngo, Ramon Serna Oliver, Marc Geilen, Twan Basten, Gerhard Fohler, Jean-Dominique Decotignie: Proactive reconfiguration of wireless sensor networks. MSWiM 2011: 31-40
54		Milos Blagojevic, Majid Nabi, Marc Geilen, Twan Basten, Teun Hendriks, Marcel Steine: A Probabilistic Acknowledgment Mechanism for Wireless Sensor Networks. NAS 2011: 63-72
53		Majid Nabi, Milos Blagojevic, Marc Geilen, Twan Basten: Dynamic data prioritization for quality-of-service differentiation in heterogeneous Wireless Sensor Networks. SECON 2011: 296-304
52		Majid Nabi, Marc Geilen, Twan Basten: MoBAN: a configurable mobility model for wireless body area networks. SimuTools 2011: 168-177
	2010
51		Marc Geilen, Sander Stuijk: Worst-case performance analysis of synchronous dataflow scenarios. CODES+ISSS 2010: 125-134
50		Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal: Automated bottleneck-driven design-space exploration of media processing systems. DATE 2010: 1041-1046
49		Maarten Wiggers, Marco Bekooij, Marc Geilen, Twan Basten: Simultaneous budget and buffer size computation for throughput-constrained task graphs. DATE 2010: 1669-1672
48		Sander Stuijk, Marc Geilen, Twan Basten: A Predictable Multiprocessor Design Flow for Streaming Applications with Dynamic Behaviour. DSD 2010: 548-555
47		Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal: Thermal-aware scratchpad memory design and allocation. ICCD 2010: 118-124
46		Peter Poplavko, Marc Geilen, Twan Basten: Predicting the throughput of multiprocessor applications under dynamic workload. ICCD 2010: 282-288
45		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
44		Majid Nabi, Milos Blagojevic, Marc Geilen, Twan Basten, Teun Hendriks: MCMAC: An Optimized Medium Access Control Protocol for Mobile Clusters in Wireless Sensor Networks. SECON 2010: 28-36
43		Marc Geilen: Synchronous dataflow scenarios. ACM Trans. Embedded Comput. Syst. 10(2): 16 (2010)
42		Orlando Moreira, Twan Basten, Marc Geilen, Sander Stuijk: Buffer Sizing for Rate-Optimal Single-Rate Data-Flow Scheduling Revisited. IEEE Trans. Computers 59(2): 188-201 (2010)
	2009
41		Marc Geilen: Reduction techniques for synchronous dataflow graphs. DAC 2009: 911-916
40		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
39		Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal: Exploring trade-offs between performance and resource requirements for synchronous dataflow graphs. ESTImedia 2009: 96-105
38		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
37		Milos Blagojevic, Majid Nabi, Teun Hendriks, Twan Basten, Marc Geilen: Fast simulation methods to predict wireless sensor network performance. PE-WASUN 2009: 41-48
36		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
35		Hamid Shojaei, Twan Basten, Marc Geilen, Phillip Stanley-Marbell: SPaC: a symbolic pareto calculator. CODES+ISSS 2008: 179-184
34		Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Sander Stuijk: Parametric Throughput Analysis of Synchronous Data Flow Graphs. DATE 2008: 116-121
33		Pieter H. Hartel, Theo C. Ruys, Marc C. W. Geilen: Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow. FMCAD 2008: 1-10
32		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
31		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)
30		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
29		Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal: Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs. DAC 2007: 777-782
28		Marc Geilen, Twan Basten: A calculator for Pareto points. DATE 2007: 285-290
27		Amir Hossein Ghamarian, Sander Stuijk, Twan Basten, Marc Geilen, Bart D. Theelen: Latency Minimization for Synchronous Data Flow Graphs. DSD 2007: 189-196
26		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
25		Rob Hoes, Twan Basten, Chen-Khong Tham, Marc Geilen, Henk Corporaal: Analysing qos trade-offs in wireless sensor networks. MSWiM 2007: 60-69
24		Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten: An Algebra of Pareto Points. Fundam. Inform. 78(1): 35-74 (2007)
	2006
23		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
22		Sander Stuijk, Marc Geilen, Twan Basten: SDF3: SDF For Free. ACSD 2006: 276-278
21		Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal: Branching-Time Property Preservation Between Real-Time Systems. ATVA 2006: 260-275
20		Sander Stuijk, Marc Geilen, Twan Basten: Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs. DAC 2006: 899-904
19		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
18		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
17		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
16		Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten: An Algebra of Pareto Points. ACSD 2005: 88-97
15		Marc Geilen, Twan Basten, Sander Stuijk: Minimising buffer requirements of synchronous dataflow graphs with model checking. DAC 2005: 819-824
14		Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen: Predictable Embedding of Large Data Structures in Multiprocessor Networks-on-Chip. DATE 2005: 254-255
13		Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen: Predictable embedding of large data structures in multiprocessor networks-on-chip. DSD 2005: 388-396
	2004
12		Marc Geilen, Twan Basten: Reactive process networks. EMSOFT 2004: 137-146
11		Twan Basten, Dragan Bosnacki, Marc Geilen: Cluster-Based Partial-Order Reduction. Autom. Softw. Eng. 11(4): 365-402 (2004)
	2003
10		Twan Basten, Marc Geilen, Harmke de Groot: Ambient intelligence - impact on embedded system design. Kluwer 2003: I-VIII, 1-348
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): 181-199 (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	Benny Akesson	[63]
2	Twan Basten	[8] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [22] [23] [24] [25] [27] [28] [29] [30] [31] [32] [34] [35] [36] [37] [38] [39] [40] [42] [44] [45] [46] [47] [48] [49] [50] [52] [53] [54] [55] [56] [57] [60] [61] [62] [63] [64] [65] [66] [67]
3	Marco Bekooij (Marco Jan Gerrit Bekooij)	[23] [49]
4	Emiel van Benthum	[45]
5	Milos Blagojevic	[37] [44] [53] [54]
6	Leo J. van Bokhoven	[3] [6]
7	Dragan Bosnacki	[11]
8	Henk Corporaal	[21] [25] [29] [36] [38] [39] [47] [50] [61] [62] [66] [67]
9	Morteza Damavandpeyma	[47] [61] [66]
10	Dennis Dams	[4]
11	Jean-Dominique Decotignie	[55]
12	Oana Florescu	[26]
13	Gerhard Fohler	[55]
14	Amir Hossein Ghamarian	[18] [19] [23] [27] [30] [34] [40]
15	Stefan Valentin Gheorghita	[17]
16	Harmke de Groot	[10]
17	Pieter H. Hartel	[33]
18	Martijn Hendriks	[45] [57] [60]
19	Teun Hendriks	[37] [44] [54]
20	Rob Hoes	[25] [36] [38] [40]
21	Fred Houben	[45]
22	Jinfeng Huang	[7] [21] [26]
23	Georgeta Igna	[32] [45]
24	Venkatesh Kannan	[32]
25	Bart Mesman	[13] [14]
26	A. J. M. Moonen	[23]
27	Orlando Moreira	[42] [63]
28	Mohammad Reza Mousavi	[18] [23]
29	Majid Nabi	[37] [44] [52] [53] [54]
30	Cuong Viet Ngo	[55]
31	Ramon Serna Oliver	[55]
32	Ralph Otten	[16] [24]
33	Peter Poplavko	[46]
34	P. H. A. van der Putten	[1] [2] [6] [26]
35	Frans Reckers	[45]
36	Jan Reineke	[63]
37	Theo C. Ruys	[33]
38	Hamid Shojaei	[35] [40]
39	Sebastian de Smet	[32] [45]
40	Lou J. Somers	[32] [45] [57]
41	Phillip Stanley-Marbell	[35]
42	Marcel Steine	[54] [55]
43	M. P. J. Stevens	[1] [2] [6]
44	Sander Stuijk	[13] [14] [15] [17] [18] [19] [20] [22] [23] [27] [29] [30] [31] [34] [39] [40] [42] [47] [48] [50] [51] [56] [61] [62] [63] [64] [65] [66] [67]
45	Egbert Teeselink	[45]
46	Chen-Khong Tham	[25] [36] [38]
47	Bart D. Theelen	[16] [17] [18] [19] [23] [24] [26] [27] [30] [56] [59]
48	Nikola Trcka	[57]
49	Stavros Tripakis	[58]
50	Frits W. Vaandrager	[32]
51	Jeroen Voeten	[1] [2] [3] [6] [7] [17] [21] [26] [59]
52	Marc Voorhoeve	[32]
53	Maarten Wiggers	[49] [58]
54	Yang Yang	[32] [39] [50] [62] [67]
55	Wai-Leong Yeow	[38]
56	Xue-Yang Zhu	[64] [65]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page