Marc Geilen
Orcid: 0000-0002-2629-3249Affiliations:
- Eindhoven University of Technology, Netherlands
According to our database1,
Marc Geilen
authored at least 165 papers
between 1996 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
A Method for Building Trustworthy Hybrid Performance Models for Cyber-Physical Systems of Systems.
IEEE Access, 2024
Work in Progress: Guaranteeing Weakly-Hard Timing Constraints in Server-Based Real-Time Systems.
Proceedings of the 30th IEEE Real-Time and Embedded Technology and Applications Symposium, 2024
Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024
Run-time Non-uniform Quantization for Dynamic Neural Networks in Wireless Communication.
Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024
2023
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., October, 2023
Modeling and analysis of switching max-plus linear systems with discrete-event feedback.
Discret. Event Dyn. Syst., September, 2023
CoRR, 2023
Proceedings of the IEEE European Test Symposium, 2023
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
2022
IEEE Trans. Circuits Syst. I Regul. Pap., 2022
IEEE Trans. Autom. Control., 2022
Constructive Model Inference: Model Learning for Component-based Software Architectures.
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.
Microprocess. Microsystems, November, 2021
Log. Methods Comput. Sci., 2021
A Deployment Framework for Quality-Sensitive Applications in Resource-Constrained Dynamic Environments.
Proceedings of the 24th Euromicro Conference on Digital System Design, 2021
2020
IEEE Access, 2020
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.
Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020
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.
J. Signal Process. Syst., 2019
The FitOptiVis ECSEL project: highly efficient distributed embedded image/video processing in cyber-physical systems.
Proceedings of the 16th ACM International Conference on Computing Frontiers, 2019
2018
ACM Trans. Embed. Comput. Syst., 2018
Parametric Critical Path Analysis for Event Networks With Minimal and Maximal Time Lags.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
Proceedings of the 26th International Conference on Real-Time Networks and Systems, 2018
Firmness Analysis of Real-Time Applications Under Static-Priority Preemptive Scheduling.
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.
Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018
Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, 2018
Proceedings of the 21st Euromicro Conference on Digital System Design, 2018
Timing Prediction for Service-Based Applications Mapped on Linux-Based Multi-core Platforms.
Proceedings of the 21st Euromicro Conference on Digital System Design, 2018
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.
Proceedings of the Principles of Modeling, 2018
Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018
2017
Proceedings of the Handbook of Hardware/Software Codesign., 2017
J. Signal Process. Syst., 2017
Task-FIFO Co-Scheduling of Streaming Applications on MPSoCs with Predictable Memory Hierarchy.
ACM Trans. Embed. Comput. Syst., 2017
ACM Trans. Embed. Comput. Syst., 2017
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017
Microprocess. Microsystems, 2017
J. Parallel Distributed Comput., 2017
Towards Component-Based (max, +) Algebraic Throughput Analysis of Hierarchical Synchronous Data Flow Models.
Proceedings of the Computer Safety, Reliability, and Security, 2017
2016
Multiconstraint Static Scheduling of Synchronous Dataflow Graphs Via Retiming and Unfolding.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016
End-to-End Latency Analysis of Dataflow Scenarios Mapped Onto Shared Heterogeneous Resources.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016
Microprocess. Microsystems, 2016
Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016
Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016
Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016
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.
Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
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.
ACM Trans. Sens. Networks, 2015
Composable and predictable dynamic loading for time-critical partitioned systems on multiprocessor architectures.
Microprocess. Microsystems, 2015
Microprocess. Microsystems, 2015
Proceedings of the 2015 International Conference on Embedded Computer Systems: Architectures, 2015
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.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015
Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2015
Proceedings of the 2015 International Conference on Embedded Software, 2015
Proceedings of the European Conference on Circuit Theory and Design, 2015
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.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
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.
ACM Trans. Sens. Networks, 2014
Worst-case Throughput Analysis for Parametric Rate and Parametric Actor Execution Time Scenario-Aware Dataflow Graphs.
Proceedings of the Proceedings 1st International Workshop on Synthesis of Continuous Parameters, 2014
Proceedings of the XIVth International Conference on Embedded Computer Systems: Architectures, 2014
Proceedings of the 17th Euromicro Conference on Digital System Design, 2014
Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Timing analysis of First-Come First-Served scheduled interval-timed Directed Acyclic Graphs.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Symbolic Analysis of Dataflow Applications Mapped onto Shared Heterogeneous Resources.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014
2013
Proceedings of the Handbook of Signal Processing Systems, 2013
ACM Trans. Design Autom. Electr. Syst., 2013
Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs.
ACM Trans. Embed. Comput. Syst., 2013
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013
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.
Proceedings of the 16th ACM International Conference on Modeling, 2013
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.
Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013
2012
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012
Proceedings of the 9th Annual IEEE Communications Society Conference on Sensor, 2012
Demonstrating on-demand listening and data forwarding in wireless body area networks.
Proceedings of the 9th Annual IEEE Communications Society Conference on Sensor, 2012
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.
Proceedings of the 2012 International Conference on Embedded Computer Systems: Architectures, 2012
Static Rate-Optimal Scheduling of Multirate DSP Algorithms via Retiming and Unfolding.
Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012
Proceedings of the 31st IEEE International Performance Computing and Communications Conference, 2012
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.
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012
2011
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.
Proceedings of the 8th Annual IEEE Communications Society Conference on Sensor, 2011
Proceedings of the 2011 International Conference on Embedded Computer Systems: Architectures, 2011
Scenario-aware dataflow: Modeling, analysis and implementation of dynamic applications.
Proceedings of the 2011 International Conference on Embedded Computer Systems: Architectures, 2011
Proceedings of the Sixth International Conference on Networking, Architecture, and Storage, 2011
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.
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.
Proceedings of the 2011 International Symposium on System on Chip, 2011
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011
Proceedings of the IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, 2011
Proceedings of the 14th Euromicro Conference on Digital System Design, 2011
Proceedings of the 14th Euromicro Conference on Digital System Design, 2011
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011
2010
IEEE Trans. Computers, 2010
MCMAC: An Optimized Medium Access Control Protocol for Mobile Clusters in Wireless Sensor Networks.
Proceedings of the Seventh Annual IEEE Communications Society Conference on Sensor, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the 28th International Conference on Computer Design, 2010
Proceedings of the 28th International Conference on Computer Design, 2010
A Predictable Multiprocessor Design Flow for Streaming Applications with Dynamic Behaviour.
Proceedings of the 13th Euromicro Conference on Digital System Design, 2010
Proceedings of the Design, Automation and Test in Europe, 2010
Simultaneous budget and buffer size computation for throughput-constrained task graphs.
Proceedings of the Design, Automation and Test in Europe, 2010
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.
Proceedings of the 5th International ICST Conference on Body Area Networks, 2010
Proceedings of the Handbook of Signal Processing Systems, 2010
2009
Perform. Evaluation, 2009
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.
Proceedings of the 4th ACM workshop on Performance monitoring and measurement of heterogeneous wireless and wired networks, 2009
Proceedings of the Wireless Sensor Networks, 6th European Conference, 2009
Exploring trade-offs between performance and resource requirements for synchronous dataflow graphs.
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.
Proceedings of the 46th Design Automation Conference, 2009
Proceedings of the 46th Design Automation Conference, 2009
2008
Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs.
IEEE Trans. Computers, 2008
Resource-efficient routing and scheduling of time-constrained streaming communication on networks-on-chip.
J. Syst. Archit., 2008
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008
Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow.
Proceedings of the Formal Methods in Computer-Aided Design, 2008
Proceedings of the Design, Automation and Test in Europe, 2008
Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008
2007
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.
Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007
Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007
Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs.
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.
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006
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.
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.
Proceedings of the 43rd Design Automation Conference, 2006
Proceedings of the Automated Technology for Verification and Analysis, 2006
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006
2005
Proceedings of the Eighth Euromicro Symposium on Digital Systems Design (DSD 2005), 30 August, 2005
Proceedings of the 42nd Design Automation Conference, 2005
2004
2003
Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003
Proceedings of the Programming Languages and Systems, 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
Ambient intelligence - impact on embedded system design.
Kluwer, ISBN: 978-1-4020-7668-8, 2003
2001
Proceedings of the Workshop on Runtime Verification, 2001
2000
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000
1999
Proceedings of the 25th EUROMICRO '99 Conference, 1999
Proceedings of the 25th EUROMICRO '99 Conference, 1999
1998
Proceedings of the 24th EUROMICRO '98 Conference, 1998
1996
Signal Process., 1996
Proceedings of the Fourth International Symposium on Signal Processing and Its Applications, 1996