Christophe Pajault

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
Solving the ignoring problem for partial order reduction.
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).
PhD thesis, 2008

Adapting Petri Nets Reductions to Promela Specifications.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

Concurrent Program Metrics Drawn by Quasar.
Proceedings of the Reliable Software Technologies, 2008

2007
Some Solutions to the Ignoring Problem.
Proceedings of the Model Checking Software, 2007

A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Modelling Remote Concurrency with Ada.
Proceedings of the Reliable Software Technologies, 2007

2006
Distributed Colored Petri Net Model-Checking with Cyclades.
Proceedings of the Formal Methods: Applications and Technology, 2006

2005
Dynamic Tasks Verification with Quasar.
Proceedings of the Reliable Software Technology, 2005


  Loading...