World's Best Scientists 2026 revealed!
Award Badge
Computer Science
Netherlands
2025

D-Index & Metrics

Computer Science

D-Index
47
Citations
9088
World Ranking
6482
National Ranking
105

Research.com Recognitions

  • 2025 - Research.com Computer Science in Netherlands Leader Award
  • 2022 - Research.com Computer Science in Netherlands Leader Award

Overview

Twan Basten is affiliated with Eindhoven University of Technology in the Netherlands. Their research primarily focuses on several areas within computer science and engineering, with a particular emphasis on real-time systems, embedded design, and formal verification methods.

The main fields of study covered in their work include:

  • Computer Science
  • Engineering

Their research within these broad fields often addresses subfields such as:

  • Hardware and Architecture
  • Computational Theory and Mathematics
  • Electrical and Electronic Engineering
  • Computer Networks and Communications
  • Artificial Intelligence

Key topics they have explored are:

  • Real-Time Systems Scheduling
  • Embedded Systems Design Techniques
  • Petri Nets in System Modeling
  • Formal Methods in Verification
  • Business Process Modeling and Analysis
  • Advanced Software Engineering Methodologies
  • CCD and CMOS Imaging Sensors

Recent publications illustrate the scope and direction of their work, including:

  • Multi-layer multi-rate model predictive control for vehicle platooning under IEEE 802.11p, 2021, Transportation Research Part C Emerging Technologies
  • A scenario- and platform-aware design flow for image-based control systems, 2020, Microprocessors and Microsystems
  • Schedule Synthesis for Halide Pipelines on GPUs, 2020, ACM Transactions on Architecture and Code Optimization
  • Receiver-Sensitivity Control for Energy-Efficient IoT Networks, 2020, IEEE Communications Letters
  • Partial-Order Reduction for Supervisory Controller Synthesis, 2021, IEEE Transactions on Automatic Control

Twan Basten collaborates frequently with several researchers, including:

  • Marc Geilen
  • Dip Goswami
  • Bram van der Sanden
  • Martijn Hendriks
  • Jeroen Voeten

Their work appears regularly in publication venues such as:

  • IEEE Access
  • Zenodo (CERN European Organization for Nuclear Research)
  • Microprocessors and Microsystems
  • arXiv (Cornell University)
  • IFAC-PapersOnLine

Best Publications

  • Inheritance of workflows: an approach to tackling problems related to change

    W. M. P. van der Aalst;T. Basten

  • SDF^3: SDF For Free

    S. Stuijk;M. Geilen;T. Basten

  • Diagnosing workflow processes using Woflan

    Hmw Eric Verbeek;T Twan Basten;van der Wmp Wil Aalst

  • Throughput Analysis of Synchronous Data Flow Graphs

    A.H. Ghamarian;M.C.W. Geilen;S. Stuijk;T. Basten

  • Process Algebra: Equational Theories of Communicating Processes

    J. C. M. Baeten;T. Basten;M. A. Reniers

  • A scenario-aware data flow model for combined long-run average and worst-case performance analysis

    B. D. Theelen;M. C. W. Geilen;T. Basten;J. P. M. Voeten

  • Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs

    Sander Stuijk;Marc Geilen;Twan Basten

  • Multiprocessor resource allocation for throughput-constrained synchronous dataflow graphs

    S. Stuijk;T. Basten;M. C. W. Geilen;H. Corporaal

  • System-scenario-based design of dynamic embedded systems

    Stefan Valentin Gheorghita;Martin Palkovic;Juan Hamers;Arnout Vandecappelle

  • Inheritance of behavior

    AA Twan Basten;Wmp Wil van der Aalst

  • Requirements on the execution of Kahn process networks

    Marc Geilen;Twan Basten

  • Scenario-aware dataflow: Modeling, analysis and implementation of dynamic applications

    Sander Stuijk;Marc Geilen;Bart Theelen;Twan Basten

  • Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs

    S. Stuijk;M. Geilen;T. Basten

  • Branching bisimilarity is an equivalence indeed

    Twan Basten

  • Adaptive workflow

    W. M. P. van der Aalst;T. Basten;H. M. W. Verbeek;P. A. C. Verkoulen

  • Minimising buffer requirements of synchronous dataflow graphs with model checking

    Marc Geilen;Twan Basten;Sander Stuijk

  • Life-Cycle Inheritance: A Petri-Net-Based Approach

    Wil M. P. van der Aalst;Twan Basten

  • Congestion-controlled best-effort communication for networks-on-chip

    J. W. van den Brand;C. Ciordas;K. Goossens;T. Basten

  • Task-level timing models for guaranteed performance in multiprocessor networks-on-chip

    P. Poplavko;T. Basten;M. Bekooij;J. van Meerbergen

  • An Algebra of Pareto Points

    Marc Geilen;Twan Basten;Bart Theelen;Ralph Otten

Frequent Co-Authors

Marc Geilen
Marc Geilen Eindhoven University of Technology
Sander Stuijk
Sander Stuijk Eindhoven University of Technology
Henk Corporaal
Henk Corporaal Eindhoven University of Technology
Kees Goossens
Kees Goossens Eindhoven University of Technology
Chen-Khong Tham
Chen-Khong Tham National University of Singapore
Wil M. P. van der Aalst
Wil M. P. van der Aalst RWTH Aachen University
Maurice Heemels
Maurice Heemels Eindhoven University of Technology
H. M. W. Verbeek
H. M. W. Verbeek Eindhoven University of Technology
Frits W. Vaandrager
Frits W. Vaandrager Radboud University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online degrees can open new doors in computer science and related fields. Many students are now choosing flexible study options, such as an accelerated associate degree online. These programs provide foundational skills and allow for a quicker entry into the tech workforce.

For those interested in broadening their expertise, studying business alongside technology is a smart move. Accredited business schools online make it easy to combine computing knowledge with essential business management skills, boosting your career potential.

Affordability is a top concern for many students. There are several options for a cheapest bachelor degree in computer science and related fields. These programs ensure quality education without putting a strain on your finances.

Engineering is another promising career pathway. Choosing an online bachelor's in engineering can provide the technical skills needed for in-demand roles in software, hardware, or systems engineering. Online learning gives you the freedom to balance study with work or other commitments.

Best Scientists Citing Twan Basten

Trending Scientists

Recently Published Articles