Published in: Dagstuhl Reports, Volume 4, Issue 8 (2015)
Daniel Kroening, Thomas W. Reps, Sanjit A. Seshia, and Aditya Thakur. Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351). In Dagstuhl Reports, Volume 4, Issue 8, pp. 89-106, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@Article{kroening_et_al:DagRep.4.8.89, author = {Kroening, Daniel and Reps, Thomas W. and Seshia, Sanjit A. and Thakur, Aditya}, title = {{Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351)}}, pages = {89--106}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {8}, editor = {Kroening, Daniel and Reps, Thomas W. and Seshia, Sanjit A. and Thakur, Aditya}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.8.89}, URN = {urn:nbn:de:0030-drops-48007}, doi = {10.4230/DagRep.4.8.89}, annote = {Keywords: Program analysis, Abstract interpretation, Abstract domain, Fixed-point finding, Satisfiability checking, Satisfiability modulo theories, Decision pro} }
Published in: Dagstuhl Reports, Volume 2, Issue 1 (2012)
Andy M. King, Alan Mycroft, Thomas W. Reps, and Axel Simon. Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051). In Dagstuhl Reports, Volume 2, Issue 1, pp. 100-116, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@Article{king_et_al:DagRep.2.1.100, author = {King, Andy M. and Mycroft, Alan and Reps, Thomas W. and Simon, Axel}, title = {{Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051)}}, pages = {100--116}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2012}, volume = {2}, number = {1}, editor = {King, Andy M. and Mycroft, Alan and Reps, Thomas W. and Simon, Axel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.2.1.100}, URN = {urn:nbn:de:0030-drops-34585}, doi = {10.4230/DagRep.2.1.100}, annote = {Keywords: Executable analysis, reverse engineering, malware detection, control flow reconstruction, emulators, binary instrumentation} }
Feedback for Dagstuhl Publishing