Bogdan Mihaila

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Domain Independent

Temporal Abstractions

Top Venues

NASA Formal Methods

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Bogdan Mihaila, Axel Simon
Synthesizing Predicates from Abstract Domain Losses. NASA Formal Methods (2014)
Bogdan Mihaila, Alexander Sepp, Axel Simon
Widening as Abstract Domain. NASA Formal Methods (2013)
Holger Siegel, Bogdan Mihaila, Axel Simon
The Undefined Domain: Precise Relational Information for Entities That Do Not Exist. APLAS (2013)
Alexander Sepp, Bogdan Mihaila, Axel Simon
Precise Static Analysis of Binaries by Extracting Relational Information. WCRE (2011)
Andrea Flexeder, Bogdan Mihaila, Michael Petter, Helmut Seidl
Interprocedural Control Flow Reconstruction. APLAS (2010)
K. B. Blagoev, Bogdan Mihaila, B. J. Travis, Ludmil B. Alexandrov, Alan R. Bishop, Douglas M. Ranken, Stefan Posse, Charles Gasparovic, Andy R. Mayer, Cheryl J. Aine, István Ulbert, M. Morita, W. Müller, J. Connor, Eric Halgren
Modelling the magnetic signature of neuronal tissue. NeuroImage 37 (1) (2007)