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...

We present a review of some of the state-of-the-art numerical methods for solving the Stefan problem and the Poisson and the diffusion equations on irregular domains using (i) the level-set method for representing the (possibly moving) irregular domain’s boundary, (ii) the ghost-fluid method for imposing the Dirichlet boundary condition at the irregular domain’s boundary and (iii) a quadtree/oc...

The only source of ice formation in the Arctic during summer is a layer of ice called false-bottoms between an under-ice melt pond and the underlying ocean. Of interest is to give a mathematical model in order to determine the simultaneous growth and ablation of false-bottoms, which is governed by both of heat fluxes and salt fluxes. In one dimension, this problem may be considered mathematical...

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