dblp.uni-trier.dewww.uni-trier.de

Marc Geilen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)