default search action
Marc Geilen
2020 – today
- 2024
- [j42]Mahtab Modaber, Martijn Hendriks, Marc Geilen, Twan Basten, Jeroen Voeten:
A Method for Building Trustworthy Hybrid Performance Models for Cyber-Physical Systems of Systems. IEEE Access 12: 92733-92752 (2024) - [c121]Priscilla Sharon Allwin, Manil Dev Gomony, Marc Geilen:
Run-time Non-uniform Quantization for Dynamic Neural Networks in Wireless Communication. ASPDAC 2024: 915-920 - [c120]Nasim Samimi, Mitra Nasri, Twan Basten, Marc Geilen:
Guaranteeing Weakly-Hard Timing Constraints of Real-Time Server-Based Systems. ETFA 2024: 1-8 - [c119]Nasim Samimi, Mitra Nasri, Twan Basten, Marc Geilen:
Work in Progress: Guaranteeing Weakly-Hard Timing Constraints in Server-Based Real-Time Systems. RTAS 2024: 402-405 - [c118]Nasim Samimi, Mitra Nasri, Twan Basten, Marc Geilen:
Online Admission Test for Real-Time Tasks with Arrival Curves for Server Platforms. RTNS 2024: 266-277 - 2023
- [j41]Alireza Mohamadkhani, Marc Geilen, Jeroen Voeten, Twan Basten:
Modeling and analysis of switching max-plus linear systems with discrete-event feedback. Discret. Event Dyn. Syst. 33(3): 341-372 (2023) - [j40]Hossein Elahi, Marc Geilen, Twan Basten:
Efficient Computation of the Max-Plus Semantics of Synchronous Dataflow Graphs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(10): 3412-3425 (2023) - [c117]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:
PetaOps/W edge-AI $\mu$ Processors: Myth or reality? DATE 2023: 1-6 - [c116]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:
Dependability of Future Edge-AI Processors: Pandora's Box. ETS 2023: 1-6 - [i4]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:
Tool interoperability for model-based systems engineering. CoRR abs/2302.03503 (2023) - [i3]Alireza Mohamadkhani, Marc Geilen, Jeroen Voeten, Twan Basten:
Time- and Behavior-Preserving Execution of Determinate Supervisory Control. CoRR abs/2312.05011 (2023) - 2022
- [j39]Bram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten:
Partial-Order Reduction for Supervisory Controller Synthesis. IEEE Trans. Autom. Control. 67(2): 870-885 (2022) - [j38]Emad A. Ibrahim, Bart van den Dool, Sayandip De, Manil Dev Gomony, Jos Huisken, Marc Geilen:
Dilate-Invariant Temporal Convolutional Network for Real-Time Edge Applications. IEEE Trans. Circuits Syst. I Regul. Pap. 69(3): 1210-1220 (2022) - [c115]Bram Hooimeijer, Marc Geilen, Jan Friso Groote, Dennis Hendriks, Ramon R. H. Schiffelers:
Constructive Model Inference: Model Learning for Component-based Software Architectures. ICSOFT 2022: 146-158 - [i2]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:
CONVOLVE: Smart and seamless design of smart edge processors. CoRR abs/2212.00873 (2022) - 2021
- [j37]Martijn Hendriks, Marc Geilen, Kees Goossens, Rob de Jong, Twan Basten:
Interface Modeling for Quality and Resource Management. Log. Methods Comput. Sci. 17(2) (2021) - [j36]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:
Design and management of image processing pipelines within CPS: Acquired experience towards the end of the FitOptiVis ECSEL Project. Microprocess. Microsystems 87: 104350 (2021) - [c114]Shayan Tabatabaei Nikkhah, Marc Geilen, Dip Goswami, Martijn Koedam, Andrew Nelson, Kees Goossens:
A Deployment Framework for Quality-Sensitive Applications in Resource-Constrained Dynamic Environments. DSD 2021: 212-220 - 2020
- [j35]Emad A. Ibrahim, Marc Geilen, Min Li, José Pineda de Gyvez:
Multi-Angle Fusion for Low-Cost Near-Field Ultrasonic in-Air Gesture Recognition. IEEE Access 8: 191204-191218 (2020) - [j34]Amir R. B. Behrouzian, Hadi Alizadeh Ara, Marc Geilen, Dip Goswami, Twan Basten:
Firmness Analysis of Real-time Tasks. ACM Trans. Embed. Comput. Syst. 19(4): 26:1-26:24 (2020) - [c113]Shayan Tabatabaei Nikkhah, Marc Geilen, Dip Goswami, Kees Goossens:
A Performance Analysis Framework for Real-Time Systems Sharing Multiple Resources. DATE 2020: 326-329 - [c112]Emad A. Ibrahim, Marc Geilen, Jos Huisken, Min Li, José Pineda de Gyvez:
Low Complexity Multi-directional In-Air Ultrasonic Gesture Recognition Using a TCN. DATE 2020: 1259-1264 - [c111]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:
Design and management of image processing pipelines within CPS: 2 years of experience from the FitOptiVis ECSEL Project. DSD 2020: 378-385 - [c110]Freek van den Berg, Václav Camra, Martijn Hendriks, Marc Geilen, Petr Hnetynka, Fernando Manteca, Pablo Sánchez, Tomás Bures, Twan Basten:
QRML: A Component Language and Toolset for Quality and Resource Management. FDL 2020: 1-8 - [i1]Martijn Hendriks, Marc Geilen, Kees Goossens, Rob de Jong, Twan Basten:
Interface Modeling for Quality and Resource Management. CoRR abs/2002.08181 (2020)
2010 – 2019
- 2019
- [j33]Joost van Pinxten, Marc Geilen, Twan Basten:
Parametric Scheduler Characterization. ACM Trans. Embed. Comput. Syst. 18(5s): 110:1-110:25 (2019) - [j32]Martijn Hendriks, Hadi Alizadeh Ara, Marc Geilen, Twan Basten, Ruben Guerra Marin, Rob de Jong, Steven van der Vlugt:
Monotonic Optimization of Dataflow Buffer Sizes. J. Signal Process. Syst. 91(1): 21-32 (2019) - [j31]Steven van der Vlugt, Hadi Alizadeh Ara, Rob de Jong, Martijn Hendriks, Ruben Guerra Marin, Marc Geilen, Dip Goswami:
Modeling and Analysis of FPGA Accelerators for Real-Time Streaming Video Processing in the Healthcare Domain. J. Signal Process. Syst. 91(1): 75-91 (2019) - [c109]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:
The FitOptiVis ECSEL project: highly efficient distributed embedded image/video processing in cyber-physical systems. CF 2019: 333-338 - 2018
- [j30]Joost van Pinxten, Marc Geilen, Martijn Hendriks, Twan Basten:
Parametric Critical Path Analysis for Event Networks With Minimal and Maximal Time Lags. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2697-2708 (2018) - [j29]Hadi Alizadeh Ara, Amir R. B. Behrouzian, Martijn Hendriks, Marc Geilen, Dip Goswami, Twan Basten:
Scalable Analysis for Multi-Scale Dataflow Models. ACM Trans. Embed. Comput. Syst. 17(4): 80:1-80:26 (2018) - [c108]Bram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten:
Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems. ACSD 2018: 40-49 - [c107]Marc Geilen:
If We Could Go Back in Time... On the Use of 'Unnatural' Time and Ordering in Dataflow Models. Principles of Modeling 2018: 267-286 - [c106]Hadi Alizadeh Ara, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Dip Goswami:
Compositional Dataflow Modelling for Cyclo-Static Applications. DSD 2018: 121-129 - [c105]Ruben Jonk, Jeroen Voeten, Marc Geilen, Twan Basten, Ramon R. H. Schiffelers:
Timing Prediction for Service-Based Applications Mapped on Linux-Based Multi-core Platforms. DSD 2018: 130-139 - [c104]Roel van der Tempel, Joost van Pinxten, Marc Geilen, Umar Waqas:
A Heuristic for Variable Re-Entrant Scheduling Problems. DSD 2018: 336-341 - [c103]Mladen Skelin, Marc Geilen:
Compositionality in scenario-aware dataflow: a rendezvous perspective. LCTES 2018: 55-64 - [c102]Mladen Skelin, Marc Geilen:
It's a Matter of Time: Modeling and Analysis of Time Dependent Systems Using Scenario-Aware Dataflow. MEMOCODE 2018: 11-21 - [c101]Amir Reza Baghban Behrouzian, Dip Goswami, Twan Basten, Marc Geilen, Hadi Alizadeh Ara, Martijn Hendriks:
Firmness Analysis of Real-Time Applications Under Static-Priority Preemptive Scheduling. RTAS 2018: 295-304 - [c100]Hadi Alizadeh Ara, Marc Geilen, Amir R. B. Behrouzian, Twan Basten:
Throughput-Buffering Trade-Off Analysis for Scenario-Aware Dataflow Models. RTNS 2018: 265-275 - 2017
- [j28]Qi Tang, Twan Basten, Marc Geilen, Sander Stuijk, Ji-Bo Wei:
Mapping of synchronous dataflow graphs on MPSoCs based on parallelism enhancement. J. Parallel Distributed Comput. 101: 79-91 (2017) - [j27]Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth:
Worst-case performance analysis of SDF-based parameterized dataflow. Microprocess. Microsystems 52: 439-460 (2017) - [j26]Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth:
Parameterized Dataflow Scenarios. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(4): 669-682 (2017) - [j25]Qi Tang, Twan Basten, Marc Geilen, Sander Stuijk, Jibo Wei:
Task-FIFO Co-Scheduling of Streaming Applications on MPSoCs with Predictable Memory Hierarchy. ACM Trans. Embed. Comput. Syst. 16(2): 49:1-49:25 (2017) - [j24]Joost van Pinxten, Umar Waqas, Marc Geilen, Twan Basten, Lou J. Somers:
Online Scheduling of 2-Re-entrant Flexible Manufacturing Systems. ACM Trans. Embed. Comput. Syst. 16(5s): 160:1-160:20 (2017) - [j23]Marc Geilen, Joachim Falk, Christian Haubelt, Twan Basten, Bart D. Theelen, Sander Stuijk:
Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs. J. Signal Process. Syst. 87(1): 157-175 (2017) - [c99]Mladen Skelin, Marc Geilen:
Towards Component-Based (max, +) Algebraic Throughput Analysis of Hierarchical Synchronous Data Flow Models. SAFECOMP Workshops 2017: 462-476 - [p3]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:
NoC-Based Multiprocessor Architecture for Mixed-Time-Criticality Applications. Handbook of Hardware/Software Codesign 2017: 491-530 - 2016
- [j22]Weizhe Zhang, Albert M. K. Cheng, Marc Geilen:
Special Issue on Real-Time Scheduling on Heterogeneous Multi-core Processors. Microprocess. Microsystems 47: 90-92 (2016) - [j21]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:
xCPS: a tool to explore cyber physical systems. SIGBED Rev. 14(1): 81-95 (2016) - [j20]Firew Siyoum, Marc Geilen, Henk Corporaal:
End-to-End Latency Analysis of Dataflow Scenarios Mapped Onto Shared Heterogeneous Resources. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(4): 535-548 (2016) - [j19]Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk:
Multiconstraint Static Scheduling of Synchronous Dataflow Graphs Via Retiming and Unfolding. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(6): 905-918 (2016) - [c98]Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh Ara, Dip Goswami:
Checking Metric Temporal Logic with TRACE. ACSD 2016: 19-24 - [c97]Joost van Pinxten, Marc Geilen, Twan Basten, Umar Waqas, Lou J. Somers:
Online heuristic for the Multi-Objective Generalized traveling salesman problem. DATE 2016: 822-825 - [c96]Umar Waqas, Marc Geilen, Sander Stuijk, Joost van Pinxten, Twan Basten, Lou J. Somers, Henk Corporaal:
A Fast Estimator of Performance with Respect to the Design Parameters of Self Re-Entrant Flowshops. DSD 2016: 215-221 - [c95]Bram van der Sanden, João Bastos, Jeroen Voeten, Marc Geilen, Michel A. Reniers, Twan Basten, Johan Jacobs, Ramon R. H. Schiffelers:
Compositional specification of functionality and timing of manufacturing systems. FDL 2016: 1-8 - [c94]Amir R. B. Behrouzian, Dip Goswami, Marc Geilen, Martijn Hendriks, Hadi Alizadeh Ara, Eelco P. van Horssen, W. P. M. H. Heemels, Twan Basten:
Sample-drop firmness analysis of TDMA-scheduled control applications. SIES 2016: 37-44 - [c93]Shreya Adyanthaya, Marc Geilen, Twan Basten, Jeroen Voeten, Ramon R. H. Schiffelers:
Communication aware multiprocessor binding for shared memory systems. SIES 2016: 244-253 - [c92]Hadi Alizadeh Ara, Marc Geilen, Twan Basten, Amir R. B. Behrouzian, Martijn Hendriks, Dip Goswami:
Tight temporal bounds for dataflow applications mapped onto shared resources. SIES 2016: 300-307 - 2015
- [j18]Davide Quaglia, Marc Geilen:
Introduction to special issue on cyber-physical systems. Microprocess. Microsystems 39(8): 817 (2015) - [j17]Shubhendu Sinha, Martijn Koedam, Gabriela Breaban, Andrew Nelson, Ashkan Beyranvand Nejad, Marc Geilen, Kees Goossens:
Composable and predictable dynamic loading for time-critical partitioned systems on multiprocessor architectures. Microprocess. Microsystems 39(8): 1087-1107 (2015) - [j16]Marcel Steine, Marc Geilen, Twan Basten:
A Distributed Reconfiguration Approach for Quality-of-Service Provisioning in Dynamic Heterogeneous Wireless Sensor Networks. ACM Trans. Sens. Networks 11(2): 34:1-34:41 (2015) - [c91]Qi Tang, Twan Basten, Marc Geilen, Sander Stuijk, Ji-Bo Wei:
Task-FIFO Co-scheduling of Streaming Applications on MPSoCs with Predictable Memory Hierarchy. ACSD 2015: 90-99 - [c90]Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth:
Worst-case latency analysis of SDF-based parametrized dataflow MoCs. DASIP 2015: 1-6 - [c89]Umar Waqas, Marc Geilen, Jack Kandelaars, Lou J. Somers, Twan Basten, Sander Stuijk, Patrick Vestjens, Henk Corporaal:
A re-entrant flowshop heuristic for online scheduling of the paper path in a large scale printer. DATE 2015: 573-578 - [c88]Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth:
Worst-Case Throughput Analysis of SDF-Based Parametrized Dataflow. DSD 2015: 17-24 - [c87]Kees Goossens, Martijn Koedam, Shubhendu Sinha, Andrew Nelson, Marc Geilen:
Run-time middleware to support real-time system scenarios. ECCTD 2015: 1-4 - [c86]Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth:
Parametrized dataflow scenarios. EMSOFT 2015: 95-104 - [c85]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:
xCPS: A tool to eXplore Cyber Physical Systems. WESE 2015: 3:1-3:8 - [c84]Bram van der Sanden, Michel A. Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, Ramon R. H. Schiffelers:
Modular model-based supervisory controller design for wafer logistics in lithography machines. MoDELS 2015: 416-425 - [c83]Shreya Adyanthaya, Marc Geilen, Twan Basten, Jeroen Voeten, Ramon R. H. Schiffelers:
Iterative robust multiprocessor scheduling. RTNS 2015: 23-32 - [c82]Amir R. B. Behrouzian, Dip Goswami, Twan Basten, Marc Geilen, Hadi Alizadeh Ara:
Multi-Constraint multi-processor Resource Allocation. SAMOS 2015: 338-346 - 2014
- [j15]Milos Blagojevic, Marc Geilen, Twan Basten, Majid Nabi, Teun Hendriks:
Fast-performance simulation for Gossip-based Wireless Sensor Networks. Simul. 90(1): 103-126 (2014) - [j14]Majid Nabi, Marc Geilen, Twan Basten, Milos Blagojevic:
Efficient Cluster Mobility Support for TDMA-Based MAC Protocols in Wireless Sensor Networks. ACM Trans. Sens. Networks 10(4): 65:1-65:32 (2014) - [c81]Marc Geilen, Joachim Falk, Christian Haubelt, Twan Basten, Bart D. Theelen, Sander Stuijk:
Performance analysis of weakly-consistent scenario-aware dataflow graphs. ACSSC 2014: 393-397 - [c80]Firew Siyoum, Marc Geilen, Henk Corporaal:
Symbolic Analysis of Dataflow Applications Mapped onto Shared Heterogeneous Resources. DAC 2014: 127:1-127:6 - [c79]Raymond Frijns, Shreya Adyanthaya, Sander Stuijk, Jeroen Voeten, Marc C. W. Geilen, Ramon R. H. Schiffelers, Henk Corporaal:
Timing analysis of First-Come First-Served scheduled interval-timed Directed Acyclic Graphs. DATE 2014: 1-6 - [c78]Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk:
Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming. DATE 2014: 1-6 - [c77]Shubhendu Sinha, Martijn Koedam, Rob van Wijk, Andrew Nelson, Ashkan Beyranvand Nejad, Marc Geilen, Kees Goossens:
Composable and Predictable Dynamic Loading for Time-Critical Partitioned Systems. DSD 2014: 285-292 - [c76]Shreya Adyanthaya, Zhihui Zhang, Marc Geilen, Jeroen Voeten, Twan Basten, Ramon R. H. Schiffelers:
Robustness analysis of multiprocessor schedules. ICSAMOS 2014: 9-17 - [c75]Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth:
Worst-case Throughput Analysis for Parametric Rate and Parametric Actor Execution Time Scenario-Aware Dataflow Graphs. SynCoP 2014: 65-79 - 2013
- [j13]Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal:
Schedule-Extended Synchronous Dataflow Graphs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32(10): 1495-1508 (2013) - [j12]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. Embed. Comput. Syst. 12(3): 83:1-83:26 (2013) - [j11]Hamid Shojaei, Twan Basten, Marc Geilen, Azadeh Davoodi:
A fast and scalable multidimensional multiple-choice knapsack heuristic. ACM Trans. Design Autom. Electr. Syst. 18(4): 51:1-51:32 (2013) - [c74]Shreya Adyanthaya, Marc Geilen, Twan Basten, Ramon R. H. Schiffelers, Bart D. Theelen, Jeroen Voeten:
Fast Multiprocessor Scheduling with Fixed Task Binding of Large Scale Industrial Cyber Physical Systems. DSD 2013: 979-988 - [c73]Firew Siyoum, Marc Geilen, Johan Eker, Carl von Platen, Henk Corporaal:
Automated extraction of scenario sequences from disciplined dataflow networks. MEMOCODE 2013: 47-56 - [c72]Majid Nabi, Marc C. W. Geilen, Twan Basten:
An empirical study of link quality estimation techniques for disconnection detection in WBANs. MSWiM 2013: 219-228 - [c71]Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal:
Throughput-constrained DVFS for scenario-aware dataflow graphs. IEEE Real-Time and Embedded Technology and Applications Symposium 2013: 175-184 - [p2]Marc Geilen, Twan Basten:
Kahn Process Networks and a Reactive Extension. Handbook of Signal Processing Systems 2013: 1041-1081 - 2012
- [j10]Xue-Yang Zhu, Twan Basten, Marc Geilen, Sander Stuijk:
Efficient Retiming of Multirate DSP Algorithms. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31(6): 831-844 (2012) - [c70]Firew Siyoum, Marc Geilen, Orlando Moreira, Henk Corporaal:
Worst-case throughput analysis of real-time dynamic streaming applications. CODES+ISSS 2012: 463-472 - [c69]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 - [c68]Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal:
Modeling static-order schedules in synchronous dataflow graphs. DATE 2012: 775-780 - [c67]Marcel Steine, Marc Geilen, Twan Basten:
A Distributed Feedback Control Mechanism for Quality-of-Service Maintenance in Wireless Sensor Networks. DSD 2012: 739-742 - [c66]Morteza Damavandpeyma, Sander Stuijk, Marc Geilen, Twan Basten, Henk Corporaal:
Parametric throughput analysis of scenario-aware dataflow graphs. ICCD 2012: 219-226 - [c65]Milos Blagojevic, Marc Geilen, Twan Basten, Teun Hendriks:
Fast sink placement for Gossip-based Wireless Sensor Networks. IPCCC 2012: 110-119 - [c64]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 - [c63]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 - [c62]Marc Geilen, Sander Stuijk, Twan Basten:
Predictable dynamic embedded data processing. ICSAMOS 2012: 320-327 - [c61]Majid Nabi, Marc Geilen, Twan Basten:
Demonstrating on-demand listening and data forwarding in wireless body area networks. SECON 2012: 82-84 - [c60]Majid Nabi, Marc Geilen, Twan Basten:
On-demand data forwarding for automatic adaptation of data propagation in WBANs. SECON 2012: 326-334 - 2011
- [c59]Sander Stuijk, Twan Basten, Benny Akesson, Marc Geilen, Orlando Moreira, Jan Reineke:
Designing next-generation real-time streaming systems. CODES+ISSS 2011: 375-376 - [c58]Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal:
Iteration-Based Trade-Off Analysis of Resource-Aware SDF. DSD 2011: 567-574 - [c57]Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal:
Hybrid Code-Data Prefetch-Aware Multiprocessor Task Graph Scheduling. DSD 2011: 583-590 - [c56]Martijn Hendriks, Marc Geilen, Twan Basten:
Pareto Analysis with Uncertainty. EUC 2011: 189-196 - [c55]Bart D. Theelen, Marc Geilen, Jeroen Voeten:
Performance Model Checking Scenario-Aware Dataflow. FORMATS 2011: 43-59 - [c54]Marc Geilen, Stavros Tripakis, Maarten Wiggers:
The earlier the better: a theory of timed actor interfaces. HSCC 2011: 23-32 - [c53]Firew Siyoum, Marc Geilen, Orlando Moreira, Rick J. M. Nas, Henk Corporaal:
Analyzing synchronous dataflow scenarios for dynamic software-defined radio applications. SoC 2011: 14-21 - [c52]Marcel Steine, Marc Geilen, Twan Basten:
Distributed maintenance of minimum-cost path information in wireless sensor networks. PM2HW2N@MSWiM 2011: 25-32 - [c51]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 - [c50]Milos Blagojevic, Majid Nabi, Marc Geilen, Twan Basten, Teun Hendriks, Marcel Steine:
A Probabilistic Acknowledgment Mechanism for Wireless Sensor Networks. NAS 2011: 63-72 - [c49]Nikola Trcka, Martijn Hendriks, Twan Basten, Marc Geilen, Lou J. Somers:
Integrated model-driven design-space exploration for embedded systems. ICSAMOS 2011: 339-346 - [c48]Sander Stuijk, Marc Geilen, Bart D. Theelen, Twan Basten:
Scenario-aware dataflow: Modeling, analysis and implementation of dynamic applications. ICSAMOS 2011: 404-411 - [c47]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 - [c46]Majid Nabi, Marc Geilen, Twan Basten:
MoBAN: a configurable mobility model for wireless body area networks. SimuTools 2011: 168-177 - 2010
- [j9]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) - [j8]Marc Geilen:
Synchronous dataflow scenarios. ACM Trans. Embed. Comput. Syst. 10(2): 16:1-16:31 (2010) - [c45]Majid Nabi, Twan Basten, Marc Geilen, Milos Blagojevic, Teun Hendriks:
A robust protocol stack for multi-hop wireless body area networks with transmit power adaptation. BODYNETS 2010: 77-83 - [c44]Marc Geilen, Sander Stuijk:
Worst-case performance analysis of synchronous dataflow scenarios. CODES+ISSS 2010: 125-134 - [c43]Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal:
Automated bottleneck-driven design-space exploration of media processing systems. DATE 2010: 1041-1046 - [c42]Maarten Wiggers, Marco Bekooij, Marc Geilen, Twan Basten:
Simultaneous budget and buffer size computation for throughput-constrained task graphs. DATE 2010: 1669-1672 - [c41]Sander Stuijk, Marc Geilen, Twan Basten:
A Predictable Multiprocessor Design Flow for Streaming Applications with Dynamic Behaviour. DSD 2010: 548-555 - [c40]Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal:
Thermal-aware scratchpad memory design and allocation. ICCD 2010: 118-124 - [c39]Peter Poplavko, Marc Geilen, Twan Basten:
Predicting the throughput of multiprocessor applications under dynamic workload. ICCD 2010: 282-288 - [c38]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 - [c37]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 - [p1]Marc Geilen, Twan Basten:
Kahn Process Networks and a Reactive Extension. Handbook of Signal Processing Systems 2010: 967-1006
2000 – 2009
- 2009
- [j7]Rob Hoes, Twan Basten, Chen-Khong Tham, Marc Geilen, Henk Corporaal:
Quality-of-service trade-off analysis for wireless sensor networks. Perform. Evaluation 66(3-5): 191-208 (2009) - [c36]Marc Geilen:
Reduction techniques for synchronous dataflow graphs. DAC 2009: 911-916 - [c35]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 - [c34]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 - [c33]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 - [c32]Majid Nabi, Milos Blagojevic, Twan Basten, Marc Geilen, Teun Hendriks:
Configuring multi-objective evolutionary algorithms for design-space exploration of wireless sensor networks. PM2HW2N@MSWiM 2009: 111-119 - [c31]Milos Blagojevic, Majid Nabi, Teun Hendriks, Twan Basten, Marc Geilen:
Fast simulation methods to predict wireless sensor network performance. PE-WASUN 2009: 41-48 - 2008
- [j6]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. J. Syst. Archit. 54(3-4): 411-426 (2008) - [j5]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) - [c30]Hamid Shojaei, Twan Basten, Marc Geilen, Phillip Stanley-Marbell:
SPaC: a symbolic pareto calculator. CODES+ISSS 2008: 179-184 - [c29]Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Sander Stuijk:
Parametric Throughput Analysis of Synchronous Data Flow Graphs. DATE 2008: 116-121 - [c28]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 - [c27]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 - 2007
- [j4]Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten:
An Algebra of Pareto Points. Fundam. Informaticae 78(1): 35-74 (2007) - [c26]Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal:
Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs. DAC 2007: 777-782 - [c25]Marc Geilen, Twan Basten:
A calculator for Pareto points. DATE 2007: 285-290 - [c24]Amir Hossein Ghamarian, Sander Stuijk, Twan Basten, Marc Geilen, Bart D. Theelen:
Latency Minimization for Synchronous Data Flow Graphs. DSD 2007: 189-196 - [c23]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 - [c22]Rob Hoes, Twan Basten, Chen-Khong Tham, Marc Geilen, Henk Corporaal:
Analysing qos trade-offs in wireless sensor networks. MSWiM 2007: 60-69 - 2006
- [c21]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 - [c20]Sander Stuijk, Marc Geilen, Twan Basten:
SDF3: SDF For Free. ACSD 2006: 276-278 - [c19]Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal:
Branching-Time Property Preservation Between Real-Time Systems. ATVA 2006: 260-275 - [c18]Sander Stuijk, Marc Geilen, Twan Basten:
Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs. DAC 2006: 899-904 - [c17]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 - [c16]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 - [c15]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
- [c14]Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten:
An Algebra of Pareto Points. ACSD 2005: 88-97 - [c13]Marc Geilen, Twan Basten, Sander Stuijk:
Minimising buffer requirements of synchronous dataflow graphs with model checking. DAC 2005: 819-824 - [c12]Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen:
Predictable Embedding of Large Data Structures in Multiprocessor Networks-on-Chip. DATE 2005: 254-255 - [c11]Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen:
Predictable embedding of large data structures in multiprocessor networks-on-chip. DSD 2005: 388-396 - 2004
- [j3]Twan Basten, Dragan Bosnacki, Marc Geilen:
Cluster-Based Partial-Order Reduction. Autom. Softw. Eng. 11(4): 365-402 (2004) - [c10]Marc Geilen, Twan Basten:
Reactive process networks. EMSOFT 2004: 137-146 - 2003
- [b1]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 - [c9]Marc Geilen:
An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic. CAV 2003: 394-406 - [c8]Marc Geilen, Twan Basten:
Requirements on the Execution of Kahn Process Networks. ESOP 2003: 319-334 - [c7]Jinfeng Huang, Jeroen Voeten, Marc Geilen:
Real-time Property Preservation in Approximations of Timed Systems. MEMOCODE 2003: 163-171 - 2001
- [j2]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) - [c6]Marc Geilen:
On the Construction of Monitors for Temporal Logic Properties. RV@CAV 2001: 181-199 - 2000
- [c5]Marc Geilen, Dennis Dams:
An On-the-Fly Tableau Construction for a Real-Time Temporal Logic. FTRTFT 2000: 276-290
1990 – 1999
- 1999
- [c4]Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen:
Software Synthesis for System Level Design Using Process Execution Trees. EUROMICRO 1999: 1463-1467 - [c3]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
- [c2]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 - 1996
- [j1]Martin J. Bastiaans, Marc C. W. Geilen:
On the discrete Gabor transform and the discrete Zak transform. Signal Process. 49(3): 151-166 (1996) - [c1]Martin J. Bastiaans, Marc C. W. Geilen:
Gabor's Signal Expansion And The Zak Transform With Non-critical Sampling. ISSPA 1996: 642-645
Coauthor Index
aka: Amir Reza Baghban Behrouzian
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint