Liste des publications

2017

[KBI15] A. Kheldoun, K. Barkaoui, M. Ioulalen. "Specification and verification of complex business processes: A High-level Petri net-based approach", BPM 2015 - 13th International Conference on Business Process Management , November 2015, Vol. 9253, pp.55-71, Series LNCS, Innsbruck, Austria, (DOI: 10.1007/978-3-319-23063-4_4)
[AB15] A. Assaf, G. Burel. "Translating HOL to Dedukti", Fourth Workshop on Proof eXchange for Theorem Proving, August 2015, pp.--, Series EPTCS, Berlin, Germany,
[KBZ15] A. Kheldoun, K. Barkaoui, J. Zhang, M. Ioulalen. "A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems", 5th IFIP International Conference on Computer Science and Its Applications CIIA , May 2015, Vol. 456, pp.551--562, Series IFIP Advances in Information and Communication Technology , SaÃ¯da, Algeria,

[Bur14] G. Burel. "Cut Admissibility by Saturation", Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications, July 2014, Vol. 8560, pp.124-138, Series LNCS, Vienna, Austria, (DOI: 10.1007/978-3-319-08918-8_9)

[DDG13] D. Delahaye, D. Doligez, F. Gilbert, P. Halmagrand, O. Hermant. "Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo", Logic for Programming Artificial Intelligence and Reasoning (LPAR), December 2013, Vol. 8312, pp.274-290, Series LNCS/ARCoSS, Stellenbosch, South Africa,

[Bur13] G. Burel. "A Shallow Embedding of Resolution and Superposition Proofs into the Î»Î -Calculus Modulo", Third International Workshop on Proof Exchange for Theorem Proving, Lake Placid, USA,

[BB12] M. Boespflug, G. Burel. "CoqInE : Translating the calculus of inductive constructions into the Î»Î -calculus modulo.", Second International Workshop on Proof Exchange for Theorem Proving (PXTP 2012), Manchester, United Kingdom,

[Bur11] G. Burel. "Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo", Logical Methods in Computer Science, vol. 7(3:1), pp. 1-31, 2011, (doi:10.2168/LMCS-7(1:3)2011)

[Bur11b] G. Burel. "Experimenting with deduction modulo", 23rd International Conference on Automated Deduction, July 2011, Vol. 6803, pp.162--176, Series LNAI, Wroclaw, Poland, (DOI: 10.1007/978-3-642-22438-6_14)
[CCF11a] E. Contejean, P. Courtieu, J. Forest, O. Pons, X. Urbain. "Automated Certified Proofs with CiME 3", 22nd Int. Conf. on Rewriting Techniques and Applications, May 2011, Vol. 10, pp.21-30, Series LIPIcs, Novi Sad, Serbie,

[Bur11a] G. Burel. "Consistency Implies Cut Admissibility", International Workshop on Proof-Search in Axiomatic Theories and Type Theories, Wroclaw, Poland,

[CCF11] E. Contejean, P. Courtieu, J. Forest, O. Pons, X. Urbain. "Automated Certified Proofs with CiME3", Date de dépot: 2011/02/01, Nb pages 11, (Tech. Rep.: CEDRIC-11-2044)