2009 | ||
---|---|---|
70 | EE | 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 |
69 | EE | 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) |
2008 | ||
68 | EE | Hamid Shojaei, Twan Basten, Marc Geilen, Phillip Stanley-Marbell: SPaC: a symbolic pareto calculator. CODES+ISSS 2008: 179-184 |
67 | EE | Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Sander Stuijk: Parametric Throughput Analysis of Synchronous Data Flow Graphs. DATE 2008: 116-121 |
66 | EE | 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 |
65 | EE | 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 | EE | Sander Stuijk, Twan Basten: Analyzing concurrency in streaming applications. Journal of Systems Architecture - Embedded Systems Design 54(1-2): 124-144 (2008) |
63 | EE | 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 | EE | 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 | EE | 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 | EE | Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal: Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs. DAC 2007: 777-782 |
58 | EE | Marc Geilen, Twan Basten: A calculator for Pareto points. DATE 2007: 285-290 |
57 | EE | 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 | EE | Amir Hossein Ghamarian, Sander Stuijk, Twan Basten, Marc Geilen, Bart D. Theelen: Latency Minimization for Synchronous Data Flow Graphs. DSD 2007: 189-196 |
55 | EE | Peter Poplavko, Twan Basten, Jef L. van Meerbergen: Execution-time Prediction for Dynamic Streaming Applications with Task-level Parallelism. DSD 2007: 228-235 |
54 | EE | Rob Hoes, Twan Basten, Chen-Khong Tham, Marc Geilen, Henk Corporaal: Analysing qos trade-offs in wireless sensor networks. MSWiM 2007: 60-69 |
53 | EE | Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten: An Algebra of Pareto Points. Fundam. Inform. 78(1): 35-74 (2007) |
2006 | ||
52 | EE | 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 | EE | Sander Stuijk, Marc Geilen, Twan Basten: SDF3: SDF For Free. ACSD 2006: 276-278 |
50 | EE | Bart Mesman, Hamed Fatemi, Henk Corporaal, Twan Basten: Dynamic-SIMD for lens distortion compensation. ASAP 2006: 261-264 |
49 | EE | Sander Stuijk, Marc Geilen, Twan Basten: Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs. DAC 2006: 899-904 |
48 | EE | 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 | EE | Calin Ciordas, Andreas Hansson, Kees Goossens, Twan Basten: A Monitoring-Aware Network-on-Chip Design Flow. DSD 2006: 97-106 |
46 | EE | 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 | EE | Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal: Profiling Driven Scenarion Detection and Prediction for Multimedia Applications. ICSAMOS 2006: 63-70 |
44 | EE | Hamed Fatemi, Bart Mesman, Henk Corporaal, Twan Basten, Pieter P. Jonker: Run-time reconfiguration of communication in SIMD architectures. IPDPS 2006 |
43 | EE | Calin Ciordas, Kees Goossens, Andrei Radulescu, Twan Basten: NoC monitoring: impact on the design flow. ISCAS 2006 |
42 | EE | 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 | EE | 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 | EE | 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 | EE | Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten: An Algebra of Pareto Points. ACSD 2005: 88-97 |
38 | EE | Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal: Intra-task scenario-aware voltage scheduling. CASES 2005: 177-184 |
37 | EE | Stefan Valentin Gheorghita, Sander Stuijk, Twan Basten, Henk Corporaal: Automatic scenario detection for improved WCET estimation. DAC 2005: 101-104 |
36 | EE | Marc Geilen, Twan Basten, Sander Stuijk: Minimising buffer requirements of synchronous dataflow graphs with model checking. DAC 2005: 819-824 |
35 | EE | Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen: Predictable Embedding of Large Data Structures in Multiprocessor Networks-on-Chip. DATE 2005: 254-255 |
34 | EE | Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen: Predictable embedding of large data structures in multiprocessor networks-on-chip. DSD 2005: 388-396 |
33 | EE | 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 | EE | 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 | EE | Stefan Valentin Gheorghita, Henk Corporaal, Twan Basten: Iterative compilation for energy reduction. J. Embedded Computing 1(4): 509-520 (2005) |
2004 | ||
30 | EE | 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 | EE | Marc Geilen, Twan Basten: Reactive process networks. EMSOFT 2004: 137-146 |
28 | EE | Twan Basten, Dragan Bosnacki, Marc Geilen: Cluster-Based Partial-Order Reduction. Autom. Softw. Eng. 11(4): 365-402 (2004) |
2003 | ||
27 | EE | Sander Stuijk, Twan Basten, Jan Ypma: CAST - A Task-Level Concurrency Analysis Tool. ACSD 2003: 237-238 |
26 | EE | 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 | EE | 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 | EE | 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 | EE | Twan Basten, Luca Benini, Anantha Chandrakasan, Menno Lindwer, Jie Liu, Rex Min, Feng Zhao: Scaling into Ambient Intelligence. DATE 2003: 10076-10083 |
22 | EE | Marc Geilen, Twan Basten: Requirements on the Execution of Kahn Process Networks. ESOP 2003: 319-334 |
21 | EE | 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 | EE | H. M. W. (Eric) Verbeek, Twan Basten: Deciding Life-Cycle Inheritance on Petri Nets. ICATPN 2003: 44-63 |
19 | EE | Sander Stuijk, Twan Basten: Analyzing Concurrency in Computational Networks. MEMOCODE 2003: 47-48 |
18 | EE | 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 | EE | Qin Zhao, Bart Mesman, Twan Basten: Practical Instruction Set Design and Compiler Retargetability Using Static Resource Models. DATE 2002: 1021-1027 |
16 | EE | 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 | EE | Twan Basten, Dragan Bosnacki: Enhancing Partial-Order Reduction via Process Clustering. ASE 2001: 245-253 |
14 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |