Algorithms and Logics for Verification

Research output

Content available in repository 2012 2023 2024 2025

• 58 Conference contribution
• 26 Article
• 8 Book editing
• 6 Chapter
• 23 More
  • 5 Software
  • 4 Foreword/editorial
  • 3 Phd Thesis 1 (Research TU/e / Graduation TU/e)
  • 3 EngD Thesis
  • 3 Preprint
  • 2 Conference article
  • 1 Report
  • 1 Editorial
  • 1 Working paper

Content available in repository

Content available in repository

Search results

• 2024

  Handling backwards incompatible interface changes

  Gaur, V. S., 10 Oct 2024, Eindhoven: Technische Universiteit Eindhoven.

  Research output: Thesis › EngD Thesis

  2 Downloads (Pure)
• 2023

  DiagnOstic Dataset Generation and Evaluation (DODGE): Developing a Method to Apply a Hardware Design Verification Solution to Software Systems

  Roussos, N., 6 Oct 2023, Eindhoven: Technische Universiteit Eindhoven. 98 p.

  Research output: Thesis › EngD Thesis

  Open Access

  File
  63 Downloads (Pure)
• 2021

  Armoring formal components against foreign behavior

  Azis, G., 5 Oct 2021, Eindhoven: Technische Universiteit Eindhoven. 102 p.

  Research output: Thesis › EngD Thesis

  3 Downloads (Pure)