Bogdan Mihaila

According to our database, Bogdan Mihaila authored at least 7 papers between 2007 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Adaptable Static Analysis of Executables for proving the Absence of Vulnerabilities.

Bogdan Mihaila

PhD thesis, 2015

2014

Synthesizing Predicates from Abstract Domain Losses.

Bogdan Mihaila, Axel Simon

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

2013

Widening as Abstract Domain.

Bogdan Mihaila, Alexander Sepp, Axel Simon

Proceedings of the NASA Formal Methods, 2013

The Undefined Domain: Precise Relational Information for Entities That Do Not Exist.

Holger Siegel, Bogdan Mihaila, Axel Simon

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2011

Precise Static Analysis of Binaries by Extracting Relational Information.

Alexander Sepp, Bogdan Mihaila, Axel Simon

Proceedings of the 18th Working Conference on Reverse Engineering, 2011

2010

Interprocedural Control Flow Reconstruction.

Andrea Flexeder, Bogdan Mihaila, Michael Petter, Helmut Seidl

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2007

Modelling the magnetic signature of neuronal tissue.

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

NeuroImage, 2007