|
 
|
Marianne Simonot
|
Equipe SYS Parti depuis le 01/09/2011 Mail : marianne.simonot  cnam.fr
Tel : 0140272874 Fax : 0140272709 http://cedric.cnam.fr/~simonot |
Marianne's Tag-Cloud : |
Publications
2017
- [DBF17] J. Delacroix, F. Barthelemy, R. Fournier-S'niehotta, A. Lambert, A. Plateau, S. Rovedakis, M. Simonot, V. Thion. "Informatique", June 2017, Dunod, pp. 1-400,
Livre
2009
-
[SA09]
M. Simonot, M. Aponte.
"A declarative formal approach to dynamic reconfiguration",
IWOCE '09, Amsterdam, The Netherlands,
January 2009,
pp.1--10,
-
[ABS09b]
M. Aponte, V. Benayoun, M. Simonot.
"Modélisations de la reconfiguration dynamique en Focal",
AFADL'09 Approches formelles dans l'assistance au développement des Logiciels, Toulouse,
January 2009,
pp.105-119,
Conférence Internationale avec comité de lecture
Conférence Nationale avec comité de lecture
2008
-
[SA08]
M. Simonot, M. Aponte.
"Une approche formelle de la reconfiguration dynamique",
L'Objet,
vol. 14(4), pp. 73-102,
2008
-
[AS08]
M. Aponte, M. Simonot.
"Une approche formelle de la reconfiguration dynamique",
Date de dépot: 2008/01/01,
Nb pages 27,
(Tech. Rep.: CEDRIC-08-1590)
-
[ABS08a]
M. Aponte, V. Benayoun, M. Simonot.
"Modélisation de la reconfiguraton dynamique avec Focal",
Date de dépot: 2008/01/01,
(Tech. Rep.: CEDRIC-08-1618)
Revue Nationale avec comité de lecture
Rapport Scientifique
2007
-
[SA07]
M. Simonot, M. Aponte.
"Modélisation formelle du contrôle en Fractal",
Date de dépot: 2007/01/01,
(Tech. Rep.: CEDRIC-07-1563)
Rapport Scientifique
2006
- [AS06] M. Aponte, M. Simonot. "Spécification et vérification de composants : état de l'art", Date de dépot: 2006/01/01, (Tech. Rep.: CEDRIC-06-1180)
- [SAD06] M. Simonot, M. Aponte, C. Dubois. "État de l'art du typage pour l'intéropérabilité entre composants", Date de dépot: 2006/01/01, (Tech. Rep.: CEDRIC-06-1182)
Rapport Scientifique
2002
-
[LSV02]
N. Lopez, M. Simonot, V. Viguie Donzeau-Gouge.
"A methodological process for the design of a large system: two industrial case-studies.",
Formal Methods for Industrial Critical Systems (FMICS'02),
January 2002,
Conférence Internationale avec comité de lecture
2001
- [MS01] F. Monin, M. Simonot. "An ordinal measure based procedure for termination of functions", Theoretical computer Science, vol. 254, 2001
Revue Internationale avec comité de lecture
2000
- [VLS00] V. Viguie Donzeau-Gouge, N. Lopez, M. Simonot. "Deriving Software Specifications from Event Based Models", ZB 2000, Int. Conf.rence of B and Z Users, York, U.K., January 2000,
Conférence Internationale avec comité de lecture
1998
- [SIM98] M. Simonot. "Le raffinement algorithmique : définition par le haut et par le bas", Date de dépot: 1998/01/01, (Tech. Rep.: CEDRIC-98-1078)
Rapport Scientifique
1994
- [MS94] P. Manoury, M. Simonot. " Automatizing termination proofs of recursively defined functions", Theoretical Computer Science, vol. 135, pp. 319 - 343, 1994
Revue Internationale avec comité de lecture
1993
- [MS93] P. Manoury, M. Simonot. "A programming language with proofs", Logic Programming and automated reasonning, January 1993, Vol. 624, Series LNCS ,
Conférence Internationale avec comité de lecture
1992
- [Sim92] M. Simonot. "Des preuves de totalité de fonctions comme synthèse de programme", Soutenue le: 01 January 1992, pp. 130,
