My research interests span the areas of systems, programming languages, and security. I particularly enjoy building secure systems that can see adoption. My efforts are generally guided by two goals: (1) to enable average developers to build secure systems and applications, and (2) to leverage the benefits of formal semantics when reasoning about the security properties of a system. For example...

The ability to restore a virtual platform from a previously saved simulation state can considerably shorten the typical edit-compile-debug cycle for software developers and therefore enhance productivity. For SystemC based virtual platforms (VP), dedicated checkpoint/restore (C/R) solutions are required, taking into account the specific characteristics of such platforms. Apart from restoring th...

in this paper, we present a fractional mathematical model of a one-dimensional phase phase change problem (stefan problem) with latent heat a power function of position. this model includes space-time fractional derivatives in caputo sense and time dependent surface heat flux. an approximate solution of this model is obtained by optimal homotopy asymptotic method (oham) to find an approximate s...

We develop a high-order energy method to prove asymptotic stability of flat steady surfaces for the Stefan problem with surface tension also known as the Stefan problem with Gibbs-Thomson correction.

One and two phase Stefan problems for the linear heat equation have been the subject of many studies in the past [1, 2]. Indeed these problems have a great physical relevance since they provide a mathematical model for the processes of phase changes [3, 4]. The boundary between the two phases is a free boundary: its motion has to be determined as part of the solution. More recently the previous...

Dialectical Frameworks Revisited∗ Gerhard Brewka and Stefan Ellmauthaler and Hannes Strass Institute of Computer Science, Leipzig University Johannes Peter Wallner and Stefan Woltran Institute of Information Systems, Vienna University of Technology

in this study, the modeling of hydrogen production process in microreactors by methanol-steam reforming reaction is investigated. the catalytic reaction of methanol-steam reforming producing hydrogen is simulated considering a 3d geometry for the microreactor. to calculate diffusion among species, mixture average correlations are compared to stephan-maxwell equations. the reactions occurring in...

a foodstuff response evaluating at different forces such as shear, compress, tensile and chewing force is in fact product texture evaluating which is relying on rheological characteristic. in this research, the relaxation behavior of various chicken parts was perused based on generalized maxwell model at different regimes. the effects of three types of treatments as control (without additives),...