The Open Computing Cluster for Advanced data Manipulation (OCCAM), Int. Conf. on Computing in High Energy and Nuclear Physics, p.22, 2016. ,
FORCE: a fast and easy-to-implement variableordering heuristic, ACM Great Lakes Symposium on VLSI, pp.116-119, 2003. ,
A new GreatSPN GUI for GSPN editing and CSLTA model checking, Int. Conf. on Quantitative Evaluation of Systems, pp.170-173, 2014. ,
Gradient-based variable ordering of decision diagrams for systems with structural units, 15th Int. Symp. on Automated Technology for Verification and Analysis (ATVA), vol.10482, pp.184-200, 2017. ,
Decision diagrams for Petri nets: which variable ordering? In: Petri Net Performance Engineering conference (PNSE), pp.31-50, 2017. ,
Transformations and decompositions of nets, Advanced Course on Petri Nets, pp.359-376, 1986. ,
The tool TINA-construction of abstract state spaces for Petri nets and Time Petri nets, International journal of production research, vol.42, issue.14, pp.2741-2756, 2004. ,
Multi-core SCC-based LTL model checking, Hardware and Software: Verification and Testing-12th International Haifa Verification Conference, HVC. pp, pp.18-33, 2016. ,
Hierarchical decision diagrams to exploit model structure, In: FORTE. Lecture Notes in Computer Science, vol.3731, pp.443-457, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-01488360
TAPAAL 2.0: Integrated development environment for timed-arc Petri nets, 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12) ,
, LNCS, vol.7214, pp.492-497, 2012.
Sylvan: Multi-core decision diagrams, Tools and Algorithms for the Construction and Analysis of Systems-21st International Conference, TACAS, pp.677-691, 2015. ,
Self-loop aggregation product-A new hybrid approach to on-the-fly LTL model checking, ATVA. Lecture Notes in Computer Science, vol.6996, pp.336-350, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-01288132
Spot 2.0-A framework for LTL and \omega-automata manipulation, In: ATVA. LNCS, vol.9938, pp.122-129, 2016. ,
DLC: compiling a concurrent system formal specification to a distributed implementation, Tools and Algorithms for the Construction and Analysis of Systems-22nd International Conference, vol.9636, pp.553-559, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01250925
Formal verification of distributed branching multiway synchronization protocols, Formal Techniques for Distributed SystemsJoint IFIP WG 6.1 International Conference, FMOODS/FORTE, vol.7892, pp.146-160, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00818788
Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous, Journal of Logical and Algebraic Methods in Programming, vol.88, pp.121-153, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01412911
Nested-Unit Petri Nets: A structural means to increase efficiency and scalability of verification on elementary nets, International Conference on Application and Theory of Petri Nets and Concurrency, vol.9115, pp.179-199, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01142198
CADP 2011: A toolbox for the construction and analysis of distributed processes, Springer International Journal on Software Tools for Technology Transfer (STTT), vol.15, issue.2, pp.89-107, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00715056
From LOTOS to LNT, ModelEd, TestEd, TrustEd-Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol.10500, pp.3-26, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01621670
The unheralded value of the multiway rendezvous: Illustration with the production cell benchmark, 2nd Workshop on Models for Formal Analysis of Real Systems (MARS). Electronic Proceedings in Theoretical Computer Science, vol.244, pp.230-270, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01511847
More efficient on-the-fly LTL verification with Tarjan's algorithm, Theor. Comput. Sci, vol.345, issue.1, pp.60-82, 2005. ,
A symbolic model checker for petri nets: pnmc. In: Transactions on Petri Nets and Other Models of Concurrency XI, pp.297-306, 2016. ,
DSSZ-MC-A Tool for Symbolic Analysis of Extended Petri Nets, Applications and Theory of Petri Nets, vol.5606, pp.323-332, 2009. ,
A primer on the Petri Net Markup Language and ISO/IEC 15909-2, Petri Net Newsletter, vol.76, pp.9-28, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-01126017
Communicating sequential processes, Commun. ACM, vol.21, issue.8, pp.666-677, 1978. ,
High-level Petri Nets-Part 2: Transfer Format. International Standard 159092:2011, International Organization for Standardization-Information Technology-Systems and Software Engineering, 2011. ,
TAPAAL and reachability analysis of P/T nets, LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), vol.9930, pp.307-318, 2016. ,
PTrie: Data structure for compressing and storing sets via prefix sharing, 14th International Colloquium on Theoretical Aspects of Computing (ICTAC'17), vol.10580, pp.248-265, 2017. ,
LTSmin: Highperformance language-independent model checking, Tools and Algorithms for the Construction and Analysis of Systems-21st International Conference, TACAS, pp.692-707, 2015. ,
BenchKit, a Tool for Massive Concurrent Benchmarking, 14th International Conference on Application of Concurrency to System Design (ACSD'14), pp.159-165, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01091157
, Report on the Model Checking Contest at Petri Nets 2011. Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) VI, pp.169-196, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01270053
MCC'2015-The Fifth Model Checking Contest, Transactions on Petri Nets and Other Models of Concurrency, vol.11, pp.262-273, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01361274
The part-time parliament, ACM Transactions on Computer Systems, vol.16, issue.2, pp.133-169, 1998. ,
Read, write and copy dependencies for symbolic model checking, Hardware and Software: Verification and Testing-10th International Haifa Verification Conference, HVC, pp.204-219, 2014. ,
Bandwidth and wavefront reduction for static variable ordering in symbolic reachability analysis, NASA Formal Methods-8th International Symposium, NFM, pp.255-271, 2016. ,
New algorithms for deciding the siphon-trap property, 31st International Conference on Applications and Theory of Petri Nets, vol.6128, pp.267-286, 2010. ,
In search of an understandable consensus algorithm, USENIX Annual Technical Conference (USENIX ATC), pp.305-319, 2014. ,
How to calculate symmetries of Petri nets, Acta Informaticae, vol.36, issue.7, pp.545-590, 2000. ,
Cooperative kernels: GPU multitasking for blocking algorithms, 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE, pp.431-441, 2017. ,
Symbolic model-checking using ITS-Tools, TACAS. Lecture Notes in Computer Science, vol.9035, pp.231-237, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-02104373
Applying CEGAR to the Petri net state equation, Logical Methods in Computer Science, vol.8, issue.3, 2012. ,