Twan Basten

Xue-Yang Zhu, Twan Basten, Marc Geilen, Sander Stuijk: Efficient Retiming of Multirate DSP Algorithms. IEEE Trans. on CAD of Integrated Circuits and Systems 31(6): 831-844 (2012)

Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal: Playing games with scenario- and resource-aware SDF graphs through policy iteration. DATE 2012: 194-199

Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal: Modeling static-order schedules in synchronous dataflow graphs. DATE 2012: 775-780

Marcel Steine, Marc Geilen, Twan Basten: A Distributed Feedback Control Mechanism for Quality-of-Service Maintenance in Wireless Sensor Networks. DSD 2012: 739-742

Twan Basten, Martijn Hendriks, Lou J. Somers, Nikola Trcka: Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems - (Extended Abstract). FORMATS 2012: 1-6

Morteza Damavandpeyma, Sander Stuijk, Marc Geilen, Twan Basten, Henk Corporaal: Parametric throughput analysis of scenario-aware dataflow graphs. ICCD 2012: 219-226

Milos Blagojevic, Marc Geilen, Twan Basten, Teun Hendriks: Fast sink placement for Gossip-based Wireless Sensor Networks. IPCCC 2012: 110-119

Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk: Static Rate-Optimal Scheduling of Multirate DSP Algorithms via Retiming and Unfolding. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 109-118

Marc Geilen, Sander Stuijk, Twan Basten: Predictable dynamic embedded data processing. ICSAMOS 2012: 320-327

Majid Nabi, Marc Geilen, Twan Basten: Demonstrating on-demand listening and data forwarding in wireless body area networks. SECON 2012: 82-84

Majid Nabi, Marc Geilen, Twan Basten: On-demand data forwarding for automatic adaptation of data propagation in WBANs. SECON 2012: 326-334

Nikola Trcka, Marc Voorhoeve, Twan Basten: Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets. ACSD 2011: 13-18

Sander Stuijk, Twan Basten, Benny Akesson, Marc Geilen, Orlando Moreira, Jan Reineke: Designing next-generation real-time streaming systems. CODES+ISSS 2011: 375-376

Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal: Iteration-Based Trade-Off Analysis of Resource-Aware SDF. DSD 2011: 567-574

Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal: Hybrid Code-Data Prefetch-Aware Multiprocessor Task Graph Scheduling. DSD 2011: 583-590

Martijn Hendriks, Marc Geilen, Twan Basten: Pareto Analysis with Uncertainty. EUC 2011: 189-196

Marcel Steine, Cuong Viet Ngo, Ramon Serna Oliver, Marc Geilen, Twan Basten, Gerhard Fohler, Jean-Dominique Decotignie: Proactive reconfiguration of wireless sensor networks. MSWiM 2011: 31-40

Milos Blagojevic, Majid Nabi, Marc Geilen, Twan Basten, Teun Hendriks, Marcel Steine: A Probabilistic Acknowledgment Mechanism for Wireless Sensor Networks. NAS 2011: 63-72

Nikola Trcka, Martijn Hendriks, Twan Basten, Marc Geilen, Lou J. Somers: Integrated model-driven design-space exploration for embedded systems. ICSAMOS 2011: 339-346

Sander Stuijk, Marc Geilen, Bart D. Theelen, Twan Basten: Scenario-aware dataflow: Modeling, analysis and implementation of dynamic applications. ICSAMOS 2011: 404-411

Majid Nabi, Milos Blagojevic, Marc Geilen, Twan Basten: Dynamic data prioritization for quality-of-service differentiation in heterogeneous Wireless Sensor Networks. SECON 2011: 296-304

Majid Nabi, Marc Geilen, Twan Basten: MoBAN: a configurable mobility model for wireless body area networks. SimuTools 2011: 168-177

Orlando Moreira, Twan Basten, Marc Geilen, Sander Stuijk: Buffer Sizing for Rate-Optimal Single-Rate Data-Flow Scheduling Revisited. IEEE Trans. Computers 59(2): 188-201 (2010)

Twan Basten, Rolf Ernst: Editorial: Model-driven embedded-system design. ACM Trans. Embedded Comput. Syst. 10(2): 15 (2010)

Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal: Automated bottleneck-driven design-space exploration of media processing systems. DATE 2010: 1041-1046

Maarten Wiggers, Marco Bekooij, Marc Geilen, Twan Basten: Simultaneous budget and buffer size computation for throughput-constrained task graphs. DATE 2010: 1669-1672

Sander Stuijk, Marc Geilen, Twan Basten: A Predictable Multiprocessor Design Flow for Streaming Applications with Dynamic Behaviour. DSD 2010: 548-555

Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal: Thermal-aware scratchpad memory design and allocation. ICCD 2010: 118-124

Peter Poplavko, Marc Geilen, Twan Basten: Predicting the throughput of multiprocessor applications under dynamic workload. ICCD 2010: 282-288

Hamid Shojaei, Tai-Hsuan Wu, Azadeh Davoodi, Twan Basten: A pareto-algebraic framework for signal power optimization in global routing. ISLPED 2010: 407-412

Twan Basten, Emiel van Benthum, Marc Geilen, Martijn Hendriks, Fred Houben, Georgeta Igna, Frans Reckers, Sebastian de Smet, Lou J. Somers, Egbert Teeselink: Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset. ISoLA (1) 2010: 90-105

A. Oceguera, Twan Basten, Lou J. Somers, S. Hulsenboom: Real-time step motor emulator for hardware-in-the-loop simulation. SummerSim 2010: 306-313

Majid Nabi, Milos Blagojevic, Marc Geilen, Twan Basten, Teun Hendriks: MCMAC: An Optimized Medium Access Control Protocol for Mobile Clusters in Wireless Sensor Networks. SECON 2010: 28-36

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)

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)

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

Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal: Exploring trade-offs between performance and resource requirements for synchronous dataflow graphs. ESTImedia 2009: 96-105

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

Milos Blagojevic, Majid Nabi, Teun Hendriks, Twan Basten, Marc Geilen: Fast simulation methods to predict wireless sensor network performance. PE-WASUN 2009: 41-48

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)

Sander Stuijk, Twan Basten: Analyzing concurrency in streaming applications. Journal of Systems Architecture - Embedded Systems Design 54(1-2): 124-144 (2008)

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)

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)

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)

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)

Hamid Shojaei, Twan Basten, Marc Geilen, Phillip Stanley-Marbell: SPaC: a symbolic pareto calculator. CODES+ISSS 2008: 179-184

Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Sander Stuijk: Parametric Throughput Analysis of Synchronous Data Flow Graphs. DATE 2008: 116-121

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

Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten: An Algebra of Pareto Points. Fundam. Inform. 78(1): 35-74 (2007)

Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal: Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs. DAC 2007: 777-782

Marc Geilen, Twan Basten: A calculator for Pareto points. DATE 2007: 285-290

Jan Willem van den Brand, Calin Ciordas, Kees Goossens, Twan Basten: Congestion-controlled best-effort communication for networks-on-chip. DATE 2007: 948-953

Amir Hossein Ghamarian, Sander Stuijk, Twan Basten, Marc Geilen, Bart D. Theelen: Latency Minimization for Synchronous Data Flow Graphs. DSD 2007: 189-196

Peter Poplavko, Twan Basten, Jef L. van Meerbergen: Execution-time Prediction for Dynamic Streaming Applications with Task-level Parallelism. DSD 2007: 228-235

Rob Hoes, Twan Basten, Chen-Khong Tham, Marc Geilen, Henk Corporaal: Analysing qos trade-offs in wireless sensor networks. MSWiM 2007: 60-69

Twan Basten, Gabriel Juhás, Sandeep K. Shukla (Eds.): Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic. IEEE Computer Society 2007, isbn 978-0-7695-2902-8

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)

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

Sander Stuijk, Marc Geilen, Twan Basten: SDF³: SDF For Free. ACSD 2006: 276-278

Bart Mesman, Hamed Fatemi, Henk Corporaal, Twan Basten: Dynamic-SIMD for lens distortion compensation. ASAP 2006: 261-264

Sander Stuijk, Marc Geilen, Twan Basten: Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs. DAC 2006: 899-904

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

Calin Ciordas, Andreas Hansson, Kees Goossens, Twan Basten: A Monitoring-Aware Network-on-Chip Design Flow. DSD 2006: 97-106

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

Hamed Fatemi, Bart Mesman, Henk Corporaal, Twan Basten, Pieter P. Jonker: Run-time reconfiguration of communication in SIMD architectures. IPDPS 2006

Calin Ciordas, Kees Goossens, Andrei Radulescu, Twan Basten: NoC monitoring: impact on the design flow. ISCAS 2006

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

Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal: Profiling Driven Scenarion Detection and Prediction for Multimedia Applications. ICSAMOS 2006: 63-70

Stefan Valentin Gheorghita, Henk Corporaal, Twan Basten: Iterative compilation for energy reduction. J. Embedded Computing 1(4): 509-520 (2005)

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)

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

Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten: An Algebra of Pareto Points. ACSD 2005: 88-97

Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal: Intra-task scenario-aware voltage scheduling. CASES 2005: 177-184

Stefan Valentin Gheorghita, Sander Stuijk, Twan Basten, Henk Corporaal: Automatic scenario detection for improved WCET estimation. DAC 2005: 101-104

Marc Geilen, Twan Basten, Sander Stuijk: Minimising buffer requirements of synchronous dataflow graphs with model checking. DAC 2005: 819-824

Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen: Predictable Embedding of Large Data Structures in Multiprocessor Networks-on-Chip. DATE 2005: 254-255

Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen: Predictable embedding of large data structures in multiprocessor networks-on-chip. DSD 2005: 388-396

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

Twan Basten, Dragan Bosnacki, Marc Geilen: Cluster-Based Partial-Order Reduction. Autom. Softw. Eng. 11(4): 365-402 (2004)

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

Marc Geilen, Twan Basten: Reactive process networks. EMSOFT 2004: 137-146

Calin Ciordas, Twan Basten, Andrei Radulescu, Kees Goossens, Jef L. van Meerbergen: An event-based network-on-chip monitoring service. HLDVT 2004: 149-154

Twan Basten, Marc Geilen, Harmke de Groot: Ambient intelligence - impact on embedded system design. Kluwer 2003, isbn 978-1-4020-7668-8, pp. I-VIII, 1-348

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)

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

Sander Stuijk, Twan Basten, Jan Ypma: CAST - A Task-Level Concurrency Analysis Tool. ACSD 2003: 237-238

H. M. W. (Eric) Verbeek, Twan Basten: Deciding Life-Cycle Inheritance on Petri Nets. ICATPN 2003: 44-63

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

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

Twan Basten, Luca Benini, Anantha Chandrakasan, Menno Lindwer, Jie Liu, Rex Min, Feng Zhao: Scaling into Ambient Intelligence. DATE 2003: 10076-10083

Marc Geilen, Twan Basten: Requirements on the Execution of Kahn Process Networks. ESOP 2003: 319-334

Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron: PARS: A Process Algebra with Resources and Schedulers. FORMATS 2003: 134-150

Sander Stuijk, Twan Basten: Analyzing Concurrency in Computational Networks. MEMOCODE 2003: 47-48

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)

Qin Zhao, Bart Mesman, Twan Basten: Practical Instruction Set Design and Compiler Retargetability Using Static Resource Models. DATE 2002: 1021-1026

Mohammad Reza Mousavi, Giovanni Russello, Michel R. V. Chaudron, Michel A. Reniers, Twan Basten, Angelo Corsaro, Sandeep K. Shukla, Rajesh K. Gupta, Douglas C. Schmidt: Using Aspect-GAMMA in the design of embedded systems. HLDVT 2002: 69-74

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)

Twan Basten, Wil M. P. van der Aalst: Inheritance of behavior. J. Log. Algebr. Program. 47(2): 47-145 (2001)

Wil M. P. van der Aalst, Twan Basten: Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance. ICATPN 2001: 32-52

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

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

Twan Basten, Dragan Bosnacki: Enhancing Partial-Order Reduction via Process Clustering. ASE 2001: 245-253

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

Twan Basten, Jozef Hooman: Process Algebra in PVS. TACAS 1999: 270-284

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)

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)

Twan Basten: Parsing Partially Ordered Multisets. Int. J. Found. Comput. Sci. 8(4): 379-407 (1997)

Wil M. P. van der Aalst, Twan Basten: Life-Cycle Inheritance: A Petri-Net-Based Approach. ICATPN 1997: 62-81

Twan Basten: Branching Bisimilarity is an Equivalence Indeed! Inf. Process. Lett. 58(3): 141-147 (1996)

Twan Basten, Marc Voorhoeve: An Algebraic Semantics for Hierarchical P/T Nets. Application and Theory of Petri Nets 1995: 45-65

Twan Basten: Breakpoints and Time in Distributed Computations. WDAG 1994: 340-354