Name Card

Full name Familienname, Vorname
Chockler, Hana
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Chockler-2022-Why Do Things Go Wrong or RightApplications of Causal Reaso...-vor.pdf.jpgChockler, Hana Why Do Things Go Wrong (or Right)_Applications of Causal Reasoning to VerificationKonferenzbeitrag Inproceedings Oct-2022
2Chockler, Hana ; Weissenbacher, Georg Preface of the special issue on the conference on computer-aided verification 2018Artikel Article2021

Contributing Publications Mitbeteiligte Publikationen

Results 1-5 of 5 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Gishchenko, Ilya ; Maffei, Matteo ; Schneidewind, Clara Foundations and Tools for the Static Analysis of Ethereum Smart ContractsKonferenzbeitrag Inproceedings 2018
2Kong, Hui ; Bartocci, Ezio ; Henzinger, Thomas A. Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier TubesKonferenzbeitrag Inproceedings 2018
3Chockler, Hana ; Weissenbacher, Georg Computer Aided VerificationBuch Book 2018
4Chockler, Hana ; Weissenbacher, Georg Computer Aided VerificationBuch Book 2018
5Bartocci, Ezio ; Bloem, Roderick ; Nickovic, Dejan ; Roeck, Franz A Counting Semantics for Monitoring LTL Specifications over Finite TracesKonferenzbeitrag Inproceedings 2018