| 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 |
