|
 
|
Christophe Pajault
|
Doctorant(e) Equipe Mim Parti depuis le 01/01/2008 Mail : christophe.pajault  cnam.fr
Tel : 0140272049 Fax : 0140272847 http://cedric.cnam.fr/~pajaul_c/ Directeur de thèse : Claude Kaiser Co-Directeur(s) : Jean-François Pradat-Peyre |
Christophe's Tag-Cloud : |
Publications
2008
- [KPP08] C. Kaiser, C. Pajault, J. Pradat-Peyre. "Concurrent Program metrics drawn by QUASAR", Ada-Europe''08 Int. Conf on Reliable Software Technologies, January 2008, pp.101-114, Series LNCS 5026,
- [PAJ08] C. Pajault. "Model Checking parallèle et réparti de réseaux", Soutenue le: 01 January 2008, pp. 251p,
Conférence Internationale avec comité de lecture
Mémoire de Thèse
2007
-
[EPP07]
S. Evangelista, C. Pajault, J. Pradat-Peyre.
"A simple positive flows computation algorithm for a large subclass of colored nets",
IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems,
January 2007,
pp.177-195,
Series LNCS,
- [KPP07] C. Kaiser, C. Pajault, J. Pradat-Peyre. "Modelling remote concurrency with Ada. Case study of symmetric non-deterministic rendez-vous", Ada-Europe''07 Int. Conf. on Reliable Software Technologies, January 2007, Vol. volume(12), pp.192-207, Series LNCS 4498,
-
[EP07]
S. Evangelista, C. Pajault.
"Some Solutions to the Ignoring Problem",
SPIN'07 Int. Workshop on Model Checking Software,
January 2007,
Vol. 4595(14),
pp.76-94,
Series LNCS,
Conférence Internationale avec comité de lecture
2006
-
[PP06]
C. Pajault, J. Pradat-Peyre.
"Static Reductions for Promela Specifications",
FORTE 2008 28th IFIP WG 6.1 Int. Conf.rence. Tokyo, Japan,
January 2006,
pp.84-98,
Series LNCS 5048,
- [PP06a] C. Pajault, J. Pradat-Peyre. "Distributed colored Petri net model-checking with Cyclades", PDMC'06 Proceedings Parallel and Distributed Methods in verifiCation, January 2006, pp.347-361, Series LNCS, (DOI: 10.1007/978-3-540-70952-7_24)
-
[KPP06]
C. Kaiser, C. Pajault, J. Pradat-Peyre.
"Modelling remote concurrency with Ada.Case study of symmetric non-deterministic rendez-vous.",
Date de dépot: 2006/01/01,
Nb pages 15p,
(Tech. Rep.: CEDRIC-06-1102)
Conférence Internationale avec comité de lecture
Rapport Scientifique
2005
-
[PAJ05]
C. Pajault.
"Extending Quasar with dynamic tasks computation",
Date de dépot: 2005/01/01,
Nb pages 23p,
(Tech. Rep.: CEDRIC-05-695)
