Author of the publication

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.

 

Other publications of authors with the same name

Constraint-Based Monitoring of Hyperproperties., , and . TACAS (2), volume 11428 of Lecture Notes in Computer Science, page 115-131. Springer, (2019)Fast DQBF Refutation., and . SAT, volume 8561 of Lecture Notes in Computer Science, page 243-251. Springer, (2014)The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results., , , , , , , , , and 4 other author(s). SYNT@CAV, volume 260 of EPTCS, page 116-143. (2017)Synthesis from hyperproperties., , , , and . Acta Informatica, 57 (1-2): 137-163 (2020)Efficient Monitoring of Hyperproperties using Prefix Trees., , , and . CoRR, (2021)Monitoring Hyperproperties., , , and . RV, volume 10548 of Lecture Notes in Computer Science, page 190-207. Springer, (2017)BoSy: An Experimentation Framework for Bounded Synthesis., , and . CAV (2), volume 10427 of Lecture Notes in Computer Science, page 325-332. Springer, (2017)Synthesizing Reactive Systems from Hyperproperties., , , , and . CAV (1), volume 10981 of Lecture Notes in Computer Science, page 289-306. Springer, (2018)The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results., , , , , , , , , and 6 other author(s). SYNT@CAV, volume 229 of EPTCS, page 149-177. (2016)CAQE and QuAbS: Abstraction Based QBF Solvers.. J. Satisf. Boolean Model. Comput., 11 (1): 155-210 (2019)