Mazen Samaan

According to our database, Mazen Samaan authored at least 4 papers between 1994 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2001

Formal verification of programs specified with signal: application to a power transformer station controller.

Hervé Marchand, Éric Rutten, Michel Le Borgne, Mazen Samaan

Sci. Comput. Program., 2001

2000

Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology.

Hervé Marchand, Mazen Samaan

IEEE Trans. Software Eng., 2000

1996

Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller.

Michel Le Borgne, Hervé Marchand, Éric Rutten, Mazen Samaan

Proceedings of the Algebraic Methodology and Software Technology, 1996

1994

Methodology for LAN Modeling and Analysis Using Petri Nets Based Models.

Nathalie Bergé, Mazen Samaan, Guy Juanole, Youcef Atamna

Proceedings of the MASCOTS '94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31, 1994