Liste des publications

2018

[ BL18] U. Mutarraf , K. Barkaoui, . Li. "Transformation of Business Process Model and Notation models onto Petri nets and their analysis", Advances in Mechanical Engineering, vol. 10(12), pp. 1-21, 2018, (doi:10.1177/1687814018808170)

[CT17] P. Courtieu, S. Tixeuil. "Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems", FMICS-AVoCS 2017, September 2017, Vol. 10471, pp.165-181, Series LNCS, Turin, Italy, (DOI: 10.1007/978-3-319-67113-0_11)
[CZR17] P. Courtieu, Z. Zhang, Robby, J. Hatcliff, Y. Moy. "Focused Certification of an Industrial Compilation and Static Verification Toolchain", Software Engineering and Formal Methods (SEFM), August 2017, Vol. 10469, pp.17-34, Series LNCS, Trento, Italy, (DOI: 10.1007/978-3-319-66197-1_2)

[CBB16a] T. Cherfia, F. Belala, K. Barkaoui. "A bigraph-based framework for specification and analysis of context-aware systems Multiple Input Multiple Output Link", Int. J. of Critical Computer-Based Systems (IJCCBS), vol. 6(4), pp. 322 - 342, 2016
[DBS16] A. Dib, K. Barkaoui, Z. Sahnoun. "Specification and verification of reconfigurable multi-agent system architectures", Multiagent and Grid Systems, vol. 12(2), pp. 105-124, 2016
[LB16] A. Louati, K. Barkaoui. "Formal Verification of UML2 Timing Diagrams based on Time Petri Nets", International Journal of Information Systems in the Service Sector (IJISSS), vol. 8(2), pp. 87-97, 2016

[BBM15] K. Barkaoui, L. Bernardinello,, A. Mokhov. "Application of Concurrency to System Design", ACM Transactions on Embedded Computing Systems (TECS) , vol. 14(4), pp. 62-63, 2015, (doi:http://dx.doi.org/10.1145/2809925)
[LBJ15] A. Louati, K. Barkaoui, C. Jerad. "Temporal Properties Verication of Real-Time Systems Using UML/MARTE/OCL-RT; ", Advances in Intelligence Systems and Computing, Springer Verlag., vol. 346, pp. 133-147, 2015, (doi:2194-5357)

[HMB14] N. Harrath, B. Monsuez, K. Barkaoui. "A Framework for Verification of SystemC Designs Using SystemCWaiting State Automata", In Advances in Intelligent Systems and Computing, Springer Verlag, vol. 263 , pp. 77-104, 2014, (doi:10.1007/978-3-319-04717-1)

[SDG14] D. Sadoun, C. Dubois, Y. Ghamri-Doudane, B. Grau. "Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology", RuleML, August 2014, Vol. 8620, pp.226-235, Series LNCS, Prague, Czech Republic, (DOI: 10.1007/978-3-319-09870-8_17)
[MLB14] A. Methni, M. Lemerre, B. Ben Hedia, S. Haddad, K. Barkaoui. "An Approach for Verifying Concurrent C Programs", 8th Junior Researcher Workshop on Real-Time Computing, March 2014, Vol. Proceeedings, pp.33-36,

[BB13] H. Boucheneb, K. Barkaoui. "On combining the ready sets with the covering steps method", Int. J. of Critical Computer-Based Systems, pp. 67-85, 2013
[LJB13] A. Louati, C. Jerad, K. Barkaoui. "Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams", International Journal of Soft Computing and Software Engineering [JSCSE], 2013, vol. 3(3), pp. 205-211, 2013, (doi:10.732)
[LJBa13] A. Louati, C. Jerad, K. Barkaoui. "Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams", The International Journal of Soft Computing and Software Engineering [JSCSE], Vol. 3, , Special Issue:, vol. 3(No. 3), pp. 205-211, 2013, (doi:10.7321/jscse.v3.n3.31 )

[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,

[CDG12a] M. Carlier, C. Dubois, A. Gotlieb. "A certified constraint solver over finite domains", Formal Methods (FM 2012) (ex FME), August 2012, Vol. 7436, pp.116-131, Series LNCS, Paris, France,
[JBD12] M. Jacquel, K. Berkani, D. Delahaye, C. Dubois. "Tableaux Modulo Theories using Superdeduction: An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover", International Joint Conference on Automated Reasoning (IJCAR 2012), June 2012, Vol. 7364, pp.332--338, Series LNAI, Manchester, UK,

[HM 11] N. Harrath, B. Monsuez, V. Paun. "A WCET Estimation Workflow Based on the TWSA Model of SystemC Designs", On the 32nd IEEE Real-Time Systems Symposium (RTSS), November 2011, pp. - ,
[DMH11] J. Delacroix, B. Monsuez, N. Harrath. "Building SystemC waiting state automata ", Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011), July 2011, pp.54-66,
[MHB11] B. Marzougui, K. Hassine, K. Barkaoui. "Method for Verification of a Multi Agents System", 2011 Second International Conference on Intelligent Systems, Modelling and Simulation(ISMS'11), January 2011, pp.62-65, (DOI: http://doi.ieeecomputersociety.org/10.1109/ISMS.2011.21 )

[Rob11] B. Robillard. "VÃ©rification formelle et optimisation de lâ€™allocation de registres ", Soutenue le: 30 October 2011, pp. 180,