A.A. (Twan) Basten

View Scopus Profile

A.A. (Twan) Basten

prof.dr.ir.

 https://orcid.org/0000-0002-2274-7274
  • 4553
    Citations - based on content available in repository [source: Scopus]
1994 …2024

Content available in repository

Filter
Chapter

Search results

  • 2022

    Minesweeper is Difficult Indeed! Technology Scaling for Minesweeper Circuits

    Thieme, A. & Basten, T., 2022, A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Cham: Springer, p. 472-490 19 p. (Lecture Notes in Computer Science (LNCS); vol. 13560).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    57 Downloads (Pure)
  • 2019

    Introduction and organization of book material

    Catthoor, F., Basten, T., Zompakis, N., Geilen, M. C. W. & Kjeldsberg, P. G., 16 Oct 2019, System-Scenario-based Design Principles and Applications. Catthoor, F., Basten, T., Zompakis, N., Geilen, M. & Kjeldsberg, P. G. (eds.). Springer, p. 1-5 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Scenarios in dataflow modeling and analysis

    Geilen, M. C. W., Skelin, M., van Kampenhout, J. R., Ara, H. A., Basten, T., Stuijk, S. & Goossens, K. G. W., 16 Oct 2019, System-Scenario-based Design Principles and Applications. Catthoor, F., Basten, T., Zompakis, N., Geilen, M. & Kjeldsberg, P. G. (eds.). Cham: Springer, p. 145-180 36 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    2 Citations (Scopus)

  • Scenarios in the design of flexible manufacturing systems

    Basten, T., Bastos, J., Medina, R., van der Sanden, B., Geilen, M. C. W., Goswami, D., Reniers, M. A., Stuijk, S. & Voeten, J. P. M., 16 Oct 2019, System-Scenario-based Design Principles and Applications. Catthoor, F., Basten, T., Zompakis, N., Geilen, M. & Kjeldsberg, P. G. (eds.). Cham: Springer, p. 181-224 44 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    3 Citations (Scopus)
  • 2018

    Kahn process networks and a reactive extension

    Geilen, M. & Basten, T., 13 Oct 2018, Handbook of signal processing systems. Bhattacharyya, S. S., Deprettere, E. F., Leupers, R. & Takala, J. (eds.). third edition ed. Cham: Springer, p. 865-906 42 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    3 Citations (Scopus)
  • 2015

    Wireless body area network data delivery

    Nabi, M., Geilen, M. C. W. & Basten, T., Nov 2015, Telemedicine and Electronic Medicine. Eren, H. & Webster, J. G. (eds.). CRC Press, p. 211-230 20 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Wireless Body Area Network protocols

    Nabi, M., Basten, T. & Geilen, M. C. W., Nov 2015, Telemedicine and Electronic Medicine. Eren, H. & Webster, J. G. (eds.). CRC Press, p. 191-210 20 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • 2013

    Adaptivity in professional printing systems

    Verriet, J. H., Basten, T., Hamberg, R., Reckers, F. J. & Somers, L. J. A. M., 2013, Model-Based Design of Adaptive Embedded Systems. Basten, T., Hamberg, R., Reckers, F. & Verriet, J. (eds.). New York: Springer, p. 1-9 (Embedded Systems; vol. 22).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    5 Downloads (Pure)

  • Aspects of adaptive systems engineering: a professional printing case

    Hamberg, R., Waarsing, R., Basten, T., Reckers, F. J., Verriet, J. H. & Somers, L. J. A. M., 2013, Model-Based Design of Adaptive Embedded Systems. Basten, T., Hamberg, R., Reckers, F. & Verriet, J. (eds.). Berlin: Springer, p. 11-40 (Embedded Systems; vol. 22).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    2 Downloads (Pure)

  • Kahn process networks and a reactive extension

    Geilen, M. C. W. & Basten, T., 2013, Handbook of Signal Processing Systems, 2nd edition. Bhattacharyya, S. S., Deprettere, E. F., Leupers, R. & Takala, J. (eds.). New York: Springer, p. 1041-1081

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    9 Citations (Scopus)
    2 Downloads (Pure)

  • Model-driven design-space exploration for software-intensive embedded systems

    Basten, T., Hendriks, M., Trcka, N., Somers, L. J. A. M., Geilen, M. C. W., Yang, Y., Igna, G., Smet, de, S., Voorhoeve, M., Aalst, van der, W. M. P., Corporaal, H. & Vaandrager, F. W., 2013, Model-Based Design of Adaptive Embedded Systems. Basten, T., Hamberg, R., Reckers, F. & Verriet, J. (eds.). New York: Springer, p. 189-244 (Embedded Systems; vol. 22).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    3 Downloads (Pure)

  • Reflections on the Octopus project

    Reckers, F. J., Basten, T., Hamberg, R. & Verriet, J. H., 2013, Model-Based Design of Adaptive Embedded Systems. Basten, T., Hamberg, R., Reckers, F. & Verriet, J. (eds.). New York: Springer, p. 283-289 306 p. (Embedded Systems; vol. 22).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

  • 2010

    Kahn Process Networks and a Reactive Extension

    Geilen, M. C. W. & Basten, T., 2010, Handbook of Signal Processing Systems. Bhattacharyya, S. S., Deprettere, E. F., Leupers, R. & Takala, J. (eds.). Berlin: Springer, p. 967-1006 40 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    Open Access
    File
    683 Downloads (Pure)
  • 2008

    PARS : a process algebraic approach to resources and schedulers

    Mousavi, M. R., Reniers, M. A., Basten, T. & Chaudron, M. R. V., 2008, Process Algebra for Parallel and Distributed Processing. Alexander, M. & Gardner, W. (eds.). Chapman & Hall, p. 331-358 (CRC Computational Science Series; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    4 Citations (Scopus)
    2 Downloads (Pure)
  • 2003

    Omnia Fieri Possent : everything may happen

    Basten, T., Geilen, M. C. W. & Groot, de, H., 2003, Ambient Intelligence : Impact on Embedded System Design. Basten, A. A., Geilen, M. C. W. & Groot, de, H. W. H. (eds.). Boston: Kluwer Academic Publishers, p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Verifying Petri-net models using process algebra.

    Basten, T., 2003, Petri Nets for Systems Engineering : A Guide to Modeling, Verification and Applications. Girault, C. & Valk, R. (eds.). Berlin: Springer, p. 382-397 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • 2001

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

    Baeten, J. C. M. & Basten, T., 2001, Handbook of Process Algebra. Bergstra, J. A., Ponse, A. & Smolka, S. A. (eds.). Amsterdam: Elsevier, p. 769-872

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • 2000

    Adaptive workflow: On the interplay between flexibility and support

    Aalst, van der, W. M. P., Basten, T., Verbeek, H. M. W., Verkoulen, P. A. C. & Voorhoeve, M., 2000, Enterprise Information Systems. Filipe, J. (ed.). Norwell: Kluwer Academic Publishers, p. 63-70

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic