We stand with Ukraine  

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.
[BibTeX]
Marianne Simonot
,
M. Homps
,
Philippe Bonnot
Proceedings of the CSEDU 2012, 2012

2008
Une approche formelle de la reconfiguration dynamique.
[BibTeX]
[DOI]
Marianne Simonot
,
Maria-Virginia Aponte
Obj. Logiciel Base données Réseaux, 2008

2002
A methodological process for the design of a large system: two industrial case-studies.
[BibTeX]
[DOI]
Nestor Lopez
,
Marianne Simonot
,
Véronique Donzeau-Gouge
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.
[BibTeX]
[DOI]
François Monin
,
Marianne Simonot
Theor. Comput. Sci., 2001

2000
Deriving Software Specifications from Event Based Models.
[BibTeX]
[DOI]
Nestor Lopez
,
Marianne Simonot
,
Véronique Donzeau-Gouge
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.
[BibTeX]
[DOI]
Pascal Manoury
,
Marianne Simonot
Theor. Comput. Sci., 1994

1992
ProPre A Programming Language with Proofs.
[BibTeX]
[DOI]
Pascal Manoury
,
Michel Parigot
,
Marianne Simonot
Proceedings of the Logic Programming and Automated Reasoning, 1992


  Loading...