|
 
|
Liste des publications
2019
- [LLL19] X. Li , G. Liu, . Li, N. Wu, K. Barkaoui. "Elementary Siphon-based Robust Control for Automated Manufacturing Systems with Multiple Unreliable Resources", IEEE Access, pp. 1-18, 2019, (doi:10.1109/ACCESS.2019.2897753)
Revue Internationale avec comité de lecture
2014
- [LHB14] D. Liu, Y. Hou, K. Barkaoui, M. Zhou. "Intrinsically Live Structures in Process and Resource-Oriented Petri Nets Modeling Automated Manufacturing Systems", 11th IEEE International Conference on Networking, Sensing and Control, April 2014, pp.13-21,
- [LIU14] G. Liu. "Supervisor Synthesis for Automated Manufacturing Systems Based on Structural Theory of Petri Nets", Soutenue le: 27 November 2014, pp. 182,
-
[Har14]
N. Harrath.
"A Stepwise Compositional Approach to Model and Analyze SystemC Designs at teh Transactional Level and the Delta Cycle Level",
Soutenue le: 04 November 2014,
pp. 183,
-
[Har14a]
N. Harrath.
"A Stepwise Compositional Approach to Model and Analyze SystemC Designs at the Transactional Level and the Delta Cycle Level",
Soutenue le: 04 November 2014,
pp. 248,
Conférence Internationale avec comité de lecture
Mémoire de Thèse
2013
- [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,
- [DDG13a] D. Delahaye, D. Doligez, F. Gilbert, P. Halmagrand, O. Hermant. "Proof Certification in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps", International Workshop on the Implementation of Logics, December 2013, pp.-,
- [Del13] D. Delahaye. "Automated Deduction Modulo", Proof-Search in Axiomatic Theories and Type Theories (PSATTT), November 2013, pp.online, Palaiseau, France,
Conférence Internationale avec comité de lecture
Conférences invitées
2011
- [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)
Conférence Internationale avec comité de lecture
Conférences Internationales sans actes
Rapport Scientifique
2010
-
[Urb10]
X. Urbain.
"Preuve automatique : techniques, outils et certification",
Soutenue le: 29 November 2010,
pp. 77,
Mémoire de HDR
2007
-
[CCF07]
E. Contejean, P. Courtieu, J. Forest, O. Pons, X. Urbain.
"Certification of automated termination proofs",
Date de dépot: 2007/01/01,
(Tech. Rep.: CEDRIC-07-1185)
