The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Twan Basten: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hamed Fatemi, Henk Corporaal, Twan Basten, Richard P. Kleihorst, Pieter P. Jonker
    Designing Area and Performance Constrained SIMD/VLIW Image Processing Architectures. [Citation Graph (0, 0)][DBLP]
    ACIVS, 2005, pp:689-696 [Conf]
  2. Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron
    Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:71-81 [Conf]
  3. 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]
  4. Sander Stuijk, Twan Basten, Jan Ypma
    CAST - A Task-Level Concurrency Analysis Tool. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:237-238 [Conf]
  5. Sander Stuijk, Marc Geilen, Twan Basten
    SDF3: SDF For Free. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:276-278 [Conf]
  6. 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]
  7. Twan Basten, Marc Voorhoeve
    An Algebraic Semantics for Hierarchical P/T Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:45-65 [Conf]
  8. Wil M. P. van der Aalst, Twan Basten
    Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:32-52 [Conf]
  9. Wil M. P. van der Aalst, Twan Basten
    Life-Cycle Inheritance: A Petri-Net-Based Approach. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:62-81 [Conf]
  10. H. M. W. (Eric) Verbeek, Twan Basten
    Deciding Life-Cycle Inheritance on Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:44-63 [Conf]
  11. Bart Mesman, Hamed Fatemi, Henk Corporaal, Twan Basten
    Dynamic-SIMD for lens distortion compensation. [Citation Graph (0, 0)][DBLP]
    ASAP, 2006, pp:261-264 [Conf]
  12. Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal
    Intra-task scenario-aware voltage scheduling. [Citation Graph (0, 0)][DBLP]
    CASES, 2005, pp:177-184 [Conf]
  13. Peter Poplavko, Twan Basten, Marco Bekooij, Jef L. van Meerbergen, Bart Mesman
    Task-level timing models for guaranteed performance in multiprocessor networks-on-chip. [Citation Graph (0, 0)][DBLP]
    CASES, 2003, pp:63-72 [Conf]
  14. Twan Basten, Wil M. P. van der Aalst
    Inheritance of Dynamic Behavior: Development of a Groupware Editor. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:391-405 [Conf]
  15. 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]
  16. Stefan Valentin Gheorghita, Sander Stuijk, Twan Basten, Henk Corporaal
    Automatic scenario detection for improved WCET estimation. [Citation Graph (0, 0)][DBLP]
    DAC, 2005, pp:101-104 [Conf]
  17. 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]
  18. Twan Basten, Luca Benini, Anantha Chandrakasan, Menno Lindwer, Jie Liu, Rex Min, Feng Zhao
    Scaling into Ambient Intelligence. [Citation Graph (0, 0)][DBLP]
    DATE, 2003, pp:10076-10083 [Conf]
  19. Menno Lindwer, Diana Marculescu, Twan Basten, Rainer Zimmermann, Radu Marculescu, Stefan Jung, Eugenio Cantatore
    Ambient Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts. [Citation Graph (0, 0)][DBLP]
    DATE, 2003, pp:10010-10017 [Conf]
  20. Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten
    Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. [Citation Graph (0, 0)][DBLP]
    DATE, 2004, pp:384-389 [Conf]
  21. 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]
  22. Qin Zhao, Bart Mesman, Twan Basten
    Practical Instruction Set Design and Compiler Retargetability Using Static Resource Models. [Citation Graph (0, 0)][DBLP]
    DATE, 2002, pp:1021-1027 [Conf]
  23. 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]
  24. Calin Ciordas, Andreas Hansson, Kees Goossens, Twan Basten
    A Monitoring-Aware Network-on-Chip Design Flow. [Citation Graph (0, 0)][DBLP]
    DSD, 2006, pp:97-106 [Conf]
  25. 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]
  26. Marc Geilen, Twan Basten
    Reactive process networks. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2004, pp:137-146 [Conf]
  27. Marc Geilen, Twan Basten
    Requirements on the Execution of Kahn Process Networks. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:319-334 [Conf]
  28. 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]
  29. Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron
    PARS: A Process Algebra with Resources and Schedulers. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2003, pp:134-150 [Conf]
  30. Wil M. P. van der Aalst, Twan Basten, H. M. W. (Eric) Verbeek, Peter A. C. Verkoulen, Marc Voorhoeve
    Adaptive Workflow-On the Interplay between Flexibility and Support. [Citation Graph (0, 0)][DBLP]
    ICEIS, 1999, pp:353-360 [Conf]
  31. Hamed Fatemi, Bart Mesman, Henk Corporaal, Twan Basten, Pieter P. Jonker
    Run-time reconfiguration of communication in SIMD architectures. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  32. Qin Zhao, Twan Basten, Bart Mesman, C. A. J. van Eijk, Jochen A. G. Jess
    Static resource models of instruction sets. [Citation Graph (0, 0)][DBLP]
    ISSS, 2001, pp:159-164 [Conf]
  33. Twan Basten, Dragan Bosnacki
    Enhancing Partial-Order Reduction via Process Clustering. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:245-253 [Conf]
  34. Sander Stuijk, Twan Basten
    Analyzing Concurrency in Computational Networks. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2003, pp:47-48 [Conf]
  35. Peter Poplavko, Twan Basten, Milan Pastrnak, Jef L. van Meerbergen, Marco Bekooij, Peter H. N. de With
    Extended abstract: estimation times of on-chip multiprocessor stream-oriented applications. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2005, pp:250-251 [Conf]
  36. Twan Basten, Jozef Hooman
    Process Algebra in PVS. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:270-284 [Conf]
  37. Twan Basten
    Breakpoints and Time in Distributed Computations. [Citation Graph (0, 0)][DBLP]
    WDAG, 1994, pp:340-354 [Conf]
  38. 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]
  39. Thomas Kunz, James P. Black, David J. Taylor, Twan Basten
    Poet: Target-System Independent Visualizations of Complex Distributed-Application Executions. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1997, v:40, n:8, pp:499-512 [Journal]
  40. H. M. W. (Eric) Verbeek, Twan Basten, Wil M. P. van der Aalst
    Diagnosing Workflow Processes using Woflan. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2001, v:44, n:4, pp:246-279 [Journal]
  41. Twan Basten, Thomas Kunz, James P. Black, Michael H. Coffin, David J. Taylor
    Vector Time and Causality Among Abstract Events in Distributed Computations. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1997, v:11, n:1, pp:21-39 [Journal]
  42. Twan Basten
    Parsing Partially Ordered Multisets. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1997, v:8, n:4, pp:379-407 [Journal]
  43. Twan Basten
    Branching Bisimilarity is an Equivalence Indeed! [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1996, v:58, n:3, pp:141-147 [Journal]
  44. Twan Basten, Wil M. P. van der Aalst
    Inheritance of behavior. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2001, v:47, n:2, pp:47-145 [Journal]
  45. Wil M. P. van der Aalst, Twan Basten
    Inheritance of workflows: an approach to tackling problems related to change. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:270, n:1-2, pp:125-203 [Journal]
  46. Qin Zhao, Bart Mesman, Twan Basten
    Static resource models for code-size efficient embedded processors. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2003, v:2, n:2, pp:219-250 [Journal]
  47. Calin Ciordas, Twan Basten, Andrei Radulescu, Kees Goossens, Jef L. van Meerbergen
    An event-based monitoring service for networks on chip. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Design Autom. Electr. Syst., 2005, v:10, n:4, pp:702-723 [Journal]
  48. 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]
  49. J. W. van den Brand, Calin Ciordas, Kees Goossens, Twan Basten
    Congestion-controlled best-effort communication for networks-on-chip. [Citation Graph (0, 0)][DBLP]
    DATE, 2007, pp:948-953 [Conf]
  50. Marc Geilen, Twan Basten
    A calculator for Pareto points. [Citation Graph (0, 0)][DBLP]
    DATE, 2007, pp:285-290 [Conf]
  51. Calin Ciordas, Kees Goossens, Andrei Radulescu, Twan Basten
    NoC monitoring: impact on the design flow. [Citation Graph (0, 0)][DBLP]
    ISCAS, 2006, pp:- [Conf]
  52. 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]
  53. Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal
    Profiling Driven Scenarion Detection and Prediction for Multimedia Applications. [Citation Graph (0, 0)][DBLP]
    ICSAMOS, 2006, pp:63-70 [Conf]

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


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


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


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


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


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


  60. Execution-time Prediction for Dynamic Streaming Applications with Task-level Parallelism. [Citation Graph (, )][DBLP]


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


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


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


  64. A pareto-algebraic framework for signal power optimization in global routing. [Citation Graph (, )][DBLP]


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


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


  67. Application Scenarios in Streaming-Oriented Embedded-System Design. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.011secs
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