Alexis Marechal

According to our database1, Alexis Marechal authored at least 11 papers between 2010 and 2015.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Generalizing the Compositions of Petri Nets Modules.
Fundam. Informaticae, 2015

2013
Model Checking Contest @ Petri Nets, Report on the 2013 edition.
CoRR, 2013

Unifying the Semantics of Modular Extensions of Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012
A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis.
Trans. Petri Nets Other Model. Concurr., 2012

2011
High-Level Petri Net Model Checking with AlPiNA.
Fundam. Informaticae, 2011

Modelling of Genetic Regulatory Mechanisms with GReg
CoRR, 2011

Experience-Based Model Refinement.
Proceedings of the Software Engineering for Resilient Systems, 2011

2010
AlPiNA: An Algebraic Petri Net Analyzer.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

AlPiNA: A Symbolic Model Checker.
Proceedings of the Applications and Theory of Petri Nets, 2010

Improving the Significance of Benchmarks for Petri Nets Model Checkers.
Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

Specification of Decision Diagram Operations.
Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010


  Loading...