Marc Geilen

Stavros Tripakis, Dai N. Bui, Marc Geilen, Bert Rodiers, Edward A. Lee: Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs. ACM Trans. Embedded Comput. Syst. 12(3): 83 (2013)

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)

Firew Siyoum, Marc Geilen, Orlando Moreira, Henk Corporaal: Worst-case throughput analysis of real-time dynamic streaming applications. CODES+ISSS 2012: 463-472

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

Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal: Modeling static-order schedules in synchronous dataflow graphs. DATE 2012: 775-780

Marcel Steine, Marc Geilen, Twan Basten: A Distributed Feedback Control Mechanism for Quality-of-Service Maintenance in Wireless Sensor Networks. DSD 2012: 739-742

Morteza Damavandpeyma, Sander Stuijk, Marc Geilen, Twan Basten, Henk Corporaal: Parametric throughput analysis of scenario-aware dataflow graphs. ICCD 2012: 219-226

Milos Blagojevic, Marc Geilen, Twan Basten, Teun Hendriks: Fast sink placement for Gossip-based Wireless Sensor Networks. IPCCC 2012: 110-119

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

Rosilde Corvino, Abdoulaye Gamatié, Marc Geilen, Lech Józwiak: Design space exploration in application-specific hardware synthesis for multiple communicating nested loops. ICSAMOS 2012: 128-135

Marc Geilen, Sander Stuijk, Twan Basten: Predictable dynamic embedded data processing. ICSAMOS 2012: 320-327

Majid Nabi, Marc Geilen, Twan Basten: Demonstrating on-demand listening and data forwarding in wireless body area networks. SECON 2012: 82-84

Majid Nabi, Marc Geilen, Twan Basten: On-demand data forwarding for automatic adaptation of data propagation in WBANs. SECON 2012: 326-334

Sander Stuijk, Twan Basten, Benny Akesson, Marc Geilen, Orlando Moreira, Jan Reineke: Designing next-generation real-time streaming systems. CODES+ISSS 2011: 375-376

Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal: Iteration-Based Trade-Off Analysis of Resource-Aware SDF. DSD 2011: 567-574

Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal: Hybrid Code-Data Prefetch-Aware Multiprocessor Task Graph Scheduling. DSD 2011: 583-590

Martijn Hendriks, Marc Geilen, Twan Basten: Pareto Analysis with Uncertainty. EUC 2011: 189-196

Bart D. Theelen, Marc Geilen, Jeroen Voeten: Performance Model Checking Scenario-Aware Dataflow. FORMATS 2011: 43-59

Marc Geilen, Stavros Tripakis, Maarten Wiggers: The earlier the better: a theory of timed actor interfaces. HSCC 2011: 23-32

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

Milos Blagojevic, Majid Nabi, Marc Geilen, Twan Basten, Teun Hendriks, Marcel Steine: A Probabilistic Acknowledgment Mechanism for Wireless Sensor Networks. NAS 2011: 63-72

Nikola Trcka, Martijn Hendriks, Twan Basten, Marc Geilen, Lou J. Somers: Integrated model-driven design-space exploration for embedded systems. ICSAMOS 2011: 339-346

Sander Stuijk, Marc Geilen, Bart D. Theelen, Twan Basten: Scenario-aware dataflow: Modeling, analysis and implementation of dynamic applications. ICSAMOS 2011: 404-411

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

Majid Nabi, Marc Geilen, Twan Basten: MoBAN: a configurable mobility model for wireless body area networks. SimuTools 2011: 168-177

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)

Marc Geilen: Synchronous dataflow scenarios. ACM Trans. Embedded Comput. Syst. 10(2): 16 (2010)

Marc Geilen, Sander Stuijk: Worst-case performance analysis of synchronous dataflow scenarios. CODES+ISSS 2010: 125-134

Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal: Automated bottleneck-driven design-space exploration of media processing systems. DATE 2010: 1041-1046

Maarten Wiggers, Marco Bekooij, Marc Geilen, Twan Basten: Simultaneous budget and buffer size computation for throughput-constrained task graphs. DATE 2010: 1669-1672

Sander Stuijk, Marc Geilen, Twan Basten: A Predictable Multiprocessor Design Flow for Streaming Applications with Dynamic Behaviour. DSD 2010: 548-555

Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal: Thermal-aware scratchpad memory design and allocation. ICCD 2010: 118-124

Peter Poplavko, Marc Geilen, Twan Basten: Predicting the throughput of multiprocessor applications under dynamic workload. ICCD 2010: 282-288

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

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

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)

Marc Geilen: Reduction techniques for synchronous dataflow graphs. DAC 2009: 911-916

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

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

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

Milos Blagojevic, Majid Nabi, Teun Hendriks, Twan Basten, Marc Geilen: Fast simulation methods to predict wireless sensor network performance. PE-WASUN 2009: 41-48

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)

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)

Hamid Shojaei, Twan Basten, Marc Geilen, Phillip Stanley-Marbell: SPaC: a symbolic pareto calculator. CODES+ISSS 2008: 179-184

Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Sander Stuijk: Parametric Throughput Analysis of Synchronous Data Flow Graphs. DATE 2008: 116-121

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

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

Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten: An Algebra of Pareto Points. Fundam. Inform. 78(1): 35-74 (2007)

Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal: Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs. DAC 2007: 777-782

Marc Geilen, Twan Basten: A calculator for Pareto points. DATE 2007: 285-290

Amir Hossein Ghamarian, Sander Stuijk, Twan Basten, Marc Geilen, Bart D. Theelen: Latency Minimization for Synchronous Data Flow Graphs. DSD 2007: 189-196

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

Rob Hoes, Twan Basten, Chen-Khong Tham, Marc Geilen, Henk Corporaal: Analysing qos trade-offs in wireless sensor networks. MSWiM 2007: 60-69

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

Sander Stuijk, Marc Geilen, Twan Basten: SDF³: SDF For Free. ACSD 2006: 276-278

Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal: Branching-Time Property Preservation Between Real-Time Systems. ATVA 2006: 260-275

Sander Stuijk, Marc Geilen, Twan Basten: Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs. DAC 2006: 899-904

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

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

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

Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten: An Algebra of Pareto Points. ACSD 2005: 88-97

Marc Geilen, Twan Basten, Sander Stuijk: Minimising buffer requirements of synchronous dataflow graphs with model checking. DAC 2005: 819-824

Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen: Predictable Embedding of Large Data Structures in Multiprocessor Networks-on-Chip. DATE 2005: 254-255

Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen: Predictable embedding of large data structures in multiprocessor networks-on-chip. DSD 2005: 388-396

Twan Basten, Dragan Bosnacki, Marc Geilen: Cluster-Based Partial-Order Reduction. Autom. Softw. Eng. 11(4): 365-402 (2004)

Marc Geilen, Twan Basten: Reactive process networks. EMSOFT 2004: 137-146

Twan Basten, Marc Geilen, Harmke de Groot: Ambient intelligence - impact on embedded system design. Kluwer 2003, isbn 978-1-4020-7668-8, pp. I-VIII, 1-348

Marc Geilen: An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic. CAV 2003: 394-406

Marc Geilen, Twan Basten: Requirements on the Execution of Kahn Process Networks. ESOP 2003: 319-334

Jinfeng Huang, Jeroen Voeten, Marc Geilen: Real-time Property Preservation in Approximations of Timed Systems. MEMOCODE 2003: 163-171

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)

Marc Geilen: On the Construction of Monitors for Temporal Logic Properties. Electr. Notes Theor. Comput. Sci. 55(2): 181-199 (2001)

Marc Geilen, Dennis Dams: An On-the-Fly Tableau Construction for a Real-Time Temporal Logic. FTRTFT 2000: 276-290

Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen: Software Synthesis for System Level Design Using Process Execution Trees. EUROMICRO 1999: 1463-1467

P. H. A. van der Putten, Jeroen Voeten, Marc Geilen, M. P. J. Stevens: System Level Models for Real-Time Communication. EUROMICRO 1999: 1496-

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