( en | de | ru )

 

Disambiguation of "Hausmann, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung.

, , , , and . Software Engineering (Workshops), volume P-122 of LNI, page 335-338. GI, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Daniel Hausmann

Daniel Hausmann

Daniel Hausmann

Daniel Hausmann-Thürig

Daniel Ferdinand Hausmann

 

Other publications of authors with the same name

Iterative Circular Coinduction for CoCASL in Isabelle/HOL, , and . Fundamental Approaches to Software Engineering 2005, volume 3442 of Lecture Notes in Computer Science, page 341-356. Springer; Berlin; http://www.springer.de, (2005)Quasipolynomial Computation of Nested Fixpoints., and . TACAS (1), volume 12651 of Lecture Notes in Computer Science, page 38-56. Springer, (2021)Generic Model Checking for Modal Fixpoint Logics in COOL-MC., , , , and . VMCAI (1), volume 14499 of Lecture Notes in Computer Science, page 171-185. Springer, (2024)Faster Game Solving by Fixpoint Acceleration.. CoRR, (2024)Fair ømega-Regular Games., , , and . FoSSaCS (1), volume 14574 of Lecture Notes in Computer Science, page 13-33. Springer, (2024)A Coalgebraic Approach to the Semantics of the Ambient Calculus, , and . Theoretical Computer Science, 366 (1-2): 121-143 (2006)Extends (Hausmann et al. 2005).Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung., , , , and . Software Engineering (Workshops), volume P-122 of LNI, page 335-338. GI, (2008)A Linear-Time Nominal μ-Calculus with Name Allocation., , and . MFCS, volume 202 of LIPIcs, page 58:1-58:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Cheap CTL Compassion in NuSMV., , , and . VMCAI, volume 11990 of Lecture Notes in Computer Science, page 248-269. Springer, (2020)Permutation Games for the Weakly Aconjunctive μ -Calculus., , and . TACAS (2), volume 10806 of Lecture Notes in Computer Science, page 361-378. Springer, (2018)