Marc Geilen

According to our database, Marc Geilen authored at least 161 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Efficient Computation of the Max-Plus Semantics of Synchronous Dataflow Graphs.

Hossein Elahi, Marc Geilen, Twan Basten

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., October, 2023

Modeling and analysis of switching max-plus linear systems with discrete-event feedback.

Alireza Mohamadkhani, Marc Geilen, Jeroen Voeten, Twan Basten

Discret. Event Dyn. Syst., September, 2023

Time- and Behavior-Preserving Execution of Determinate Supervisory Control.

Alireza Mohamadkhani, Marc Geilen, Jeroen Voeten, Twan Basten

CoRR, 2023

Tool interoperability for model-based systems engineering.

Sander Thuijsman, Gökhan Kahraman, Alireza Mohamadkhani, Ferry Timmers, Loek Cleophas, Marc Geilen, Jan Friso Groote, Michel A. Reniers, Ramon R. H. Schiffelers, Jeroen Voeten

CoRR, 2023

Dependability of Future Edge-AI Processors: Pandora's Box.

Manil Dev Gomony, Anteneh Gebregiorgis, Moritz Fieback, Marc Geilen, Sander Stuijk, Jan Richter-Brockmann, Rajendra Bishnoi, Sven Argo, Lara Arche Andradas, Tim Güneysu, Mottaqiallah Taouil, Henk Corporaal, Said Hamdioui

Proceedings of the IEEE European Test Symposium, 2023

PetaOps/W edge-AI $\mu$ Processors: Myth or reality?

Manil Dev Gomony, Floran de Putter, Anteneh Gebregiorgis, Gianna Paulin, Linyan Mei, Vikram Jain, Said Hamdioui, Victor Sanchez, Tobias Grosser, Marc Geilen, Marian Verhelst, Friedemann Zenke, Frank K. Gürkaynak, Barry de Bruin, Sander Stuijk, Simon Davidson, Sayandip De, Mounir Ghogho, Alexandra Jimborean, Sherif Eissa, Luca Benini, Dimitrios Soudris, Rajendra Bishnoi, Sam Ainsworth, Federico Corradi, Ouassim Karrakchou, Tim Güneysu, Henk Corporaal

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

Dilate-Invariant Temporal Convolutional Network for Real-Time Edge Applications.

Emad A. Ibrahim, Bart van den Dool, Sayandip De, Manil Dev Gomony, Jos Huisken, Marc Geilen

IEEE Trans. Circuits Syst. I Regul. Pap., 2022

Partial-Order Reduction for Supervisory Controller Synthesis.

Bram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten

IEEE Trans. Autom. Control., 2022

CONVOLVE: Smart and seamless design of smart edge processors.

Manil Dev Gomony, Floran de Putter, Anteneh Gebregiorgis, Gianna Paulin, Linyan Mei, Vikram Jain, Said Hamdioui, Victor Sanchez, Tobias Grosser, Marc Geilen, Marian Verhelst, Frank K. Zenke, Frank K. Gürkaynak, Barry de Bruin, Sander Stuijk, Simon Davidson, Sayandip De, Mounir Ghogho, Alexandra Jimborean, Sherif Eissa, Luca Benini, Dimitrios Soudris, Rajendra Bishnoi, S. Ainsworth, Federico Corradi, Ouassim Karrakchou, Tim Güneysu, Henk Corporaal

CoRR, 2022

Constructive Model Inference: Model Learning for Component-based Software Architectures.

Bram Hooimeijer, Marc Geilen, Jan Friso Groote, Dennis Hendriks, Ramon R. H. Schiffelers

Proceedings of the 17th International Conference on Software Technologies, 2022

2021

Design and management of image processing pipelines within CPS: Acquired experience towards the end of the FitOptiVis ECSEL Project.

Carlo Sau, Claudia Rinaldi, Luigi Pomante, Francesca Palumbo, Giacomo Valente, Tiziana Fanni, Marcos Martinez de Alejandro, Frank van der Linden, Twan Basten, Marc Geilen, Geran Peeren, Jirí Kadlec, Pekka Jääskeläinen, Lubomír Bulej, Francisco Barranco, Jukka Saarinen, Tero Säntti, Maria Katiuscia Zedda, Victor Sanchez, Shayan Tabatabaei Nikkhah, Dip Goswami, Guillermo Amat, Lukás Marsík, Mark van Helvoort, Luis Medina, Zaid Al-Ars, Ad de Beer

Microprocess. Microsystems, November, 2021

Interface Modeling for Quality and Resource Management.

Martijn Hendriks, Marc Geilen, Kees Goossens, Rob de Jong, Twan Basten

Log. Methods Comput. Sci., 2021

A Deployment Framework for Quality-Sensitive Applications in Resource-Constrained Dynamic Environments.

Shayan Tabatabaei Nikkhah, Marc Geilen, Dip Goswami, Martijn Koedam, Andrew Nelson, Kees Goossens

Proceedings of the 24th Euromicro Conference on Digital System Design, 2021

2020

Firmness Analysis of Real-time Tasks.

Amir R. B. Behrouzian, Hadi Alizadeh Ara, Marc Geilen, Dip Goswami, Twan Basten

ACM Trans. Embed. Comput. Syst., 2020

Multi-Angle Fusion for Low-Cost Near-Field Ultrasonic in-Air Gesture Recognition.

Emad A. Ibrahim, Marc Geilen, Min Li, José Pineda de Gyvez

IEEE Access, 2020

QRML: A Component Language and Toolset for Quality and Resource Management.

Freek van den Berg, Václav Camra, Martijn Hendriks, Marc Geilen, Petr Hnetynka, Fernando Manteca, Pablo Sánchez, Tomás Bures, Twan Basten

Proceedings of the Forum for Specification and Design Languages, 2020

Design and management of image processing pipelines within CPS: 2 years of experience from the FitOptiVis ECSEL Project.

Luigi Pomante, Francesca Palumbo, Claudia Rinaldi, Giacomo Valente, Carlo Sau, Tiziana Fanni, Frank van der Linden, Twan Basten, Marc Geilen, Geran Peeren, Jirí Kadlec, Pekka Jääskeläinen, Marcos Martinez de Alejandro, Jukka Saarinen, Tero Säntti, Maria Katiuscia Zedda, Victor Sanchez, Dip Goswami, Zaid Al-Ars, Ad de Beer

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

A Performance Analysis Framework for Real-Time Systems Sharing Multiple Resources.

Shayan Tabatabaei Nikkhah, Marc Geilen, Dip Goswami, Kees Goossens

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Low Complexity Multi-directional In-Air Ultrasonic Gesture Recognition Using a TCN.

Emad A. Ibrahim, Marc Geilen, Jos Huisken, Min Li, José Pineda de Gyvez

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2019

Modeling and Analysis of FPGA Accelerators for Real-Time Streaming Video Processing in the Healthcare Domain.

Steven van der Vlugt, Hadi Alizadeh Ara, Rob de Jong, Martijn Hendriks, Ruben Guerra Marin, Marc Geilen, Dip Goswami

J. Signal Process. Syst., 2019

Monotonic Optimization of Dataflow Buffer Sizes.

Martijn Hendriks, Hadi Alizadeh Ara, Marc Geilen, Twan Basten, Ruben Guerra Marin, Rob de Jong, Steven van der Vlugt

J. Signal Process. Syst., 2019

Parametric Scheduler Characterization.

Joost van Pinxten, Marc Geilen, Twan Basten

ACM Trans. Embed. Comput. Syst., 2019

The FitOptiVis ECSEL project: highly efficient distributed embedded image/video processing in cyber-physical systems.

Zaid Al-Ars, Twan Basten, Ad de Beer, Marc Geilen, Dip Goswami, Pekka Jääskeläinen, Jirí Kadlec, Marcos Martinez de Alejandro, Francesca Palumbo, Geran Peeren, Luigi Pomante, Frank van der Linden, Jukka Saarinen, Tero Säntti, Carlo Sau, Maria Katiuscia Zedda

Proceedings of the 16th ACM International Conference on Computing Frontiers, 2019

2018

Scalable Analysis for Multi-Scale Dataflow Models.

Hadi Alizadeh Ara, Amir R. B. Behrouzian, Martijn Hendriks, Marc Geilen, Dip Goswami, Twan Basten

ACM Trans. Embed. Comput. Syst., 2018

Parametric Critical Path Analysis for Event Networks With Minimal and Maximal Time Lags.

Joost van Pinxten, Marc Geilen, Martijn Hendriks, Twan Basten

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Throughput-Buffering Trade-Off Analysis for Scenario-Aware Dataflow Models.

Hadi Alizadeh Ara, Marc Geilen, Amir R. B. Behrouzian, Twan Basten

Proceedings of the 26th International Conference on Real-Time Networks and Systems, 2018

Firmness Analysis of Real-Time Applications Under Static-Priority Preemptive Scheduling.

Amir Reza Baghban Behrouzian, Dip Goswami, Twan Basten, Marc Geilen, Hadi Alizadeh Ara, Martijn Hendriks

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

It's a Matter of Time: Modeling and Analysis of Time Dependent Systems Using Scenario-Aware Dataflow.

Mladen Skelin, Marc Geilen

Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

Compositionality in scenario-aware dataflow: a rendezvous perspective.

Mladen Skelin, Marc Geilen

Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, 2018

A Heuristic for Variable Re-Entrant Scheduling Problems.

Roel van der Tempel, Joost van Pinxten, Marc Geilen, Umar Waqas

Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

Timing Prediction for Service-Based Applications Mapped on Linux-Based Multi-core Platforms.

Ruben Jonk, Jeroen Voeten, Marc Geilen, Twan Basten, Ramon R. H. Schiffelers

Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

Compositional Dataflow Modelling for Cyclo-Static Applications.

Hadi Alizadeh Ara, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Dip Goswami

Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

If We Could Go Back in Time... On the Use of 'Unnatural' Time and Ordering in Dataflow Models.

Marc Geilen

Proceedings of the Principles of Modeling, 2018

Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems.

Bram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2017

NoC-Based Multiprocessor Architecture for Mixed-Time-Criticality Applications.

Kees Goossens, Martijn Koedam, Andrew Nelson, Shubhendu Sinha, Sven Goossens, Yonghui Li, Gabriela Breaban, Reinier van Kampenhout, Rasool Tavakoli, Juan Valencia, Hadi Ahmadi Balef, Benny Akesson, Sander Stuijk, Marc Geilen, Dip Goswami, Majid Nabi

Proceedings of the Handbook of Hardware/Software Codesign., 2017

Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs.

Marc Geilen, Joachim Falk, Christian Haubelt, Twan Basten, Bart D. Theelen, Sander Stuijk

J. Signal Process. Syst., 2017

Task-FIFO Co-Scheduling of Streaming Applications on MPSoCs with Predictable Memory Hierarchy.

Qi Tang, Twan Basten, Marc Geilen, Sander Stuijk, Jibo Wei

ACM Trans. Embed. Comput. Syst., 2017

Online Scheduling of 2-Re-entrant Flexible Manufacturing Systems.

Joost van Pinxten, Umar Waqas, Marc Geilen, Twan Basten, Lou J. Somers

ACM Trans. Embed. Comput. Syst., 2017

Parameterized Dataflow Scenarios.

Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017

Worst-case performance analysis of SDF-based parameterized dataflow.

Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth

Microprocess. Microsystems, 2017

Mapping of synchronous dataflow graphs on MPSoCs based on parallelism enhancement.

Qi Tang, Twan Basten, Marc Geilen, Sander Stuijk, Ji-Bo Wei

J. Parallel Distributed Comput., 2017

Towards Component-Based (max, +) Algebraic Throughput Analysis of Hierarchical Synchronous Data Flow Models.

Mladen Skelin, Marc Geilen

Proceedings of the Computer Safety, Reliability, and Security, 2017

2016

Multiconstraint Static Scheduling of Synchronous Dataflow Graphs Via Retiming and Unfolding.

Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

End-to-End Latency Analysis of Dataflow Scenarios Mapped Onto Shared Heterogeneous Resources.

Firew Siyoum, Marc Geilen, Henk Corporaal

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

xCPS: a tool to explore cyber physical systems.

Shreya Adyanthaya, Hadi Alizadeh Ara, João Bastos, Amir R. B. Behrouzian, Róbinson Medina Sánchez, Joost van Pinxten, Bram van der Sanden, Umar Waqas, Twan Basten, Henk Corporaal, Raymond Frijns, Marc Geilen, Dip Goswami, Martijn Hendriks, Sander Stuijk, Michel A. Reniers, Jeroen Voeten

SIGBED Rev., 2016

Special Issue on Real-Time Scheduling on Heterogeneous Multi-core Processors.

Weizhe Zhang, Albert M. K. Cheng, Marc Geilen

Microprocess. Microsystems, 2016

Sample-drop firmness analysis of TDMA-scheduled control applications.

Amir R. B. Behrouzian, Dip Goswami, Marc Geilen, Martijn Hendriks, Hadi Alizadeh Ara, Eelco P. van Horssen, W. P. M. H. Heemels, Twan Basten

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

Tight temporal bounds for dataflow applications mapped onto shared resources.

Hadi Alizadeh Ara, Marc Geilen, Twan Basten, Amir R. B. Behrouzian, Martijn Hendriks, Dip Goswami

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

Communication aware multiprocessor binding for shared memory systems.

Shreya Adyanthaya, Marc Geilen, Twan Basten, Jeroen Voeten, Ramon R. H. Schiffelers

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

Compositional specification of functionality and timing of manufacturing systems.

Bram van der Sanden, João Bastos, Jeroen Voeten, Marc Geilen, Michel A. Reniers, Twan Basten, Johan Jacobs, Ramon R. H. Schiffelers

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

A Fast Estimator of Performance with Respect to the Design Parameters of Self Re-Entrant Flowshops.

Umar Waqas, Marc Geilen, Sander Stuijk, Joost van Pinxten, Twan Basten, Lou J. Somers, Henk Corporaal

Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

Online heuristic for the Multi-Objective Generalized traveling salesman problem.

Joost van Pinxten, Marc Geilen, Twan Basten, Umar Waqas, Lou J. Somers

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Checking Metric Temporal Logic with TRACE.

Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh Ara, Dip Goswami

Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015

A Distributed Reconfiguration Approach for Quality-of-Service Provisioning in Dynamic Heterogeneous Wireless Sensor Networks.

Marcel Steine, Marc Geilen, Twan Basten

ACM Trans. Sens. Networks, 2015

Composable and predictable dynamic loading for time-critical partitioned systems on multiprocessor architectures.

Shubhendu Sinha, Martijn Koedam, Gabriela Breaban, Andrew Nelson, Ashkan Beyranvand Nejad, Marc Geilen, Kees Goossens

Microprocess. Microsystems, 2015

Introduction to special issue on cyber-physical systems.

Davide Quaglia, Marc Geilen

Microprocess. Microsystems, 2015

Multi-Constraint multi-processor Resource Allocation.

Amir R. B. Behrouzian, Dip Goswami, Twan Basten, Marc Geilen, Hadi Alizadeh Ara

Proceedings of the 2015 International Conference on Embedded Computer Systems: Architectures, 2015

Iterative robust multiprocessor scheduling.

Shreya Adyanthaya, Marc Geilen, Twan Basten, Jeroen Voeten, Ramon R. H. Schiffelers

Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

Modular model-based supervisory controller design for wafer logistics in lithography machines.

Bram van der Sanden, Michel A. Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, Ramon R. H. Schiffelers

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

xCPS: A tool to eXplore Cyber Physical Systems.

Shreya Adyanthaya, Hadi Alizadeh Ara, João Bastos, Amir R. B. Behrouzian, Róbinson Medina Sánchez, Joost van Pinxten, Bram van der Sanden, Umar Waqas, Twan Basten, Henk Corporaal, Raymond Frijns, Marc Geilen, Dip Goswami, Sander Stuijk, Michel A. Reniers, Jeroen Voeten

Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2015

Parametrized dataflow scenarios.

Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth

Proceedings of the 2015 International Conference on Embedded Software, 2015

Run-time middleware to support real-time system scenarios.

Kees Goossens, Martijn Koedam, Shubhendu Sinha, Andrew Nelson, Marc Geilen

Proceedings of the European Conference on Circuit Theory and Design, 2015

Worst-Case Throughput Analysis of SDF-Based Parametrized Dataflow.

Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

A re-entrant flowshop heuristic for online scheduling of the paper path in a large scale printer.

Umar Waqas, Marc Geilen, Jack Kandelaars, Lou J. Somers, Twan Basten, Sander Stuijk, Patrick Vestjens, Henk Corporaal

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Worst-case latency analysis of SDF-based parametrized dataflow MoCs.

Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth

Proceedings of the 2015 Conference on Design and Architectures for Signal and Image Processing, 2015

2014

Efficient Cluster Mobility Support for TDMA-Based MAC Protocols in Wireless Sensor Networks.

Majid Nabi, Marc Geilen, Twan Basten, Milos Blagojevic

ACM Trans. Sens. Networks, 2014

Fast-performance simulation for Gossip-based Wireless Sensor Networks.

Milos Blagojevic, Marc Geilen, Twan Basten, Majid Nabi, Teun Hendriks

Simul., 2014

Worst-case Throughput Analysis for Parametric Rate and Parametric Actor Execution Time Scenario-Aware Dataflow Graphs.

Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth

Proceedings of the Proceedings 1st International Workshop on Synthesis of Continuous Parameters, 2014

Robustness analysis of multiprocessor schedules.

Shreya Adyanthaya, Zhihui Zhang, Marc Geilen, Jeroen Voeten, Twan Basten, Ramon R. H. Schiffelers

Proceedings of the XIVth International Conference on Embedded Computer Systems: Architectures, 2014

Composable and Predictable Dynamic Loading for Time-Critical Partitioned Systems.

Shubhendu Sinha, Martijn Koedam, Rob van Wijk, Andrew Nelson, Ashkan Beyranvand Nejad, Marc Geilen, Kees Goossens

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming.

Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Timing analysis of First-Come First-Served scheduled interval-timed Directed Acyclic Graphs.

Raymond Frijns, Shreya Adyanthaya, Sander Stuijk, Jeroen Voeten, Marc C. W. Geilen, Ramon R. H. Schiffelers, Henk Corporaal

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Symbolic Analysis of Dataflow Applications Mapped onto Shared Heterogeneous Resources.

Firew Siyoum, Marc Geilen, Henk Corporaal

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2013

Kahn Process Networks and a Reactive Extension.

Marc Geilen, Twan Basten

Proceedings of the Handbook of Signal Processing Systems, 2013

A fast and scalable multidimensional multiple-choice knapsack heuristic.

Hamid Shojaei, Twan Basten, Marc Geilen, Azadeh Davoodi

ACM Trans. Design Autom. Electr. Syst., 2013

Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs.

Stavros Tripakis, Dai N. Bui, Marc Geilen, Bert Rodiers, Edward A. Lee

ACM Trans. Embed. Comput. Syst., 2013

Schedule-Extended Synchronous Dataflow Graphs.

Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013

Throughput-constrained DVFS for scenario-aware dataflow graphs.

Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal

Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

An empirical study of link quality estimation techniques for disconnection detection in WBANs.

Majid Nabi, Marc C. W. Geilen, Twan Basten

Proceedings of the 16th ACM International Conference on Modeling, 2013

Automated extraction of scenario sequences from disciplined dataflow networks.

Firew Siyoum, Marc Geilen, Johan Eker, Carl von Platen, Henk Corporaal

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

Fast Multiprocessor Scheduling with Fixed Task Binding of Large Scale Industrial Cyber Physical Systems.

Shreya Adyanthaya, Marc Geilen, Twan Basten, Ramon R. H. Schiffelers, Bart D. Theelen, Jeroen Voeten

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

2012

Efficient Retiming of Multirate DSP Algorithms.

Xue-Yang Zhu, Twan Basten, Marc Geilen, Sander Stuijk

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012

On-demand data forwarding for automatic adaptation of data propagation in WBANs.

Majid Nabi, Marc Geilen, Twan Basten

Proceedings of the 9th Annual IEEE Communications Society Conference on Sensor, 2012

Demonstrating on-demand listening and data forwarding in wireless body area networks.

Majid Nabi, Marc Geilen, Twan Basten

Proceedings of the 9th Annual IEEE Communications Society Conference on Sensor, 2012

Predictable dynamic embedded data processing.

Marc Geilen, Sander Stuijk, Twan Basten

Proceedings of the 2012 International Conference on Embedded Computer Systems: Architectures, 2012

Design space exploration in application-specific hardware synthesis for multiple communicating nested loops.

Rosilde Corvino, Abdoulaye Gamatié, Marc Geilen, Lech Józwiak

Proceedings of the 2012 International Conference on Embedded Computer Systems: Architectures, 2012

Static Rate-Optimal Scheduling of Multirate DSP Algorithms via Retiming and Unfolding.

Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk

Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

Fast sink placement for Gossip-based Wireless Sensor Networks.

Milos Blagojevic, Marc Geilen, Twan Basten, Teun Hendriks

Proceedings of the 31st IEEE International Performance Computing and Communications Conference, 2012

Parametric throughput analysis of scenario-aware dataflow graphs.

Morteza Damavandpeyma, Sander Stuijk, Marc Geilen, Twan Basten, Henk Corporaal

Proceedings of the 30th International IEEE Conference on Computer Design, 2012

A Distributed Feedback Control Mechanism for Quality-of-Service Maintenance in Wireless Sensor Networks.

Marcel Steine, Marc Geilen, Twan Basten

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

Playing games with scenario- and resource-aware SDF graphs through policy iteration.

Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Modeling static-order schedules in synchronous dataflow graphs.

Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Worst-case throughput analysis of real-time dynamic streaming applications.

Firew Siyoum, Marc Geilen, Orlando Moreira, Henk Corporaal

Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

2011

MoBAN: a configurable mobility model for wireless body area networks.

Majid Nabi, Marc Geilen, Twan Basten

Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques, 2011

Dynamic data prioritization for quality-of-service differentiation in heterogeneous Wireless Sensor Networks.

Majid Nabi, Milos Blagojevic, Marc Geilen, Twan Basten

Proceedings of the 8th Annual IEEE Communications Society Conference on Sensor, 2011

Integrated model-driven design-space exploration for embedded systems.

Nikola Trcka, Martijn Hendriks, Twan Basten, Marc Geilen, Lou J. Somers

Proceedings of the 2011 International Conference on Embedded Computer Systems: Architectures, 2011

Scenario-aware dataflow: Modeling, analysis and implementation of dynamic applications.

Sander Stuijk, Marc Geilen, Bart D. Theelen, Twan Basten

Proceedings of the 2011 International Conference on Embedded Computer Systems: Architectures, 2011

A Probabilistic Acknowledgment Mechanism for Wireless Sensor Networks.

Milos Blagojevic, Majid Nabi, Marc Geilen, Twan Basten, Teun Hendriks, Marcel Steine

Proceedings of the Sixth International Conference on Networking, Architecture, and Storage, 2011

Proactive reconfiguration of wireless sensor networks.

Marcel Steine, Cuong Viet Ngo, Ramon Serna Oliver, Marc Geilen, Twan Basten, Gerhard Fohler, Jean-Dominique Decotignie

Proceedings of the 14th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2011

Distributed maintenance of minimum-cost path information in wireless sensor networks.

Marcel Steine, Marc Geilen, Twan Basten

Proceedings of the PM2HW2N@MSWiM 2011: Proceedings of the 6th ACM workshop on Performance monitoring and measurement of heterogeneous wireless and wired networks, 2011

Analyzing synchronous dataflow scenarios for dynamic software-defined radio applications.

Firew Siyoum, Marc Geilen, Orlando Moreira, Rick J. M. Nas, Henk Corporaal

Proceedings of the 2011 International Symposium on System on Chip, 2011

The earlier the better: a theory of timed actor interfaces.

Marc Geilen, Stavros Tripakis, Maarten Wiggers

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Performance Model Checking Scenario-Aware Dataflow.

Bart D. Theelen, Marc Geilen, Jeroen Voeten

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Pareto Analysis with Uncertainty.

Martijn Hendriks, Marc Geilen, Twan Basten

Proceedings of the IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, 2011

Iteration-Based Trade-Off Analysis of Resource-Aware SDF.

Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal

Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

Hybrid Code-Data Prefetch-Aware Multiprocessor Task Graph Scheduling.

Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal

Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

Designing next-generation real-time streaming systems.

Sander Stuijk, Twan Basten, Benny Akesson, Marc Geilen, Orlando Moreira, Jan Reineke

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

2010

Synchronous dataflow scenarios.

Marc Geilen

ACM Trans. Embed. Comput. Syst., 2010

Buffer Sizing for Rate-Optimal Single-Rate Data-Flow Scheduling Revisited.

Orlando Moreira, Twan Basten, Marc Geilen, Sander Stuijk

IEEE Trans. Computers, 2010

MCMAC: An Optimized Medium Access Control Protocol for Mobile Clusters in Wireless Sensor Networks.

Majid Nabi, Milos Blagojevic, Marc Geilen, Twan Basten, Teun Hendriks

Proceedings of the Seventh Annual IEEE Communications Society Conference on Sensor, 2010

Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset.

Twan Basten, Emiel van Benthum, Marc Geilen, Martijn Hendriks, Fred Houben, Georgeta Igna, Frans Reckers, Sebastian de Smet, Lou J. Somers, Egbert Teeselink

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Predicting the throughput of multiprocessor applications under dynamic workload.

Peter Poplavko, Marc Geilen, Twan Basten

Proceedings of the 28th International Conference on Computer Design, 2010

Thermal-aware scratchpad memory design and allocation.

Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal

Proceedings of the 28th International Conference on Computer Design, 2010

A Predictable Multiprocessor Design Flow for Streaming Applications with Dynamic Behaviour.

Sander Stuijk, Marc Geilen, Twan Basten

Proceedings of the 13th Euromicro Conference on Digital System Design, 2010

Automated bottleneck-driven design-space exploration of media processing systems.

Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal

Proceedings of the Design, Automation and Test in Europe, 2010

Simultaneous budget and buffer size computation for throughput-constrained task graphs.

Maarten Wiggers, Marco Bekooij, Marc Geilen, Twan Basten

Proceedings of the Design, Automation and Test in Europe, 2010

Worst-case performance analysis of synchronous dataflow scenarios.

Marc Geilen, Sander Stuijk

Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis, 2010

A robust protocol stack for multi-hop wireless body area networks with transmit power adaptation.

Majid Nabi, Twan Basten, Marc Geilen, Milos Blagojevic, Teun Hendriks

Proceedings of the 5th International ICST Conference on Body Area Networks, 2010

Kahn Process Networks and a Reactive Extension.

Marc Geilen, Twan Basten

Proceedings of the Handbook of Signal Processing Systems, 2010

2009

Quality-of-service trade-off analysis for wireless sensor networks.

Rob Hoes, Twan Basten, Chen-Khong Tham, Marc Geilen, Henk Corporaal

Perform. Evaluation, 2009

Fast simulation methods to predict wireless sensor network performance.

Milos Blagojevic, Majid Nabi, Teun Hendriks, Twan Basten, Marc Geilen

Proceedings of the 6th ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, 2009

Configuring multi-objective evolutionary algorithms for design-space exploration of wireless sensor networks.

Majid Nabi, Milos Blagojevic, Twan Basten, Marc Geilen, Teun Hendriks

Proceedings of the 4th ACM workshop on Performance monitoring and measurement of heterogeneous wireless and wired networks, 2009

QoS Management for Wireless Sensor Networks with a Mobile Sink.

Rob Hoes, Twan Basten, Wai-Leong Yeow, Chen-Khong Tham, Marc Geilen, Henk Corporaal

Proceedings of the Wireless Sensor Networks, 6th European Conference, 2009

Exploring trade-offs between performance and resource requirements for synchronous dataflow graphs.

Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal

Proceedings of the 7th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, 2009

A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management.

Hamid Shojaei, Amir Hossein Ghamarian, Twan Basten, Marc Geilen, Sander Stuijk, Rob Hoes

Proceedings of the 46th Design Automation Conference, 2009

Reduction techniques for synchronous dataflow graphs.

Marc Geilen

Proceedings of the 46th Design Automation Conference, 2009

2008

Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs.

Sander Stuijk, Marc Geilen, Twan Basten

IEEE Trans. Computers, 2008

Resource-efficient routing and scheduling of time-constrained streaming communication on networks-on-chip.

Sander Stuijk, Twan Basten, Marc Geilen, Amir Hossein Ghamarian, Bart D. Theelen

J. Syst. Archit., 2008

Formal Modeling and Scheduling of Datapaths of Digital Document Printers.

Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits W. Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou J. Somers

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow.

Pieter H. Hartel, Theo C. Ruys, Marc C. W. Geilen

Proceedings of the Formal Methods in Computer-Aided Design, 2008

Parametric Throughput Analysis of Synchronous Data Flow Graphs.

Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Sander Stuijk

Proceedings of the Design, Automation and Test in Europe, 2008

SPaC: a symbolic pareto calculator.

Hamid Shojaei, Twan Basten, Marc Geilen, Phillip Stanley-Marbell

Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008

2007

An Algebra of Pareto Points.

Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten

Fundam. Informaticae, 2007

Analysing qos trade-offs in wireless sensor networks.

Rob Hoes, Twan Basten, Chen-Khong Tham, Marc Geilen, Henk Corporaal

Proceedings of the 10th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2007

Software/Hardware Engineering with the Parallel Object-Oriented Specification Language.

Bart D. Theelen, Oana Florescu, Marc Geilen, Jinfeng Huang, P. H. A. van der Putten, Jeroen Voeten

Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

Latency Minimization for Synchronous Data Flow Graphs.

Amir Hossein Ghamarian, Sander Stuijk, Twan Basten, Marc Geilen, Bart D. Theelen

Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007

A calculator for Pareto points.

Marc Geilen, Twan Basten

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs.

Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal

Proceedings of the 44th Design Automation Conference, 2007

2006

A scenario-aware data flow model for combined long-run average and worst-case performance analysis.

Bart D. Theelen, Marc Geilen, Twan Basten, Jeroen Voeten, Stefan Valentin Gheorghita, Sander Stuijk

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

Liveness and Boundedness of Synchronous Data Flow Graphs.

Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, Sander Stuijk

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

Resource-Efficient Routing and Scheduling of Time-Constrained Network-on-Chip Communication.

Sander Stuijk, Twan Basten, Marc Geilen, Amir Hossein Ghamarian, Bart D. Theelen

Proceedings of the Ninth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2006), 30 August, 2006

Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs.

Sander Stuijk, Marc Geilen, Twan Basten

Proceedings of the 43rd Design Automation Conference, 2006

Branching-Time Property Preservation Between Real-Time Systems.

Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal

Proceedings of the Automated Technology for Verification and Analysis, 2006

SDF³: SDF For Free.

Sander Stuijk, Marc Geilen, Twan Basten

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

Throughput Analysis of Synchronous Data Flow Graphs.

Amir Hossein Ghamarian, Marc Geilen, Sander Stuijk, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, A. J. M. Moonen, Marco Bekooij

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

Predictable Embedding of Large Data Structures in Multiprocessor Networks-on-Chip.

Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen

Proceedings of the 2005 Design, 2005

Minimising buffer requirements of synchronous dataflow graphs with model checking.

Marc Geilen, Twan Basten, Sander Stuijk

Proceedings of the 42nd Design Automation Conference, 2005

2004

Cluster-Based Partial-Order Reduction.

Twan Basten, Dragan Bosnacki, Marc Geilen

Autom. Softw. Eng., 2004

Reactive process networks.

Marc Geilen, Twan Basten

Proceedings of the EMSOFT 2004, 2004

2003

Real-time Property Preservation in Approximations of Timed Systems.

Jinfeng Huang, Jeroen Voeten, Marc Geilen

Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

Requirements on the Execution of Kahn Process Networks.

Marc Geilen, Twan Basten

Proceedings of the Programming Languages and Systems, 2003

An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic.

Marc Geilen

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

Ambient intelligence - impact on embedded system design.

Twan Basten, Marc Geilen, Harmke de Groot

Kluwer, ISBN: 978-1-4020-7668-8, 2003

2001

On the Construction of Monitors for Temporal Logic Properties.

Marc Geilen

Proceedings of the Workshop on Runtime Verification, 2001

Object-oriented modelling and specification using SHE.

Marc Geilen, Jeroen Voeten, P. H. A. van der Putten, Leo J. van Bokhoven, M. P. J. Stevens

Comput. Lang., 2001

2000

An On-the-Fly Tableau Construction for a Real-Time Temporal Logic.

Marc Geilen, Dennis Dams

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1999

System Level Models for Real-Time Communication.

P. H. A. van der Putten, Jeroen Voeten, Marc Geilen, M. P. J. Stevens

Proceedings of the 25th EUROMICRO '99 Conference, 1999

Software Synthesis for System Level Design Using Process Execution Trees.

Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen

Proceedings of the 25th EUROMICRO '99 Conference, 1999

1998

System Level Modelling for Hardware/Software Systems.

Jeroen Voeten, P. H. A. van der Putten, Marc Geilen, M. P. J. Stevens

Proceedings of the 24th EUROMICRO '98 Conference, 1998

1996

On the discrete Gabor transform and the discrete Zak transform.

Martin J. Bastiaans, Marc C. W. Geilen

Signal Process., 1996

Gabor's Signal Expansion And The Zak Transform With Non-critical Sampling.

Martin J. Bastiaans, Marc C. W. Geilen

Proceedings of the Fourth International Symposium on Signal Processing and Its Applications, 1996