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

  Replication package with proofs for the paper "Operations on Fixpoint Equation Systems".

  Neele, T. & van de Pol, J., 2024

  Research output: Non-textual form › Software › Academic

  • Equation System 100%
• 2022

  FeatCause - Sources and Data.

  Dubslaff, C., Weis, K., Baier, C. & Apel, S., 2022

  Research output: Non-textual form › Software › Professional

• Interaction Detection in Configurable Systems - A Formal Approach Featuring Roles, Artifact.

  Chrszon, P., Baier, C., Dubslaff, C. & Klüppelholz, S., 2022

  Research output: Non-textual form › Software › Professional
• 2020

  From Features to Roles, Artifact (SPLC2020).

  Chrszon, P., Baier, C., Dubslaff, C. & Klüppelholz, S., 2020

  Research output: Non-textual form › Software › Professional

• Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction".

  Baier, C., Dubslaff, C., Hermanns, H., Klauck, M., Klüppelholz, S. & Köhl, M. A., 2020

  Research output: Non-textual form › Software › Professional