Mazen Samaan

Publication Activity (10 Years)

Years Active: 1994-2001
Publications (10 Years): 0

Publications

Hervé Marchand, Éric Rutten, Michel Le Borgne, Mazen Samaan
Formal verification of programs specified with signal: application to a power transformer station controller. Sci. Comput. Program. 41 (1) (2001)
Hervé Marchand, Mazen Samaan
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology. IEEE Trans. Software Eng. 26 (8) (2000)
Hervé Marchand, Mazen Samaan
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology. World Congress on Formal Methods (1999)
Michel Le Borgne, Hervé Marchand, Éric Rutten, Mazen Samaan
Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller. AMAST (1996)
Nathalie Bergé, Mazen Samaan, Guy Juanole, Youcef Atamna
Methodology for LAN Modeling and Analysis Using Petri Nets Based Models. MASCOTS (1994)