Thomas Haas

According to our database, Thomas Haas authored at least 9 papers between 2012 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Recurrence Sets for Proving Fair Non-termination under Axiomatic Memory Consistency Models.

Thomas Haas, Roland Meyer, Hernán Ponce de León, Andrés Lomelí Garduño

Proc. ACM Program. Lang., 2026

2024

Physical Trace Gas Identification with the Photo Electron Ionization Spectrometer (PEIS).

Theodor Doll, Victor M. Fuenzalida, Helmut Schütte, Stefan Gassmann, Juan J. Velasco-Velez, Robert Köhler, Alex Kontschev, Thomas Haas, Bert Ungethüm, Andreas Walte, Jonas Oberröhrmann, Adrian Onken, Kasimir M. Philipp, Minh-Hai Nguyen, Thomas Lenarz, Achim Walter Hassel, Wolfgang Viöl

Sensors, February, 2024

2023

Static Analysis of Memory Models for SMT Encodings.

Thomas Haas, René Pascasl Maseli, Roland Meyer, Hernán Ponce de León

Proc. ACM Program. Lang., October, 2023

2022

CAAT: consistency as a theory.

Thomas Haas, Roland Meyer, Hernán Ponce de León

Proc. ACM Program. Lang., 2022

Dartagnan: SMT-based Violation Witness Validation (Competition Contribution).

Hernán Ponce de León, Thomas Haas, Roland Meyer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models.

Antonio Paolillo, Hernán Ponce de León, Thomas Haas, Diogo Behrens, Rafael Lourenco de Lima Chehab, Ming Fu, Roland Meyer

CoRR, 2021

Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution).

Hernán Ponce de León, Thomas Haas, Roland Meyer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games.

Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2012

Optimisation of silver paste for flexography printing on LTCC substrate.

Rita Faddoul, Nadège Reverdy-Bruas, Anne Blayo, Thomas Haas, Christian Zeilmann

Microelectron. Reliab., 2012