Daniel Hausmann

According to our database, Daniel Hausmann authored at least 32 papers between 2005 and 2024.

Collaborative distances:

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

2024

Generic Model Checking for Modal Fixpoint Logics in COOL-MC.

Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Fair ømega-Regular Games.

Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck

Proceedings of the Foundations of Software Science and Computation Structures, 2024

Symbolic Solution of Emerson-Lei Games for Reactive Synthesis.

Daniel Hausmann, Mathieu Lehaut, Nir Piterman

Proceedings of the Foundations of Software Science and Computation Structures, 2024

2023

Games for Efficient Supervisor Synthesis.

Daniel Hausmann, Prabhat Kumar Jha, Nir Piterman

IEEE Control. Syst. Lett., 2023

Fair $ω$-Regular Games.

Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck

CoRR, 2023

COOL 2 - A Generic Reasoner for Modal Fixpoint Logics.

Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder

CoRR, 2023

Symbolic Reactive Synthesis for the Safety and EL-fragment of LTL.

Daniel Hausmann, Mathieu Lehaut, Nir Piterman

CoRR, 2023

COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description).

Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder

Proceedings of the Automated Deduction - CADE 29, 2023

2022

Coalgebraic Satisfiability Checking for Arithmetic μ-Calculi.

Daniel Hausmann, Lutz Schröder

CoRR, 2022

A Survey on Satisfiability Checking for the μ-Calculus Through Tree Automata.

Daniel Hausmann, Nir Piterman

Proceedings of the Principles of Systems Design, 2022

2021

Quasipolynomial Computation of Nested Fixpoints.

Daniel Hausmann, Lutz Schröder

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

A Linear-Time Nominal μ-Calculus with Name Allocation.

Daniel Hausmann, Stefan Milius, Lutz Schröder

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

Nominal Büchi Automata with Name Allocation.

Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

Harnessing LTL With Freeze Quantification.

Daniel Hausmann, Stefan Milius, Lutz Schröder

CoRR, 2020

Cheap CTL Compassion in NuSMV.

Daniel Hausmann, Tadeusz Litak, Christoph Rauch, Matthias Zinner

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

NP Reasoning in the Monotone μ-Calculus.

Daniel Hausmann, Lutz Schröder

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Computing Nested Fixpoints in Quasipolynomial Time.

Daniel Hausmann, Lutz Schröder

CoRR, 2019

Optimal Satisfiability Checking for Arithmetic μ-Calculi.

Daniel Hausmann, Lutz Schröder

CoRR, 2019

Optimal Satisfiability Checking for Arithmetic \mu -Calculi.

Daniel Hausmann, Lutz Schröder

Proceedings of the Foundations of Software Science and Computation Structures, 2019

Game-Based Local Model Checking for the Coalgebraic mu-Calculus.

Daniel Hausmann, Lutz Schröder

Proceedings of the 30th International Conference on Concurrency Theory, 2019

2018

Satisfiability Checking for the Coalgebraic µ-Calculus.

Daniel Hausmann

PhD thesis, 2018

Permutation Games for the Weakly Aconjunctive \mu μ -Calculus.

Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel

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

2017

Permutation Games for the Weakly Aconjunctive mu-Calculus.

Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel

CoRR, 2017

2016

Global Caching for the Alternation-free μ-Calculus.

Daniel Hausmann, Lutz Schröder, Christoph Egger

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Global Caching for the Flat Coalgebraic µ-Calculus.

Daniel Hausmann, Lutz Schröder

Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

2010

Optimal Tableaux for Conditional Logics with Cautious Monotonicity.

Lutz Schröder, Dirk Pattinson, Daniel Hausmann

Proceedings of the ECAI 2010, 2010

2009

Optimizing Conditional Logic Reasoning within CoLoSS.

Daniel Hausmann, Lutz Schröder

Proceedings of the 6th Workshop on Methods for Modalities, 2009

2008

The Importance of Being Formal.

Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter

Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung.

Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter

Proceedings of the Software Engineering 2008, 2008

2006

A coalgebraic approach to the semantics of the ambient calculus.

Daniel Hausmann, Till Mossakowski, Lutz Schröder

Theor. Comput. Sci., 2006

2005

Iterative Circular Coinduction for CoCasl in Isabelle/HOL.

Daniel Hausmann, Till Mossakowski, Lutz Schröder

Proceedings of the Fundamental Approaches to Software Engineering, 2005

Towards a Coalgebraic Semantics of the Ambient Calculus.

Daniel Hausmann, Till Mossakowski, Lutz Schröder

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005