Marc Geilen

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 56

Top Venues

DSD

DATE

Microprocess. Microsystems

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

Publications

Priscilla Sharon Allwin, Manil Dev Gomony, Marc Geilen
Run-time Non-uniform Quantization for Dynamic Neural Networks in Wireless Communication. ASPDAC (2024)
Nasim Samimi, Mitra Nasri, Twan Basten, Marc Geilen
Work in Progress: Guaranteeing Weakly-Hard Timing Constraints in Server-Based Real-Time Systems. RTAS (2024)
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 (2024)
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)
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) (2023)
Alireza Mohamadkhani, Marc Geilen, Jeroen Voeten, Twan Basten
Time- and Behavior-Preserving Execution of Determinate Supervisory Control. CoRR (2023)
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) (2023)
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 (2023)
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 Gurkaynak, 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)
Manil Gomony, Floran de Putter, Anteneh Gebregiorgis, Gianna Paulin, L. Mei, V. Jain, Said Hamdioui, V. Sanchez, Tobias Grosser, Marc Geilen, Marian Verhelst, Frank K. Zenke, F. Gurkaynak, Barry de Bruin, Sander Stuijk, S. Davidson, S. De, M. Ghogho, A. Jimborean, Sherif Eissa, Luca Benini, Dimitrios Soudris, Rajendra Bishnoi, S. Ainsworth, Federico Corradi, O. Karrakchou, Tim Güneysu, Henk Corporaal
CONVOLVE: Smart and seamless design of smart edge processors. CoRR (2022)
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)
Bram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten
Partial-Order Reduction for Supervisory Controller Synthesis. IEEE Trans. Autom. Control. 67 (2) (2022)
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) (2022)
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)
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)
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 (2021)
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) (2020)
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)
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)
Martijn Hendriks, Marc Geilen, Kees Goossens, Rob de Jong, Twan Basten
Interface Modeling for Quality and Resource Management. CoRR (2020)
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)
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 (2020)
Shayan Tabatabaei Nikkhah, Marc Geilen, Dip Goswami, Kees Goossens
A Performance Analysis Framework for Real-Time Systems Sharing Multiple Resources. DATE (2020)
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) (2019)
Joost van Pinxten, Marc Geilen, Twan Basten
Parametric Scheduler Characterization. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
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) (2019)
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)
Marc Geilen
If We Could Go Back in Time... On the Use of 'Unnatural' Time and Ordering in Dataflow Models. Principles of Modeling (2018)
Mladen Skelin, Marc Geilen
Compositionality in scenario-aware dataflow: a rendezvous perspective. LCTES (2018)
Hadi Alizadeh Ara, Marc Geilen, Amir R. B. Behrouzian, Twan Basten
Throughput-Buffering Trade-Off Analysis for Scenario-Aware Dataflow Models. RTNS (2018)
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)
Bram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten
Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems. ACSD (2018)
Roel van der Tempel, Joost van Pinxten, Marc Geilen, Umar Waqas
A Heuristic for Variable Re-Entrant Scheduling Problems. DSD (2018)
Hadi Alizadeh Ara, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Dip Goswami
Compositional Dataflow Modelling for Cyclo-Static Applications. DSD (2018)
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) (2018)
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) (2018)
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)
Mladen Skelin, Marc Geilen
It's a Matter of Time: Modeling and Analysis of Time Dependent Systems Using Scenario-Aware Dataflow. MEMOCODE (2018)
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) (2017)
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 (2017)
Mladen Skelin, Marc Geilen
Towards Component-Based (max, +) Algebraic Throughput Analysis of Hierarchical Synchronous Data Flow Models. SAFECOMP Workshops (2017)
Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth
Parameterized Dataflow Scenarios. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36 (4) (2017)
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) (2017)
Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth
Worst-case performance analysis of SDF-based parameterized dataflow. Microprocess. Microsystems 52 (2017)
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) (2017)
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) (2016)
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)
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) (2016)
Weizhe Zhang, Albert M. K. Cheng, Marc Geilen
Special Issue on Real-Time Scheduling on Heterogeneous Multi-core Processors. Microprocess. Microsystems 47 (2016)
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)
Shreya Adyanthaya, Marc Geilen, Twan Basten, Jeroen Voeten, Ramon R. H. Schiffelers
Communication aware multiprocessor binding for shared memory systems. SIES (2016)
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)
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)
Joost van Pinxten, Marc Geilen, Twan Basten, Umar Waqas, Lou J. Somers
Online heuristic for the Multi-Objective Generalized traveling salesman problem. DATE (2016)
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) (2016)
Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh Ara, Dip Goswami
Checking Metric Temporal Logic with TRACE. ACSD (2016)
Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth
Worst-case latency analysis of SDF-based parametrized dataflow MoCs. DASIP (2015)
Kees Goossens, Martijn Koedam, Shubhendu Sinha, Andrew Nelson, Marc Geilen
Run-time middleware to support real-time system scenarios. ECCTD (2015)
Davide Quaglia, Marc Geilen
Introduction to special issue on cyber-physical systems. Microprocess. Microsystems 39 (8) (2015)
Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth
Worst-Case Throughput Analysis of SDF-Based Parametrized Dataflow. DSD (2015)
Amir R. B. Behrouzian, Dip Goswami, Twan Basten, Marc Geilen, Hadi Alizadeh Ara
Multi-Constraint multi-processor Resource Allocation. SAMOS (2015)
Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth
Parametrized dataflow scenarios. EMSOFT (2015)
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)
Shreya Adyanthaya, Marc Geilen, Twan Basten, Jeroen Voeten, Ramon R. H. Schiffelers
Iterative robust multiprocessor scheduling. RTNS (2015)
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) (2015)
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)
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) (2015)
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)
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)
Milos Blagojevic, Marc Geilen, Twan Basten, Majid Nabi, Teun Hendriks
Fast-performance simulation for Gossip-based Wireless Sensor Networks. Simul. 90 (1) (2014)
Shreya Adyanthaya, Zhihui Zhang, Marc Geilen, Jeroen Voeten, Twan Basten, Ramon R. H. Schiffelers
Robustness analysis of multiprocessor schedules. ICSAMOS (2014)
Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk
Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming. DATE (2014)
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)
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)
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) (2014)
Marc Geilen, Joachim Falk, Christian Haubelt, Twan Basten, Bart D. Theelen, Sander Stuijk
Performance analysis of weakly-consistent scenario-aware dataflow graphs. ACSSC (2014)
Firew Siyoum, Marc Geilen, Henk Corporaal
Symbolic Analysis of Dataflow Applications Mapped onto Shared Heterogeneous Resources. DAC (2014)
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)
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)
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) (2013)
Firew Siyoum, Marc Geilen, Johan Eker, Carl von Platen, Henk Corporaal
Automated extraction of scenario sequences from disciplined dataflow networks. MEMOCODE (2013)
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) (2013)
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) (2013)
Milos Blagojevic, Marc Geilen, Twan Basten, Teun Hendriks
Fast sink placement for Gossip-based Wireless Sensor Networks. IPCCC (2012)
Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal
Playing games with scenario- and resource-aware SDF graphs through policy iteration. DATE (2012)
Marcel Steine, Marc Geilen, Twan Basten
A Distributed Feedback Control Mechanism for Quality-of-Service Maintenance in Wireless Sensor Networks. DSD (2012)
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)
Marc Geilen, Sander Stuijk, Twan Basten
Predictable dynamic embedded data processing. ICSAMOS (2012)
Rosilde Corvino, Abdoulaye Gamatié, Marc Geilen, Lech Józwiak
Design space exploration in application-specific hardware synthesis for multiple communicating nested loops. ICSAMOS (2012)
Morteza Damavandpeyma, Sander Stuijk, Marc Geilen, Twan Basten, Henk Corporaal
Parametric throughput analysis of scenario-aware dataflow graphs. ICCD (2012)
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) (2012)
Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal
Modeling static-order schedules in synchronous dataflow graphs. DATE (2012)
Majid Nabi, Marc Geilen, Twan Basten
On-demand data forwarding for automatic adaptation of data propagation in WBANs. SECON (2012)
Firew Siyoum, Marc Geilen, Orlando Moreira, Henk Corporaal
Worst-case throughput analysis of real-time dynamic streaming applications. CODES+ISSS (2012)
Majid Nabi, Marc Geilen, Twan Basten
Demonstrating on-demand listening and data forwarding in wireless body area networks. SECON (2012)
Martijn Hendriks, Marc Geilen, Twan Basten
Pareto Analysis with Uncertainty. EUC (2011)
Majid Nabi, Milos Blagojevic, Marc Geilen, Twan Basten
Dynamic data prioritization for quality-of-service differentiation in heterogeneous Wireless Sensor Networks. SECON (2011)
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)
Sander Stuijk, Twan Basten, Benny Akesson, Marc Geilen, Orlando Moreira, Jan Reineke
Designing next-generation real-time streaming systems. CODES+ISSS (2011)
Bart D. Theelen, Marc Geilen, Jeroen Voeten
Performance Model Checking Scenario-Aware Dataflow. FORMATS (2011)

Marc Geilen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marc Geilen