Publications

last updated: March 6, 2012

To be published

• Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs (pre-print).
  S. Tripakis, D. Bui, M. Geilen, B. Rodiers and E. Lee. Accepted at ACM TECS.
• Efficient Retiming of Multi-rate DSP Algorithms.
  X.-Y. Zhu, T. Basten, M. Geilen, S. Stuijk. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. xx(y):xyz-xyz, 201x. (doi) © IEEE.

2012

• Static Rate-Optimal Scheduling of Multi-Rate DSP Algorithms via Retiming and Unfolding.
  X.-Y. Zhu, M. Geilen, T. Basten, S. Stuijk In 18th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2012, Proceedings, pages xyz-xyz. Beijing, China, 16-19 April, 2012. IEEE, 2012. © IEEE.
• Modeling Static-Order Schedules in Synchronous Dataflow Graphs.
  M. Damavandpeyma, S. Stuijk, T. Basten, M. Geilen, H. Corporaal. In Design, Automation and Test in Europe, DATE 2012, Proceedings, pages xyz-xyz. Dresden, Germany, 12-16 March, 2012. IEEE, 2012. (doi) ©l EEDA.
• Playing Games with Scenario and Resource-Aware SDF Graphs Through Policy Iteration.
  Y. Yang, M. Geilen, T. Basten, S. Stuijk, H. Corporaal. In Design, Automation and Test in Europe, DATE 2012, Proceedings, pages xyz-xyz. Dresden, Germany, 12-16 March, 2012. IEEE, 2012. (doi) © EEDA.

2011

• Analyzing Synchronous Dataflow Scenarios for Dynamic Software-defined Radio Applications.
  F. Siyoum, M. Geilen, O. Moreira, R. Nas, H.Corporaal International Symposium on System-on-Chip 2011 (SOC 2011) Proceedings, pages 14 - 21. Tampere, Finland, November 2011. IEEE Computer Society Press, Los Alamitos, CA, USA, 2011.
• Performance Model Checking Scenario-Aware Dataflow.
  B.D. Theelen, M.C.W. Geilen, and J.P.M. Voeten. In: Proceedings of the International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), LNCS 6919, pp. 43-59, Springer 2011 (doi)
• Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs.
  Marc Geilen, Joachim Falk, Christian Haubelt, Twan Basten, Bart Theelen and Sander Stuijk. Technical Report ESR-2011-03, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, The Netherlands, December 2011.
• The Earlier the Better: A Theory of Timed Actor Interfaces.
  M. Geilen, S. Tripakis, and M. Wiggers. In Hybrid Systems Communication and Control (HSCC) 2011. Extended version available as technical report.
• Proactive Reconfiguration of Wireless Sensor Networks.
  M. Steine, C. Viet Ngo, R. Serna Oliver, M.C.W. Geilen, T. Basten, G. Fohler, J.-D. Decotignie. In Modeling, Analysis and Simulation of Wireless and Mobile Systems, 14th ACM International Symposium, MSWiM 2011, Proceedings, pages 31-40. Miami, FL, USA, 31 October - 4 November 2011. ACM Press, New York, NY, USA, 2011. (doi) © ACM.
• Distributed Maintenance of Minimum-cost Path Information in Wireless Sensor Networks.
  M. Steine, M. Geilen, T. Basten. In 6th ACM International Workshop on Performance Monitoring, Measurement and Evaluation of Heterogeneous Wireless and Wired Networks, PM2HW2N 2011, Proceedings, pages 25-32. Miami, FL, USA, 31 October 2011. ACM Press, New York, NY, USA, 2011. (doi) © ACM.
• Pareto Analysis with Uncertainty.
  M. Hendriks, M. Geilen, T. Basten. In 9th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2011, Proceedings, pages 189-196. Melbourne, Australia, October 24-26, 2011. IEEE Computer Society Press, Los Alamitos, CA, USA, 2011. (doi) © IEEE.
• Designing Next-Generation Real-Time Streaming Systems.
  S. Stuijk, T. Basten, B. Akesson, M. Geilen, O. Moreira, J. Reineke. In 9th IEEE/ACM International Conference on Hardware/Software-Codesign and System Synthesis, CODES+ISSS 2011, Proceedings, pages 375-376. Tutorial. Part of the Embedded Systems Week. Taipei, Taiwan, October 9-14, 2011. ACM, NY, NY, USA, 2011. (more) © ACM.
• Hybrid Code-Data Prefetch-Aware Multiprocessor Task Graph Scheduling.
  M. Damavandpeyma, S. Stuijk, T. Basten, M. Geilen, H. Corporaal. In 14th Euromicro Conference On Digital System Design: Architectures, Methods and Tools, DSD 2011, Proceedings, pages 583-590. Oulu, Finland, 31 August - 2 September 2011. IEEE Computer Society Press, Los Alamitos, CA, USA, 2011. (doi) © IEEE.
• Iteration-based Trade-off Analysis of Resource-aware SDF.
  Y. Yang, M. Geilen, T. Basten, S. Stuijk, H. Corporaal. In 14th Euromicro Conference On Digital System Design: Architectures, Methods and Tools, DSD 2011, Proceedings, pages 567-574. Oulu, Finland, 31 August - 2 September 2011. IEEE Computer Society Press, Los Alamitos, CA, USA, 2011. (doi) © IEEE.
• A Probabilistic Acknowledgment Mechanism for Wireless Sensor Networks.
  M. Blagojevic, M. Nabi, M.C.W. Geilen, T. Basten, T. Hendriks, M. Steine. In 6th IEEE International Conference on Networking, Architecture, and Storage, NAS 2011, Proceedings, pages 63-72. Dalian, Liaoning, China, 28-30 July 2011. IEEE Computer Society Press, Los Alamitos, CA, USA, 2011. (doi) © IEEE
• Scenario-Aware Dataflow: Modeling, Analysis and Implementation of Dynamic Applications.
  S. Stuijk, M. Geilen, B. Theelen, T. Basten. In L. Carro and A.D. Pimentel, editors, International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, IC-SAMOS 11, Proceedings, pages 404-411. Samos, Greece, 18-21 July 2011. IEEE Computer Society Press, Los Alamitos, CA, USA, 2011. © IEEE.
• Integrated Model-Driven Design-Space Exploration for Embedded Systems.
  Trcka, M. Hendriks, T. Basten, M. Geilen, L. Somers. In L. Carro and A.D. Pimentel, editors, International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, IC-SAMOS 11, Proceedings, pages 339-346. Samos, Greece, 18-21 July 2011. IEEE Computer Society Press, Los Alamitos, CA, USA, 2011. © IEEE.
• Dynamic Data Prioritization for Quality-of-Service Differentiation in Heterogeneous Wireless Sensor Networks.
  M. Nabi, M. Blagojevic, M. Geilen, T. Basten. In Sensor, Mesh and Ad Hoc Communications and Networks, 8th IEEE Communications Society Conference, SECON 2011, Proceedings, pages 296-304. Salt Lake City, Utah, USA, 27-30 June, 2011. IEEE, 2011. (doi) © IEEE.
• MoBAN: A Configurable Mobility Model for Wireless Body Area Networks.
  M. Nabi, M. Geilen, T. Basten. In 4th International Conference on Simulation Tools and Techniques, SIMUTools 2011, Proceedings. Barcelona, Spain, 21-25 March 2011. ICST, Brussels, Belgium, 2011. Best student paper award. © ICST.

2010

• Synchronous Dataflow Scenarios.
  M.C.W. Geilen. ACM Transactions on Embedded Computing Systems. 10(2):16:1-16:31, December 2010 (Special issue on Model-driven Embedded System Design). (doi) ©ACM.
• Worst-case Performance Analysis of Synchronous Dataflow Scenarios.
  M.C.W. Geilen and S. Stuijk. In International Conference on Hardware-Software Codesign and System Synthesis, CODES+ISSS 10, Proceedings, pages 125-134. Scottsdale, Az, USA, 24-29 October, 2010. ACM Press, New York, NY, USA 2010. (received Best Paper Award) (doi).
• Kahn Process Networks and a Reactive Extension.
  M.C.W. Geilen, T. Basten. In S.S. Bhattacharyya, E.F. Deprettere, R. Leupers, J. Takala, editors. Handbook of Signal Processing Systems. © Springer, Berlin, Germany. September 2010.
• The Earlier the Better: A Theory of Timed Actor Interfaces
  Marc Geilen, Stavros Tripakis and Maarten Wiggers, Tech.Rep. EECS Department, University of California, Berkeley, No. UCB/EECS-2010-130, October 2010.
• Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset.
  T. Basten, E. van Benthum, M. Geilen, M. Hendriks, F. Houben, G. Igna, F. Reckers, S. de Smet. L. Somers, E. Teeselink, N. Trcka, F. Vaandrager, J. Verriet, M. Voorhoeve, Y. Yang. In 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2010, Proceedings, pages 90-105. Heraclion, Crete, 18-20 October 2010. Lecture Notes in Computer Science nnnn. Springer, Berlin, Germany, 2010. © Springer.
• Thermal-Aware Scratchpad Memory Design and Allocation.
  M. Damavandpeyma, S. Stuijk, T. Basten, M. Geilen, H. Corporaal. In 28th International Conference of Computer Design, ICCD 2010, Proceedings, pages 118-124. Amsterdam, Netherlands, 3-6 October 2010. IEEE Computer Society Press, Los Alamitos, CA, USA, 2010. © IEEE. (doi).
• Predicting the Throughput of Multiprocessor Applications under Dynamic Workload.
  P. Poplavko, M. Geilen, T. Basten. In 28th International Conference of Computer Design, ICCD 2010, Proceedings, pages 282-288. Amsterdam, Netherlands, 3-6 October 2010. IEEE Computer Society Press, Los Alamitos, CA, USA, 2010. © IEEE.
• A Robust Protocol Stack for Multi-hop Wireless Body Area Networks with Transmit Power Adaptation.
  M. Nabi, T. Basten, M. Geilen, M. Blagojevic, T. Hendriks. In 5th International Conference on Body Area Networks, BodyNets 2010, Proceedings, pages xyz-xyz. Corfu, Greece, 10-12 September 2010. ACM Press, New York, NY, USA, 2010. © ACM.
• A Predictable Multiprocessor Design Flow for Streaming Applications with Dynamic Behaviour.
  S. Stuijk, M.C.W. Geilen, T. Basten. In Digital System Design, 13th EUROMICRO Conference, DSD 2010, Proceedings, pages 548-555. Lille, France, 1-3 September 2010. IEEE Computer Society Press, Los Alamitos, CA, USA, 2010. (doi) ISBN: 978-0-7695-4171-6. © IEEE.
• MCMAC: An Optimized Medium Access Control Protocol for Mobile Clusters in Wireless Sensor Networks.
  M. Nabi, M. Blagojevic, M.C.W. Geilen, T. Basten, T. Hendriks. In Sensor, Mesh and Ad Hoc Communications and Networks, 7th IEEE Communications Society Conference, SECON 2010, Proceedings, pages 28-36. Boston, MA, USA, 21-25 June, 2010. IEEE, 2010. © IEEE.
• Simultaneous Budget and Buffer Size Computation for Throughput-Constrained Task Graphs.
  M. Wiggers, M.J.G. Bekooij, M.C.W. Geilen, T. Basten. In Design, Automation and Test in Europe, DATE 2010, Proceedings, pages 1669-1672. Dresden, Germany, 8-12 March, 2010. IEEE, 2010. © EEDA.
• Buffer Sizing for Rate-optimal Single-rate Dataflow Scheduling Revisited.
  O. Moreira, T. Basten, M.C.W. Geilen, S. Stuijk. IEEE Transactions on Computers. 59(2):188-201, February 2010. (doi) ©IEEE.
• Automated Bottleneck-Driven Design-Space Exploration of Media Processing Systems.
  Y. Yang, M.C.W. Geilen, T. Basten, S. Stuijk, H. Corporaal. In Design, Automation and Test in Europe, DATE 2010, Proceedings, pages 1041-1046. Dresden, Germany, 8-12 March, 2010. IEEE, 2010. © EEDA.
• Thermal-Aware Address Decoding in Scratchpad Memories.
  M. Damavandpeyma, S. Stuijk, T. Basten, M. Geilen, H. Corporaal. In 6th International Summer School on Advanced Computer Architecture and Compilation for Embedded Systems, ACACES 2010, Poster abstracts, pages 197-198. Terrassa, Spain, 11-17 July, 2010. HiPEAC Network of Excellence, Ghent, Belgium, 2010.

2009

• Fast Simulation Methods to Predict Wireless Sensor Network Performance.
  M. Blagojevic, M. Nabi, T. Hendriks, T. Basten, M. Geilen. In A. Boukerche, I. Guerin-Lassous, S. Olariu, editors, 6th ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, PE-WASUN 2009, Proceedings, pages 41-48. Tenerife, Canary Islands, Spain, 26-30 October, 2009. ACM Press, New York, NY, USA, 2009. (doi) © ACM.
• Configuring Multi-Objective Evolutionary Algorithms for Design-Space Exploration of Wireless Sensor Networks.
  M. Nabi, M. Blagojevic, T. Basten, M. Geilen, T. Hendriks. In 4th ACM International Workshop on Performance Monitoring, Measurement and Evaluation of Heterogeneous Wireless and Wired Networks, PM2HW2N 2009, Proceedings, pages 111-119. Tenerife, Canary Islands, Spain, 26 October, 2009. ACM Press, New York, NY, USA, 2009. (doi) © ACM.
• Exploring Trade-offs between Performance and Resource Requirements for Synchronous Dataflow Graphs.
  Y. Yang, M.C.W. Geilen, T. Basten, S. Stuijk, H. Corporaal. In 7th IEEE Workshop on Embedded Systems for Real-Time Multimedia, ESTIMedia 2009, Proceedings , pages 96-105. Grenoble, France, 15-16 October, 2009. IEEE, 2009. © IEEE.
• Reduction Techniques for Synchronous Dataflow Graphs
  M.C.W. Geilen. In 46th Design Automation Conference, DAC 2009, Proceedings, pages 911-916. San Francisco, California, USA, 26-31 July, 2009. ACM, 2009. (doi) ©ACM.
• A Parameterized Compositional Multi-dimensional Multiple-choice Knapsack Heuristic for CMP Run-time Management.
  H. Shojaei, A.H. Ghamarian, T. Basten, M.C.W. Geilen, S. Stuijk. R. Hoes. In 46th Design Automation Conference, DAC 2009, Proceedings, pages 917-922. San Francisco, California, USA, 26-31 July, 2009. ACM, 2009. ©ACM. (doi)
• Quality-of-Service Trade-off Analysis for Wireless Sensor Networks.
  R. Hoes, T. Basten, C.-K. Tham, M.C.W. Geilen, H. Corporaal. Performance Evaluation. 66(3-5):191-208, March 2009. (Special issue with best papers of MSWiM 2007.), © Elsevier.
• QoS Management for Wireless Sensor Networks with a Mobile Sink.
  R. Hoes, T. Basten, W.-L. Yeow, C.-K. Tham, M.C.W. Geilen, H. Corporaal. In U. Roedig and C.J. Sreenan, editors, Wireless Sensor Networks, 6th European Conference, EWSN 2009, Proceedings, pages 53-68. Cork, Ireland, 11-13 February 2009. Lecture Notes in Computer Science 5432. Springer, Berlin, Germany, 2009. © Springer.
• Exploring a WSN Design Space using Genetic Algorithms.
  M. Nabi, M. Blagojevic, T. Basten, M. Geilen, T. Hendriks. In 5th International Summer School on Advanced Computer Architecture and Compilation for Embedded Systems, ACACES 2009, Poster abstracts, pages 327-328. Terrassa, Spain, 12-15 July, 2009. HiPEAC Network of Excellence, Ghent, Belgium, 2009.

2008

• SPaC: A Symbolic Pareto Calculator.
  H. Shojaei, T. Basten, M.C.W. Geilen, P. Stanley-Marbell. In Hardware-Software Codesign and System Synthesis, International Conference, CODES+ISSS 2008, Proceedings, pages 179-184. Atlanta, Georgia, USA, 19-24 October, 2008. ACM, 2008. © ACM.
• Throughput-Buffering Trade-off Exploration for Cyclo-Static and Synchronous Dataflow Graphs.
  S. Stuijk, M.C.W. Geilen, T. Basten.IEEE Transactions on Computers. 57(10):1331-1345, 2008. (Special section on Programming Models and Architectures for Embedded Systems.) (doi) © IEEE.
• Resource-Efficient Routing and Scheduling of Time-Constrained Streaming Communication on Networks-on-Chip.
  S. Stuijk, T. Basten, M.C.W. Geilen, A.H. Ghamarian, B.D. Theelen.Journal of Systems Architecture. 54(3-4):411-426, March-April 2008. (Special issue with selected best papers of DSD 2006.) (doi) © Elsevier.
• Parametric Throughput Analysis of Synchronous Data Flow Graphs.
  A.H. Ghamarian, M.C.W. Geilen, T. Basten, S. Stuijk.In D. Sciuto, Z. Peng, editors, Design, Automation and Test in Europe, DATE 2008, Proceedings, pages 116-121. Munich, Germany, 10-14 March, 2008. IEEE, 2008. © EEDA.
• Formal Modeling and Scheduling of Data Paths of Digital Document Printers.
  G. Igna, V. Kannan, Y. Yang, T. Basten, M.C.W. Geilen, F.W. Vaandrager, M. Voorhoeve, S. de Smet, and L.J. Somers. In F. Cassez and C. Jard, editors, Formal Modelling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Proceedings, pages 170-187. Saint-Malo, France, 15-17 September, 2008. Lecture Notes in Computer Science 5215. Springer, Berlin, Germany, 2008. (doi) © Springer.
• Parallel Object-Oriented Specification Language
  O. Florescu, J.P.M. Voeten, B.D. Theelen, M.C.W. Geilen and H. Corporaal. In: Alan Burns (Ed.), ARTIST Survey of Programming Languages (White Paper), Aritist Network of Excellence on Embedded System Design, 2008
• Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow (with appendix).
  Hartel, P.H. and Ruys, T.C. and Geilen, M.C.W. (2008) Technical Report TR-CTIT-08-16 Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
• Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow.
  Hartel, P.H. and Ruys, T.C. and Geilen, M.C.W. In A. Cimatti and R. B. Jons, editors, 8th Int. Conf. on Formal Methods in Computer Aided Design, 17-20 Nov. 2008, Portland, Oregon. pp. 161-170. IEEE Computer Society Press. ISBN 978-1-4244-2735-2 (doi)

2007

• A Calculator for Pareto Points.
  M.C.W. Geilen, T. Basten. In Design, Automation and Test in Europe, DATE 2007, Proceedings, pages xyz-xyz. Nice, France, 16-20 April, 2007. IEEE Computer Society Press, Los Alamitos, CA, USA, 2007. © IEEE.
• An Algebra of Pareto Points.
  M.C.W. Geilen, T. Basten, B.D. Theelen, R.H.J.M. Otten. Fundamenta Informaticae. 78(1):35-74, 2007. (Special issue with best papers of ACSD 2005.) © IOS Press.
• Latency Minimization for Synchronous Data Flow Graphs.
  A.H. Ghamarian, S. Stuijk, T. Basten, M.C.W. Geilen, B.D. Theelen. In Digital System Design, 10th EUROMICRO Conference, DSD 2007, Proceedings, pages xyz-xyz. Lübeck, Germany, 27-30 August 2007. IEEE Computer Society Press, Los Alamitos, CA, USA, 2007. © IEEE.
• Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs. S. Stuijk, T. Basten, M.C.W. Geilen, H. Corporaal. In 44th Design Automation Conference, DAC 2007, Proceedings, pages 777-782. San Diego, California, USA, 4-8 June 2007. ACM Press, New York, NY, USA, 2007. © ACM.
• Software/Hardware Engineering with the Parallel Object-Oriented Specification Language
  B.D. Theelen, O. Florescu, M.C.W. Geilen, J. Huang, P.H.A. van der Putten and J.P.M. Voeten In: Proceedings of the ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp. 139-148, ISBN 1-4244-1050-9, ©IEEE Computer Society, 2007
• Analysing QoS Trade-offs in Wireless Sensor Networks.
  R. Hoes, T. Basten, C.-K. Tham, M.C.W. Geilen, H. Corporaal. In Modeling, Analysis and Simulation of Wireless and Mobile Systems, 10th ACM International Symposium, MSWiM 2007, Proceedings, pages 60-69. Chania, Crete Island, Greece, 22-26 October, 2007, ACM Press, New York, NY, USA, 2007. Best paper award. (doi) © ACM.

2006

• Exploring Trade-Offs in Buffer Requirements and Throughput Constraints for Synchronous Dataflow Graphs.
  S. Stuijk, M.C.W. Geilen and T. Basten. In Design Automation Conference, DAC 06, Proceedings, pages 899-904. San Francisco, California, USA, 24-28 July, 2006. ACM Press, New York, NY, USA, 2006. ISBN: 1-59593-381-6.
• A Scenario-Aware Data Flow Model for Combined Long-Run Average and Worst-Case Performance Analysis.
  B.D. Theelen, M.C.W. Geilen, T. Basten, J.P.M. Voeten, S.V. Gheorghita, S. Stuijk In: Proceedings of the 4th ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE) (July 27-30, Napa, California, USA), pp. 185-194, ISBN 1-4244-0421-5, IEEE Computer Society, Los Alamitos, California, USA, 2006.
• Branching-time Property Preservation between Real-time Systems
  Jinfeng Huang, Marc Geilen, Jeroen Voeten and Henk Corporaal. Accepted for publication at the Fourth international symposium on Automated Technology for Verification and Analysis (ATVA'06), 23-26 October 2006, Beijing, China.
• SDF3: SDF For Free.
  S. Stuijk, M.C.W. Geilen, T. Basten. In K.G.W. Goossens and L. Petrucci, editors, Application of Concurrency to System Design, 6th International Conference, ACSD 2006, Proceedings, pages 276-278. Turku, Finland, 27-30 June 2006. IEEE Computer Society Press, Los Alamitos, CA, USA, 2006. (tool paper) (SDF3 web site) © IEEE.
• Throughput Analysis of Synchronous Data Flow Graphs.
  A.H. Ghamarian, M.C.W. Geilen, S. Stuijk, T. Basten, A.J.M. Moonen, M. Bekooij, B.D. Theelen, M.R. Mousavi. In K.G.W. Goossens and L. Petrucci, editors, Application of Concurrency to System Design, 6th International Conference, ACSD 2006, Proceedings, pages 25-34. Turku, Finland, 27-30 June 2006. IEEE Computer Society Press, Los Alamitos, CA, USA, 2006. © IEEE.
• Resource-efficient Routing and Scheduling of Time-constrained Network-on-Chip Communication.
  S. Stuijk, T. Basten, M.C.W. Geilen, A.H. Ghamarian, B.D. Theelen. In V. Muthukumar, editor, Digital System Design, 9th EUROMICRO Conference, DSD 2006, Proceedings, pages 45-52. Dubrovnik, Croatia, 30 August - 1 September 2006. IEEE Computer Society Press, Los Alamitos, CA, USA, 2006. © IEEE.
• Liveness and Boundedness of Synchronous Data Flow Graphs.
  A.H. Ghamarian, M.C.W. Geilen, T. Basten, B.D. Theelen, M.R. Mousavi, S. Stuijk. In Formal Methods in Computer Aided Design, FMCAD 2006, Proceedings, pages 68-75. San Jose, CA, USA, 12-16 November, 2006, IEEE Computer Society Press, Los Alamitos, CA, USA, 2006. (see ESR-2006-04) © IEEE.
• Liveness and Boundedness of Synchronous Data Flow Graphs.
  H. Ghamarian, M.C.W. Geilen, T. Basten, B.D. Theelen, M.R. Mousavi, S. Stuijk. Technical Report ESR-2006-04, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, The Netherlands, August 2006. (see FMCAD 2006)
• Exploring Trade-offs in Buffer Requirements and Throughput Constraints for Synchronous Dataflow Graphs.
  S. Stuijk, M.C.W. Geilen, T. Basten. Technical Report ESR-2006-01, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, The Netherlands, November 2006. (see DAC 2006)

2005

• Predictable embedding of large data structures in multiprocessor networks-on-chip.
  S. Stuijk, T. Basten, B. Mesman, M.C.W. Geilen. In In C. Wolinski, editor, Digital System Design, 8th EUROMICRO Conference, DSD 2005, Proceedings, pages 388-395. Porto, Portugal, 30 August - 3 September, 2005. IEEE Computer Society Press, Los Alamitos, CA, USA, 2005.
  An extended abstract appeared in N. Wehn, L. Benini, editors, Design, Automation and Test in Europe, DATE 05, Proceedings, pages 254-255. Munich, Germany, 7-11 March, 2005. IEEE Computer Society Press, Los Alamitos, CA, USA, 2005. ©IEEE. (ISBN 0-7695-2433-8)
• Minimising Buffer Requirements of Synchronous Dataflow Graphs with Model Checking.
  M.C.W. Geilen, T. Basten, S. Stuijk. 42nd Design Automation Conference, DAC 2005, Proceedings, pages 819-824. Anaheim, California, USA, 13-17 June 2005. ACM Press, New York, NY, USA, 2005. ©ACM, ISBN 1-59593-058-2.
• Minimising Buffer Requirements of Synchronous Dataflow Graphs with Model Checking. Technical Report ESR-2005-01.
  M.C.W. Geilen, T. Basten, S. Stuijk. Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, The Netherlands, January 2005. (to be published at DAC 2005)
• An Algebra of Pareto Points.
  M.C.W. Geilen, T. Basten, B.D. Theelen, R.H.J.M. Otten. In Application of Concurrency to System Design, 5th International Conference, ACSD 2005, Proceedings, pages 88-97. St Malo, France, 6-9 June 2005. IEEE Computer Society Press, Los Alamitos, CA, USA, 2005. ©IEEE.
  (Extended version published as Technical Report ESR-2005-02.)
• An Algebra of Pareto Points. Technical Report ESR-2005-02.
  M.C.W. Geilen, T. Basten, B.D. Theelen, R.H.J.M. Otten. Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, The Netherlands, January 2005. (published at ACSD 2005).
• The BETSY project on timeliness and energy aspects of wireless video streaming.
  M. Sénéclauze, J.-D. Decotignie, P. van der Stok, H. de Groot, M. van Hartskamp, G. van Doren, D. van Heesch, C. Otero Perez, M. Joosten, C. Blanch, J. Bormans, M. Geilen, T. Basten, B. Theelen, C. Koulamas, G. Papadopoulos, A. Prayati, G. Fohler, D. Isovic, G.A. Papadopoulos, P. Cheng, Z. Abraham. In IWWAN 2005, International Workshop on Wireless Ad-hoc Networks, Electronic Proceedings, http://www.ctr.kcl.ac.uk/IWWAN2005. London, UK, 23-26 May 2005.
• Time-constrained Energy-aware Routing and Scheduling of Network-on-Chip Communication. S. Stuijk, A.H. Ghamarian, T. Basten, M.C.W. Geilen, B.D. Theelen. Technical Report ESR-2005-08, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, The Netherlands, July 2005. (see DSD 2006)
• Exploring Trade-offs in Buffer Requirements and Throughput Constraints for Synchronous Dataflow Graphs.
  S. Stuijk, M.C.W. Geilen, T. Basten. Technical Report ESR-2005-07, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, The Netherlands, July 2005. (abstract / pdf / ESR-2006-01 / DAC 2006)

2004

• Reactive Process Networks.
  M.C.W. Geilen and T. Basten. Embedded Software, Fourth ACM International Conference, EMSOFT 2004, Proceedings. Pisa, Italy, 27-29 September, 2004. ACM Press, New York, NY, USA, 2004. © ACM
• Real-time Property Preservation in Concurrent Real-time Systems.
  Jinfeng Huang, Jeroen Voeten and Marc Geilen. Real-time and Embedded Computing Systems and Applications, 10th International Conference, Proceedings. Gothenburg, Sweden, 25-27 August, 2004. Lecture Notes in Computer Science. ©Springer-Verlag, Berlin, Germany, 2004.
• Cluster-Based Partial-Order Reduction.
  T. Basten, D. Bosnački, and M.C.W. Geilen. Automated Software Engineering, An International Journal, 11(4), October 2004, pp. 365-402. © Kluwer Academic Publishers.

2003

• Ambient Intelligence: Impact on Embedded System Design.
  T. Basten, M. Geilen, H. de Groot, editors. Kluwer Academic Publishers, November 2003. ISBN 1-4020-7668-1. Also available electronically, ISBN 0-306-48706-3.
• An improved on-the-fly tableau construction for a real-time temporal logic.
  M.C.W. Geilen, Computer Aided Verification, CAV 2003, Proceedings. Boulder, Colorado, USA, July 8 -- 12, 2003. Lecture Notes in Computer Science Vol.2725. ©Springer-Verlag, Berlin, Germany, 2003.
  You can also look at the presentation (1.14Mb).
• Requirements on the Execution of Kahn Process Networks.
  M.C.W. Geilen and T. Basten, Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Lecture Notes in Computer Science Vol.2618. ©Springer-Verlag, Berlin, Germany, 2003.
  You can also look at the presentation (1.14Mb).
• Real-time Property Preservation in Approximations of Timed Systems.
  Jinfeng Huang, Jeroen Voeten and Marc Geilen, First ACM & IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2003), Proceedings. June 24th.-26th., 2003 -- Mont Saint-Michel, France. 2003.
• Non-Exhaustive Model-Checking in Component Based Systems
  M.C.W. Geilen, to be published in Journal of systems architecture : the EUROMICRO journal

2002

• Formal Techniques for Verification of Complex Real-time Systems
  M.C.W. Geilen, Ph.D. Thesis, submitted to Eindhoven University of Technology, 2002

2001

• Object-Oriented Modelling and Specification Using SHE
  M.C.W. Geilen, J.P.M. Voeten, P.H.A. van der Putten, L.J. van Bokhoven and M.P.J. Stevens
  Journal of Computer Languages, special issue for VFM'99, Vol. 27, Issues 1-3, April-October 2001
• On the Construction of Monitors for Temporal Logic Properties
  M.C.W. Geilen. RV'01 - First Workshop on Runtime Verification, Satellite workshop of CAV'01. July 23, 2001 Paris, France. Electronic Notes in Theoretical Computer Science Vol.55(2), Elsevier Science Publishers.
  You can also look at the presentation.
• An on-the-fly tableau construction for a real-time temporal logic
  M.C.W. Geilen. IPA Fall Days, November 29, 2001 Vught, The Netherlands . You can look at the presentation.

2000

• An on-the-Fly Tableau Construction for a Real-Time Temporal Logic
  M.C.W. Geilen and D.R. Dams
  in: Proceedings of the Sixth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT2000, 20-22 September 2000, Lecture Notes in Computer Science Vol.1926 Pune, India, Ed. M. Joseph, pp. 276-290,
  ©Springer-Verlag, Berlin, 2000. You can also look at the presentation.
• Model-Checking in Simulations of Distributed Systems
  M.C.W. Geilen
  in: Proceedings of 12th European Simulation Symposium ESS 2000, Hamburg, Germany Sept. 28-30, 2000, Ed. D.P.F. Möller, pp. 606-611,
  Society for Computer Simulation International, 2000
  

1999

• Object-Oriented Modelling and Specification Using SHE
  M.C.W. Geilen and J.P.M. Voeten
  in: Proceedings of the First International Symposium on Visual Formal Methods VFM'99 (satelite to CONCUR'99), pp.16-24, Ed. R.C. Backhouse and J.C.M. Baeten
  Computing Science Reports 99/08 Department of Mathematics and Computer Science, Eindhoven University of Technology, 1999. You can also view the presentation
• Formal Models for Encapsulation, Structure and Hierarchy in Distributed Systems
  M.C.W. Geilen
  in: Proceedings of the 10th Annual Workshop on Circuits, Systems and Signal Processing, Mierlo, The Netherlands, Ed. J.P. Veen, November 24-26, 1999, pp. 155-166,
  STW/IEEE Technology Foundation, Utrecht, The Netherlands, 1999.
  See also the poster.
• A Probabilistic Real-Time Calculus for Performance Evaluation
  J.P.M. Voeten, M.C.W. Geilen, L.J. van Bokhoven, P.H.A. van der Putten and M.P.J. Stevens
  in: Proceedings of the 11th European Simulation Symposium 1999, Erlangen, Germany, Ed. G. Horton, D. Möller and U. Rüde, pp. 608-617,
  SCS, Delft, The Netherlands, 1999
• Software Synthesis for System Level Design Using Process Execution Trees
  L.J. van Bokhoven, J.P.M. Voeten and M.C.W. Geilen,
  in Proceedings 25th Euromicro Conference, Milan, Italy, 1999, pp. 463-467,
  IEEE Computer Society Press, Los Alamitos, California, 1999
• An Analytical Approach towards System Level Performance Analysis
  J.P.M. Voeten, I.G. Stappers, M.C.W. Geilen, L.J. van Bokhoven, P.H.A. van der Putten and M.P.J. Stevens.
  In Proceedings of the 10th annual workshop on Circuits, Systems and Signal Processing, pp. 569-576, STW/IEEE, 1999.
• System Level Models for Real-Time Communication
  P.H.A. van der Putten, J.P.M. Voeten, M.C.W. Geilen and M.P.J. Stevens.
  In Proceedings of EUROMICRO'99, pp. 496-501, Los Alamitos, California, 1999. IEEE Computer Society Press.

1998

• Applying Verification Methods to Non-Exhaustive Verification of Software/Hardware Systems
  M.C.W. Geilen, D.R. Dams and J.P.M. Voeten
  in: Proceedings of CSSP-98, 9th Annual ProRISC/IEEE Workshop on
  Circuits, Systems and Signal Processing Mierlo, Netherlands, November 25-27, 1998 Ed. J. Veen, pp.177-183,
  STW, Technology Foundation, Utrecht, The Netherlands, 1998
  See also the poster.
• Towards System Level Performance Modelling
  J.P.M. Voeten, P.H.A. van der Putten, M.C.W. Geilen and M.P.J. Stevens.
  Proceedings of the 9th annual workshop on Circuits, Systems and Signal Processing, pp. 93-598, STW/IEEE, 1998.
• Object-oriented Analysis and System Level Architecture
  P.H.A. van der Putten, J.P.M. Voeten, M.C.W. Geilen and M.P.J. Stevens.
  In Proceedings of the 9th annual workshop on Circuits, Systems and Signal Processing, pp. 445- 450, STW/IEEE, 1998.
• Real-time Simulations Using Process Execution Trees
  L.J. van Bokhoven, J.P.M. Voeten and M.C.W. Geilen.
  In Proceedings of the 9th annual workshop on Circuits, Systems and Signal Processing, pp. 51-55, STW/IEEE, 1998.
• Systeemniveau Ontwerp Methodologie
  P.H.A. van der Putten, J.P.M. Voeten, M.C.W. Geilen and M.P.J. Stevens.
  In Embedded Systems Symposium, pp. 21-28, Eindhoven University of Technology, The Netherlands, 1998.
• System Level Modelling for Hardware/Software Systems
  J.P.M. Voeten, P.H.A. van der Putten, M.C.W. Geilen and M.P.J. Stevens.
  Proceedings of EUROMICRO'98, pp. 154-161, Los Alamitos, California, 1998. IEEE Computer Society Press.
• System Level Design Methodology
  P.H.A. van der Putten, J.P.M. Voeten, M.C.W. Geilen and M.P.J. Stevens.
  Proceedings of IEEE Computer Society Workshop on VLSI'98 System Level Design, pp. 1-16, Los Alamitos, California, 1998. IEEE Computer Society Press.

1997

• Real-Time Concepts for a Formal Specification Language for Software / Hardware Systems
  M.C.W. Geilen and J.P.M. Voeten
  in: Proceedings of ProRISC 1997,
  STW, Technology Foundation, Utrecht, 1997
• System Level Description of Complex Hybrid Systems
  J.P.M. Voeten, P.H.A. van der Putten, M.C.W. Geilen, H.P.E.Vranken and M.P.J. Stevens
  Presentation at Barga System Level Design Workshop, Barga, Italy, July 8-10, 1997
• Multidisciplinary Scenarios in Hardware/Software Engineering, Object-Oriented Co-Specification of Complex Systems
  P.H.A. van der Putten, J.P.M. Voeten, M.C.W. Geilen and M.P.J. Stevens
  in: Proceedings of ProRISC/IEEE'97, Ed. J. Veen
  Utrecht : STW, Technology Foundation, 1997
• Formal Modelling of Reactive Hardware / Software Systems
  J.P.M. Voeten, P.H.A. van der Putten, M.P.J. Stevens and M.C.W. Geilen
  1997
  in: Proceedings of ProRISC/IEEE'97, Ed. J. Veen
  Utrecht : STW, Technology Foundation, 1997

1996

• Real-Time Concepts for Software/Hardware Engineering
  M.C.W. Geilen
  Master's Thesis, submitted to Faculty of Electrical Engineering, Eindhoven University of
  Technology, Eindhoven, The Netherlands, 1996

Back to my homepage.