Marc Geilen

172 papers A* 7A 22B 12C 30Misc 10Journal 47Unranked 40
YearRankTypeTitle / Venue / Authors
2025 — conf
CIMple: Standard-cell SRAM-based CIM with LUT-based split softmax for attention acceleration.
CCMCC
Bas Ahn, Xingjian Tao, Manil Dev Gomony, Marc Geilen, Henk Corporaal
2025 B conf
Enabling Containerisation of Distributed Applications with Real-Time Constraints.
ECRTS
Nasim Samimi, Luca Abeni, Daniel Casini, Mauro Marinoni, Twan Basten, Mitra Nasri, Marc Geilen, Alessandro Biondi
2025 A conf
Multi-Partner Project: Securing Future Edge-AI Processors in Practice (CONVOLVE).
DATE
Sven Argo, Henk Corporaal, Alejandro Garza, Marc Geilen, Manil Dev Gomony, Tim Güneysu, Adrian Marotzke, Fouwad Jamil Mir, Jan Richter-Brockmann, Jeffrey Smith, Mottaqiallah Taouil, Said Hamdioui
2025 J jnl
Multi-Partner Project: Securing Future Edge-AI Processors in Practice (CONVOLVE).
IACR Cryptol. ePrint Arch.
Sven Argo, Henk Corporaal, Alejandro Garza, Marc Geilen, Manil Dev Gomony, Tim Güneysu, Adrian Marotzke, Fouwad Jamil Mir, Christian Larmann, Jan Richter-Brockmann, Jeffrey Smith, Mottaqiallah Taouil, Said Hamdioui
2025 J jnl
Schedule Synthesis for Synchronous Dataflow Models with Lower and Upper Timing Bounds.
ACM Trans. Embed. Comput. Syst.
Joep van Wanrooij, Twan Basten, Marc Geilen
2024 J jnl
A Method for Building Trustworthy Hybrid Performance Models for Cyber-Physical Systems of Systems.
IEEE Access
Mahtab Modaber, Martijn Hendriks, Marc Geilen, Twan Basten, Jeroen Voeten
2024 C conf
Guaranteeing Weakly-Hard Timing Constraints of Real-Time Server-Based Systems.
ETFA
Nasim Samimi, Mitra Nasri, Twan Basten, Marc Geilen
2024 B conf
LLRSymNet: A Low-Complex Neural Network for LLR Estimation Through Symmetry Exploitation.
GLOBECOM
Priscilla Sharon Allwin, Manil Dev Gomony, Marc Geilen
2024 Misc conf
Online Admission Test for Real-Time Tasks with Arrival Curves for Server Platforms.
RTNS
Nasim Samimi, Mitra Nasri, Twan Basten, Marc Geilen
2024 B conf
Run-time Non-uniform Quantization for Dynamic Neural Networks in Wireless Communication.
ASPDAC
Priscilla Sharon Allwin, Manil Dev Gomony, Marc Geilen
2024 A conf
Work in Progress: Guaranteeing Weakly-Hard Timing Constraints in Server-Based Real-Time Systems.
RTAS
Nasim Samimi, Mitra Nasri, Twan Basten, Marc Geilen
2023 B conf
Dependability of Future Edge-AI Processors: Pandora's Box.
ETS
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
2023 J jnl
Efficient Computation of the Max-Plus Semantics of Synchronous Dataflow Graphs.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Hossein Elahi, Marc Geilen, Twan Basten
2023 J jnl
Modeling and analysis of switching max-plus linear systems with discrete-event feedback.
Discret. Event Dyn. Syst.
Alireza Mohamadkhani, Marc Geilen, Jeroen Voeten, Twan Basten
2023 A conf
PetaOps/W edge-AI $\mu$ Processors: Myth or reality?
DATE
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
2023 J jnl
Time- and Behavior-Preserving Execution of Determinate Supervisory Control.
CoRR
Alireza Mohamadkhani, Marc Geilen, Jeroen Voeten, Twan Basten
2023 J jnl
Tool interoperability for model-based systems engineering.
CoRR
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
2022 J jnl
CONVOLVE: Smart and seamless design of smart edge processors.
CoRR
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
2022 C conf
Constructive Model Inference: Model Learning for Component-based Software Architectures.
ICSOFT
Bram Hooimeijer, Marc Geilen, Jan Friso Groote, Dennis Hendriks, Ramon R. H. Schiffelers
2022 J jnl
Dilate-Invariant Temporal Convolutional Network for Real-Time Edge Applications.
IEEE Trans. Circuits Syst. I Regul. Pap.
Emad A. Ibrahim, Bart van den Dool, Sayandip De, Manil Dev Gomony, Jos Huisken, Marc Geilen
2022 J jnl
Partial-Order Reduction for Supervisory Controller Synthesis.
IEEE Trans. Autom. Control.
Bram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten
2021 C conf
A Deployment Framework for Quality-Sensitive Applications in Resource-Constrained Dynamic Environments.
DSD
Shayan Tabatabaei Nikkhah, Marc Geilen, Dip Goswami, Martijn Koedam, Andrew Nelson, Kees Goossens
2021 J jnl
Design and management of image processing pipelines within CPS: Acquired experience towards the end of the FitOptiVis ECSEL Project.
Microprocess. Microsystems
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
2021 J jnl
Interface Modeling for Quality and Resource Management.
Log. Methods Comput. Sci.
Martijn Hendriks, Marc Geilen, Kees Goossens, Rob de Jong, Twan Basten
2020 A conf
A Performance Analysis Framework for Real-Time Systems Sharing Multiple Resources.
DATE
Shayan Tabatabaei Nikkhah, Marc Geilen, Dip Goswami, Kees Goossens
2020 C conf
Design and management of image processing pipelines within CPS: 2 years of experience from the FitOptiVis ECSEL Project.
DSD
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
2020 J jnl
Firmness Analysis of Real-time Tasks.
ACM Trans. Embed. Comput. Syst.
Amir R. B. Behrouzian, Hadi Alizadeh Ara, Marc Geilen, Dip Goswami, Twan Basten
2020 J jnl
Interface Modeling for Quality and Resource Management.
CoRR
Martijn Hendriks, Marc Geilen, Kees Goossens, Rob de Jong, Twan Basten
2020 A conf
Low Complexity Multi-directional In-Air Ultrasonic Gesture Recognition Using a TCN.
DATE
Emad A. Ibrahim, Marc Geilen, Jos Huisken, Min Li, José Pineda de Gyvez
2020 J jnl
Multi-Angle Fusion for Low-Cost Near-Field Ultrasonic in-Air Gesture Recognition.
IEEE Access
Emad A. Ibrahim, Marc Geilen, Min Li, José Pineda de Gyvez
2020 C conf
QRML: A Component Language and Toolset for Quality and Resource Management.
FDL
Freek van den Berg, Václav Camra, Martijn Hendriks, Marc Geilen, Petr Hnetynka, Fernando Manteca, Pablo Sánchez, Tomás Bures, Twan Basten
2019 J jnl
Modeling and Analysis of FPGA Accelerators for Real-Time Streaming Video Processing in the Healthcare Domain.
J. Signal Process. Syst.
Steven van der Vlugt, Hadi Alizadeh Ara, Rob de Jong, Martijn Hendriks, Ruben Guerra Marin, Marc Geilen, Dip Goswami
2019 J jnl
Monotonic Optimization of Dataflow Buffer Sizes.
J. Signal Process. Syst.
Martijn Hendriks, Hadi Alizadeh Ara, Marc Geilen, Twan Basten, Ruben Guerra Marin, Rob de Jong, Steven van der Vlugt
2019 J jnl
Parametric Scheduler Characterization.
ACM Trans. Embed. Comput. Syst.
Joost van Pinxten, Marc Geilen, Twan Basten
2019 — conf
The FitOptiVis ECSEL project: highly efficient distributed embedded image/video processing in cyber-physical systems.
CF
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
2018 C conf
A Heuristic for Variable Re-Entrant Scheduling Problems.
DSD
Roel van der Tempel, Joost van Pinxten, Marc Geilen, Umar Waqas
2018 C conf
Compositional Dataflow Modelling for Cyclo-Static Applications.
DSD
Hadi Alizadeh Ara, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Dip Goswami
2018 B conf
Compositionality in scenario-aware dataflow: a rendezvous perspective.
LCTES
Mladen Skelin, Marc Geilen
2018 A conf
Firmness Analysis of Real-Time Applications Under Static-Priority Preemptive Scheduling.
RTAS
Amir Reza Baghban Behrouzian, Dip Goswami, Twan Basten, Marc Geilen, Hadi Alizadeh Ara, Martijn Hendriks
2018 — conf
If We Could Go Back in Time... On the Use of 'Unnatural' Time and Ordering in Dataflow Models.
Principles of Modeling
Marc Geilen
2018 C conf
It's a Matter of Time: Modeling and Analysis of Time Dependent Systems Using Scenario-Aware Dataflow.
MEMOCODE
Mladen Skelin, Marc Geilen
2018 J jnl
Parametric Critical Path Analysis for Event Networks With Minimal and Maximal Time Lags.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Joost van Pinxten, Marc Geilen, Martijn Hendriks, Twan Basten
2018 — conf
Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems.
ACSD
Bram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten
2018 J jnl
Scalable Analysis for Multi-Scale Dataflow Models.
ACM Trans. Embed. Comput. Syst.
Hadi Alizadeh Ara, Amir R. B. Behrouzian, Martijn Hendriks, Marc Geilen, Dip Goswami, Twan Basten
2018 Misc conf
Throughput-Buffering Trade-Off Analysis for Scenario-Aware Dataflow Models.
RTNS
Hadi Alizadeh Ara, Marc Geilen, Amir R. B. Behrouzian, Twan Basten
2018 C conf
Timing Prediction for Service-Based Applications Mapped on Linux-Based Multi-core Platforms.
DSD
Ruben Jonk, Jeroen Voeten, Marc Geilen, Twan Basten, Ramon R. H. Schiffelers
2017 J jnl
Mapping of synchronous dataflow graphs on MPSoCs based on parallelism enhancement.
J. Parallel Distributed Comput.
Qi Tang, Twan Basten, Marc Geilen, Sander Stuijk, Ji-Bo Wei
2017 — ch.
NoC-Based Multiprocessor Architecture for Mixed-Time-Criticality Applications.
Handbook of Hardware/Software Codesign
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
2017 J jnl
Online Scheduling of 2-Re-entrant Flexible Manufacturing Systems.
ACM Trans. Embed. Comput. Syst.
Joost van Pinxten, Umar Waqas, Marc Geilen, Twan Basten, Lou J. Somers
2017 J jnl
Parameterized Dataflow Scenarios.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth
2017 J jnl
Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs.
J. Signal Process. Syst.
Marc Geilen, Joachim Falk, Christian Haubelt, Twan Basten, Bart D. Theelen, Sander Stuijk
2017 J jnl
Task-FIFO Co-Scheduling of Streaming Applications on MPSoCs with Predictable Memory Hierarchy.
ACM Trans. Embed. Comput. Syst.
Qi Tang, Twan Basten, Marc Geilen, Sander Stuijk, Jibo Wei
2017 — conf
Towards Component-Based (max, +) Algebraic Throughput Analysis of Hierarchical Synchronous Data Flow Models.
SAFECOMP Workshops
Mladen Skelin, Marc Geilen
2017 J jnl
Worst-case performance analysis of SDF-based parameterized dataflow.
Microprocess. Microsystems
Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth
2016 C conf
A Fast Estimator of Performance with Respect to the Design Parameters of Self Re-Entrant Flowshops.
DSD
Umar Waqas, Marc Geilen, Sander Stuijk, Joost van Pinxten, Twan Basten, Lou J. Somers, Henk Corporaal
2016 — conf
Checking Metric Temporal Logic with TRACE.
ACSD
Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh Ara, Dip Goswami
2016 — conf
Communication aware multiprocessor binding for shared memory systems.
SIES
Shreya Adyanthaya, Marc Geilen, Twan Basten, Jeroen Voeten, Ramon R. H. Schiffelers
2016 C conf
Compositional specification of functionality and timing of manufacturing systems.
FDL
Bram van der Sanden, João Bastos, Jeroen Voeten, Marc Geilen, Michel A. Reniers, Twan Basten, Johan Jacobs, Ramon R. H. Schiffelers
2016 J jnl
End-to-End Latency Analysis of Dataflow Scenarios Mapped Onto Shared Heterogeneous Resources.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Firew Siyoum, Marc Geilen, Henk Corporaal
2016 J jnl
Multiconstraint Static Scheduling of Synchronous Dataflow Graphs Via Retiming and Unfolding.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk
2016 A conf
Online heuristic for the Multi-Objective Generalized traveling salesman problem.
DATE
Joost van Pinxten, Marc Geilen, Twan Basten, Umar Waqas, Lou J. Somers
2016 — conf
Sample-drop firmness analysis of TDMA-scheduled control applications.
SIES
Amir R. B. Behrouzian, Dip Goswami, Marc Geilen, Martijn Hendriks, Hadi Alizadeh Ara, Eelco P. van Horssen, W. P. M. H. Heemels, Twan Basten
2016 J jnl
Special Issue on Real-Time Scheduling on Heterogeneous Multi-core Processors.
Microprocess. Microsystems
Weizhe Zhang, Albert M. K. Cheng, Marc Geilen
2016 — conf
Tight temporal bounds for dataflow applications mapped onto shared resources.
SIES
Hadi Alizadeh Ara, Marc Geilen, Twan Basten, Amir R. B. Behrouzian, Martijn Hendriks, Dip Goswami
2016 J jnl
xCPS: a tool to explore cyber physical systems.
SIGBED Rev.
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
2015 J jnl
A Distributed Reconfiguration Approach for Quality-of-Service Provisioning in Dynamic Heterogeneous Wireless Sensor Networks.
ACM Trans. Sens. Networks
Marcel Steine, Marc Geilen, Twan Basten
2015 A conf
A re-entrant flowshop heuristic for online scheduling of the paper path in a large scale printer.
DATE
Umar Waqas, Marc Geilen, Jack Kandelaars, Lou J. Somers, Twan Basten, Sander Stuijk, Patrick Vestjens, Henk Corporaal
2015 J jnl
Composable and predictable dynamic loading for time-critical partitioned systems on multiprocessor architectures.
Microprocess. Microsystems
Shubhendu Sinha, Martijn Koedam, Gabriela Breaban, Andrew Nelson, Ashkan Beyranvand Nejad, Marc Geilen, Kees Goossens
2015 J jnl
Introduction to special issue on cyber-physical systems.
Microprocess. Microsystems
Davide Quaglia, Marc Geilen
2015 Misc conf
Iterative robust multiprocessor scheduling.
RTNS
Shreya Adyanthaya, Marc Geilen, Twan Basten, Jeroen Voeten, Ramon R. H. Schiffelers
2015 A conf
Modular model-based supervisory controller design for wafer logistics in lithography machines.
MoDELS
Bram van der Sanden, Michel A. Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, Ramon R. H. Schiffelers
2015 — conf
Multi-Constraint multi-processor Resource Allocation.
SAMOS
Amir R. B. Behrouzian, Dip Goswami, Twan Basten, Marc Geilen, Hadi Alizadeh Ara
2015 Misc conf
Parametrized dataflow scenarios.
EMSOFT
Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth
2015 — conf
Run-time middleware to support real-time system scenarios.
ECCTD
Kees Goossens, Martijn Koedam, Shubhendu Sinha, Andrew Nelson, Marc Geilen
2015 — conf
Task-FIFO Co-scheduling of Streaming Applications on MPSoCs with Predictable Memory Hierarchy.
ACSD
Qi Tang, Twan Basten, Marc Geilen, Sander Stuijk, Ji-Bo Wei
2015 C conf
Worst-Case Throughput Analysis of SDF-Based Parametrized Dataflow.
DSD
Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth
2015 — conf
Worst-case latency analysis of SDF-based parametrized dataflow MoCs.
DASIP
Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth
2015 — conf
xCPS: A tool to eXplore Cyber Physical Systems.
WESE
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
2014 C conf
Composable and Predictable Dynamic Loading for Time-Critical Partitioned Systems.
DSD
Shubhendu Sinha, Martijn Koedam, Rob van Wijk, Andrew Nelson, Ashkan Beyranvand Nejad, Marc Geilen, Kees Goossens
2014 J jnl
Efficient Cluster Mobility Support for TDMA-Based MAC Protocols in Wireless Sensor Networks.
ACM Trans. Sens. Networks
Majid Nabi, Marc Geilen, Twan Basten, Milos Blagojevic
2014 J jnl
Fast-performance simulation for Gossip-based Wireless Sensor Networks.
Simul.
Milos Blagojevic, Marc Geilen, Twan Basten, Majid Nabi, Teun Hendriks
2014 A conf
Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming.
DATE
Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk
2014 Misc conf
Performance analysis of weakly-consistent scenario-aware dataflow graphs.
ACSSC
Marc Geilen, Joachim Falk, Christian Haubelt, Twan Basten, Bart D. Theelen, Sander Stuijk
2014 — conf
Robustness analysis of multiprocessor schedules.
ICSAMOS
Shreya Adyanthaya, Zhihui Zhang, Marc Geilen, Jeroen Voeten, Twan Basten, Ramon R. H. Schiffelers
2014 A* conf
Symbolic Analysis of Dataflow Applications Mapped onto Shared Heterogeneous Resources.
DAC
Firew Siyoum, Marc Geilen, Henk Corporaal
2014 — conf
Worst-case Throughput Analysis for Parametric Rate and Parametric Actor Execution Time Scenario-Aware Dataflow Graphs.
SynCoP
Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth
2013 J jnl
A fast and scalable multidimensional multiple-choice knapsack heuristic.
ACM Trans. Design Autom. Electr. Syst.
Hamid Shojaei, Twan Basten, Marc Geilen, Azadeh Davoodi
2013 C conf
Automated extraction of scenario sequences from disciplined dataflow networks.
MEMOCODE
Firew Siyoum, Marc Geilen, Johan Eker, Carl von Platen, Henk Corporaal
2013 J jnl
Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs.
ACM Trans. Embed. Comput. Syst.
Stavros Tripakis, Dai N. Bui, Marc Geilen, Bert Rodiers, Edward A. Lee
2013 C conf
Fast Multiprocessor Scheduling with Fixed Task Binding of Large Scale Industrial Cyber Physical Systems.
DSD
Shreya Adyanthaya, Marc Geilen, Twan Basten, Ramon R. H. Schiffelers, Bart D. Theelen, Jeroen Voeten
2013 — ch.
Kahn Process Networks and a Reactive Extension.
Handbook of Signal Processing Systems
Marc Geilen, Twan Basten
2013 J jnl
Schedule-Extended Synchronous Dataflow Graphs.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal
2013 A conf
Throughput-constrained DVFS for scenario-aware dataflow graphs.
IEEE Real-Time and Embedded Technology and Applications Symposium
Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal
2012 C conf
A Distributed Feedback Control Mechanism for Quality-of-Service Maintenance in Wireless Sensor Networks.
DSD
Marcel Steine, Marc Geilen, Twan Basten
2012 B conf
Demonstrating on-demand listening and data forwarding in wireless body area networks.
SECON
Majid Nabi, Marc Geilen, Twan Basten
2012 — conf
Design space exploration in application-specific hardware synthesis for multiple communicating nested loops.
ICSAMOS
Rosilde Corvino, Abdoulaye Gamatié, Marc Geilen, Lech Józwiak
2012 J jnl
Efficient Retiming of Multirate DSP Algorithms.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Xue-Yang Zhu, Twan Basten, Marc Geilen, Sander Stuijk
2012 C conf
Fast sink placement for Gossip-based Wireless Sensor Networks.
IPCCC
Milos Blagojevic, Marc Geilen, Twan Basten, Teun Hendriks
2012 A conf
Modeling static-order schedules in synchronous dataflow graphs.
DATE
Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal
2012 B conf
On-demand data forwarding for automatic adaptation of data propagation in WBANs.
SECON
Majid Nabi, Marc Geilen, Twan Basten
2012 C conf
Parametric throughput analysis of scenario-aware dataflow graphs.
ICCD
Morteza Damavandpeyma, Sander Stuijk, Marc Geilen, Twan Basten, Henk Corporaal
2012 A conf
Playing games with scenario- and resource-aware SDF graphs through policy iteration.
DATE
Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal
2012 — conf
Predictable dynamic embedded data processing.
ICSAMOS
Marc Geilen, Sander Stuijk, Twan Basten
2012 A conf
Static Rate-Optimal Scheduling of Multirate DSP Algorithms via Retiming and Unfolding.
IEEE Real-Time and Embedded Technology and Applications Symposium
Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk
2012 Misc conf
Worst-case throughput analysis of real-time dynamic streaming applications.
CODES+ISSS
Firew Siyoum, Marc Geilen, Orlando Moreira, Henk Corporaal
2011 — conf
A Probabilistic Acknowledgment Mechanism for Wireless Sensor Networks.
NAS
Milos Blagojevic, Majid Nabi, Marc Geilen, Twan Basten, Teun Hendriks, Marcel Steine
2011 — conf
Analyzing synchronous dataflow scenarios for dynamic software-defined radio applications.
SoC
Firew Siyoum, Marc Geilen, Orlando Moreira, Rick J. M. Nas, Henk Corporaal
2011 Misc conf
Designing next-generation real-time streaming systems.
CODES+ISSS
Sander Stuijk, Twan Basten, Benny Akesson, Marc Geilen, Orlando Moreira, Jan Reineke
2011 — conf
Distributed maintenance of minimum-cost path information in wireless sensor networks.
PM2HW2N@MSWiM
Marcel Steine, Marc Geilen, Twan Basten
2011 B conf
Dynamic data prioritization for quality-of-service differentiation in heterogeneous Wireless Sensor Networks.
SECON
Majid Nabi, Milos Blagojevic, Marc Geilen, Twan Basten
2011 C conf
Hybrid Code-Data Prefetch-Aware Multiprocessor Task Graph Scheduling.
DSD
Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal
2011 — conf
Integrated model-driven design-space exploration for embedded systems.
ICSAMOS
Nikola Trcka, Martijn Hendriks, Twan Basten, Marc Geilen, Lou J. Somers
2011 C conf
Iteration-Based Trade-Off Analysis of Resource-Aware SDF.
DSD
Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal
2011 — conf
MoBAN: a configurable mobility model for wireless body area networks.
SimuTools
Majid Nabi, Marc Geilen, Twan Basten
2011 C conf
Pareto Analysis with Uncertainty.
EUC
Martijn Hendriks, Marc Geilen, Twan Basten
2011 — conf
Performance Model Checking Scenario-Aware Dataflow.
FORMATS
Bart D. Theelen, Marc Geilen, Jeroen Voeten
2011 A conf
Proactive reconfiguration of wireless sensor networks.
MSWiM
Marcel Steine, Cuong Viet Ngo, Ramon Serna Oliver, Marc Geilen, Twan Basten, Gerhard Fohler, Jean-Dominique Decotignie
2011 — conf
Scenario-aware dataflow: Modeling, analysis and implementation of dynamic applications.
ICSAMOS
Sander Stuijk, Marc Geilen, Bart D. Theelen, Twan Basten
2011 — conf
The earlier the better: a theory of timed actor interfaces.
HSCC
Marc Geilen, Stavros Tripakis, Maarten Wiggers
2010 C conf
A Predictable Multiprocessor Design Flow for Streaming Applications with Dynamic Behaviour.
DSD
Sander Stuijk, Marc Geilen, Twan Basten
2010 — conf
A robust protocol stack for multi-hop wireless body area networks with transmit power adaptation.
BODYNETS
Majid Nabi, Twan Basten, Marc Geilen, Milos Blagojevic, Teun Hendriks
2010 A conf
Automated bottleneck-driven design-space exploration of media processing systems.
DATE
Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal
2010 J jnl
Buffer Sizing for Rate-Optimal Single-Rate Data-Flow Scheduling Revisited.
IEEE Trans. Computers
Orlando Moreira, Twan Basten, Marc Geilen, Sander Stuijk
2010 — ch.
Kahn Process Networks and a Reactive Extension.
Handbook of Signal Processing Systems
Marc Geilen, Twan Basten
2010 B conf
MCMAC: An Optimized Medium Access Control Protocol for Mobile Clusters in Wireless Sensor Networks.
SECON
Majid Nabi, Milos Blagojevic, Marc Geilen, Twan Basten, Teun Hendriks
2010 — conf
Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset.
ISoLA (1)
Twan Basten, Emiel van Benthum, Marc Geilen, Martijn Hendriks, Fred Houben, Georgeta Igna, Frans Reckers, Sebastian de Smet, Lou J. Somers, Egbert Teeselink
2010 C conf
Predicting the throughput of multiprocessor applications under dynamic workload.
ICCD
Peter Poplavko, Marc Geilen, Twan Basten
2010 A conf
Simultaneous budget and buffer size computation for throughput-constrained task graphs.
DATE
Maarten Wiggers, Marco Bekooij, Marc Geilen, Twan Basten
2010 J jnl
Synchronous dataflow scenarios.
ACM Trans. Embed. Comput. Syst.
Marc Geilen
2010 C conf
Thermal-aware scratchpad memory design and allocation.
ICCD
Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal
2010 Misc conf
Worst-case performance analysis of synchronous dataflow scenarios.
CODES+ISSS
Marc Geilen, Sander Stuijk
2009 A* conf
A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management.
DAC
Hamid Shojaei, Amir Hossein Ghamarian, Twan Basten, Marc Geilen, Sander Stuijk, Rob Hoes
2009 — conf
Configuring multi-objective evolutionary algorithms for design-space exploration of wireless sensor networks.
PM2HW2N@MSWiM
Majid Nabi, Milos Blagojevic, Twan Basten, Marc Geilen, Teun Hendriks
2009 — conf
Exploring trade-offs between performance and resource requirements for synchronous dataflow graphs.
ESTIMedia
Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal
2009 — conf
Fast simulation methods to predict wireless sensor network performance.
PE-WASUN
Milos Blagojevic, Majid Nabi, Teun Hendriks, Twan Basten, Marc Geilen
2009 B conf
QoS Management for Wireless Sensor Networks with a Mobile Sink.
EWSN
Rob Hoes, Twan Basten, Wai-Leong Yeow, Chen-Khong Tham, Marc Geilen, Henk Corporaal
2009 J jnl
Quality-of-service trade-off analysis for wireless sensor networks.
Perform. Evaluation
Rob Hoes, Twan Basten, Chen-Khong Tham, Marc Geilen, Henk Corporaal
2009 A* conf
Reduction techniques for synchronous dataflow graphs.
DAC
Marc Geilen
2008 — conf
Formal Modeling and Scheduling of Datapaths of Digital Document Printers.
FORMATS
Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits W. Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou J. Somers
2008 A conf
Parametric Throughput Analysis of Synchronous Data Flow Graphs.
DATE
Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Sander Stuijk
2008 J jnl
Resource-efficient routing and scheduling of time-constrained streaming communication on networks-on-chip.
J. Syst. Archit.
Sander Stuijk, Twan Basten, Marc Geilen, Amir Hossein Ghamarian, Bart D. Theelen
2008 Misc conf
SPaC: a symbolic pareto calculator.
CODES+ISSS
Hamid Shojaei, Twan Basten, Marc Geilen, Phillip Stanley-Marbell
2008 J jnl
Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs.
IEEE Trans. Computers
Sander Stuijk, Marc Geilen, Twan Basten
2007 A conf
A calculator for Pareto points.
DATE
Marc Geilen, Twan Basten
2007 J jnl
An Algebra of Pareto Points.
Fundam. Informaticae
Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten
2007 A conf
Analysing qos trade-offs in wireless sensor networks.
MSWiM
Rob Hoes, Twan Basten, Chen-Khong Tham, Marc Geilen, Henk Corporaal
2007 C conf
Latency Minimization for Synchronous Data Flow Graphs.
DSD
Amir Hossein Ghamarian, Sander Stuijk, Twan Basten, Marc Geilen, Bart D. Theelen
2007 A* conf
Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs.
DAC
Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal
2007 C conf
Software/Hardware Engineering with the Parallel Object-Oriented Specification Language.
MEMOCODE
Bart D. Theelen, Oana Florescu, Marc Geilen, Jinfeng Huang, P. H. A. van der Putten, Jeroen Voeten
2006 C conf
A scenario-aware data flow model for combined long-run average and worst-case performance analysis.
MEMOCODE
Bart D. Theelen, Marc Geilen, Twan Basten, Jeroen Voeten, Stefan Valentin Gheorghita, Sander Stuijk
2006 B conf
Branching-Time Property Preservation Between Real-Time Systems.
ATVA
Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal
2006 A* conf
Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs.
DAC
Sander Stuijk, Marc Geilen, Twan Basten
2006 B conf
Liveness and Boundedness of Synchronous Data Flow Graphs.
FMCAD
Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, Sander Stuijk
2006 C conf
Resource-Efficient Routing and Scheduling of Time-Constrained Network-on-Chip Communication.
DSD
Sander Stuijk, Twan Basten, Marc Geilen, Amir Hossein Ghamarian, Bart D. Theelen
2006 — conf
SDF
ACSD
Sander Stuijk, Marc Geilen, Twan Basten
2006 — conf
Throughput Analysis of Synchronous Data Flow Graphs.
ACSD
Amir Hossein Ghamarian, Marc Geilen, Sander Stuijk, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, A. J. M. Moonen, Marco Bekooij
2005 — conf
An Algebra of Pareto Points.
ACSD
Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten
2005 A* conf
Minimising buffer requirements of synchronous dataflow graphs with model checking.
DAC
Marc Geilen, Twan Basten, Sander Stuijk
2005 A conf
Predictable Embedding of Large Data Structures in Multiprocessor Networks-on-Chip.
DATE
Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen
2005 C conf
Predictable embedding of large data structures in multiprocessor networks-on-chip.
DSD
Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen
2004 J jnl
Cluster-Based Partial-Order Reduction.
Autom. Softw. Eng.
Twan Basten, Dragan Bosnacki, Marc Geilen
2004 Misc conf
Reactive process networks.
EMSOFT
Marc Geilen, Twan Basten
2003 — book
Ambient intelligence - impact on embedded system design.
Twan Basten, Marc Geilen, Harmke de Groot
2003 A* conf
An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic.
CAV
Marc Geilen
2003 C conf
Real-time Property Preservation in Approximations of Timed Systems.
MEMOCODE
Jinfeng Huang, Jeroen Voeten, Marc Geilen
2003 A conf
Requirements on the Execution of Kahn Process Networks.
ESOP
Marc Geilen, Twan Basten
2001 J jnl
Object-oriented modelling and specification using SHE.
Comput. Lang.
Marc Geilen, Jeroen Voeten, P. H. A. van der Putten, Leo J. van Bokhoven, M. P. J. Stevens
2001 — conf
On the Construction of Monitors for Temporal Logic Properties.
RV@CAV
Marc Geilen
2000 — conf
An On-the-Fly Tableau Construction for a Real-Time Temporal Logic.
FTRTFT
Marc Geilen, Dennis Dams
1999 — conf
Software Synthesis for System Level Design Using Process Execution Trees.
EUROMICRO
Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen
1999 — conf
System Level Models for Real-Time Communication.
EUROMICRO
P. H. A. van der Putten, Jeroen Voeten, Marc Geilen, M. P. J. Stevens
1998 — conf
System Level Modelling for Hardware/Software Systems.
EUROMICRO
Jeroen Voeten, P. H. A. van der Putten, Marc Geilen, M. P. J. Stevens