A.A. (Twan) Basten

Research output

Content available in repository 1994 2002 2003 2005 2006 2008 2009 2010 2011 2012 2013 2015 2016 2018 2019 2020 2024

• 181 Conference contribution
• 65 Article
• 51 Report
• 18 Chapter
• 35 More
  • 13 Other
  • 4 Abstract
  • 4 Poster
  • 3 Book editing
  • 2 Book
  • 2 Conference article
  • 2 Editorial
  • 1 Inaugural/farewell speech
  • 1 Foreword/editorial
  • 1 Paper
  • 1 Patent publication
  • 1 Phd Thesis 1 (Research TU/e / Graduation TU/e)

Content available in repository

Content available in repository

Search results

• 2019

  Partial-order reduction for synthesis and performance analysis of supervisory controllers

  van der Sanden, L. J., Geilen, M. C. W., Reniers, M. A. & Basten, A. A., 2019, Eindhoven: Technische Universiteit Eindhoven. 24 p. (ES Reports; no. ESR-2019-02)

  Research output: Book/Report › Report › Academic

  Open Access
• 2013

  A distributed reconfiguration approach for quality-of-service provisioning in dynamic heterogeneous wireless sensor networks

  Steine, M., Geilen, M. C. W. & Basten, T., 2013, Eindhoven: Eindhoven University of Technology. 42 p. (ES reports; vol. 2013-02)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  127 Downloads (Pure)

• Schedule-extended synchronous dataflow graphs

  Damavandpeyma, M., Stuijk, S., Basten, T., Geilen, M. C. W. & Corporaal, H., 2013, Eindhoven: Eindhoven University of Technology. 19 p. (ES reports; vol. 2013-01)

  Research output: Book/Report › Report › Academic

  Open Access

  File

  • Time Analysis 100%
  • Resource Requirement 100%
  • multi-processor 100%
  • Scheduling Decision 50%
  • Performance Property 50%
  280 Downloads (Pure)
• 2012

  Modeling static-order schedules in synchronous dataflow graphs

  Damavandpeyma, M., Stuijk, S., Basten, T., Geilen, M. C. W. & Corporaal, H., 2012, Eindhoven: Eindhoven University of Technology. 12 p. (ES reports; vol. 2012-01)

  Research output: Book/Report › Report › Academic

  Open Access

  File

  • Resource Requirement 100%
  • multi-processor 100%
  196 Downloads (Pure)
• 2011

  Pareto analysis with uncertainty

  Hendriks, M., Geilen, M. C. W. & Basten, T., 2011, Eindhoven: Eindhoven University of Technology. 12 p. (ES reports; vol. 2011-01)

  Research output: Book/Report › Report › Academic

  • Pareto Analysis 100%
  • Cost Function 66%
  • Pareto Optimal Solution 66%
  • Development Process 33%
  • Refinement Process 33%

• Performance analysis of weakly-consistent scenario-aware dataflow graphs

  Geilen, M. C. W., Falk, J., Haubelt, C., Basten, T., Theelen, B. D. & Stuijk, S., 2011, Eindhoven: Eindhoven University of Technology. 21 p. (ES reports; vol. 2011-03)

  Research output: Book/Report › Report › Academic

  Open Access

  File

  • Performance Analysis 100%
  • Embedded Software 50%
  • Performance Guarantee 50%
  • State Space 50%
  • Design Automation 50%
  177 Downloads (Pure)
• 2010

  Parameterized timed partial orders with resources: formal definition and semantics

  Trcka, N., Voorhoeve, M. & Basten, T., 2010, Eindhoven: Technische Universiteit Eindhoven. 10 p. (ES reports; vol. 2010-01)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  55 Downloads (Pure)

• Predicting the throughput of multiprocessor applications under dynamic workload

  Poplavko, P., Geilen, M. C. W. & Basten, T., 2010, Eindhoven: Technische Universiteit Eindhoven. 10 p. (ES reports; vol. 2010-02)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  59 Downloads (Pure)
• 2008

  Scenario-aware dataflow

  Theelen, B. D., Geilen, M. C. W., Stuijk, S., Gheorghita, V., Basten, T., Voeten, J. P. M. & Ghamarian, A. H., 2008, Eindhoven: Technische Universiteit Eindhoven. 22 p. (ES reports; vol. 2008-08)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  67 Downloads (Pure)

• System models in wireless sensor networks

  Stanley-Marbell, P., Basten, T., Rousselot, J., Serna Oliver, R., Karl, H., Geilen, M. C. W., Hoes, R. J. H., Fohler, G. & Decotignie, J. D., 2008, Eindhoven: Technische Universiteit Eindhoven. 18 p. (ES reports; vol. 2008-06)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  212 Downloads (Pure)
• 2007

  Latency minimization for synchronous data flow graphs

  Ghamarian, A. H., Stuijk, S., Basten, T., Geilen, M. C. W. & Theelen, B. D., 2007, Eindhoven: Technische Universiteit Eindhoven. (ES reports; vol. 2007-04)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  162 Downloads (Pure)

• Parametric throughput analysis of synchronous data flow graphs

  Ghamarian, A. H., Geilen, M. C. W., Basten, T. & Stuijk, S., 2007, Eindhoven: Technische Universiteit Eindhoven. (ES reports; vol. 2007-08)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  109 Downloads (Pure)

• System scenario based design of dynamic embedded systems

  Gheorghita, S. V., Palkovic, M., Hamers, J., Vandecappelle, A., Mamagkakis, S., Basten, T., Eeckhout, L., Corporaal, H., Catthoor, F., Vandeputte, F. & Bosschere, De, K., 2007, Eindhoven: Technische Universiteit Eindhoven. 46 p. (ES reports; vol. 2007-06)

  Research output: Book/Report › Report › Academic

  Open Access

  File

  • Embedded Systems 100%
  • System Scenario 100%
  • Scenario-Based Design 100%
  • Energy Consumption 66%
  • Dynamic Nature 66%
  116 Downloads (Pure)
• 2006

  An overview of application scenario usage in streaming-oriented embedded system design

  Gheorghita, S. V., Basten, T. & Corporaal, H., 2006, Eindhoven: Technische Universiteit Eindhoven. 20 p. (ES reports; vol. 2006-03)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  92 Downloads (Pure)

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

  Stuijk, S., Geilen, M. C. W. & Basten, T., 2006, Eindhoven: Technische Universiteit Eindhoven. 11 p. (ES reports; vol. 2006-01)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  51 Downloads (Pure)

• Liveness and boundedness of synchronous data flow graphs

  Ghamarian, A. H., Geilen, M. C. W., Basten, T., Theelen, B. D., Mousavi, M. R. & Stuijk, S., 2006, Eindhoven: Technische Universiteit Eindhoven. 14 p. (ES reports; vol. 2006-04)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  143 Downloads (Pure)
• 2005

  An algebra of Pareto points

  Geilen, M. C. W., Basten, T., Theelen, B. D. & Otten, R. H. J. M., 2005, Eindhoven: Technische Universiteit Eindhoven. 17 p. (ES reports; vol. 2005-02)

  Research output: Book/Report › Report › Academic

  Open Access

  File

  • Optimization Problem 100%
  • Pareto Point 100%
  • Pareto Optimal 100%
  • Engineering Practice 100%
  • Design-Space Exploration 50%
  121 Downloads (Pure)

• Analyzing concurrency in streaming applications

  Stuijk, S. & Basten, T., 2005, Eindhoven: Technische Universiteit Eindhoven. 27 p. (ES reports; vol. 2005-05)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  164 Downloads (Pure)

• Description of high-level architecture and definition of components and functional entities. Deliverable D1b

  Geilen, M. C. W., Joosten, M., Decotignie, J. D., Sénéclauze, M., Blanch, C., Koulamas, C., Papadopoulos, G., Prayati, A., Fohler, G., Isovic, D., Doren, van, E. G. P., Groot, de, E. H., van Heesch, D., Otero Pérez, C. M., Stok, van der, P. D. V., Basten, T. & Theelen, B. D., 2005, Eindhoven: Philips Research Laboratories. 79 p. (IST-004042-BETSY)

  Research output: Book/Report › Report › Academic

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

  Stuijk, S., Geilen, M. C. W. & Basten, T., 2005, Eindhoven: Technische Universiteit Eindhoven. 14 p. (ES reports; vol. 2005-07)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  168 Downloads (Pure)

• Minimising buffer requirements of synchronous dataflow graphs with model checking

  Geilen, M. C. W., Basten, T. & Stuijk, S., 2005, Eindhoven: Technische Universiteit Eindhoven. 11 p. (ES reports; vol. 2005-01)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  73 Downloads (Pure)

• Report on temporal impact of identified entities on end-to-end-timing

  Isovic, D., Fohler, G., Prayati, A., Koulamas, C., Papadopoulos, G., Decotignie, J. D., Sénéclauze, M., Joosten, M., Bernhardi, R., Geilen, M. C. W., Theelen, B. D., Basten, T., Otero Pérez, C. M., Steffens, L., Stok, van der, P. D. V., Blanch, C. & Denolf, K., 2005, Eindhoven: Philips Research Laboratories. 49 p. (BETSY; vol. IST-2004-004042)

  Research output: Book/Report › Report › Academic

  • Functional Component 100%
  • Close Collaboration 50%
  • Timing Constraint 50%
  • Personal Digital Assistant 50%
  • Video Processing 50%

• Run-time prediction of execution times of stream-oriented applications in multiprocessors on-chip

  Poplavko, P., Pastrnak, M., Basten, T., Meerbergen, van, J., Bekooij, M. J. G. & With, de, P. H. N., 2005, Eindhoven: Technische Universiteit Eindhoven. 17 p. (ES reports; vol. 2005-06)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  84 Downloads (Pure)

• Sharper WCET upper bounds using automatically detected scenarios

  Gheorghita, S. V., Stuijk, S., Basten, T. & Corporaal, H., 2005, Eindhoven: Technische Universiteit Eindhoven. 13 p. (ES reports; vol. 2005-04)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  40 Downloads (Pure)

• Time-constrained energy-aware routing and scheduling of network-on-chip communication

  Stuijk, S., Ghamarian, A. H., Basten, T., Geilen, M. C. W. & Theelen, B. D., 2005, Eindhoven: Technische Universiteit Eindhoven. 13 p. (ES reports; vol. 2005-08)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  58 Downloads (Pure)
• 2004

  Development Support Implementation Report.

  Geilen, M. C. W., Basten, T., Mesman, B., Poplavko, P., Zhao, Q. & Charot, F., 2004, Eindhoven, the Netherlands: Philips Research Laboratories. 74 p. (Deliverable D13c; vol. 2000-30026)

  Research output: Book/Report › Report › Academic

• Ozone Platform Architecture Implementation Report

  Basten, T., 2004, Eindhoven, the Netherlands: Philips Research Laboratories. 16 p. (Deliverable D13; vol. 2000-30026)

  Research output: Book/Report › Report › Academic
• 2003

  Intermediate Ozone Platform Architecture Implementation Report

  Basten, T., Geilen, M. C. W., Mesman, B., Zhao, Q., Lafruit, G., Brinker, den, A. C., Groot, de, H., Hentschel, C., Kastrup, B., Papalau, L. M., Steffens, E. F. M., Wolf, van der, P., Francois, E., Guillotel, P., Ruellou, P., Benatallah, S. & Charot, F., 2003, Eindhoven, the Netherlands: Philips Research Laboratories. 35 p. (Deliverable D8c; vol. IST-2000-30026)

  Research output: Book/Report › Report › Academic

• Modeling and validation of globally asynchronous design in synchronous frameworks

  Mousavi, M. R., Guernic, le, P., Talpin, J.-P., Shukla, S. K. & Basten, T., 2003, Rennes: INRIA. 18 p. (INRIA; vol. RR-4935)

  Research output: Book/Report › Report › Academic

  Open Access

  File

  • Programming Model 100%
  • Design Framework 100%
  • Synchronous Design 100%
  • asynchronous system 100%
  • Model Checking 100%
  44 Downloads (Pure)

• Ozone Intermediate Status Report on the Implementation. Deliverable D8

  Cerisara, C., Issarny, V., Laprie, Y. & Basten, T., 2003, Eindhoven: Philips Research Laboratories. 10 p.

  Research output: Book/Report › Report › Academic

  • Ozone Pollution 100%
  • Ozone 100%
• 2002

  Aspects + GAMMA = AspectGAMMA : A formal framework for aspect-oriented specification

  Mousavi, M. R., Russello, G., Chaudron, M. R. V., Reniers, M. A., Basten, T., Corsaro, A., Shukla, S. K., Gupta, R. K. & Schmidt, D. C., 2002, Irvine CA, USA: Center for Embedded Computer Systems, UCI. 13 p. (Technical Report; vol. CECS-02-01)

  Research output: Book/Report › Report › Academic

• Deciding life-cycle inheritance on Petri nets

  Verbeek, H. M. W. & Basten, T., 2002, Eindhoven: Technische Universiteit Eindhoven. 20 p. (BETA publicatie : working papers; vol. 85)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  49 Downloads (Pure)

• Ozone Platform Architecture Design

  Basten, T., Geilen, M. C. W., Lafruit, G., Groot, de, H., Papalau, L. M., Steffens, E. F. M. & Guillotel, P., 2002, Eindhoven: Philips Research Laboratories. 20 p. (Deliverable D6)

  Research output: Book/Report › Report › Academic

• Ozone Risk Management Plan

  Simons, D., Groot, de, H., Issamy, V., Cerisera, C., Laprie, Y., Guillotel, P., Kerdranvat, M., Basten, T. & Geilen, M. C. W., 2002, Eindhoven: Philips Research Laboratories. 27 p. (Deliverable D2c)

  Research output: Book/Report › Report › Academic

• Ozone Specification.

  Simons, D., Groot, de, H., Issamy, V., Cerisera, C., Laprie, Y., Guillotel, P., Kerdranvat, M., Basten, T. & Geilen, M. C. W., 2002, Eindhoven: Philips Research Laboratories. 162 p. (Deliverable D2)

  Research output: Book/Report › Report › Academic

• Separating functionality, behavior and timing in the design of reactive systems : (GAMMA + coordination) + time

  Mousavi, M. R., Basten, T., Reniers, M. A., Chaudron, M. R. V. & Russello, G., 2002, Eindhoven: Technische Universiteit Eindhoven. 95 p. (Computer science reports; vol. 0209)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  127 Downloads (Pure)

• Static resource models for code-size efficient embedded processors

  Zhao, Q., Mesman, B. & Basten, T., 2002, Eindhoven: Eindhoven University of Technology. 35 p. (EUT report; vol. 02-E-312)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  54 Downloads (Pure)
• 2000

  Diagnosing workflow processes using Woflan

  Verbeek, H. M. W., Basten, T. & Aalst, van der, W. M. P., 2000, Eindhoven: Technische Universiteit Eindhoven. 40 p. (BETA publicatie : working papers; vol. 48)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  166 Downloads (Pure)

• Enhancing partial-order reduction via process clustering

  Basten, T. & Bosnacki, D., 2000, Eindhoven: Technische Universiteit Eindhoven. 14 p. (Computing science reports; vol. 0011)

  Research output: Book/Report › Report › Academic

  Open Access

  File

  • Partial Order Reduction 100%
  • clustering process 100%
  • Experimental Result 100%
  • State Space 33%
  • Concurrent System 33%
  226 Downloads (Pure)

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

  Aalst, van der, W. M. P. & Basten, T., 2000, Eindhoven: Technische Universiteit Eindhoven. 68 p. (BETA publicatie : working papers; vol. 50)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  139 Downloads (Pure)
• 1999

  Diagnosing workflow processes using Woflan

  Verbeek, H. M. W., Basten, T. & Aalst, van der, W. M. P., 1999, Eindhoven: Technische Universiteit Eindhoven. 44 p. (Computing science reports; vol. 9902)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  270 Downloads (Pure)

• Inheritance of behavior

  Basten, T. & Aalst, van der, W. M. P., 1999, Eindhoven: Technische Universiteit Eindhoven. 83 p. (Computing science reports; vol. 9917)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  114 Downloads (Pure)

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

  Aalst, van der, W. M. P. & Basten, T., 1999, Eindhoven: Technische Universiteit Eindhoven. 66 p. (Computing science reports; vol. 9906)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  307 Downloads (Pure)

• Partial-order process algebra (and its relation to Petri nets)

  Baeten, J. C. M. & Basten, T., 1999, Eindhoven: Technische Universiteit Eindhoven. 79 p. (Computing science reports; vol. 9918)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  422 Downloads (Pure)
• 1998

  Process algebra in PVS

  Basten, T. & Hooman, J. J. M., 1998, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computing science reports; vol. 9810)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  92 Downloads (Pure)
• 1996

  A process-algebraic approach to life-cycle inheritance : inheritance = encapsulation + abstraction

  Basten, T. & Aalst, van der, W. M. P., 1996, Eindhoven: Technische Universiteit Eindhoven. 15 p. (Computing science reports; vol. 9605)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  97 Downloads (Pure)

• Life-cycle inheritance : a Petri-Net-Based approach

  Aalst, van der, W. M. P. & Basten, T., 1996, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computing science reports; vol. 9606)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  142 Downloads (Pure)

• Process algebra with autonomous actions

  Voorhoeve, M. & Basten, T., 1996, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computing science reports; vol. 9601)

  Research output: Book/Report › Report › Academic

  Open Access

  File

  • Process Algebra 100%
  • Nondeterminism 50%
  63 Downloads (Pure)
• 1995

  An algebraic semantics for hierarchical P/T nets

  Basten, T. & Voorhoeve, M., 1995, Eindhoven: Technische Universiteit Eindhoven. 32 p. (Computing science reports; vol. 9535)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  177 Downloads (Pure)
• 1994

  Simulating and analyzing railway interlockings in ExSpect

  Basten, T., Bol, R. N. & Voorhoeve, M., 1994, Eindhoven: Technische Universiteit Eindhoven. 30 p. (Computing science reports; vol. 9437)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  255 Downloads (Pure)