Marc Geilen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Modeling and analysis of switching max-plus linear systems with discrete-event feedback Discrete Event Dynamic Systems	2023-10-04	Paper
Partial-Order Reduction for Supervisory Controller Synthesis IEEE Transactions on Automatic Control	2022-02-24	Paper
scientific article; zbMATH DE number 7379290 (Why is no real title available?) (available as arXiv preprint)	2021-08-05	Paper
Worst-case throughput analysis for parametric rate and parametric actor execution time scenario-aware dataflow graphs (available as arXiv preprint)	2021-06-22	Paper
Worst-case throughput analysis for parametric rate and parametric actor execution time scenario-aware dataflow graphs	2021-06-22	Paper
Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs IEEE Transactions on Computers	2018-06-12	Paper
Buffer Sizing for Rate-Optimal Single-Rate Data-Flow Scheduling Revisited IEEE Transactions on Computers	2017-07-27	Paper
The earlier the better: a theory of timed actor interfaces Proceedings of the 14th international conference on Hybrid systems: computation and control	2017-05-16	Paper
Performance model checking scenario-aware dataflow Lecture Notes in Computer Science	2011-10-07	Paper
An improved on-the-fly tableau construction for a real-time temporal logic. Lecture Notes in Computer Science	2010-04-20	Paper
Branching-Time Property Preservation Between Real-Time Systems Automated Technology for Verification and Analysis	2008-09-04	Paper
An algebra of Pareto points	2007-07-30	Paper
scientific article; zbMATH DE number 1956562 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1696514 (Why is no real title available?)	2002-06-17	Paper

Research outcomes over time

This page was built for person: Marc Geilen