Bogdan Mihaila

发表

Synthesizing Predicates from Abstract Domain Losses

Axel Simon, Bogdan Mihaila, B. Mihaila, 2014, NASA Formal Methods.

Interprocedural Control Flow Reconstruction

Helmut Seidl, Michael Petter, Bogdan Mihaila, 2010, APLAS.

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

Axel Simon, Holger Siegel, Bogdan Mihaila, 2013, APLAS.

Precise Static Analysis of Binaries by Extracting Relational Information

Axel Simon, Bogdan Mihaila, Alexander Sepp, 2011, 2011 18th Working Conference on Reverse Engineering.

Modelling the magnetic signature of neuronal tissue

Andrew R. Mayer, István Ulbert, Eric Halgren, 2007, NeuroImage.

Initial Validation of the AMP Nuclear Fuel Performance Code

G. Ivan Maldonado, Richard C. Martineau, G. I. Maldonado, 2010 .

The AMP (Advanced MultiPhysics) Nuclear Fuel Performance code

Jung Ho Lee, Bobby Philip, Sreekanth Pannala, 2012 .

Adaptable Static Analysis of Executables for proving the Absence of Vulnerabilities

Bogdan Mihaila, B. Mihaila, 2015 .

Development of the hot isostatic press manufacturing process for monolithic nuclear fuel

David E. Dombrowski, Justin M. Crapps, Kester D. Clarke, 2013 .

Widening as Abstract Domain

Axel Simon, Bogdan Mihaila, Alexander Sepp, 2013, NASA Formal Methods.

Three orders of magnitude improved efficiency with high‐performance spectral crystal plasticity on GPU platforms

Marko Knezevic, Bogdan Mihaila, Andres Cardenas, 2014 .

IR Preprocessing for Deep Binary Analysis

Axel Simon, Holger Siegel, Bogdan Mihaila, 2016 .

Hot Isostatic Press Manufacturing Process Development for Fabrication of RERTR Monolithic Fuel Plates

David E. Dombrowski, Justin M. Crapps, Kester D. Clarke, 2012 .

Renormalized broken-symmetry Schwinger-Dyson equations and the two-particle irreducible 1/N expansion for the O(N) model

John F. Dawson, Bogdan Mihaila, Fred Cooper, 2005 .

Anisotropic stress–strain response and microstructure evolution of textured α-uranium

Laurent Capolungo, Ricardo A. Lebensohn, Rodney J. McCabe, 2012 .

Exact solitary wave solutions for a discrete lambdaphi4 field theory in 1+1 dimensions.

Avinash Khare, Avadh Saxena, Bogdan Mihaila, 2005, Physical review. E, Statistical, nonlinear, and soft matter physics.

Renormalizing the Schwinger-Dyson equations in the auxiliary field formulation of {lambda}{phi}{sup 4} field theory

John F. Dawson, Bogdan Mihaila, Fred Cooper, 2004 .

Finite Element Implementation of a Self‐Consistent Polycrystal Plasticity Model: Application to a‐Uranium

Ricardo A. Lebensohn, Rodney J. McCabe, Marko Knezevic, 2012 .

Simulations of coupled heat transport, oxygen diffusion, and thermal expansion in UO2 nuclear fuel elements

Juan C. Ramirez, Marius Stan, Bogdan Mihaila, 2009 .

Modeling mechanical response and texture evolution of α-uranium as a function of strain rate and temperature using polycrystal plasticity

Ricardo A. Lebensohn, Rodney J. McCabe, Marko Knezevic, 2013 .

Stability and dynamical properties of Rosenau-Hyman compactons using Padé approximants.

Avadh Saxena, Bogdan Mihaila, Fred Cooper, 2010, Physical review. E, Statistical, nonlinear, and soft matter physics.

Integration of self-consistent polycrystal plasticity with dislocation density based hardening laws within an implicit finite element framework: Application to low-symmetry metals

Ricardo A. Lebensohn, Rodney J. McCabe, Marko Knezevic, 2013 .

Properties of compacton-anticompacton collisions.

Avadh Saxena, Bogdan Mihaila, Fred Cooper, 2011, Physical review. E, Statistical, nonlinear, and soft matter physics.