Christophe Pajault

According to our database, Christophe Pajault authored at least 9 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

Solving the ignoring problem for partial order reduction.

Sami Evangelista, Christophe Pajault

Int. J. Softw. Tools Technol. Transf., 2010

2008

Model checking parallèle et réparti de réseaux de Petri colorés de haut-niveau : application à la vérification automatique de programmes Ada concurrents. (Parallel and distributed high-level colored Petri net model checking).

Christophe Pajault

PhD thesis, 2008

Adapting Petri Nets Reductions to Promela Specifications.

Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

Concurrent Program Metrics Drawn by Quasar.

Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre

Proceedings of the Reliable Software Technologies, 2008

2007

Some Solutions to the Ignoring Problem.

Sami Evangelista, Christophe Pajault

Proceedings of the Model Checking Software, 2007

A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets.

Sami Evangelista, Christophe Pajault, Jean-François Pradat-Peyre

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Modelling Remote Concurrency with Ada.

Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre

Proceedings of the Reliable Software Technologies, 2007

2006

Distributed Colored Petri Net Model-Checking with Cyclades.

Christophe Pajault, Jean-François Pradat-Peyre

Proceedings of the Formal Methods: Applications and Technology, 2006

2005

Dynamic Tasks Verification with Quasar.

Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau

Proceedings of the Reliable Software Technology, 2005