| 2009 | ||
|---|---|---|
| 73 | Hamid Shojaei, Amir Hossein Ghamarian, Twan Basten, Marc Geilen, Sander Stuijk, Rob Hoes: A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management. DAC 2009: 917-922 | |
| 72 | Rob Hoes, Twan Basten, Wai-Leong Yeow, Chen-Khong Tham, Marc Geilen, Henk Corporaal: QoS Management for Wireless Sensor Networks with a Mobile Sink. EWSN 2009: 53-68 | |
| 71 | Stefan Valentin Gheorghita, Martin Palkovic, Juan Hamers, Arnout Vandecappelle, Stelios Mamagkakis, Twan Basten, Lieven Eeckhout, Henk Corporaal, Francky Catthoor, Frederik Vandeputte, Koen De Bosschere: System-scenario-based design of dynamic embedded systems. ACM Trans. Design Autom. Electr. Syst. 14(1): (2009) | |
| 70 | Rob Hoes, Twan Basten, Chen-Khong Tham, Marc Geilen, Henk Corporaal: Quality-of-service trade-off analysis for wireless sensor networks. Perform. Eval. 66(3-5): 191-208 (2009) | |
| 2008 | ||
| 69 | Hamid Shojaei, Twan Basten, Marc Geilen, Phillip Stanley-Marbell: SPaC: a symbolic pareto calculator. CODES+ISSS 2008: 179-184 | |
| 68 | Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Sander Stuijk: Parametric Throughput Analysis of Synchronous Data Flow Graphs. DATE 2008: 116-121 | |
| 67 | Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits W. Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou J. Somers: Formal Modeling and Scheduling of Datapaths of Digital Document Printers. FORMATS 2008: 170-187 | |
| 66 | Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal: Application Scenarios in Streaming-Oriented Embedded-System Design. IEEE Design & Test of Computers 25(6): 581-589 (2008) | |
| 65 | Sander Stuijk, Marc Geilen, Twan Basten: Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs. IEEE Trans. Computers 57(10): 1331-1345 (2008) | |
| 64 | Sander Stuijk, Twan Basten: Analyzing concurrency in streaming applications. Journal of Systems Architecture - Embedded Systems Design 54(1-2): 124-144 (2008) | |
| 63 | Calin Ciordas, Andreas Hansson, Kees Goossens, Twan Basten: A monitoring-aware network-on-chip design flow. Journal of Systems Architecture - Embedded Systems Design 54(3-4): 397-410 (2008) | |
| 62 | Sander Stuijk, Twan Basten, Marc Geilen, Amir Hossein Ghamarian, Bart D. Theelen: Resource-efficient routing and scheduling of time-constrained streaming communication on networks-on-chip. Journal of Systems Architecture - Embedded Systems Design 54(3-4): 411-426 (2008) | |
| 61 | Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal: Scenario Selection and Prediction for DVS-Aware Scheduling of Multimedia Applications. Signal Processing Systems 50(2): 137-161 (2008) | |
| 2007 | ||
| 60 | Twan Basten, Gabriel Juhás, Sandeep K. Shukla: Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic IEEE Computer Society 2007 | |
| 59 | Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal: Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs. DAC 2007: 777-782 | |
| 58 | Marc Geilen, Twan Basten: A calculator for Pareto points. DATE 2007: 285-290 | |
| 57 | Jan Willem van den Brand, Calin Ciordas, Kees Goossens, Twan Basten: Congestion-controlled best-effort communication for networks-on-chip. DATE 2007: 948-953 | |
| 56 | Amir Hossein Ghamarian, Sander Stuijk, Twan Basten, Marc Geilen, Bart D. Theelen: Latency Minimization for Synchronous Data Flow Graphs. DSD 2007: 189-196 | |
| 55 | Peter Poplavko, Twan Basten, Jef L. van Meerbergen: Execution-time Prediction for Dynamic Streaming Applications with Task-level Parallelism. DSD 2007: 228-235 | |
| 54 | Rob Hoes, Twan Basten, Chen-Khong Tham, Marc Geilen, Henk Corporaal: Analysing qos trade-offs in wireless sensor networks. MSWiM 2007: 60-69 | |
| 53 | Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten: An Algebra of Pareto Points. Fundam. Inform. 78(1): 35-74 (2007) | |
| 2006 | ||
| 52 | 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. ACSD 2006: 25-36 | |
| 51 | Sander Stuijk, Marc Geilen, Twan Basten: SDF3: SDF For Free. ACSD 2006: 276-278 | |
| 50 | Bart Mesman, Hamed Fatemi, Henk Corporaal, Twan Basten: Dynamic-SIMD for lens distortion compensation. ASAP 2006: 261-264 | |
| 49 | Sander Stuijk, Marc Geilen, Twan Basten: Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs. DAC 2006: 899-904 | |
| 48 | Sander Stuijk, Twan Basten, Marc Geilen, Amir Hossein Ghamarian, Bart D. Theelen: Resource-Efficient Routing and Scheduling of Time-Constrained Network-on-Chip Communication. DSD 2006: 45-52 | |
| 47 | Calin Ciordas, Andreas Hansson, Kees Goossens, Twan Basten: A Monitoring-Aware Network-on-Chip Design Flow. DSD 2006: 97-106 | |
| 46 | Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, Sander Stuijk: Liveness and Boundedness of Synchronous Data Flow Graphs. FMCAD 2006: 68-75 | |
| 45 | Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal: Profiling Driven Scenarion Detection and Prediction for Multimedia Applications. ICSAMOS 2006: 63-70 | |
| 44 | Hamed Fatemi, Bart Mesman, Henk Corporaal, Twan Basten, Pieter P. Jonker: Run-time reconfiguration of communication in SIMD architectures. IPDPS 2006 | |
| 43 | Calin Ciordas, Kees Goossens, Andrei Radulescu, Twan Basten: NoC monitoring: impact on the design flow. ISCAS 2006 | |
| 42 | 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. MEMOCODE 2006: 185-194 | |
| 41 | Hamed Fatemi, Bart Mesman, Henk Corporaal, Twan Basten, Richard P. Kleihorst: RC-SIMD: Reconfigurable communication SIMD architecture for image processing applications. J. Embedded Computing 2(2): 167-179 (2006) | |
| 2005 | ||
| 40 | Hamed Fatemi, Henk Corporaal, Twan Basten, Richard P. Kleihorst, Pieter P. Jonker: Designing Area and Performance Constrained SIMD/VLIW Image Processing Architectures. ACIVS 2005: 689-696 | |
| 39 | Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten: An Algebra of Pareto Points. ACSD 2005: 88-97 | |
| 38 | Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal: Intra-task scenario-aware voltage scheduling. CASES 2005: 177-184 | |
| 37 | Stefan Valentin Gheorghita, Sander Stuijk, Twan Basten, Henk Corporaal: Automatic scenario detection for improved WCET estimation. DAC 2005: 101-104 | |
| 36 | Marc Geilen, Twan Basten, Sander Stuijk: Minimising buffer requirements of synchronous dataflow graphs with model checking. DAC 2005: 819-824 | |
| 35 | Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen: Predictable Embedding of Large Data Structures in Multiprocessor Networks-on-Chip. DATE 2005: 254-255 | |
| 34 | Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen: Predictable embedding of large data structures in multiprocessor networks-on-chip. DSD 2005: 388-396 | |
| 33 | 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. MEMOCODE 2005: 250-251 | |
| 32 | Calin Ciordas, Twan Basten, Andrei Radulescu, Kees Goossens, Jef L. van Meerbergen: An event-based monitoring service for networks on chip. ACM Trans. Design Autom. Electr. Syst. 10(4): 702-723 (2005) | |
| 31 | Stefan Valentin Gheorghita, Henk Corporaal, Twan Basten: Iterative compilation for energy reduction. J. Embedded Computing 1(4): 509-520 (2005) | |
| 2004 | ||
| 30 | Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten: Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. DATE 2004: 384-389 | |
| 29 | Marc Geilen, Twan Basten: Reactive process networks. EMSOFT 2004: 137-146 | |
| 28 | Twan Basten, Dragan Bosnacki, Marc Geilen: Cluster-Based Partial-Order Reduction. Autom. Softw. Eng. 11(4): 365-402 (2004) | |
| 2003 | ||
| 27 | Sander Stuijk, Twan Basten, Jan Ypma: CAST - A Task-Level Concurrency Analysis Tool. ACSD 2003: 237-238 | |
| 26 | 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. ACSD 2003: 71-81 | |
| 25 | Peter Poplavko, Twan Basten, Marco Bekooij, Jef L. van Meerbergen, Bart Mesman: Task-level timing models for guaranteed performance in multiprocessor networks-on-chip. CASES 2003: 63-72 | |
| 24 | 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. DATE 2003: 10010-10017 | |
| 23 | Twan Basten, Luca Benini, Anantha Chandrakasan, Menno Lindwer, Jie Liu, Rex Min, Feng Zhao: Scaling into Ambient Intelligence. DATE 2003: 10076-10083 | |
| 22 | Marc Geilen, Twan Basten: Requirements on the Execution of Kahn Process Networks. ESOP 2003: 319-334 | |
| 21 | Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron: PARS: A Process Algebra with Resources and Schedulers. FORMATS 2003: 134-150 | |
| 20 | H. M. W. (Eric) Verbeek, Twan Basten: Deciding Life-Cycle Inheritance on Petri Nets. ICATPN 2003: 44-63 | |
| 19 | Sander Stuijk, Twan Basten: Analyzing Concurrency in Computational Networks. MEMOCODE 2003: 47-48 | |
| 18 | Qin Zhao, Bart Mesman, Twan Basten: Static resource models for code-size efficient embedded processors. ACM Trans. Embedded Comput. Syst. 2(2): 219-250 (2003) | |
| 2002 | ||
| 17 | Qin Zhao, Bart Mesman, Twan Basten: Practical Instruction Set Design and Compiler Retargetability Using Static Resource Models. DATE 2002: 1021-1027 | |
| 16 | Wil M. P. van der Aalst, Twan Basten: Inheritance of workflows: an approach to tackling problems related to change. Theor. Comput. Sci. 270(1-2): 125-203 (2002) | |
| 2001 | ||
| 15 | Twan Basten, Dragan Bosnacki: Enhancing Partial-Order Reduction via Process Clustering. ASE 2001: 245-253 | |
| 14 | Twan Basten, Wil M. P. van der Aalst: Inheritance of Dynamic Behavior: Development of a Groupware Editor. Concurrent Object-Oriented Programming and Petri Nets 2001: 391-405 | |
| 13 | Wil M. P. van der Aalst, Twan Basten: Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance. ICATPN 2001: 32-52 | |
| 12 | Qin Zhao, Twan Basten, Bart Mesman, C. A. J. van Eijk, Jochen A. G. Jess: Static resource models of instruction sets. ISSS 2001: 159-164 | |
| 11 | H. M. W. (Eric) Verbeek, Twan Basten, Wil M. P. van der Aalst: Diagnosing Workflow Processes using Woflan. Comput. J. 44(4): 246-279 (2001) | |
| 10 | Twan Basten, Wil M. P. van der Aalst: Inheritance of behavior. J. Log. Algebr. Program. 47(2): 47-145 (2001) | |
| 1999 | ||
| 9 | 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. ICEIS 1999: 353-360 | |
| 8 | Twan Basten, Jozef Hooman: Process Algebra in PVS. TACAS 1999: 270-284 | |
| 1997 | ||
| 7 | Wil M. P. van der Aalst, Twan Basten: Life-Cycle Inheritance: A Petri-Net-Based Approach. ICATPN 1997: 62-81 | |
| 6 | Thomas Kunz, James P. Black, David J. Taylor, Twan Basten: Poet: Target-System Independent Visualizations of Complex Distributed-Application Executions. Comput. J. 40(8): 499-512 (1997) | |
| 5 | Twan Basten, Thomas Kunz, James P. Black, Michael H. Coffin, David J. Taylor: Vector Time and Causality Among Abstract Events in Distributed Computations. Distributed Computing 11(1): 21-39 (1997) | |
| 4 | Twan Basten: Parsing Partially Ordered Multisets. Int. J. Found. Comput. Sci. 8(4): 379-407 (1997) | |
| 1996 | ||
| 3 | Twan Basten: Branching Bisimilarity is an Equivalence Indeed! Inf. Process. Lett. 58(3): 141-147 (1996) | |
| 1995 | ||
| 2 | Twan Basten, Marc Voorhoeve: An Algebraic Semantics for Hierarchical P/T Nets. Application and Theory of Petri Nets 1995: 45-65 | |
| 1994 | ||
| 1 | Twan Basten: Breakpoints and Time in Distributed Computations. WDAG 1994: 340-354 | |