Industrial Control Systems (ICS) incorporate automated control and monitoring into the
industrial objectives of production, manufacturing and distribution. Programmable Logic …

Presenting differences between code entity invocations includes identifying a plurality of
families of invocations of a code entity. Each family is defined based upon a plurality of …

Dynamic program analysis is a technique which records a program execution for the
purpose of analyzing its behavior and building high-level models and views. This paper …

This paper presents an approach for deriving a state transition model which represents the
behavior of a control component using symbolic execution. Symbolic execution is a …

This thesis proposes a method to identify compact and expressive models of closed-loop
reactive Discrete Event Systems (DES), for reverse-engineering or certification. The …

The software structure of large-scale information and control systems, such as that for
railway and electronic power systems, becomes more and more complicated with all the …