Marianne Simonot

Affiliations:
  • CNAM-Laboratoire Cédric, Paris, France


According to our database1, Marianne Simonot authored at least 7 papers between 1992 and 2012.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2012
Teaching Abstraction in Mathematics and Computer Science - A Computer-supported Approach with Alloy.
Proceedings of the CSEDU 2012, 2012

2008
Une approche formelle de la reconfiguration dynamique.
Obj. Logiciel Base données Réseaux, 2008

2002
A methodological process for the design of a large system: two industrial case-studies.
Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002

2001
An ordinal measure based procedure for termination of functions.
Theor. Comput. Sci., 2001

2000
Deriving Software Specifications from Event Based Models.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

1994
Automatizing Termination Proofs of Recursively Defined Functions.
Theor. Comput. Sci., 1994

1992
ProPre A Programming Language with Proofs.
Proceedings of the Logic Programming and Automated Reasoning, 1992


  Loading...