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

• 2020

  A Compositional Model for Multi-Rate Max-Plus Linear Systems

  Elahi, H., Geilen, M. C. W. & Basten, A. A., 11 Nov 2020, In: IFAC-PapersOnLine. 53, 4, p. 54-61 8 p.

  Research output: Contribution to journal › Conference article › peer-review

  Open Access

  File

  • Canonical Model 100%
  • Linear System 100%
  • Max 100%
  • Discrete Event Simulation 33%
  • Linear Equation 33%
  1 Citation (Scopus)

  81 Downloads (Pure)

• SMT-based verification of temporal properties for component-based software systems

  Jonk, R., Voeten, J., Geilen, M., Basten, T. & Schiffelers, R., 2020, In: IFAC-PapersOnLine. 53, 4, p. 493-500 8 p.

  Research output: Contribution to journal › Conference article › peer-review

  Open Access

  File

  • Software Systems 100%
  • component-based software 100%
  • Case Study 100%
  • temporal property 100%
  • Constraint Satisfaction Problems 50%
  1 Citation (Scopus)

  72 Downloads (Pure)