Christophe Pajault

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Pierre and Marie Curie University, Paris, France (PHD)

Education History

Pierre and Marie Curie University, Paris, France

PHD

Publications

Sami Evangelista, Christophe Pajault
Solving the ignoring problem for partial order reduction. Int. J. Softw. Tools Technol. Transf. 12 (2) (2010)
Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre
Concurrent Program Metrics Drawn by Quasar. Ada-Europe (2008)
Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau
Adapting Petri Nets Reductions to Promela Specifications. FORTE (2008)
Sami Evangelista, Christophe Pajault, Jean-François Pradat-Peyre
A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets. FORTE (2007)
Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre
Modelling Remote Concurrency with Ada. Ada-Europe (2007)
Sami Evangelista, Christophe Pajault
Some Solutions to the Ignoring Problem. SPIN (2007)
Christophe Pajault, Jean-François Pradat-Peyre
Distributed Colored Petri Net Model-Checking with Cyclades. FMICS/PDMC (2006)
Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau
Dynamic Tasks Verification with Quasar. Ada-Europe (2005)