Joanna Maria van de Mortel-Fronczak (Asia)

I work in the Systems Engineering Group since May 1993.

Information about my (email) address and telephone number can be found here.

My Ph.D. thesis (1993; supervisor: Prof. dr. M. Rem; advisor: dr. P.H.M. America) titled Models of trace theory systems describes formal verification methods for systems defined in terms of trace theory as developed at the Eindhoven University of Technology. The verification methods defined are related to safety, liveness, and fairness, and are based on true concurrency.

My current research interests include:

• specification methods and tools for the design of industrial systems in general and for machine control systems in particular (the emphasis is on the modular and integral specification of an industrial system with a control system; resulting models should be suited for formal verification as well as for simulation experiments and implementation)

• architectures for control systems

Publications