The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marc Geilen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten
    An Algebra of Pareto Points. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:88-97 [Conf]
  2. Sander Stuijk, Marc Geilen, Twan Basten
    SDF3: SDF For Free. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:276-278 [Conf]
  3. 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. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:25-36 [Conf]
  4. Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal
    Branching-Time Property Preservation Between Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:260-275 [Conf]
  5. Marc Geilen
    An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:394-406 [Conf]
  6. Marc Geilen, Twan Basten, Sander Stuijk
    Minimising buffer requirements of synchronous dataflow graphs with model checking. [Citation Graph (0, 0)][DBLP]
    DAC, 2005, pp:819-824 [Conf]
  7. Sander Stuijk, Marc Geilen, Twan Basten
    Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs. [Citation Graph (0, 0)][DBLP]
    DAC, 2006, pp:899-904 [Conf]
  8. Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen
    Predictable Embedding of Large Data Structures in Multiprocessor Networks-on-Chip. [Citation Graph (0, 0)][DBLP]
    DATE, 2005, pp:254-255 [Conf]
  9. Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen
    Predictable embedding of large data structures in multiprocessor networks-on-chip. [Citation Graph (0, 0)][DBLP]
    DSD, 2005, pp:388-396 [Conf]
  10. Sander Stuijk, Twan Basten, Marc Geilen, Amir Hossein Ghamarian, Bart D. Theelen
    Resource-Efficient Routing and Scheduling of Time-Constrained Network-on-Chip Communication. [Citation Graph (0, 0)][DBLP]
    DSD, 2006, pp:45-52 [Conf]
  11. Marc Geilen, Twan Basten
    Reactive process networks. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2004, pp:137-146 [Conf]
  12. Marc Geilen, Twan Basten
    Requirements on the Execution of Kahn Process Networks. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:319-334 [Conf]
  13. L. J. van Bokhoven, Jeroen Voeten, Marc Geilen
    Software Synthesis for System Level Design Using Process Execution Trees. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 1999, pp:1463-1467 [Conf]
  14. P. H. A. van der Putten, Jeroen Voeten, Marc Geilen, M. P. J. Stevens
    System Level Models for Real-Time Communication. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 1999, pp:1496-0 [Conf]
  15. Jeroen Voeten, P. H. A. van der Putten, Marc Geilen, M. P. J. Stevens
    System Level Modelling for Hardware/Software Systems. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 1998, pp:10154-10161 [Conf]
  16. Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, Sander Stuijk
    Liveness and Boundedness of Synchronous Data Flow Graphs. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2006, pp:68-75 [Conf]
  17. Marc Geilen, Dennis Dams
    An On-the-Fly Tableau Construction for a Real-Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2000, pp:276-290 [Conf]
  18. Jinfeng Huang, Jeroen Voeten, Marc Geilen
    Real-time Property Preservation in Approximations of Timed Systems. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2003, pp:163-171 [Conf]
  19. Twan Basten, Dragan Bosnacki, Marc Geilen
    Cluster-Based Partial-Order Reduction. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2004, v:11, n:4, pp:365-402 [Journal]
  20. Marc Geilen, Jeroen Voeten, P. H. A. van der Putten, L. J. van Bokhoven, M. P. J. Stevens
    Object-oriented modelling and specification using SHE. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 2001, v:27, n:1/3, pp:19-38 [Journal]
  21. Marc Geilen
    On the Construction of Monitors for Temporal Logic Properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
  22. Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal
    Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs. [Citation Graph (0, 0)][DBLP]
    DAC, 2007, pp:777-782 [Conf]
  23. Marc Geilen, Twan Basten
    A calculator for Pareto points. [Citation Graph (0, 0)][DBLP]
    DATE, 2007, pp:285-290 [Conf]
  24. 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. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2006, pp:185-194 [Conf]
  25. 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. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2007, pp:139-148 [Conf]
  26. Marc Geilen, Twan D. Basten, Bart Theelen, Ralph Otten
    An Algebra of Pareto Points. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:78, n:1, pp:35-74 [Journal]

  27. SPaC: a symbolic pareto calculator. [Citation Graph (, )][DBLP]


  28. A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management. [Citation Graph (, )][DBLP]


  29. Reduction techniques for synchronous dataflow graphs. [Citation Graph (, )][DBLP]


  30. Parametric Throughput Analysis of Synchronous Data Flow Graphs. [Citation Graph (, )][DBLP]


  31. Simultaneous budget and buffer size computation for throughput-constrained task graphs. [Citation Graph (, )][DBLP]


  32. Automated bottleneck-driven design-space exploration of media processing systems. [Citation Graph (, )][DBLP]


  33. Latency Minimization for Synchronous Data Flow Graphs. [Citation Graph (, )][DBLP]


  34. Exploring trade-offs between performance and resource requirements for synchronous dataflow graphs. [Citation Graph (, )][DBLP]


  35. QoS Management for Wireless Sensor Networks with a Mobile Sink. [Citation Graph (, )][DBLP]


  36. Formal Modeling and Scheduling of Datapaths of Digital Document Printers. [Citation Graph (, )][DBLP]


  37. Analysing qos trade-offs in wireless sensor networks. [Citation Graph (, )][DBLP]


  38. Fast simulation methods to predict wireless sensor network performance. [Citation Graph (, )][DBLP]


Search in 0.099secs, Finished in 0.101secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002