Universität der Bundeswehr München: AtheneForschung
User: Guest
 
Login
de
en
Advanced search
Home / All Content
Publications (University Bibliography)
Fakultäten (univ.)
(21528)
Fakultäten (HAW)
(1679)
Forschungszentren und -initiativen
(1950)
CISS
(87)
CODE
(832)
dtec.bw
(247)
INDOR
(423)
MARC
(11)
MOVE
(11)
RISK
(259)
SENS
SPACE
(112)
Weitere Einrichtungen
(17)
Projects
Electronic Accepted Theses
Open Access Publications
Patents
Research Data
Research Profiles
Videos for the UniBw M Website
Digitized Media
Working Group E-Learning
University Library Documents
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Forschungszentren und -initiativen
Back
Back to start of result list
Permanent link for displayed object
If you experience problems opening the document, please try this link.
Authors:
Kinder, Johannes; Veith, Helmut; Zuleger, Florian
Document type:
Konferenzbeitrag / Conference Paper
Title:
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
Collection editors:
Jones, Neil D.; Müller-Olm, Markus
Title of conference publication:
Verification, Model Checking, and Abstract Interpretation
Subtitle of conference publication:
10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
Series title:
Lecture Notes in Computer Science
Series volume:
5403
Conference title:
International Workshop on Verification, Model Checking, and Abstract Interpretation (10., 2009, Savannah, GA)
Venue:
Savannah, GA, USA
Year of conference:
2009
Date of conference beginning:
18.01.2009
Date of conference ending:
20.01.2009
Place of publication:
Berlin ; Heidelberg
Publisher:
Springer
Year:
2009
Pages from - to:
214-228
Language:
Englisch
ISBN:
978-3-540-93900-9 ; 978-3-540-93899-6
DOI:
10.1007/978-3-540-93900-9_19
URL:
https://doi.org/10.1007/978-3-540-93900-9_19
BibTeX
Occurrences:
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Informatik
INF 6 - Institut für Systemsicherheit
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Forschungszentren und -initiativen
CODE