Recherche

Accueil CEDRIC > Laboratoire > Sys > Publication >

Systèmes Sûrs

Projets

Cartographie de la plateforme ISAP de la société Egidium Technologies : architecture, qualité et variabilité logicielle.
Définition d’une méthode de construction d’une ligne de produits à partir des systèmes existants
Operational Optimization of a Multipurpose Hydropower-Irrigation System

Evenements

4th International Conference on Mobile, Secure and Programmable Networking (MSPN'2018)
MSPN 2018 is the 4th edition of the successful International Conference on Mobile, Secure...
18-06-2018 au 20-06-2018 - CNAM
8ième Journée thématique sur les Réseaux Véhiculaires (REVE)
Dans le cadre du pôle RESCOM du GDR RSD, une journée...
22-03-2018 - CNAM

2018

Revue Internationale avec comité de lecture

[BMA18] B. Bou-Fakreddine, I. Mougharbel, S. Abou Chakra, A. Faye, Y. Pollet. "Daily River Flow Prediction Based on Two Phase Constructive Fuzzy Systems Modeling: A Case of Hydrological - Meteorological Measurements Asymmetry", Journal of Hydrology , vol. à paraître, pp. 1-10, 2018

Conférence Internationale avec comité de lecture

[MRK18] P. Minet, E. Renault, I. Khoufi, S. Boumerdassi. "Data Analysis of a Google Data Center", The 18th IEEE International Symposium on Cluster Computing and the Grid (CcGrid), May 2018, pp.1-4, Washington, USA,
[VVC18] S. Varoumas, B. Vaugon, E. Chailloux. "A Generic Virtual Machine Approach for Programming Microcontrollers: the OMicroB Project", 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), January 2018, France,
[BBD18b] S. Boumerdassi, M. Bouatit, A. Djama. "Experimental Evaluation of Fault-Tolerant Mechanisms over Imote2 Platform", the IEEE Consumer Communications and Networking Conference. , January 2018, pp.1-4, Las Vegas, USA,
[BBD18] M. Bouatit, S. Boumerdassi, A. Djama. "Experimental Evaluation of Fault-Tolerant Mechanisms over Imote2 Platform", The IEEE Consumer Communications and Networking Conference (CCNC), January 2018, pp.1-4, Las Vegas, USA,

2017

Revue Internationale avec comité de lecture

[DBB17] M. Djenouhat, F. Belala, K. Barkaoui. "Architectural Method to Design and Control Dynamic Composite Web Services", International Journal of Computer Applications in Technology (IJCAT) (to appear soon), vol. 57(1), pp. 1-12, 2017
[HB17] Y. Hou, K. Barkaoui. "Deadlock analysis and control based on Petri nets: A siphon approach review", Advances in Mechanical Engineering, vol. 9(5), pp. 1-30, 2017, (doi:10.1177/1687814017693542)
[EB17] M. Escheikh, K. Barkaoui. "On the dependability evaluation of a virtual multiple input multiple output link", Int. J. of Critical Computer-Based Systems, vol. 7(1), pp. 43-58, 2017, (doi:10.1504/IJCCBS.2017.084063)
[CLB17] Y. Chen, . Li, K. Barkaoui, M. Zhou. "Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs", IEEE Trans. Systems, Man, and Cybernetics, vol. 47(2), pp. 364-379, 2017
[EBJ17] M. Escheikh, K. Barkaoui, H. Jouini. "Versatile workload-aware power management performability analysis of server virtualized systems", Journal of Systems and Software, vol. 125, pp. 365-379, 2017
[KBI17] A. Kheldoun, K. Barkaoui, M. Ioulalen. "Formal verification of complex of complex business processes based on high-level Petri nets business processes based on high-level Petri nets", Information Sciences, vol. 385-386(385), pp. 39-54 , 2017

Revue Nationale avec comité de lecture

[Pue17] M. Puech. "Typeful Continuations", JFLA 2017, vol. ?(?), pp. ?, 2017, (doi:?)

Conférence Internationale avec comité de lecture

[BAM17] B. Bou-Fakhreddine, S. Abou-Chakra, I. Mougharbel, A. Faye, Y. Pollet. "Estimating Daily Evaporation from Poorly – Monitored Lakes using limited Meteorological Data", SDEWES 2017, October 2017, pp.1-12, Dubrovnik, Croatie,
[BBD17] M. Bouatit, S. Boumerdassi, A. Djama, R. Milocco. "Energy-efficient Preventive Mechanism for Fault Tolerance in Wireless Multimedia Sensor Networks", Vehicular Technology Conference (VTC-Fall), September 2017, Vol. 86, pp.1-6, Toronto, Canada,
[GBE17a] F. Gbaguidi, S. Boumerdassi, E. Eugène. "Adapted Bin Packing Algorithm for Virtuals Machines Placement into Datacenters", 7th International Conference on Computer Science, Engineering & Applications (ICCSEA 2017),, September 2017, pp.1-4, Copenhagen, Denmark,
[BCM17] Y. Bakouny, T. Crolard, D. Mezher. "A Coq-based synthesis of Scala programs which are correct-by-construction", FTfJP'17:19th Workshop on Formal Techniques for Java-like Programs Proceedings, June 2017, pp.2, Barcelona, Spain, (DOI: 10.1145/3103111.3104041)
[BB17] M. Bouatit, S. Boumerdassi. "Dynamic Curative Mechanism for Geographic Routing in Wireless Multimedia Sensor Networks", Fourth International Conference on Computer Networks & Communications (CCNET), April 2017, pp.13-22, Dubai, UAE,
[GBE17] F. Gbaguidi, S. Boumerdassi, E. Eugène. "Predicting resource requirements of the servers into cloud datacenters using neural networks", 15th International Conference on e-Society, April 2017, pp.129-136, Budapest, Hungary,

Conférence Nationale avec comité de lecture

[PDL17] T. Pham, C. Dubois, N. Levy. "Une ligne de produits corrects par construction", AFADL 2017, June 2017, pp.7 p, Montpellier, France,
[VVC17] S. Varoumas, B. Vaugon, E. Chailloux. "OCaLustre : une extension synchrone d'OCaml pour la programmation de microcontrôleurs", Vingt-huitièmes Journées Francophones des Langages Applicatifs (JFLA 2017), January 2017, pp.21-36, France,

Conférences invitées

[Lev17] N. Levy. "Quality-driven Reference Architecture Incremental Design: an Industrial Experience", 2017 Conference Theme: Engineering Cyber Physical Systems, October 2017, Chicago, US,

Livre

[Del17b] J. Delacroix. "Informatique (Fluoresciences) les manuels de la licence", June 2017, dunod,
[DBF17] J. Delacroix, F. Barthelemy, R. Fournier-S'niehotta, A. Lambert, A. Plateau, S. Rovedakis, M. Simonot, V. Thion. "Informatique", June 2017, Dunod, pp. 1-400,

Chapitres de Livre

[OBB17] Y. Ould Yahia, S. Banerjee, S. Bouzefrane, H. Boucheneb. "Exploring Formal Strategy Framework for the Security in e-Health based IoT Context using Computational Intelligence", Titre du livre: "Internet of Things and Big Data Technologies for Next Generation Healthcare", January 2017, Springer International Publishing, pp. 63-90, (isbn: 978-3-319-49735-8)

Rapport Scientifique

[17] P. Courtieu. "Typage du langage R", Date de dépot: 2017/09/30, Nb pages 32, (Tech. Rep.: CEDRIC-17-4158)

2016

Revue Internationale avec comité de lecture

[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
[PSG16a] O. Pons, J. Susini, N. Guedin, C. Thevenot. "Danse-doigts, a Fine Motor Game ", AMSE JOURNALS, Lectures on Modelling and Simulation, vol. 77(2), pp. 182-192, 2016
[LB16a] G. Liu, K. Barkaoui. "A survey of siphons in Petri nets", Information Sciences, vol. 363, pp. 198-220, 2016
[EJB16] M. Escheikh, H. Jouini, K. Barkaoui. "Modelling, Implementation and Performance analysis of mobility load Balancing for LTE Downlink Data Transmission ", International Journal of Computer Networks & Communications (IJCNC) , vol. 8(5), pp. 1-14, 2016, (doi:10.5121/ijcnc.2016.8505.53)
[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
[CLB16] Y. Chen, . Li, K. Barkaoui, M. Uzam. "Monitor design with multiple self-loops for maximally permissive supervisors", ISA Transactions, vol. 61, pp. 129-140, 2016
[MB16] B. Marzougui, K. Barkaoui. "Agent Petri Nets Framework for Modeling Staphylococcus epidermidis Biofilm Formation", E-Health Telecommunication Systems and Networks (ETSN), vol. 5(1), pp. 19-30, 2016, (doi:10.4236/etsn.2016.51003 )

Conférence Internationale avec comité de lecture

[ETB16] M. Escheikh, Z. Tayachi, K. Barkaoui. "Workload-Dependent Software Aging Impact on Performance and Energy Consumption in Server Virtualized Systems", 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), October 2016, pp.111-118, Ottawa, Canada, (DOI: 10.1109/ISSREW.2016.31)
[OEB16] A. Outamazirt, M. Escheikh, K. Barkaoui. "Stochastic Model for Cloud Dada Center with M/G/c/c+r Queue", 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, October 2016, Vol. 1689, pp.77-84, Series {CEUR} Workshop Proceedings, Tunis , Tunisia, (DOI: http://ceur-ws.org/Vol-1689)
[A B16] S. Alouane-Ksouri, M. Sassi Hidri, K. Barkaoui. "Hybrid computing document similarity in large-scale environment", 12th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD), October 2016, pp.2159-2164, Changsha , China , (DOI: 10.1109/FSKD.2016.7603515)
[CUT16a] P. Courtieu, X. Urbain, S. Tixeuil, L. Rieg. "Certified Universal Gathering in {\textbackslash}mathbb {R} {\^{}}2 for Oblivious Mobile Robots", DISC 2016, Distributed Computing 30th International Symposium, September 2016, Vol. 9888, pp.187-200, Series LNCS, Paris, France, (DOI: 10.1007/978-3-662-53426-7_14)
[BBM16] M. Bouatit, S. Boumerdassi, P. Minet, A. Djama. "Fault-Tolerant Mechanism for Multimedia Transmission in Wireless Sensor Networks", IEEE Vehicular Technology Conference (VTC-Fall), September 2016, Vol. 84, pp.1-6, Montréal, Canada,
[AHB16] H. Ariouat, A. Hicheur-Cairns, K. Barkaoui, J. Akoka. "A Two-Step Clustering Approach for Improving Educational Process Model Discovery", 25th {IEEE} International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, {WETICE}, August 2016, pp.38-43, Paris , France, (DOI: 10.1109/WETICE.2016.18)
[CUT16] P. Courtieu, X. Urbain, S. Tixeuil, L. Rieg. "Brief Announcement: Certified Universal Gathering in R2 for Oblivious Mobile Robots", PODC '16: Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, July 2016, pp.439-441, Chicago, US, (DOI: 10.1145/2933057.2933070)
[BAM16] B. Bou-Fakreddine, S. Abou-Chakra, I. Mougharbel, A. Faye, Y. Pollet. "Short-Term Hydro Generation Scheduling of Cascade Plants Operating on Litani River Project", REDEC 2016 Conference, July 2016, Vol. 1(1), pp.6, Series 1, Beirut, Lebanon, (DOI: 10.1109/REDEC.2016.7577533 )
[Cro16] T. Crolard. "A verified abstract machine for functional coroutines", Proceedings of the Workshop on Continuations (WoC'15) - Satellite event of ETAPS 2015, June 2016, Vol. 212, pp.1-17, London, UK, (DOI: 10.4204/EPTCS.212.1)
[CDB16] L. Chamek, M. Daoui, S. Boumerdassi. "Prediction of a Mobile’s Location Based on Classification According to His Profile and His Communication Bil", Mobile, Secure, and Programmable Networking. MSPN 2016, June 2016, Vol. 10026, pp.63-75, Paris, France, (DOI: 10.1007/978-3-319-50463-6_6)
[BHK16] K. Barkaoui, A. Hicheur-Cairns, A. Kheldoun, D. Liu. "Modelling and analyzing home care plans using high-level Petri nets", 2016 13th International Workshop on Discrete Event Systems (WODES), June 2016, pp.284 - 290, Xian, China, (DOI: 10.1109/WODES.2016.7497861)
[BBD16] M. Bouatit, S. Boumerdassi, A. Djama. "A Geographic Multipath Routing Protocol for Wireless Multimedia Sensor Networks", International Conference on Mobile, Secure and Programmable Networking (MSPN), June 2016, Vol. 2, pp. 99-108, Paris, France,
[BR16] S. Boumerdassi, E. Renault. "A Flooding-Based Solution to Improve Location Services in VANETs", IEEE International Conference on Communications (ICC) 23-27 May 2016 , May 2016, pp.45-50, Kuala Lumpur, Malaysia,
[BAM16b] B. Bou-Fakreddine, S. Abou-Chakra, I. Mougharbel, A. Faye, Y. Pollet. "Optimal Multi-Crop Planning System Implemented Under Deficit Irrigation", MELECON 2016 Conference, April 2016, Vol. 1(1), pp.1-6, Series 1, Limassol, Cyprus, (DOI: 10.1109/MELCON.2016.7495480 )
[VVC16] S. Varoumas, B. Vaugon, E. Chailloux. "Concurrent Programming of Microcontrollers, a Virtual Machine Approach", 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), March 2016, pp.711-720, Toulouse, France,

Conférence Nationale avec comité de lecture

[Vig16] V. Viguie Donzeau-Gouge. "Appareiller un corps né avec un membre manquant Enjeux sociologiques et psychologiques de l’appareillage du corps agénésique ", XXe Congrès National Scientifique ISPO-France – International society for prosthétics and orthotics, November 2016, pp.**, Lille Grand Palais ; 17-18 novembre 2016, France,
[PSG16] O. Pons, J. Susini, N. Guedin, C. Thevenot. "Danse-doigts, jeu de motricité fine", Handicap 2016, June 2016, pp.6, France,
[DLP16] C. Dubois, N. Levy, T. Pham . "Vers un développement formel non incrémental", AFADL'2016, June 2016, pp.106-113, Besançon, France,
[BCF16] A. Bosser, P. Courtieu, J. Forest, M. Aponte. "Une preuve est (un programme) une histoire", Actes des Vingt-septièmes Journées Francophones des Langages Applicatifs JFLA 2016, January 2016, pp.171-172, Saint Malo, France,

Conférences Internationales sans actes

[CP16] P. Courtieu, C. Pit-Claudel. "Company-Coq: Taking Proof General one step closer to a real IDE", CoqPL'16: International Workshop on Coq for Programming Languages, St Petersburgh, United-States, Florida,

Livre

[Pol16] Y. Pollet. "Systèmes, architectures, intégration", December 2016, Ellipse, pp. 428, (isbn: 9782340-014862)
[PA16] Y. Pollet, A. Azarian. "Analyse fonctionnelle des systèmes", July 2016, Presses des Mines, pp. 231, (isbn: 978-2-35671-404-6)
[Del16] J. Delacroix. "Linux - 4e éd. : Programmation système et réseau - Cours et exercices corrigés ", February 2016, dunod,

Atelier, Poster ou Démonstration dans une Conférence Internationale

[DPT16] J. Dantan, Y. Pollet, S. Taibi. "A formal approach for the representation and the combination of imperfect data", Agrostat 2016 congress, March 2016, Vol. 1(1), pp.1, Series 1, Lausanne, Switzerland,
[ZBP16] H. Zaidi, F. Boufares, Y. Pollet. "Nettoyage de données guidé par la sémantique inter-colonnes", 16ème conférence Internationale Francophone sur l'Extraction et Gestion des Connaissances (EGC 2016), January 2016, pp.-, Reims, France,

2015

Revue Internationale avec comité de lecture

[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)
[CBM15] P. Courtieu, B. Bérard, L. Millet, M. Potop-Butucaru, L. Rieg, N. Sznajder, S. Tixeuil, X. Urbain. "[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems", International Journal of Informatics Society, vol. 7(3), pp. 101-114, 2015
[CAH15] Y. Chen, A. Al-Ahmari, C. Hon, N. Wu. "Equivalent Transformation of Nonlinear Constraints to Linear Constraints in Petri Nets", Mathematical Problems in Engineering, pp. 1-17, 2015
[DP15] J. Dantan, Y. Pollet. "Combination of Imperfect Data in Fuzzy and Probabilistic Extension Classes ", Journal of Environmental Accounting and Management, vol. 3(2), pp. 123-150, 2015, (doi:10.5890/JEAM.2015.06.004)
[CLB15] Y. Chen, . Li, K. Barkaoui, A. Giua. "On the Enforcement of a Class of Nonlinear Constraints on Petri Nets", Automatica, vol. 55(5), pp. 116-124, 2015
[CRT15a] P. Courtieu, L. Rieg, S. Tixeuil, X. Urbain. "Impossibility of Gathering, a Certification", Information Processing Letters, vol. 115, pp. 447-452, 2015, (doi:10.1016/j.ipl.2014.11.001)
[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)
[MB15] R. Milocco, S. Boumerdassi. "An efficient adaptive method for estimating the distance between mobile sensors", Wireless Networks, The Journal of Mobile Communication, Computation and Information,, vol. 21(8), pp. 2519-2529, 2015, (doi:10.1007/s11276-015-0930-3)
[BB15c] H. Boucheneb, K. Barkaoui. "Stubborn Sets for Time Petri Nets.", ACM Trans. Embedded Comput. Syst., vol. 14(1), pp. 11-25, 2015, (doi:http://dl.acm.org/citation.cfm?doid=2680541)

Revue Nationale avec comité de lecture

[SDG15] D. Sadoun, C. Dubois, Y. Ghamri-Doudane, B. Grau. "Représentation et vérification d'un environnement intelligent à partir de spécifications utilisateur en langage naturel", Revue d'Intelligence Artificielle , vol. 29(1), pp. 47-81 , 2015, (doi:10.3166/ria.29.47-81 )

Conférence Internationale avec comité de lecture

[MLH15] A. Methni, M. Lemerre, S. Haddad, K. Barkaoui, B. Ben Hedia. "Verifying and Constructing Abstract TLA Specifications: Application to the Verification of C programs", The Tenth International Conference on Software Engineering Advances - ICSEA 2015 : , November 2015, pp.56-61, Barcelone, Spain,
[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)
[BB15] H. Boucheneb, K. Barkaoui. "Strongly generalized soundness of Time Workflow Nets", ACSD 2015- 15th International Conference on Application of Concurrency to System Design, October 2015, pp.10-20, Series IEEE Computer Society, Belgique,
[DPT15] J. Dantan, Y. Pollet, S. Taibi. "A formal model to compute uncertain continuous data", CS-DC'15 World e-conference (Complex Systems Digital Campus) , September 2015, pp.1-11, FRANCE,
[ZPB15] H. Zaidi, Y. Pollet, F. Boufares, N. Kraiem. "Semantic of Data Dependencies to Improve the Data Quality", 5th International Conference on Model and Data Engineering MEDI2015, September 2015, pp.53-61, Rhodes, Greece,
[BDJ15] G. Burel, G. Dowek, Y. Jiang. "A completion method to decide reachability in rewrite systems", 10th International Symposium on Frontiers of Combining Systems, September 2015, pp.--, Series LNAI, Wroclaw, Poland,
[MBL15a] A. Methni, K. Barkaoui, M. Lemerre, S. Haddad, B. Ben Hedia. " State Space Reduction Strategies for Model Checking Concurrent C Programs", 9th Workshop on Verification and Evaluation of Computer and Communication Systems(VECoS'15), September 2015, Vol. 1431, pp.65-76, Series CEUR Workshop Proceedings, Bucharest, Romania,
[SB15] Z. Sbai, K. Barkaoui. "On quantitative Analysis of Time Open Workflow Nets and Parametric Extension", The 9th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, September 2015, Vol. 1431, pp.97-10, Series CEUR Workshop Proceedings, Bucharest, Romania,
[GBR15] F. Gbaguidi, S. Boumerdassi, E. Renault, E. Eugène. "Characterizing servers workload in Cloud Datacenters", The International Conference on Future Internet of Things and Cloud, August 2015, pp.29-34, Italy,
[AB15] A. Assaf, G. Burel. "Translating HOL to Dedukti", Fourth Workshop on Proof eXchange for Theorem Proving, August 2015, pp.--, Series EPTCS, Berlin, Germany,
[PBB15] K. Pallavali Radha , S. Bouzefrane, S. Boumerdassi. "CBUPRE to Secure MANETs from DoS Attacks", International Conference on Mobile, Secure and Programmable Networking (MSPN'2015), June 2015, pp.163–175, Series LNCS 9395, France, (DOI: 10.1007/978-3-319-25744-0_14)
[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,
[MBL15] A. Methni, K. Barkaoui, M. Lemerre, S. Haddad, B. Ben Hedia. "Specifying and Verifying Concurrent C Programs with TLA+", Formal Techniques for Safety-Critical Systems, April 2015, Vol. 476, pp.206-222, Series Communications in Computer and Information Science, Luxembourg, (DOI: 10.1007/978-3-319-17581-2_14)
[LBS15] A. Louati, K. Barkaoui, Z. Sbai. "Formal Verification of UML2 Timing Diagrams Based on Time Petri Nets", The 5th International Conference on Information Systems and Technologies (ICIST 2015), March 2015, pp.12-22, Istanbul, Turkey,
[ABA15] H. Ariouat, K. Barkaoui, J. Akoka. "Improving process models discovery using AXOR Clustering Algorithm", International Conference on Information Science and Applications, February 2015, Vol. 339(Springer Berlin Heidelberg), pp.pp 623-629, Series Lecture Notes in Electrical Engineering, Berlin, (DOI: 10.1007/978-3-662-46578-3_73)

Conférence Nationale avec comité de lecture

[EBJ15] M. Escheikh, K. Barkaoui, H. Jouini. "Modélisation et étude de performance de l’équilibrage de charge LTE par ajustement dynamique des paramètres du handover:", 10ème Colloque Francophone sur la Modélisation des Systèmes Réactifs MSR 2015, November 2015, pp.1-12, Nancy, France,
[DF15] M. Djenouhat, B. F. "A K-Based Specification of Web Services ", June 2015,
[DER15] C. Dubois, S. Elloumi, B. Robillard, C. Vincent. "Graphes et couplages en Coq", Journées Francophones des langages applicatifs (JFLA), January 2015, pp.235-248, Val d'Ajol, France,

Conférences invitées

[CAC15] T. Crolard, M. Aponte, P. Courtieu, J. Lawall. "Formal Methods for Critical Systems: A verified implementation of nested procedures", International Conference on Applied Research in Computer Science and Engineering (ICAR'15), October 2015, pp.1, Lebanon, (DOI: 10.1109/ARCSE.2015.7338125)
[Cro15] T. Crolard. "A verified abstract machine for functional coroutines", Workshop on Continuations (WoC'15) - Satellite event of ETAPS 2015, April 2015, pp.1-19, London, UK, (DOI: 10.7146/aul.4.4)

Directions d'ouvrages scientifiques

[DMM15] C. Dubois, P. Masci, D. Méry. "Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015", July 2015, EPTCS,

Atelier, Poster ou Démonstration dans une Conférence Internationale

[DP15a] J. Dantan, Y. Pollet. "A systemic Meta-Model for Socio-Environmental Systems",
[DPT15a] J. Dantan, Y. Pollet, S. Taibi. "A systemic Meta-Model for socio-Environmental Systems", Sixth International Conférence on Complex Systems Designe & Management (CSDM2015), November 2015, pp.307-307, PARIS, FRANCE, (DOI: 10.1007/978-3-319-26109-6_33)
[PDL15] T. Pham , C. Dubois, N. Levy. "Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules", Formal Methods and Analysis in SPL Engineering (FMSPLE 2015), April 2015, Vol. 182, pp.44-55, London, UK, (DOI: 10.4204/EPTCS.182)

Rapport Scientifique

[BB15b] M. Bouatit, S. Boumerdassi. "Routing protocols for Wireless Multimedia Sensor Networks: A Survey", Date de dépot: 2015/11/22, Nb pages 10, (Tech. Rep.: CEDRIC-15-3467)
[Cro15b] T. Crolard. "A verified abstract machine for functional coroutine (companion technical report)", Date de dépot: 2015/04/12, Nb pages 11, (Tech. Rep.: CEDRIC-15-3514)

2014

Revue Internationale avec comité de lecture

[CB14] Y. Chen, K. Barkaoui. "Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and UnobservableTransitions", Asian Journal of Control, vol. 16(6), pp. .1646-1658, 2014
[BBb14] H. Boucheneb, K. Barkaoui. "Partial order reduction for checking soundness of time workflow nets", Information Sciences, vol. 282, pp. 261-276, 2014, (doi:10.1016/j.ins.2014.06.006)
[SBB14] B. S, K. Barkaoui, F. Belala, H. Boucheneb. "Transactional Petri nets: a semantic framework for UML2 activities", International Journal of Critical Computer-Based Systems, vol. 5(No 3/4), pp. 241-267, 2014
[A B14] S. Alouane-Ksouri, M. Sassi Hidri, K. Barkaoui. "Grid-Based Fuzzy Processing for Parallel Learning the Document Similarities", International Journal of Service Science, Management, Engineering, and Technology (IJSSMET), vol. 5, pp. 66-83, 2014, (doi:10.4018/ijssmet.2014010104)
[BB14] H. Boucheneb, K. Barkaoui. "On combining the ready sets with the covering steps methods", International Journal of Critical Computer-Based Systems (IJCCBS), vol. 5(1/2), pp. 55-77, 2014
[CL 14a] Y. Chen, Z. Li, M. Zhou. "Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach.", IEEE Transactions on Automation Science and Engineering (T-ASE), vol. 11(2), pp. 549-563, 2014, (doi:10.1109/TASE.2013.2241762)
[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)
[CLB14] Y. Chen, Z. Li, K. Barkaoui, M. Uzam. "New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs", IEEE Transactions on Systems Man and Cybernetics: Systems, vol. 44(10), pp. 1384-1400, 2014
[MCB14] R. Milocco, H. Costantini, S. Boumerdassi. "Improved geographic routing in sensor networks subjected to localization errors Improved geographic routing in sensor networks subjected to localization errors", Ad Hoc Networks, pp. 476-486, 2014
[CLBa14] Y. Chen, Z. Li, K. Barkaoui. "Maximally Permissive Liveness-Enforcing Supervisor with Lowest Implementation Cost for Flexible Manufacturing Systems", Information Sciences, vol. 256, pp. 74-90, 2014

Conférence Internationale avec comité de lecture

[ABR14a] M. Abbas, C. Ben Yelles, R. Rioboo. "Generating FoCaLiZe Specifications from UML Models", International Conference on Advanced Aspects of Software Engineering, ICAASE, November 2014, Vol. 1294, pp.157--164, Series CEUR-WS,
[DFB14a] M. Djenouhat, B. F, K. Barkaoui. "Defining and Executing Bigraphical Model in Maude ", The 5th International Conference on Communications, Computers and Applications -MIC-CCA 2012, October 2014, pp.101-106, Istanbul, Turkey,
[ABR14] M. Abbas, C. Ben Yelles, R. Rioboo. "Modeling UML Template Classes with FoCaLiZe", Integrated Formal Methods, September 2014, pp.87--102, Series LNCS,
[A Ba14] S. Alouane-Ksouri, M. Sassi Hidri, K. Barkaoui. "Text Retrieval Based on Dyadic Conceptual Projection", 25th International Workshop on Database and Expert Systems Applications (DEXA), 2014 , September 2014, pp.198 - 202, Series IEEE, (DOI: 10.1109/DEXA.2014.50)
[BR14] S. Boumerdassi, E. Renault. "Mutual Authentication Method for WSNs based on the Three-Card Trick Ancient Card Game", 80th IEEE Vehicular Technology Conference. VTC Fall, September 2014, pp.2-8, Series VTC, Vancouver, Canada,
[BBc14] H. Boucheneb, K. Barkaoui. "Delay-Dependent Partial Order Reduction Technique for Time Petri Nets", 12th International Conference, FORMATS 2014 - Lecture Notes in Computer Science , September 2014, Vol. 8711, pp. 53-68, Series Lecture Notes in Computer Science, (DOI: 10.1007/978-3-319-10512-3_5)
[EJB14] M. Escheikh, H. Jouini, K. Barkaoui. "A versatile traffic and power aware performability analysis of server virtualized systems", IEEE 22nd International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems - MASCOTS 2014, September 2014, pp.45-51, (DOI: http://ieeexplore.ieee.org/)
[EJB14a] M. Escheikh, H. Jouini, K. Barkaoui. "A Versatile Traffic and Power Aware Performability Analysis of Server Virtualized Systems ", IEEE 22nd International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems - MASCOTS 2014, September 2014, pp.207-212, Series IEEE, Paris, France, (DOI: 10.1109/MASCOTS.2014.34)
[DR14] C. Dubois, R. Rioboo. "Verified functional iterators using the FoCaLiZe environment", Software Engineering and Formal Methods, September 2014, pp.317--331, Series LNCS,
[RB14] E. Renault, S. Boumerdassi. "Towards an Energy-Efficient Tool for Processing the Big Data", The International Conference on Future Internet of Things and Cloud, August 2014, pp.20-25, Barcelona, Spain,
[A Bb14] S. Alouane-Ksouri, M. Sassi Hidri, K. Barkaoui. "A tripartite graph-based fuzzy co-similarities for document retrieval", 11th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD), 2014 , August 2014, pp.575-580, Series IEEE, (DOI: 10.1109/FSKD.2014.6980898)
[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)
[LBJ14] A. Louati, K. Barkaoui, C. Jerad. "Time properties Verification of UML/MARTE Real-Time Systems", Proceedings of the 15th {IEEE} International Conference on Information Reuse and Integration, {IRI} 2014, August 2014, pp.386-393, Redwood City CA, USA,
[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)
[PDT14a] Y. Pollet, J. Dantan, S. Taibi. "Taking account of uncertain, imprecise and incomplete data in sustainability assessments in agriculture", ICCSA 2014 - 14th International Conference on Computational Science and Its Applications, July 2014, Vol. III, pp.625–639, Guimarães, Portugal,
[PDT14] Y. Pollet, J. Dantan, S. Taibi. "A goal-oriented meta-model for scientific research", ICCSA 2014 - 14th International Conference on Computational Science and Its Applications , June 2014, Vol. V, pp.762–774, Guimarães, Portugal,
[DT14] J. Dantan, S. Taibi. "Taking account of uncertain, imprecise and incomplete data in sustainability assessments in agriculture", ICCSA 2014, 14th International Conferenceon Computational Science and Its Applications, June 2014, Vol. III, pp.625–639, Guimarães, Portugal,
[KZB14] A. Kheldoun, J. Zhang, K. Barkaoui, M. Ioulalen. "A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems ", 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems ADECS 2014, June 2014, Vol. 1161, pp.36-51, Series CEUR Workshop Proceedings,
[SBBa14] Z. Sbaï, K. Barkaoui, H. Boucheneb. "Compatibility Analysis of Time Open Workflow Nets", International Workshop on Petri Nets and Software Engineering (PNSE 2014), June 2014, Vol. 1160, pp.249-268, Series CEUR Workshop Proceedings, (DOI: ISSN 1613-0073)
[EJBa14] M. Escheikh, H. Jouini, K. Barkaoui. "Performance analysis of a novel downlink scheduling algorithm for LTE systems", International Conference on Advanced Networking Distributed Systems and Applications, INDS, June 2014, pp.13-18, Series CPS,
[CLBb14] Y. Chen, Z. Li, K. Barkaoui. "Maximally Permissive Petri Net Supervisors with a Novel Structure", WODES 2014 - 12th IFAC International Workshop on Discrete Event Systems, June 2014, pp.1-8,
[SB14] Z. Sbaï, K. Barkaoui. "On compatibility analysis of inter organizational business processes", 10th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS 2014), June 2014, Vol. 191, pp.171-186, Series LNBIP, (DOI: ISBN 978-3-662-44860-1)
[DDM14] D. Delahaye, C. Dubois, C. Marché, D. Mentré. "The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations", Abstract State Machines, Alloy, B, VDM, and Z (ABZ), June 2014, pp.-,
[CAD14] R. Cauderlier, A. Assaf, C. Dubois. "Objects and subtyping in the lambda-Pi-calculus modulo,", TYPES 2014, May 2014, pp.2, Paris, France,
[DB 14] L. Ding, K. Barkaoui, M. Zhou. "Intrinsically Live Structures in Process and Resource-Oriented Petri Nets Modeling Automated Manufacturing Systems", IEEE 11th International Conference on Networking, Sensing and Control (ICNSC 2014), April 2014, pp.578-583, Miami, USA,
[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,
[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,
[DBB14] M. Djenouhat, F. Belala, K. Barkaoui. "Une Approche Basée K pour la Description de Services Web", ICAIIT2014 - Conférence internationale sur l'intelligence artificielle et les technologies de l’information , March 2014, pp.12-20,

Conférence Nationale avec comité de lecture

[ECB14] M. Ezzedinne, H. Costantini, K. Barkaoui. "On the efficiency of scheduling algorithms in LTE networks", 10 ième édition du colloque francophone sur la Gestion de Réseaux Et de Services - GRES 2014, December 2014, pp.25-29,
[DFB14] M. Djenouhat, B. F, K. Barkaoui. "A K-Based Specification of Web Services ", CAL2014 - Conférence Francophone sur les Architecture Logicielles, June 2014, pp.1-7,

Directions d'ouvrages scientifiques

[DD14] D. Delahaye, C. Dubois. "Proceedings of the first workshop about Sets and Tools, SETS 2014, affiliated to ABZ 2014", June 2014, Informal proceedings,
[DGM14] C. Dubois, D. Giannakopoulou, D. Méry. "Proceedings of the first workshop on Formal Integrated Development Environment, F-IDE 2014, ETAPS satellite event", April 2014, EPTCS,

Chapitres de Livre

[BE14] K. Barkaoui, M. Eslamichalandar. "Software Architecture: Service Adaptation Techniques in the Context of Web Services Composition", Titre du livre: "Software Architecture 1 - Edited by Mourad Chabane Oussalah ", May 2014, John Wiley & Sons, Ltd, pp. 211-240, (doi: 10.1002/9781118930960) (isbn: 9781848216006)
[PLL14] Y. Pollet, N. Levy, F. Losavio. "Architecture and Quality of Software Systems", Titre du livre: "Software Architectures 2", May 2014, Wiley, pp. 133-170 , (isbn: 978-1-84821-688-4)

Mémoire de Thèse

[LIU14] G. Liu. "Supervisor Synthesis for Automated Manufacturing Systems Based on Structural Theory of Petri Nets", Soutenue le: 27 November 2014, pp. 182,
[Mar14] B. Marzougui. "Contribution à la Modélisation et à la Vérification des Systèmes Multi Agents", Soutenue le: 12 June 2014, pp. 172,
[Ben14] V. Benayoun. " Analyse de dépendances ML pour les évaluateurs de logiciels critiques", Soutenue le: 16 May 2014, pp. 238,

Rapport Scientifique

[GB14] F. Gbaguidi, S. Boumerdassi. "Taxonomy of energy efficiency methods for cloud data centers", Date de dépot: 2014/11/18, Nb pages 10, (Tech. Rep.: CEDRIC-14-3129)
[GBa14] F. Gbaguidi, S. Boumerdassi. "State of the art on data flow prediction methods in computers networks.", Date de dépot: 2014/11/10, Nb pages 10, (Tech. Rep.: CEDRIC-14-3130)
[CRT14] P. Courtieu, L. Rieg, S. Tixeuil, X. Urbain. "Impossibility of Gathering, a Certification", Date de dépot: 2014/05/22, Nb pages 10, (Tech. Rep.: CEDRIC-14-3016)

Autres

[BL14] K. Barkaoui, D. Liu. "An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets",

datepub: June 2014,

2013

Revue Internationale avec comité de lecture

[BBB13] S. Boufenara, K. Barkaoui, F. Belala, H. Boucheneb. "Transactional Petri Nets : A Semantic Framework for UML2 Activities", International Journal of Critical Computer-Based Systems (IJCCBS), pp. 1-6, 2013
[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
[HB13] P Heidira, H. Boucheneb. "Controller Synthesis of Time Petri Nets Using Stopwatch", Journal of Engineering, pp. 1-6, 2013
[LB13] G. Liu, K. Barkaoui. "Necessary and sufficient liveness condition of GS3PR Petri nets", International Journal of Systems Science, pp. 1-14, 2013, (doi:10.1080/00207721.2013.827257)
[LL 13a] D. Liu, Z. Li, M. Zhou. "A Liveness and Ratio-Enforcing Supervisor for Flexible Manufacturing Systems Modeled by a Class of Generalized Petri Nets", Automatica, vol. 49(11), pp. 3167-3179, 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)
[MBBa13] B. Marzougui, K. Barkaoui, N. Ben Haj Alouane. "APN Model for Specification of the Communication Protocols in Multi-Agent System", Journal of Software Engineering and Applications, vol. 6(Special Issue on Software Engineering for Safety-Critical Systems and Medical Devices), pp. 14-22, 2013, (doi:10.4236/jsea.2013.69A002 )
[MB13] B. Marzougui, K. Barkaoui. "Interaction Protocols in Multi-Agent Systems based on Agent Petri Nets Model", International Journal of Advanced Computer Science and Applications ( IJACSA ) , vol. 4(7), pp. 166-173, 2013, (doi:2013/08/02 07:12:30 GMT-6)
[MHB13] B. Marzougui, K. Hassine, K. Barkaoui. "Modeling Migration of Mobile Agents", Lecture Notes in Business Information Processing- Springer, vol. 132, pp. 530-540, 2013, (doi:10.1007/978-3-642-36285-9_54)
[JBD13] M. Jacquel, K. Berkani, D. Delahaye, C. Dubois. "Verifying B proof rules using deep embedding and automated theorem proving", Software & Systems Modeling (SoSym), pp. online, 2013, (doi:10.1007/s10270-013-0322-z)
[LLB13] G. Liu, Z. Li, K. Barkaoui, A. Al-Ahmari. "Robustness of deadlock control for a class of Petri nets with unreliable resources", Information Sciences, vol. 235, pp. 259-279, 2013
[A B13] S. Alouane-Ksouri, M. Sassi Hidri, K. Barkaoui. "Partitioned-based Fuzzy Clustering to Learn Documents' Triadic Similarity", International Journal of Recent Contributions from Engineering, Science & IT., vol. 1(2013), pp. 5-12, 2013
[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 )
[HB13a] P Heidira, H. Boucheneb. "Maximally Permissive Controller Synthesis for Time Petri Nets", International Journal of Control, vol. 86(3), pp. 1-6, 2013
[CLA13] Y. Chen, Z. Li, A. Al-Ahmari. "Nonpure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems", IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 43(2), pp. 252-265, 2013
[DJ13] D. Delahaye, M. Jacquel. "Recovering Intuition from Automated Formal Proofs using Tableaux with Superdeduction", Electronic Journal of Mathematics and Technology (eJMT), vol. 7(2), pp. online, 2013
[LL 13] D. Liu, Z. Li, M. Zhou. "Hybrid Liveness-Enforcing Policy for Generalized Petri Net Models of Flexible Manufacturing Systems", IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS: SYSTEMS, vol. 43(1), pp. 85-97, 2013
[BBc13] H. Boucheneb, K. Barkaoui. "Reducing interleaving semantics redundancy in reachability analysis of time Petri nets", ACM Transactions in Embedded Computing Systems (TECS) , vol. 12(1), pp. 1-24, 2013
[CL13] Y. Chen, G. Liu. "Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams", ACM Transactions on Embedded Computing Systems, vol. 12(1), pp. 3:1-3:15, 2013

Revue Nationale avec comité de lecture

[SB13] Z. Sbaï, K. Barkaoui. "Vérification formelle des processus workflow - Extension aux workflows inter-organisationnels", revue Ingénierie des Systèmes d'Information (ISI), 2013., vol. 18(No. 5,), pp. 33-57, 2013, (doi:1633-1311)

Conférence Internationale avec comité de lecture

[A Ba13] S. Alouane-Ksouri, M. Sassi Hidri, K. Barkaoui. "Parallel architectures for fuzzy triadic similarity learning", International Conference on Control, Engineering & Information Technology (CEIT), December 2013, Vol. 1(Proceedings Engineering & Technology), pp.121-126, Series CoRR, 2013, (DOI: http://arxiv.org/abs/1312.6273)
[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.-,
[BBAa13] R. Benosman, K. Barkaoui, Y. Albrieux. "A New Dynamic IPC-Memory Allocator Based on a Paging Approach", International Conference on High Performance Computing & Simulation (HPCS 2013), November 2013, pp.382-389,
[ABC13] C. Auger, Z. Bouzid, P. Courtieu, S. Tixeuil, X. Urbain. "Certified Impossibility Results for Byzantine-Tolerant Mobile Robots", International Symposium on Stabilization, Safety, and Security of Distributed Systems, November 2013, Vol. 8255, pp.15, Series LNCS, Osaka, Japon,
[CAC13] P. Courtieu, M. Aponte, T. Crolard, Z. Zhang, Robby, J. Belt, J. Hatcliff, J. Guitton, T. Jennings. "Extended abstract: Towards the Formalization of SPARK 2014 Semantics with Explicit Run-time Checks Using Coq", High Integrity Language Technology - ACM SIGAda’s Annual International Conference, November 2013, pp.2, Series ACM Digital Library, US,
[SDG13] D. Sadoun, C. Dubois, Y. Ghamri-Doudane, B. Grau. "From Natural Language Requirements to Formal Specification Using an Ontology", IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013), November 2013, pp.755-760, Herndon, VA, USA, (DOI: 10.1109/ICTAI.2013.116)
[BBAb13] R. Benosman, K. Barkaoui, Y. Albrieux. "Exploiting concurrency for the ESB architecture", International Conference on Engineering of Complex Computer Systems (ICECCS 2013), October 2013, pp.84-88,
[ABC13a] C. Auger, Z. Bouzid, P. Courtieu, S. Tixeuil, X. Urbain. "Brief Announcement: Certified impossibility results for Byzantine-tolerant mobile robots", International Symposium on Distributed Computing (DISC2013), October 2013, Vol. 8205, pp.2, Series LNCS, Jerusalem, Israel,
[LLO13] N. Levy, F. Losavio, O. Ordaz, A. Baiotto. "Graph Modelling of a Refactoring Process for Product Line Architecture Design", XXXIX Latin American Computing Conference, CLEI 2013, October 2013, Vol. 1, pp.2-13, Club Puerto Azul, Naiguatá, Venezuela,
[BC13] G. Burel, S. Cruanes. "Detection of First Order Axiomatic Theories", Frontiers of Combining Systems 2013, September 2013, Vol. 8152, pp.229-244, Series LNCS, Nancy, France, (DOI: 10.1007/978-3-642-40885-4_16)
[RIB13] A Randolph, A Imine, H. Boucheneb, A Quintero. "Specification and Verification using Alloy of Optimistic Access Control for Distributed Collaborative Editors", 18th International Workshop on Formal Methods for Industrial Critical Systems, Lecture Notes in Computer Science, September 2013, pp.1-6,
[HMB13] N. Harrath, B. Monsuez, K. Barkaoui. "Verifying SystemC with Predicate Abstraction: a Component Based Approach", On the 14th International Conference on Information Reuse and Integration (IEEE IRI), August 2013, San Francisco, USA,
[HMBa13] N. Harrath, B. Monsuez, K. Barkaoui. " Verifying SystemC with Predicate Abstraction: a Component Based Approach", On the 14th International Conference on Information Reuse and Integration (IEEE IRI), August 2013, San Francisco, USA,
[PD13] Y. Pollet, J. Dantan. "The G.O.A.L. Approach", ENASE 2013, International Conference on Evaluation of Novel Approaches to Software Engineering, July 2013, pp.173-180,
[A Bb13] S. Alouane-Ksouri, M. Sassi Hidri, K. Barkaoui. "A Parallel Comparator of Documents", DEXA Workshops 2013, June 2013, pp.48-52,
[L O13] T. Le., F. Dmitriy , H. Olivier, M. Matthieu, R. Pawlak, R. Rioboo. "Programming Robots with Events", The 4th International Embedded Systems Symposium, June 2013, Vol. 403, pp.14-25, Series IFIP Advances in Information and Communication Technology, Paderborn, Germany,
[RSB13] G. Rawand, Z. Sbaï, K. Barkaoui. "Modeling and formal verification framework of Web services composition", International Conference on Control, Engineering & Information Technology (CEIT'13), Proceedings Engineering & Technology, June 2013, Vol. 2(2013), pp.140-145,
[LHB13] D. Liu, Y. Hou, K. Barkaoui, M. Zhou. "Liveness and Resource Usage Ratio-Enforcing Supervisor for a Class of Generalized Petri Nets", 10th IEEE International Conference on Control and Automation, June 2013, pp.1278-1283, Hangzhou, China,
[BLR13] H. Boucheneb, D Lime, O. Roux. "On multi-enabledness in time Petri nets", 34th International Conference on Application and Theory of Petri Nets and other models of concurrency (Petri nets 2013), June 2013, pp.1-6,
[LOM13] T. Le., H. Olivier, M. Matthieu, R. Pawlak, R. Rioboo. "Using event-based style for developing M2M applications", The 8th International Conference on Grid and Pervasive Computing, May 2013, Vol. 7861, pp.348-357, Series Lecture Notes in Computer Science, Seoul, kr,
[CLL13] Y. Chen, D. Liu, G. Liu, K. Barkaoui. "Computation of Resource Circuits of Petri Nets by Using Binary Decision Diagrams", 5th International Conference On Modeling, Simulation and Applied Optimization, April 2013, pp.1-6, Hammamet, Tunisia,
[LJBb13] A. Louati, C. Jerad, K. Barkaoui. "On CPN-based Verification of Hierarchical Formalization of UML2 Interaction Overview Diagrams", 5th International Conference On Modeling, Simulation and Applied Optimization, (IEEE-ICMSAO 2013), April 2013, pp.1-6,
[BBA13] R. Benosman, K. Barkaoui, Y. Albrieux. "Design and Implementation of a Massively Parallel ESB", International Symposium on Programming and Systems (ISPS’2013), April 2013, pp.89 - 95,
[EMH13] A. Eltoumi, B. Marzougui, K. Hassine. "Modelling of loading and unloading system of a ship by a mullti-agents system ", Computer Applications Technology (ICCAT), 2013 International Conference on , January 2013, pp.1-6, (DOI: 10.1109/ICCAT.2013.6521971 )

Conférence Nationale avec comité de lecture

[MBB13] A. Methni, K. Barkaoui, B. Ben Hedia, S. Haddad, M. Lemerre. "Traduction automatique du code C vers TLA+", Ecole temps réel, August 2013, pp.pp.12-16, France,
[DG13] C. Dubois, A. Gotlieb. "Solveurs CP(FD) vérifiés formellement", Neuvièmes Journées Francophones de Programmation par Contraintes (JFPC 2013), June 2013, pp.115-118, Aix-en-Provence,
[DDT13] D. Delahaye, C. Dubois, P. Tollitte. "RelExt : Synthèse de code à partir de spécifications inductives ", AFADL 2013, April 2013, pp.4 pages, Nancy, France,

Conférences invitées

[Del13] D. Delahaye. "Automated Deduction Modulo", Proof-Search in Axiomatic Theories and Type Theories (PSATTT), November 2013, pp.online, Palaiseau, France,

Conférences Internationales sans actes

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

Chapitres de Livre

[BE13] K. Barkaoui, M. Eslamichalandar. "Adaptation de Services dans le Contexte de Composition de Services Web Titre du livre "Architectures logicielles : Principes, techniques et outils"", Titre du livre: "Architectures logicielles : Principes, techniques et outils sous la direction de Mourad Oussalah, Editions Hermes Sciences-Lavoisier", December 2013, Hermes Sciences-Lavoisier, pp. 75-106 , (doi: 2111-0360) (isbn: 978-2-7462-4517-4)
[LLP13] N. Levy, F. Losavio, Y. Pollet. "Architecture et qualité de systèmes logiciels", Titre du livre: "Architectures logicielles : principes, techniques et outils", December 2013, Hermès Sciences-Lavoisier, pp. 265-302, (isbn: 978-2-7462-4517-4)
[BAR13] K. Barkaoui. "Liveness, Deadlock-Freeness, and Siphons", Titre du livre: "Embedded Computing Systems: Applications, Optimization, and Advanced Design", April 2013, IGI Global, pp. 65-78 , (doi: 10.4018/978-1-4666-3922-5) (isbn: 13: 9781466639225)

Atelier, Poster ou Démonstration dans une Conférence Internationale

[DFG13] C. Dubois, M. Famelis, M. Gogolla, L. Nobrega, I. Ober, . Seidl, M. Völter. "Research Questions for Validation and Verification in the Context of Model-Based Engineering", Model-Driven Engineering, Verification, and Validation (MoDeVVa 2013), satellite event of MODELS 2013, October 2013, pp.10 pages, Miami, Floride, USA,

Mémoire de Thèse

[Esl13] M. Eslamichalandar. "Web Service Composition Compatibility: Adaptation in the presence of Business Protocol Evolution ", Soutenue le: 19 December 2013, pp. 85,
[Ben13] R. Benosman. "Conception et Évaluation de Performances d'un Bus Applicatif, Massivement Conception et Évaluation de Performances d'un Bus Applicatif, Massivement Parallèle et Orienté ServiceConception et Évaluation de Performances d'un Bus Applicatif, Massivement Conception et Évaluation de Performances d'un Bus Applicatif, Massivement Parallèle et Orienté Service", Soutenue le: 12 December 2013, pp. 140,
[Tol13] P. Tollitte. "Extraction de code fonctionnel certifié à partir de spécifications inductives", Soutenue le: 06 December 2013, pp. 180,
[Jac13] M. Jacquel. "Automatisation des preuves pour la vérification des règles de l'Atelier B", Soutenue le: 23 April 2013, pp. 190,

2012

Revue Internationale avec comité de lecture

[BCB12] H. Bennoui, A. Chaoui, K. Barkaoui. "ON STRUCTURAL ANALYSIS OF INTERACTING BEHAVIORAL PETRI NETS FOR DISTRIBUTED CAUSAL MODEL-BASED DIAGNOSIS", International Journal of Foundations of Computer Science, vol. 23 (07), pp. 1523-1541, 2012, (doi:10.1142/S0129054112500220)
[CL 12a] Y. Chen, Z. Li, M. Zhou. "Most permissive Petri net supervisors for flexible manufacturing systems", International Journal of Production Research, vol. 50(22), pp. 6357-6371, 2012
[CL12a] Y. Chen, Z. Li. "On Structural Minimality of Optimal Supervisors for Flexible Manufacturing Systems", Automatica, vol. 48(10), pp. 2647-2656, 2012
[MB12] B. Marzougui, K. Barkaoui. "تصوّر نموذج لمرسوم التّفاعل في الأنظمة المتعدّدة الوكلاء", Arabic Computer Sociaty, vol. 5(August), pp. 65-77, 2012
[LL 12] D. Liu, Z. Li, M. Zhou. "Erratum to “Liveness of an Extended S3PR [Automatica 46 (2010) 1008-1018]", Automatica, vol. 48(5), pp. 1003-1004, 2012
[CL 12] Y. Chen, Z. Li, M. Zhou. "Behaviorally Optimal and Structurally Simple Liveness-enforcing Supervisors of Flexible Manufacturing Systems", IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, vol. 42(3), pp. 615-629, 2012
[HM12a] N. Harrath, B. Monsuez. "SystemC Waiting State Automata", International Journal of Critical Computer-Based Systems,, vol. 3, pp. 60-95, 2012
[HM12] N. Harrath, B. Monsuez. "SystemC Waiting State Automata", International Journal of Critical Computer-Based Systems, vol. 3(1–2/2012), pp. 60-95, 2012, (doi:10.1504/IJCCBS.2012.045077)

Revue Nationale avec comité de lecture

[LSL12] N. Levy, S. Stéphane Jean, F. Losavio, A. Matteo. "Prise en compte des standards de qualité et des préférences utilisateurs pour la modélisation des propriétés non fonctionnelles dans OWL-S", Technique et Science Informatiques (TSI) , vol. 31(1), pp. 39-69, 2012

Conférence Internationale avec comité de lecture

[BBA12] R. Benosman, K. Barkaoui, Y. Albrieux. "Performance Evaluation of a Massively Parallel ESB-Oriented Architecture", International Conference on Service Oriented Computing & Applications (SOCA 2012) , December 2012, pp.1-4,
[TDD12] P. Tollitte, D. Delahaye, C. Dubois. "Producing Certified Functional Code from Inductive Specifications", International Conference on Certified Programs and Proofs (CPP 2012), December 2012, Vol. 7679, pp.76-91, Series LNCS, Kyoto, Japan,
[EBM12] M. Eslamichalandar, K. Barkaoui, H. Motahari-Nezhad. "Service Composition Adaptation: an Overview ", 2nd International Workshop on Advanced Information Systems for Enterprises (IWAISE'12), November 2012, pp.1-8,
[ABD12] P. Ayrault, V. Benayoun, C. Dubois, F. Pessaux. "ML Dependency Analysis for Assessors", International Conference on Software Engineering and Formal Methods (SEFM'12), October 2012, Vol. 7504, pp.278-292, Series LNCS, Thessaloniki, Greece,
[DB 12] L. Ding, K. Barkaoui, M. Zhou. "On Intrinsically Live Structure of a Class of Generalized Petri Nets Modeling FMS", 11th International Workshop on Discrete Event Systems - WODES 2012, October 2012, pp.187-192, Series IFAC,
[OBB12] H Ould-Slimane, M Bnade, H. Boucheneb. "A Collaborative Environment for Knowledge Sharing Governed by ABAC Policies", 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom, October 2012, pp.1-6,
[BB12c] H. Boucheneb, A Bullich. "FIFO Time Petri Nets for conflicts handling", 11th International Workshop on Discrete Event Systems (WODES), October 2012, pp.1-6,
[C L12] Y. Chen, M. Zhou, X. Li. "Maximally Permissive Control of Flexible Manufacturing Systems with Fewest Disjunctive Constraints", the 2012 International Conference on Advanced Mechatronic Systems, September 2012, pp.424-429,
[BHB12] K. Barkaoui, A. Hicheur, A. Ben Dhieb . "Modeling and Analysis of Flexible Healthcare Processes: Breast Cancer Treatment Case Study", Foundations of Health Information Engineering and Systems - FHIES 2012 -co located event of FM 2012, August 2012, pp.1-16,
[CAM12] P. Courtieu, M. Aponte, Y. Moy, M. Sango. "Maximal and Compositional Pattern-Based Loop Invariants", Formal method 2012 (FME), August 2012, Vol. 7436, pp.37-51, Series LNCS, Paris, France,
[EB12] M. Escheikh, K. Barkaoui. "Survivability Analysis of VMIMO link in Multi-hop Wireless Network", The 6th International Workshop on Verification and Evaluation of Computer and Communication Systems VECoS 2012, August 2012, pp.1-8,
[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,
[HL 12] Y. Hou, D. Liu, M. Zhou. "On iterative liveness-enforcement for a class of generalized Petri nets", 8th IEEE International Conference on Automation Science and Engineering, August 2012, pp.184-189, Seoul, kr,
[CPG12] P. Courtieu, C. Paulin-Mohring, D. Gross-Amblard, D. Baelde. "Toward provably robust watermarking", Interactive theorem proving (TPHOLs), August 2012, pp.0-0, Series LNCS,
[RBI12] A Randolph, H. Boucheneb, A Imine, A Quintero. "On Synthesizing a Consistent Operational Transformation Approach", 4th International Workshop on Verification of Infinite-State Systems (INFINITY), August 2012, pp.1-6,
[LOM12] T. Le., H. Olivier, M. Matthieu, R. Pawlak, R. Rioboo. "Unifying Event-based and Rule-based Styles for Concurrent and Reactive Applications", The 7th International Conference on Software Paradigm Trends, July 2012, pp.347-350, Rome, Italy,
[BBb12] H. Boucheneb, K. Barkaoui. "Parametric Verification of Time Workflow Nets", 24th International Conference on Software Engineering (SEKE), July 2012, pp.375-380,
[BBR12] A Bullich, H. Boucheneb, O. Roux. "Refinement of time Petri nets semantics in conflict situations", 9th International Conference on Cybernetics and Information Technologies, Systems and Applications: CITSA 2012, July 2012, pp.1-6, USA,
[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,
[DJR12a] D. Doligez, M. Jaume, R. Rioboo. "Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment", ACM SIGPLAN Seventh Workshop on Programming Languages and Analysis for Security (PLAS 2012) , June 2012, pp.A paraitre,
[BBc12] H. Boucheneb, K. Barkaoui. "Reachability Analysis of P-time Petri Nets with Parametric Marking", 12th conference of Application of Concurrency to System Design (ACSD), IEEE computer society press, June 2012, pp.72-81,
[CDG12] M. Carlier, C. Dubois, A. Gotlieb. "A first step in the design of a formally verified constraint-based testing tool: FocalTest", Tests and Proofs , May 2012, Vol. 7305, pp.35--50, Series LNCS, Prague, TCHEQUE, REPUBLIQUE,
[CB12] H. Costantini, S. Boumerdassi. "Social Mobility Models Realism versus Real Traces", 2012 IEEE Wireless Communications and Networking Conference: Mobile and Wireless Networks (IEEE WCNC 2012 Track 3 Mobile and Wireless), April 2012, pp.10-20, Paris, FRANCE,
[EBa12] M. Escheikh, K. Barkaoui. "Network Availability Modeling of VMIMO link in Multi-hop Wireless Network", 4th IEEE International Workshop on Performance Evaluation of Communications in Distributed Systems and Web based Service Architectures (PEDISWESA'12) , March 2012, pp.1-6,
[PDT12] Y. Pollet, J. Dantan, S. Taibi. "Semantic Indexation of Web Services for Collaborative Expert Activities", IADIS International Conference on Information Systems 2012, March 2012, pp.57-64,

Conférence Nationale avec comité de lecture

[SBa12] Z. Sbaï, K. Barkaoui. "Vérification Formelle des Processus Workflow Collaboratifs", Conférence francophone sur les Systèmes Collaboratifs (SysCo’12), May 2012, pp.197-200,
[JR12] M. Jaume, R. Rioboo. "Développement de systèmes sécurisés avec l'atelier Focalize,", 23èmes Journées Francophones des Langages Applicatifs (JFLA 2012), February 2012, pp.104--118, Carnac, France,
[SDG12] D. Sadoun, C. Dubois, Y. Ghamri-Doudane, B. Grau. "Formalisation en OWL pour vérifier les spécifications d'un environnement intelligent. ", congrès francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'12) , January 2012, pp.8 pages, Lyon,
[BDD12] K. Berkani, D. Delahaye, C. Dubois, M. Jacquel, M. Keogh, E. Le Lay. "BCARe : un environnement pour la vérification de règles de l’Atelier B ", Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012), January 2012, pp.46-49, Grenoble, France,

Conférences Internationales sans actes

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

Livre

[DEL12] J. Delacroix. "Linux : programmation système et réseau, 4eme édition", April 2012, Sciences Sup, Dunod, pp. 384, (isbn: 9782100576371 )
[BFD12] K. Barkaoui, D. Florian, S. Dustdar. "BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II", February 2012, Springer-Verlag, pp. 480p, (isbn: ISBN 978-3-642-28114-3)

Chapitres de Livre

[BJL12] K. Berkani, M. Jacquel, E. Le Lay. "BCARe : Contrôle automatique des règles ajoutées à SIEMENS", Titre du livre: "Utilisations industrielles des techniques formelles : méthode B. dirigé par J-L Boulanger. Hermes Science (à paraître)", September 2012, Hermes / Lavoisier, pp. -,
[HB12a] P Heidira, H. Boucheneb. "A Forward On-The-Fly Approach in Controller Synthesis of Time Petri Nets", Titre du livre: "Petri Nets - Manufacturing and Computer Science", August 2012, InTech, pp. 60-70, (isbn: 978-953-51-0700-2)

Brevet et Normes

[BA12] R. Benosman, Y. Albrieux. "PROCEDE D'EXECUTION PARALLELE D'UNE PLURALITE DE TACHES INFORMATIQUES ",

Atelier, Poster ou Démonstration dans une Conférence Internationale

[PDT12a] Y. Pollet, J. Dantan, S. Taibi. "A KDD Process to retrieve and aggregate data from relational databases", IADIS International Conference on Information Systems (IS 2012), March 2012, pp.443-445,

Mémoire de Thèse

[Dem12] V. Demange. "Vers un calcul des constructions pédagogique", Soutenue le: 07 December 2012, pp. 139,

Rapport Scientifique

[CBc12] H. Costantini, S. Boumerdassi. "Social Semi-Flooding Location Service", Date de dépot: 2012/12/20, Nb pages 10, (Tech. Rep.: CEDRIC-12-2690)
[CBb12] H. Costantini, S. Boumerdassi. "OLSR community sensing", Date de dépot: 2012/12/20, Nb pages 8, (Tech. Rep.: CEDRIC-12-2691)
[CBe12] H. Costantini, S. Boumerdassi. "Addition of ACS to Social Mobility Models and Implementation in Normal and Dense Networks", Date de dépot: 2012/12/20, Nb pages 7, (Tech. Rep.: CEDRIC-12-2692)
[CBd12] H. Costantini, S. Boumerdassi. "Opnet Modeler - Création de composants graphiques", Date de dépot: 2012/12/18, Nb pages 23, (Tech. Rep.: CEDRIC-12-2688)
[CBa12] H. Costantini, S. Boumerdassi. "Fondements du Network-coding", Date de dépot: 2012/12/18, Nb pages 15, (Tech. Rep.: CEDRIC-12-2689)
[CAS12] P. Courtieu, M. Aponte, M. Sango, Y. Moy. "Maximal and Compositional Pattern-Based Loop Invariants - Definitions and Proofs", Date de dépot: 2012/05/24, Nb pages 14, (Tech. Rep.: CEDRIC-12-2555)

2011

Revue Internationale avec comité de lecture

[ZLB11] C. Zhong, Z. Li, K. Barkaoui. "Monitor Design for Siphon Control in S4R Nets: From Structure Analysis Points of View ", International Journal of Innovative Computing, Information and Control (ICIC - ISSN 1349-4198), vol. 7(12), pp. 6677-6690, 2011
[BMP11] K. Barkaoui, B. Monsuez, D. Poitrenaud. "Special Issue on Verification and Evaluation of Computer and Communication Systems - Part I", International Journal of Critical Computer-Based Systems (IJCCBS) Inderscience Publishers, vol. 2(3/4, 2011), pp. 414, 2011, (doi:1757-8779)
[BBBb11] K. Barkaoui, C. Bouanaka, F. Belala. "A tile logic-based semantics for mobile software architectures", International Journal of Critical Computer-Based Systems (IJCCBS) Inderscience Publishers, vol. 2(3/4), pp. 288-308, 2011
[ALN11a] M. Aponte, G. Levieux, S. Natkin. "Measuring the level of difficulty in single player video games", Entertainment Computing, pp. 205-213, 2011, (doi:10.1016/j.entcom.2011.04.001)
[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)
[BB11] H. Boucheneb, K. Barkaoui. "Relevant Timed Schedules / Clock Vectors for Constructing Time Petri Net Reachability Graphs", Discrete Event Dynamic Systems: Theory and Applications, vol. 21(2 - 2011), pp. 171-204 , 2011
[BBBa11] M. Benammar, F. Belala, K. Barkaoui. "Implémentation Orientée Objet d'ABAReL en Maude", Technique et Science Informatiques, vol. 30, pp. 741-767, 2011

Conférence Internationale avec comité de lecture

[SD11] S. Stratulat, V. Demange. "Automated Certification of Implicit Induction Proofs", Certified Programs and Proofs, December 2011, Vol. 7086, pp.37-53, Series Lecture Notes in Computer Science, Kenting, Taiwan, (DOI: 10.1007/978-3-642-25379-9_5)
[ABa11] R. Abo, K. Barkaoui. "Performability Evaluation With Probabilistic Model Checking For Mobile Wireless Sensor Networks", WLN'11, 11th IEEE International Workshop on Wireless Local Networks , December 2011, pp.22-30, Bonn, Germany,
[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. - ,
[HM11] N. Harrath, B. Monsuez. " A WCET Estimation Workflow Based on the TWSA Model of SystemC Designs", On the 32nd IEEE Real-Time Systems Symposium (RTSS), November 2011, Wien, Austria,
[M B11] B. Marzougui, Z. Abderrahim, M. Bousada. "Modeling of Dynamic Placement Problem of Task by a Multi Agent Systems", 2010 The 3rd International Conference on Computer and Electrical Engineering (ICCEE 2010), November 2011, pp.166-171,
[JBD11] M. Jacquel, K. Berkani, D. Delahaye, C. Dubois. "Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving.", Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, November 2011, Vol. 7041, pp.253-268, Series LNCS, Montevideo, Uruguay,
[BE11] K. Barkaoui, M. Escheikh. "Performance analysis of packet bursting scheme in IEEE 802.11e WLANs under slow rayleigh fading with non markovian stochastic Petri nets", 7th ACM symposium on QoS and security for wireless and mobile networks, November 2011, pp.9-16,
[ALN11] M. Aponte, G. Levieux, S. Natkin. "Difficulty in Video Games : An Experimental Validation of a Formal Definition", Advances in Computer Enterntainment, November 2011,
[LOM11a] T. Le., H. Olivier, M. Matthieu, R. Pawlak. "Dynamic Adaptation through Event Reconfiguration", On the Move to Meaningful Internet Systems: OTM 2011 Workshops, October 2011, pp.637-646, Series Lecture Notes in Computer Science, Crete, Greece,
[LLM11] N. Levy, F. Losavio, A. Matteo, A. Ramdane-Cherif, H. Hadj Salem. "Quality Standards Ontology for Web Service Discovery", XXXVII Conferencia Latinoamericana de Inforática (CLEI 2011), October 2011, pp.625-624, Quito, Ecuador,
[HMD11] N. Harrath, B. Monsuez, J. Delacroix. "Building SystemC Waiting State Automata", On the Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS), September 2011, pp.108-119 , Tunis, Tunisia,
[HCB11] L. Harfouche, H. Costantini, S. Boumerdassi. "Social Mobility Models using Ant Colony Systems", Proceedings of the 22nd IEEE Personal Indoor Mobile Radio Communications (PIMRC'11 - WNHC), September 2011, pp.75-85, Toronto, Canada,
[BCF11] A. Bosser, P. Courtieu, J. Forest, M. Cavazza. "Structural Analysis of Narratives with the Coq Proof Assistant.", Interactive theorem proving (TPHOLs), August 2011, Vol. 6898, pp.55--70, Series Lecture Notes in Computer Science, Berg en Dal, The Netherlands,
[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)
[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,
[AB11] R. Abo, K. Barkaoui. "A Performability Analysis of Mobile Wireless Sensor Networks with Probabilistic Model Checking", The 7th IEEE co-sponsored international conference on Wireless Advanced, Center for Telecommunication Research, King’s College (Strand Campus), June 2011, pp.25-34, London, United Kingdom,
[TCG11] O. Taofifenua, H. Chale, T. Gaudré, A. Topa, N. Levy, J. Boulanger. "Reducing the Gap Between Formal and Informal Worlds in Automotive Safety-Critical Systems", 21th annual INCOSE International Symposium, June 2011, Denver, USA,
[BDR11] R. Ben Mosbah, S. Dourlens, A. Ramdane-Cherif, N. Levy, F. Losavio. "Web Service Platform for Engineering Design Optimization of a Mechatronic Multi-parts Component", International Conference on Computer Systems and Technologies (CompSysTech’11), June 2011, pp.280-285, Vienna, Austria,
[BDR11a] R. Ben Mosbah, S. Dourlens, A. Ramdane-Cherif, N. Levy, F. Losavio. "Information management of mechatronic systems materials", International Conference on Computer Systems and Technologies (CompSysTech’11), June 2011, pp.273-279, Vienna, Austria,
[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,
[CRBa11] H. Costantini, E. Renault, S. Boumerdassi. "Future Internet in the Clouds ", New Technologies of Distributed Systems (NOTERE), 2011, May 2011, pp.1 - 5 , PARIS, FRANCE, (DOI: 10.1109/NOTERE.2011.5957976 )
[BBBd11] K. Barkaoui, F. Belala, C. Bouanaka. "Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems ", NOTERE 2011, 11th annual International Conference on New Technologies of Distributed Systems, May 2011, pp.1-8, Paris, France,
[CRB11] H. Costantini, E. Renault, S. Boumerdassi. "User-centric in the clouds to save our future... internet", Networking and Future Internet (ICNFI), 2011, April 2011, pp.12-19, PARIS, FRANCE,
[CLBa11] Y. Chen, Z. Li, K. Barkaoui. "Optimal Petri net supervisor with lowest implemental cost for flexible manufacturing systems ", IEEE 16th International Conference on Emerging Technologies & Factory Automation (ETFA), 2011 , February 2011, pp.1 - 6 , Series IEEE/IET (IEL), (DOI: 10.1109/ETFA.2011.6059027 )
[BD11] K. Barkaoui, A. Dhiab. "On the Modeling of Healthcare Workflows Using Recursive ECATNets", Business Process Management Workshops , February 2011, Vol. 100(2), pp.99-107, Series Lecture Notes in Business Information Processing, Clermont-Ferrand, France, (DOI: 10.1007/978-3-642-28115-0_10 )
[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 )

Conférence Nationale avec comité de lecture

[BBB11] N. Benlahrache, F. Belala, K. Barkaoui. "Description formelle du Déploiement d'Architectures AADL basée sur les Systèmes Réactifs Bigraphiques ", CAL'2011, 5ème Conférence Francophone sur les Architectures Logicielles, June 2011, pp.15-29, Lille, France,
[BBBc11] N. Benlahrache, F. Belala, K. Barkaoui. "Description formelle du Déploiement d'Architectures AADL basée sur les Systèmes Réactifs Bigraphiques ", CAL'2011, 5ème Conférence Francophone sur les Architectures Logicielles, June 2011, , June 2011, pp.15-29,
[ABb11] R. Abo, K. Barkaoui. "Vérification et Évaluation de la Performabilité dans les Réseaux de Capteurs Sans-fils Mobiles - Application au Milieu Hospitalier", ARC 2011, 4e colloque « Automatique et Réseaux de Communication (ARC) », April 2011, pp.15-23, Paris, France,

Conférences invitées

[Dub11] C. Dubois. "Tutorial: introduction to Coq", TOOLS 2011, June 2011, pp.tutorial, Zurich, Switzerland,

Conférences Internationales sans actes

[CBP11] P. Courtieu, D. Baelde, C. Paulin-Mohring, X. Urbain, D. Gross-Amblard. "Formal Proofs of Robustness for Watermarking Algorithms", TYPES WOKSHOP 2011,
[Bur11a] G. Burel. "Consistency Implies Cut Admissibility", International Workshop on Proof-Search in Axiomatic Theories and Type Theories, Wroclaw, Poland,

Livre

[BFDa11] K. Barkaoui, D. Florian, S. Dustdar. "BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I ", September 2011, Springer-Verlag, pp. 482 p., (isbn: 978-3-642-28107-5)
[DCa11] J. Delacroix, A. Cazes. "Architecture des machines et des systèmes informatiques, Quatrième édition", February 2011, Sciences Sup, Dunod, pp. 464p, (isbn: 9782100563289)

Chapitres de Livre

[BKM11] A. Baiotto, F. Kaakai, R. Marcano, D. Drago. "Efficient Method Developed by Thales for Safety Evaluation of Real-to-Integer Discretization and Overflows in SIL4 Software", Titre du livre: "Static analysis of software : the abstract interpretation", October 2011, ISTE WILEY, pp. 273-317, (isbn: 978-1848213203)
[BKM11a] A. Baiotto, F. Kaakai, R. Marcano, D. Drago. "Analyse statique de code : une méthode intégrée outillée développée par Thales pour l'étude du passage en entiers et des débordements pour des composants logiciels SIL4", Titre du livre: "Utilisation industrielles des techniques formelles – interprétation abstraite", June 2011, Hermes science,

Rapport Scientifique

[CD11a] L. Colson, V. Demange. "Investigations on a Pedagogical Calculus of Constructions", Date de dépot: 2011/05/16, Nb pages 18, (Tech. Rep.: CEDRIC-11-2736)
[BCC11] A. Bosser, M. Cavazza, P. Courtieu, J. Forest. "Structural Analysis of Narratives with the Coq Proof Assistant", Date de dépot: 2011/03/01, Nb pages 16, (Tech. Rep.: CEDRIC-11-2061)
[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)

2010

Revue Internationale avec comité de lecture

[Abo10b] R. Abo. "Introduction to a Requirements Engineering Framework for Aeronautics", Journal of Software Engineering and Applications, vol. 3(9), pp. pp.894-900, 2010
[BB10] K. Barkaoui, R. Ben Ayed. "Uniform Verification of Workflow Soundness", Transactions of the Institute of Measurement and Control Journal, vol. 31, pp. 1-16, 2010
[EB10] M. Escheikh, K. Barkaoui. "Opportunistic MAC Layer Design with Stochastic Petri Nets for Multimedia Ad Hoc Networks", In Concurrency and Computation Journal : Practice and Experience, vol. 22(10), pp. 1308-1324, 2010
[BBB10] S. Boufenara, F. Belala, K. Barkaoui. "Mapping UML 2.0 Activities to Zero-Safe Nets", Journal of Software Engineering and Applications, vol. 3(5), pp. 426-435, 2010
[ZBB10] H. Zayani, K. Barkaoui, R. Ben Ayed. "Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol", International Journal of Wireless & Mobile Networks, vol. 2(2), pp. 156-170, 2010
[MB10] A. Missaoui, K. Barkaoui. "A Neuro-Fuzzy Model for QoS Based Selection of Web Service", Journal of Software Engineering and Applications, vol. 3(6), pp. 588-592, 2010
[BBBb10] S. Boufennara, F. Belala, K. Barkaoui. "Mapping UML2.0 Activities to Zero-Safe Nets", Journal of Software Engineering and Applications (JSEA), vol. 3(5), pp. 426435, 2010
[CBB10] A. Choutri, F. Belala, K. Barkaoui. "A Tile Logic Based Approach for Software Architecture Description Analysis", Journal of Software Engineering and Applications (JSEA), vol. 3(11), pp. 1067-1079, 2010
[MHB10] B. Marzougui, K. Hassine, K. Barkaoui. "A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets", Journal of Software Engineering and Applications (JSEA), vol. 3(12), pp. 1118-1124, 2010
[KSB10] Y. Kissoum, Z. Sahnoun, K. Barkaoui. "Model-based testing approach for mobile agents using the paradigm of reference net", Multiagent and Grid Systems, vol. 6(4), pp. 271-292, 2010

Revue Nationale avec comité de lecture

[MSB10] A. Missaoui, Z. Sbai, K. Barkaoui. "Vérification Formelle des Aspects de Cohérence dun Workflow net", Revue électronique Sciences et Technologies de lAutomatique (e-STA), vol. 7(1), pp. 37-41, 2010

Conférence Internationale avec comité de lecture

[ABZ10] R. Abo, K. Barkaoui, H. Zayani. "A Probabilistic Analysis of Energy Efficiency of Wireless Sensor Network Duty-Cycled MAC Protocols: Application to S-MAC and Eco-MAC", Q2SWinet'10, 6th ACM/IEEE International Symposium on QoS and Security for Wireless and Mobile Networks (in conjunction with MsWim'10), October 2010, pp.15-27, Bodrum, Turkey,
[RCA10] E. Renault, H. Costantini, E. Amar, S. Boumerdassi. "Semi-Flooding Location Service : a Cross-Layer Design", PE-WASUN'10, 7th ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, Bodrum (Turquie), Octobre 2010, October 2010, pp.44-49,
[Abo10] R. Abo. "Introduction to a Requirements Engineering Framework for Aeronautics", IWRA'10, 2nd International Workshop on Requirements Analysis, Middlesex University, The Burroughs, Hendon campus (London), September 2010, pp.10-17, GB,
[RAC10] E. Renault, E. Amar, H. Costantini, S. Boumerdassi. "Semi-Flooding Location Service", Vehicular Technology Conference Fall (VTC 2010-Fall), 2010, September 2010, pp.1-5, Ottawa, Canada, (DOI: 10.1109/VETECF.2010.5594281 )
[MSBa10] A. Missaoui, Z. Sbai, K. Barkaoui. "Model Checking Verification of Web Services Composition", ACT4SOC'10, 4th International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing, Athens, Greece, 23 July, July 2010, pp.80-92,
[CDG10] M. Carlier, C. Dubois, A. Gotlieb. "Constraint Reasoning in FocalTest", ICSOFT'10, 5th Int. Conf. on Software and Data Technologies, July 2010, Vol. 2, pp.82-91, Athènes, Grèce,
[ABD10] R. Abo, K. Barkaoui, K. Djouani. "Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi", SN'10, 3rd International Workshop on Sensor Networks (in conjunction with IEEE ICDCS'10), June 2010, pp.65-74, Genoa, Italy,
[BBBa10] C. Bouanaka, F. Belala, K. Barkaoui. "A Tile Logic Based Semantics for Mobile Software Architecture", VECoS'10, 4th International Workshop on Verification and Evaluation of Computer and Communication Systems, Paris, France, 1 - 2 July 2010, January 2010, pp.35-47, Series The eWiC Series (ISSN 1477-9358),
[BEK10] K. Barkaoui, M. Eslamichalandar, M. Kaabachi. "Structural Verification of Web Services Composition Compatibility", EOMAS 2010, 6th International Workshop on Enterprise & Organizational Modeling and Simulation, Hammamet, Tunisia, June 7 - 8, 2010., January 2010, pp.30-41, Series CEUR Workshop Proceedings , ISSN 1613-0073,
[SMB10] Z. Sbai, A. Missaoui, K. Barkaoui, R. Ben Ayed. "On the Verification of Business Processes by Model Checking Techniques", ICSTE'10, 2nd International Conference on Software Technology and Engineering, San Juan, Puerto Rico, USA. October 3-5, January 2010, pp.97-103,
[BBa10] H. Boucheneb, K. Barkaoui. "On interleaving in {P,A}-Time Petri nets with strong semantics", INFINITY'10, 12th International Workshop on Verification of Infinite-State Systems, Singapore, 21st of September 2010, January 2010, Vol. 39, pp.17-31, Series EPTCS,
[CCF10] E. Contejean, P. Courtieu, J. Forest, A. Paskevich, O. Pons, X. Urbain. "A3PAT, an Approach for Certified Automated Termination Proofs", PEPM'10 Proceedings of the 2010 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, Madrid, Spain, January 2010, pp.10,
[CGP10] P. Courtieu, G. Gbedo, O. Pons. "Improved Matrix Interpretation", SOFSEM'10, Int. Conf. on Current Trends in Theory and Practice of Computer Science, , January 2010, Vol. 5901, pp.12, Series LNCS, Spindleruv Ml{\'y}n, Czech Republic,
[BRA10] S. Blazy, B. Robillard, A. Appel. "Formal Verification of Coalescing Graph-Coloring Register Allocation", ESOP'10, European Symposium On Programming, Paphos (Chypre), January 2010, pp.145-164, Series LNCS,

Conférence Nationale avec comité de lecture

[DDT10] D. Delahaye, C. Dubois, P. Tollitte. "Génération de code fonctionnel certifié à partir de spécifications inductives dans l'environnement Focalize", Journées Francophones des Langages Applicatifs (JFLA'10), January 2010, pp.55-81, Series Studia informatica universalis , La Ciotat ,
[ROB10] B. Robillard. "Complexite de la coloration avec preferences dans les graphes bipartis", CongrÃ¨s ROADEF 2010, January 2010,

Conférences Internationales sans actes

[ALN10] M. Aponte, G. Levieux, S. Natkin. "La définition et la mesure du niveau de difficulté dans un jeu solo: une approche quantitative", Futur Game On 2010, Paris, France,

Conférences Nationales sans actes

[CRB10] H. Costantini, E. Renault, S. Boumerdassi. "L'apport des Clouds à l'Internet du futur", DE NOUVELLES ARCHITECTURES POUR LES COMMUNICATIONS (DNAC), 2010, PARIS, FRANCE,

Directions d'ouvrages scientifiques

[DRA10] D. Delahaye, R. Rioboo, S. Autexier, J. Calmet, P. Ion, L. Rideau, A. Sexton. "Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings", July 2010, Springer,

Mémoire de Thèse

[R10] B. Robillard. "Vérification formelle et optimisation de l'allocation de registres", Soutenue le: 30 November 2010, pp. nn,
[RS10] B. Robillard, E. Soutil. "Vérification formelle et optimisation de l’allocation de registres ", Soutenue le: 30 October 2010, pp. 180,

Mémoire de HDR

[Del10] D. Delahaye. "Assisting Users of Proof Assistants", Soutenue le: 09 December 2010,
[Urb10] X. Urbain. "Preuve automatique : techniques, outils et certification", Soutenue le: 29 November 2010, pp. 77,

2009

Revue Internationale avec comité de lecture

[Rio09] R. Rioboo. "Invariants for the FoCaL language", Annal of Mathematics and Artificial Intelligence, vol. 56(3), pp. 273-296, 2009
[BL09] S. Blazy, X. Leroy. "Mechanized semantics for the Clight subset of the C language", JAR, Journal of Automated Reasoning, vol. 43(3), pp. 263-288, 2009

Conférence Internationale avec comité de lecture

[CBa09] H. Costantini, S. Boumerdassi. "802.11e standard in ad hoc network: QoS, disabling acknowlegment", IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (PacRim), 2009. , August 2009, pp.588 -593, Victoria, B.C., , Canada, (DOI: 10.1109/PACRIM.2009.5291305)
[EB09] M. Escheikh, K. Barkaoui. "Opportunistic MAC Layer Design with Stochastic Petri Nets for Multimedia Ad Hoc Networks", ISCC'09, 14th IEEE Symposium on Computers and Communications, Sousse, Tunisia, July 5-8, July 2009, pp.23-29,
[HM09] N. Harrath, B. Monsuez. "Timed SystemC Waiting State Automata", On the Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS), July 2009, pp.60-72, Rabat, Morroco, (DOI: http://hal.archives-ouvertes.fr/hal-00672908/)
[HM09a] N. Harrath, B. Monsuez. "Timed SystemC Waiting State Automata", On the Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS), July 2009, pp.60-72, Rabat, Morroco, (DOI: http://hal.archives-ouvertes.fr/hal-00672908/)
[BCB09] H. Bennoui, A. Chaoui, K. Barkaoui. "Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets", ISPDC'09, 8th International Symposium on Parallel and Distributed Computing, Lisbon, Portugal, June 30 - July 4, June 2009, pp.99-106,
[ABSb09] N. Aoumeur, K. Barkaoui, G. Saake. "On modelling adaptive service-oriented business processes", AICCSA 2009, 7th ACS/IEEE International Conference on Computer Systems and Applications, June 2009, pp.47–52, Rabat, Morocco,
[ABa09] N. Aoumeur, K. Barkaoui. "Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes", ICIW'09, Fourth International Conference on Internet and Web Applications and Services, Venice/Mestre, Italy, May 24-28, May 2009, pp.474-480,
[KSB09] Y. Kissoum, Z. Sahnoun, K. Barkaoui. "An Approach for Testing Mobile Agents Using the Nets within Nets Paradigm", RCIS'09, 3rd IEEE International Conference on Research Challenges in Information Science, Fez, Morocco, April 22-24, April 2009, pp.207-216, Series IEEE,
[BR09] S. Blazy, B. Robillard. "Live-Range Unsplitting for Faster Optimal Coalescing", LCTES'09 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, January 2009, pp.70-79, Series ACM,
[SA09] M. Simonot, M. Aponte. "A declarative formal approach to dynamic reconfiguration", IWOCE '09, Amsterdam, The Netherlands, January 2009, pp.1--10,
[ALN09] M. Aponte, G. Levieux, S. Natkin. "Scaling the Level of Difficulty in Single Player Video Games", Proceedings of the 8th International Conference on Entertainment Computing, January 2009, pp.24--35, Paris, France, (DOI: http://dx.doi.org/10.1007/978-3-642-04052-8_3)
[BBHa09] K. Barkaoui, H. Boucheneb, A. Hicheur. "Modeling and Analyzing Time-Constrained Flexible Workflows with Time Recursive Petri Nets", WS-FM'08, 5th International Workshop on Web Services and Formal Methods, Milan, Italy, January 2009, Vol. 5387, pp.19-36, Series LNCS,
[ABSc09] N. Aoumeur, K. Barkaoui, G. Saake. "Rapid-prototyping of Adaptive Component-based Systems using Runtime Aspectual Interactions", RSP'09, 20th IEEE/IFIP Int. Symp. on Rapid System Prototyping, Paris, France, January 2009, pp.19-26,
[BBH09] K. Barkaoui, H. Boucheneb, A. Hicheur. "Design and Verification of Time-Constrained Workflow with Multi-Level Security", DCDS'09, 2nd IFAC Workshop on Dependable Control of Discrete Systems, Bari, Italy, January 2009, pp.25-32,
[BBD09] A. Bedoui, K. Barkaoui, K. Djouani. "Performance Evaluation of the IEEE 802.11 WLAN Supporting QoS", FeT'09, 8th IFAC International Conference on Fieldbuses and neTworks in industrial and embedded systems, Ansan, Korea, January 2009, pp.27-34,
[BBM09] K. Barkaoui, C. Bouanaka, J. Molina Espinosa. "An Event Structure Based Coordination Model for Collaborative Sessions", ICEIS'09, 11th International Conference on Enterprise Information Systems, Milan, Italy, January 2009, pp.137-143, Series Information Systems Analysis and Specification,
[ABS09] N. Aoumeur, K. Barkaoui, G. Saake. "A Multi-Dimensional Architectural Approach to Behavior-Intensive Adaptive Pervasive Applications", ISWPC'09, 4th Int. Symp. on Wireless Pervasive Computing, Melbourne, Australia, January 2009, pp.1-8, Series IEEE,
[BB09] H. Boucheneb, K. Barkaoui. "On combining the ready sets with the covering steps methods", VECoS'09, 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems, Rabat, Morroco, January 2009, pp.74-84, Series eWiC Series,
[ABSd09] N. Aoumeur, K. Barkaoui, G. Saake. "Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications", ECBS'09, 16th Annual IEEE Int. Conf. on the Engineering of Computer Based Systems, San Fransisco, USA, January 2009, pp.138-146, Series IEEE,
[CDB09] J. Chen, K. Djouani, K. Barkaoui. "Orthogonal and Non-orthogonal Cooperative protocols in WLANs", VECoS'09, 3rd IEEE International Workshop on Verification and Evaluation of Computer and Communication Systems, Rabat, Morroco, January 2009, pp.40-53, Series eWiC Series,
[ABSe09] N. Aoumeur, K. Barkaoui, G. Saake. "Towards a Disciplined Engineering of Adaptive Service-oriented Business Processes", ICIW'09, 4th IEEE International Conference on Internet and Web Applications and Services, Venice/Mestre, Italy, January 2009, pp.474-480, Series IEEE,
[HB09] A. Hicheur, K. Barkaoui. "Modelling and Analysing of Time Constrained and Reconfigurable Manufacturing Processes", INCOMÂ09, 13th IFAC Symposium on Information control Problems in Manufacturing, Moscow, Russia, January 2009, pp.1949-1954,
[BBa09] H. Boucheneb, K. Barkaoui. "Covering Steps Graphs of Time Petri Nets", INFINITY'08, 10th International Workshop on Verification of Infinite-State Systems, Toronto, Canada, January 2009, pp.155-165, Series ENTCS,
[ABSf09] N. Aoumeur, K. Barkaoui, G. Saake. "Rapid-prototyping of Adaptive Component-based Systems using Runtime Aspectual Interactions", RSP'09, 20th IEEE/IFIP International Symposium on Rapid System Prototyping, Paris, France, January 2009, pp.19-26,
[SBB09] Z. Sbai, K. Barkaoui, R. Ben Ayed. "Workflow Modeling and Analysis using Petri Nets", ICICS'09, 7th International Conference on Information, Communications and Signal Processing, Macau, 8-10 December, 2009, January 2009, pp.25-33,
[ABSg09] N. Aoumeur, K. Barkaoui, G. Saake. "Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications", ECBS'09, 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, San Francisco, California, USA, January 2009, pp.138-146,
[CGP09a] P. Courtieu, G. Gbedo, O. Pons. "Matrix interpretations revisited", Extended Abstracts of the 10th International Workshop on Termination, WST'09, Leipzig, Germany, Ju, January 2009, pp.4,
[NR09] I. Noyer, R. Rioboo. "Reusing Proofs in a Mathematical Library", Calculemus 2009, January 2009,
[AB09] E. Amar, S. Boumerdassi. "Enhancing Location Services with Prediction", IWCMC'09, International Wireless Communications and Mobile Computing Conference, Leipzig, Germany, January 2009, pp.1025-1029,

Conférence Nationale avec comité de lecture

[ABS09b] M. Aponte, V. Benayoun, M. Simonot. "Modélisations de la reconfiguration dynamique en Focal", AFADL'09 Approches formelles dans l'assistance au dÃ©veloppement des Logiciels, Toulouse, January 2009, pp.105-119,
[BBB09] M. Benammar, F. Belala, K. Barkaoui, N. Benlahrache. " Extension d'ABAReL par les Propriétés d'Exécution.", CAL'09, 3ième Conférence sur les Architectures Logicielles, Nancy, France, January 2009, pp.28-41, Series CAL 2009,
[ABSa09] N. Aoumeur, K. Barkaoui, G. Saake, C. Rautenstrauch. "On Agile Service-oriented Business Processes: Activity-centric ECA-Architectural Foundation with Aspectual .NET Environment", WWS'09, 1er Workshop sur les Services Web dans les SystÃ¨mes d'Information, Algiers, Algeria, January 2009, pp.1-11,
[CDH09] M. Carlier, C. Dubois, L. Habib, M. Jaume. "Politique de contrôle d'accès multi-niveaux : test de conformité vis à vis des flots avec l'outil FoCaL", AFADL'09 Approches formelles dans l'assistance au dÃ©veloppement des Logiciels, Toulouse, January 2009,

Conférences invitées

[BRS09] S. Blazy, B. Robillard, E. Soutil. "Vérification formelle d'un algorithme d'allocation de registres par coloration de graphe", January 2009,

Directions d'ouvrages scientifiques

[DUB09] C. Dubois. "Tests and Proofs", January 2009, Springer,

Mémoire de Thèse

[Car09a] M. Carlier. "Test automatique de propriétés dans un atelier de développement de logiciels sûrs", Soutenue le: 07 October 2009, pp. 186,

Rapport Scientifique

[BRA09] S. Blazy, B. Robillard, A. Appel. "Formal Verification of Coalescing Graph-Coloring Register Allocation", Date de dépot: 2009/01/01, Nb pages 32 pages, (Tech. Rep.: CEDRIC-09-1832)
[CDG09] M. Carlier, C. Dubois, A. Gotlieb. "Constraint Reasoning in FocalTest", Date de dépot: 2009/01/01, Nb pages 36, (Tech. Rep.: CEDRIC-09-1703)

2008

Revue Internationale avec comité de lecture

[LB08a] X. Leroy, S. Blazy. "Formal verification of a C-like memory model and its uses for verifying program transformations", JAR, Journal of Automated Reasoning, vol. 41(1), pp. 1-31, 2008
[BBC08] K. Barkaoui, M. Broy, A. Cavalcanti, A. Cerrone. "Guest Editorial", Formal Aspects of Computing Journal, vol. 20(4), pp. 349-350, 2008
[DLM08] F. Duran, S. Lucas, J. Meseguer, C. March�, X. Urbain. "Proving Operational Termination of Membership Equational Programs", Higher Order and Symbolic Computation, vol. 21(1), pp. 59-88, 2008
[CD08] J. Chen, K. Djouani. "A Multi-user Cooperative Diversity for Wireless Local Area Networks", IJCNSS, Int. J. of Communications, Network and System Sciences, vol. 3, pp. 266-273, 2008

Revue Nationale avec comité de lecture

[SA08] M. Simonot, M. Aponte. "Une approche formelle de la reconfiguration dynamique", L'Objet, vol. 14(4), pp. 73-102, 2008

Conférence Internationale avec comité de lecture

[DCAa08] K. Djouani, J. Chen, A. Akharraz, K. Barkaoui. "An Effective Link Adaptation Method in Cooperative Wireless Networks", APSCC'08, IEEE Asia-Pacific Services Computing Conference, Yilan, Taiwan, December 9-12, December 2008, pp.914 - 919, Series IEEE,
[DC08] C. Dubois, M. Carlier. "Functional Testing in the Focal environment", Tests and Proofs (TAP 2008), April 2008, Vol. 4966, pp.84-98, Series LNCS, Prato, Italy,
[HB08] A. Hicheur, K. Barkaoui. "Modélisation des workflows collaboratifs à l'aide des ECATNets récursifs", NOTERE'2008, 8th Int. Conf. on New Technologies in Distributed Systems, Lyon, France, January 2008, pp.269-279, Series IEEE/ACM,
[BH08] K. Barkaoui, A. Hicheur. "Modeling Time-Constrained Collaborative Workflows Based on Timed Recursive ECATNets", ECEC'08, 15th European Concurrent Engineering Conference, ECEC 2008, Porto, Portugal, January 2008, pp.95-99, Series IEEE,
[CBB08] A. Choutri, F. Belala, K. Barkaoui. "Towards a Tile Based LfP Semantics", RCIS'08, 2nd IEEE International Conference on Research Challenges in Information Science, Marrakech, Morocco, January 2008, pp.9-16, Series IEEE,
[ABS08] N. Aoumeur, K. Barkaoui, G. Saake. "Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification", ITNG'08, 5th International Conference on Information Technology: New Generations, Las Vegas, USA, January 2008, pp.1305-1307, Series IEEE,
[DCA08] K. Djouani, J. Chen, A. Akharraz, K. Barkaoui. "Link adaptation for cooperative Wireless LANs", WiCOM'08, 4th IEEE Int. Conf. on Wireless Communications, Networking and Mobile Computing, Dalian, China, January 2008, pp.1-4, Series IEEE,
[BBBa08] K. Barkaoui, R. Ben Ayed, H. Boucheneb, A. Hicheur. "Verification of Workflow processes under multilevel security considerations", CRiSIS'08, 3rd IEEE Int. Conf. on Risks and Security of Internet and Systems, Tozeur, Tunisia, January 2008, pp.77-84, Series IEEE-4,
[BB08] H. Boucheneb, K. Barkaoui. "Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs", FORMATS'08, 6th International Conference on Formal Modeling and Analysis of Timed Systems, Saint-Malo, France, January 2008, Vol. 5215, pp.265-279, Series LNCS ,
[JBG08] C. Jerad, K. Barkaoui, A. Grissa-Touzi. "On the use of real-time Maude for architecture description and verification : a case study", 1st International Academic Conference on Visions of Computer Science, London, UK, January 2008, pp.305-317, Series eWiC Series,
[DEV08a] D. Delahaye, J. Etienne, V. Viguie Donzeau-Gouge. "Producing UML Models from Focal Specifications: An Application to Airport Security Regulations", TASE'08 Theoretical Aspects of Software Engineering, Nanjing (China), January 2008, pp.121-124,
[DEV08b] D. Delahaye, J. Etienne, V. Viguie Donzeau-Gouge. "Formal Modeling of Airport Security Regulations using the Focal Environment", RELAW'08 Requirements Engineering and Law, Barcelona (Spain), January 2008, pp.16-20,
[DEV08] D. Delahaye, J. Etienne, V. Viguie Donzeau-Gouge. "A Formal and Sound Transformation from Focal to UML: An Application to Airport Security Regulations", UML&FM'08 UML and Formal Methods, Kitakyushu-City (Japan), January 2008, Vol. 4, pp.267-274, Series ISSE,
[CFU08b] P. Courtieu, J. Forest, X. Urbain. "Certifying a Termination Criterion Based on Graphs, without Graphs", TPHOLs'08 Theorem Proving in Higher Order Logics, Montréal, Canada, January 2008, Vol. 5170, pp.183-198, Series Lecture Notes in Computer Science, Montreal, Canada,
[GLU08] R. Guti�rrez, S. Lucas, X. Urbain. "Usable Rules for Context-Sensitive Rewriting", 19th Int. Conf. on Rewriting Techniques and Applications, Linz, Autriche, January 2008, Vol. 5117, pp.126-141, Series LNCS,
[AB08] E. Amar, S. Boumerdassi. "A location service for position-based routing in mobile ad hoc networks", Int. Conf. On New Technologies in Distributed Systems, January 2008, pp.38-41,

Conférence Nationale avec comité de lecture

[ACD08] P. Ayrault, M. Carlier, D. Delahaye, C. Dubois, D. Doligez, L. Habib, T. Hardin, M. Jaume, C. Morisset, F. Pessaux, P. Weis. "Trusted Software within FoCaL", CE&SAR 2008, Rennes, dÃ©cembre, December 2008, pp.142-157,
[BRS08a] S. Blazy, B. Robillard, E. Soutil. "Vérification formelle d'un algorithme d'allocation de registres par coloration de graphe", JFLA'08 Journées Francophones des Langages Applicatifs, January 2008, pp.31-46,
[BRS08] S. Blazy, B. Robillard, E. Soutil. "Coloration avec préférences : complexité, inégalités valides et vérification formelle", ROADEF'08, Clermont-Ferrand, 25-27 FÃ©vrier, January 2008, pp.123-138,
[SBB08] Z. Sbai, K. Barkaoui, R. Ben Ayed. "Sur la vérification de la cohérence de processus workflow temporisés", GEI'08, 8ièmes Journées Scientifiques des Jeunes Chercheurs en GÃ©nie Electrique et Informatique, Sousse, Tunisia, January 2008, pp.57-68,
[BKH08] K. Barkaoui, N. Kraïem, M. Hamrouni. "Vers une nouvelle approche de composition des Services Web dirigée par la QoS", GEI'08, 8ièmes Journées Scientifiques des Jeunes Chercheurs en Génie Electrique et Informatique, Sousse, Tunisia, January 2008, pp.15-23,
[MB08] A. Missaoui, K. Barkaoui. "Web Service Composition Supporting Quality of Service", JTEA 2008- Tunis, January 2008, pp.15-24,

Conférences invitées

[Rio08] R. Rioboo. "Concevoir et organiser une librairie de mathématiques effectives", Journées Francophones des Langages Applicatifs JFLA'08, January 2008, pp.tutoriel,

Directions d'ouvrages scientifiques

[BLA08] S. Blazy. "Actes de la conférence JFLA2008", January 2008, INRIA,

Atelier, Poster ou Démonstration dans une Conférence Nationale

[BAR08] F. Barthelemy. "Typage, produit cartésien et unités d'analyse pour les modèles à états finis", TALN'08 Traitement Automatique des Langues, Avignon, January 2008, pp.380-389,

Mémoire de Thèse

[Eti08a] J. Etienne. "Certifying Airport Security Regulations using the Focal Environment", Soutenue le: 07 July 2008, pp. 200,

Mémoire de HDR

[Bla08a] S. Blazy. "Sémantiques formelles", Soutenue le: 23 October 2008, pp. 138 pages,

Rapport Scientifique

[BR08a] S. Blazy, B. Robillard. "Live-Range Unsplitting for Faster Optimal Coalescing (extended version)", Date de dépot: 2008/01/01, (Tech. Rep.: CEDRIC-08-1609)
[AS08] M. Aponte, M. Simonot. "Une approche formelle de la reconfiguration dynamique", Date de dépot: 2008/01/01, Nb pages 27, (Tech. Rep.: CEDRIC-08-1590)
[ABS08a] M. Aponte, V. Benayoun, M. Simonot. "Modélisation de la reconfiguraton dynamique avec Focal", Date de dépot: 2008/01/01, (Tech. Rep.: CEDRIC-08-1618)
[CFU08a] E. Contejean, J. Forest, X. Urbain. "Deep-Embedded Unification", Date de dépot: 2008/01/01, (Tech. Rep.: CEDRIC-08-1547)
[ALP08] I. Aug�, V. Leligeour, O. Pons. "A Distribution and System Compiler for Handling Heterogeneous Computer Site", Date de dépot: 2008/01/01, (Tech. Rep.: CEDRIC-08-1549)
[AP08] I. Aug�, O. Pons. "A service oriented compiler for operating systems", Date de dépot: 2008/01/01, (Tech. Rep.: CEDRIC-08-1551)

2007

Revue Internationale avec comité de lecture

[BBSa07] K. Barkaoui, R. Benayed, Z. Sbai. "Workflow Soundness Verification Based on Structure Theory of Petri Nets", International Journal of Computing & Information Sciences (IJCIS Journal), vol. 5(1), pp. 51-62, 2007
[DM07] C. Dubois, J. Marc Mota. "Geometric modeling with B: formal specification of generalized maps", Journal of Scientific & Practical Computing Journal, vol. 1(2), pp. 9-24, 2007

Revue Nationale avec comité de lecture

[BLA07] S. Blazy. "Comment gagner confiance en C ?", TSI, Technique et Science Informatiques, vol. 26(9), pp. 1195-2000, 2007
[MD07] J. Marc Mota, C. Dubois. "Raffinement de modèles topologiques : des droites aux 2-G-cartes", TSI, Technique et Science Informatiques, vol. 26(7), pp. 883-908, 2007

Conférence Internationale avec comité de lecture

[BLA07a] S. Blazy. "Experiments in validating formal semantics for C", C/C++ Verification Workshop, Oxford, United Kingdom, January 2007, pp.95-102, Series ICIS-R07015,
[WB07] A. W. Appel, S. Blazy. "Separation Logic for Small-step Cminor", TPHOLs'07 Theorem Proving in Higher Order Logics, Kaiserslautern (Germany), January 2007, pp.5-21, Series LNCS 4732,
[Bar07a] F. Barthelemy. "Using Mazurkiewicz Trace Languages for Partition-Based Morphology", ACL'07 Annual Meeting of the Association of Computational Linguistics, January 2007, pp.928-935,
[BAR07b] F. Barthelemy. "Multi-Grain Relations", CIAA'07 Int. Conf. on Implementation and Application of Automata, Prague (Rep. TchÃ¨que), January 2007, Vol. 4783, pp.243-252, Series LNCS,
[BAR07c] F. Barthelemy. "Finite-State Compilation of Feature Structures for Two-Level Morphology", FSMNLP'07, Finite-State Methods and Natural Language Processing, Postsdam (Germany), January 2007,
[BH07] K. Barkaoui, A. Hicheur. "Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets", CBP'07, International Workshop on Collaborative Business Processes, Brisbane, Australia, January 2007, pp.206-217, Series LNCS ,
[HBa07] A. Hicheur, K. Barkaoui. "Formal Modeling and Analysis of Flexible Automated Production Workflows", CIP'07, 4Ã¨me ConfÃ©rence Internationale IEEE sur la Productique, SÃ©tif, Algeria, January 2007, pp.45-56,
[BBD07] A. Bedoui, K. Barkaoui, K. Djouani. "Performance Study of IEEE 802.11 WLAN Integrating QoS requirements", ICWMC'07, 3rd Int. Conf. on Wireless and Mobile Communications, Guadeloupe, French Caribbean, January 2007, pp.69-73, Series IEEE,
[ABS07] N. Aoumeur, K. Barkaoui, G. Saake. "Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information Systems", CSMR'07, 11th IEEE European Conference on Software Maintenance and Reengineering, Amsterdam, the Netherlands, January 2007, pp.123-137, Series IEEE,
[EBa07] M. Escheikh, K. Barkaoui. "Performance Analysis of High-Speed TCP Protocols BIC and CUBIC with AQM in Lossy Networks", CSNA'07, Int. Conf. on Communications Systems, Networks, and Applications, Beijing, China, January 2007, pp.55-62,
[ZBDa07] H. Zayani, R. Ben Ayed, K. Djouani, K. Barkaoui. "ECoMAC: An energy-efficient and low-latency hybrid MAC protocol for wireless sensor networks", PMÂ²HWÂ²N'07, 2nd ACM International Workshop on Performance Monitoring, Measurement and Evaluation of Heterogeneous Wireless and Wired Networks, Chania, Crete Island, Greece, January 2007, pp.68-71, Series ACM,
[MB07] A. Missaoui, K. Barkaoui. "On The Integration of QOS Management in Web Service Architecture", WEBIST'07, 3rd Int. Conf. on Web Information Systems and Technologies, Barcelona, Spain, January 2007, pp.25-32,
[JBG07] C. Jerad, K. Barkaoui, A. Grissa-Touzi. "On the Design and Analysis of Real-time Systems", CATA'07, 22th Int. Conf. on Computers and Their Applications, Honolulu, Hawaii, USA, January 2007, pp.380-386, Series ISCA,
[JBGa07] C. Jerad, K. Barkaoui, A. Grissa-Touzi. "Hierarchical Verification in Maude of LfP Software Architectures", ECSA'07, 1st European Conference on Software Architecture, Aranjuez (Madrid), Spain, January 2007, pp.156-170, Series LNCS ,
[ABSa07] N. Aoumeur, K. Barkaoui, G. Saake. "Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri Nets", ICEIS'07, 9th Int. Conf. on Enterprise Information Systems, Funchal, Madeira Island, Portugal, January 2007, pp.152-158,
[DDE07] D. Delahaye, C. Dubois, J. Etienne. "Extracting Purely Functional Contents from Logical Inductive Types", TPHOLs'07 Theorem Proving in Higher Order Logics, Kaiserslautern (Germany), January 2007, Vol. 4732, pp.70-85, Series LNCS,
[BDD07] R. Bonichon, D. Delahaye, D. Doligez. "Zenon: an Extensible Automated Theorem Prover Producing Checkable Proofs", LPAR'07 Logic for Programming Artificial Intelligence and Reasoning, Yerevan (Armenia), January 2007, pp.151-165, Series LNAI,
[GFL07] F. Gervais, M. Frappier, R. Laleau. "Refinement of EB3 Process Patterns into B Specifications", B2007, BesanÃ§on, France, January 2007, pp.201-215, Series LNCS 4355,
[FFG07] M. Frappier, B. Fraikin, F. Gervais, R. Laleau, M. Richard. "Synthesizing information systems: the APIS project", RCIS'07 First Int. Conf. on Research Challenges in Information Science, Ouarzazate, January 2007, pp.73-84,
[CCF07a] E. Contejean, P. Courtieu, J. Forest, O. Pons, X. Urbain. "Certification of automated termination proofs", 6th Int. Symp. on Frontiers of Combining Systems, Liverpool, Royaume-Uni, January 2007, pp.148-162, Series LNAI 4720,
[BLS07] A. Bosser, G. Levieux, K. Sehaba, A. Buendia, C. Corruble, G. De Fondaumi�re, V. Gal, S. Natkin, N. Sabouret. "Dialogs Taking into Account Experience, Emotions and Personality", ICEC'07 6th Int. Conf. on Entertainment Computing - China, January 2007, Vol. 4740, pp.356-362,
[ABa07] E. Amar, S. Boumerdassi. "A Survey on Location Services for Position-Based Routing in Mobile Ad Hoc Networks", ICWN'07 Int. Conf. on Wireless Networks, Las Vegas, January 2007, pp.458-463,
[JD07a] E. Jaeger, C. Dubois. "Why Would You Trust B ?", LPAR'07 Logic for Programming Artificial Intelligence and Reasoning, Yerevan (Armenia), January 2007, pp.288-302, Series LNCS 4790,
[LLB07] R. Laleau, Y. Ledru, D. Bert, F. Bouquet, M. Lemoine, C. Dubois, V. Viguie Donzeau-Gouge, S. Vignes. "Using Computer Science Modeling Techniques for Airport Security Certification", RCIS''07 First Int. Conf. on Research Challenges in Information Science, Ouarzazate, January 2007, pp.61-72,
[CD07] J. Chen, K. Djouani. "Space Time Coding in Amplify-and-Forward Cooperative Channel", WiCom'07, 3rd IEEE Int. Conf. on Wireless Communications, Networking and Mobile Computing, Shanghai, China, January 2007, pp.267-270,

Conférence Nationale avec comité de lecture

[BRS07] S. Blazy, B. Robillard, E. Soutil. "Coloration avec préférences dans les graphes triangulés", JournÃ©es Graphes et Algorithmes, Paris, January 2007, pp.32,
[BAR07] F. Barthelemy. "Structures de traits typées et morphologie à partition", TALN'07 Traitement Automatique des Langues, Toulouse, France, January 2007, pp.69-78,
[BAR07d] F. Barthelemy. "Cunéiforme et SMS: analyse graphémique de systèmes d'écriture hétérogènes", Colloque Lexique et grammaire, Bonifacio (France), January 2007,
[HBB07] A. Hicheur, K. Barkaoui, N. Boudiaf. "Workflow Specification and Analysis Using Recursive ECATNets", GEA 07, 7emes Journees Scientifiques des Jeunes Chercheurs en Génie Electrique et Informatique, Monastir, Tunisia, January 2007, pp.15-24,
[ZBD07] H. Zayani, R. Ben Ayed, K. Djouani, K. Barkaoui. "ECoMAC : Un protocole MAC économe en énergie pour les réseaux de capteurs sans fil", GRES'07, 8Ã¨me Colloque Francophone sur la gestion de rÃ©seaux et de services, Hammamet, Tunisia, January 2007, pp.185-192,
[BBS07] K. Barkaoui, R. Ben Ayed, Z. Sbai. "Vérification Paramétrée de la Cohérence des Processus Workflow", MSR'07, 6Ã¨me Colloque Francophone sur la ModÃ©lisation des SystÃ¨mes RÃ©actifs, Lyon, France, January 2007, pp.255-268,
[ZBDb07] H. Zayani, R. Ben Ayed, K. Djouani, K. Barkaoui. "Vers une optimisation des performances des Réseaux de Capteurs Sans Fils par une approche multicouches", GEI'07, 7Ã¨mes JournÃ©es Scientifiques des Jeunes Chercheurs en GÃ©nie Ãlectrique et Informatique, Monastir, Tunisia, January 2007, pp.71-80,
[GLU07] R. Guti�rrez, S. Lucas, X. Urbain. "Towards a notion of Usable Rule for Context-Sensitive Rewrite Systems", PROLE'07, E. Pimentel ed., Proceedings of 7th Spanish Conference on Programming and Computer Languages, Saragosse, Espagne, January 2007, pp.243--252,

Conférences invitées

[RIO07] R. Rioboo. "Certifying Modular Computation with FoCaL", Fifth Asian Workshop on Foundations of Software, Xiamen, January 2007,

Mémoire d'ingénieur

[BAR07e] W. Bartlett. "Compilation des fonctions récursives dans l'atelier Focal", Soutenue le: 01 January 2007,

Rapport Scientifique

[AB07] A. Appel, S. Blazy. "Separation logic for small-step Cminor (extended version)", Date de dépot: 2007/01/01, Nb pages 29 pages, (Tech. Rep.: CEDRIC-07-1358)
[SA07] M. Simonot, M. Aponte. "Modélisation formelle du contrôle en Fractal", Date de dépot: 2007/01/01, (Tech. Rep.: CEDRIC-07-1563)
[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)
[NG07] K. Nakata, J. Garrigue. "Path resolution for recursive nested modules is undecidable", Date de dépot: 2007/01/01, (Tech. Rep.: CEDRIC-07-1202)
[HB07] L. Harfouche, S. Boumerdassi. "Les modèles de mobilité", Date de dépot: 2007/01/01, (Tech. Rep.: CEDRIC-07-1289)

2006

Revue Internationale avec comité de lecture

[LVL06] R. Laleau, S. Vignes, Y. Ledru, M. Lemoine, D. Bert, V. Viguie Donzeau-Gouge, C. Dubois, F. Peureux. "Adopting a situational requirements engineering approach for the analysis of civil aviation security standards", Software Process: Improvement and Practice, vol. 11(5), pp. 487503, 2006

Conférence Internationale avec comité de lecture

[BLD06] S. Blazy, X. Leroy, Z. Dargaye. "Formal verification of a C compiler front-end", FM'06: 14th Symposium on Formal Methods, Hamilton, Canada, January 2006, Vol. 4085, pp.460-475, Series LNCS,
[HBB06] A. Hicheur, K. Barkaoui, N. Boudiaf. "Modeling Workflows with Recursive ECATNets", SYNASC'06, 8th IEEE Int. Symp. on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, January 2006, pp.389-398, Series IEEE,
[BBD06] A. Bedoui, K. Barkaoui, K. Djouani. "On QoS Support Evaluation in IEEE 802.11 Wireless LAN's", ICTTA'06, 2nd IEEE Int. Conf. on Information & Communication Technologies: from Theory to Applications, Damascus, Syria, January 2006, pp.3257-3261,
[BCC06] K. Barkaoui, A. Cavalcanti, A. Cerone. "Theoretical Aspects of Computing", ICTAC'06, 3rd International Colloquium on Theoretical Aspects of Computing, Tunis, Tunisia, January 2006, Vol. 4281(2006), Series LNCS,
[BBCa06] N. Boudiaf, K. Barkaoui, A. Chaoui. "Applying Reduction Rules to ECATNets", AVIS'06, 5th International Workshop on Automated Verification of Infinite-State Systems, Vienna, Austria, January 2006, pp.42-55, Series ENTCS,
[DEV06b] D. Delahaye, J. Etienne, V. Viguie Donzeau-Gouge. "Modeling Airport Security Regulations in Focal", REMO2V'06 Regulations Modelling and their Validation & Verification, Luxembourg, January 2006, pp.806-812,
[DEV06] D. Delahaye, J. Etienne, V. Viguie Donzeau-Gouge. "Certifying Airport Security Regulations using the Focal Environment", FM'06: 14th Symposium on Formal Methods, Hamilton, Canada, January 2006, Vol. 4085, pp.48-63, Series LNCS,
[DEV06a] D. Delahaye, J. Etienne, V. Viguie Donzeau-Gouge. "Reasoning about Airport Security Regulations using the Focal Environment", ISoLA, Paphos (Cyprus), January 2006, pp.36-44,
[GBF06a] F. Gervais, P. Batanado, M. Frappier, R. Laleau. "EB3TG: A Tool Synthesizing Relational Database Transactions From EB3 Attribute Definitions", ICEIS'06, Paphos, Chypre, January 2006, pp.44-51, Series ISAS,
[AB06] E. Amar, S. Boumerdassi. "Performance Comparison of Scalable Location Services for Position-Based Ad-Hoc Routing", ICLAN'06 Int. Conf. on Late Advances in Network, Paris dec., January 2006, pp.45-50,
[DM06] C. Dubois, J. Mota. "A formally verified geometric modelling core", SERP'06 - Int. Conf. on Software Engineering Research and Practice, Las Vegas, USA,, January 2006, pp.643-649, Series CSREA Press,
[LLL06] Y. Ledru, R. Laleau, M. Lemoine, S. Vignes, D. Bert, V. Viguie Donzeau-Gouge, C. Dubois, F. Peureux. "An attempt to combine UML and formal methods to model airport security", CAISEÂ06 Forum, January 2006,

Conférence Nationale avec comité de lecture

[BAR06] F. Barthelemy. "Un analyseur morphologique multi-niveaux utilisant la jointure", TALN'06 Traitement Automatique des Langues, Louvin, Belgique, January 2006,
[SBB06] Z. Sbai, R. Ben Ayed, K. Barkaoui. "Vers l'analyse des processus d'entreprise jPdl fondée sur les réseaux de Petri", GEI'06, 6Ã¨mes JournÃ©es Scientifiques des Jeunes Chercheurs en GÃ©nie Ãlectrique et Informatique, Hammamet, Tunisia, January 2006, pp.171-181, Series CPU Ed.,
[ZBD06] H. Zayani, R. Ben Ayed, K. Djouani, K. Barkaoui. "Etude de protocole MAC dans les réseaux de capteurs sans fil", GEIÂ06, 6Ã¨mes JournÃ©es Scientifiques des Jeunes Chercheurs en GÃ©nie Ãlectrique et Informatique, Hammamet, Tunisia, January 2006, pp.63-71, Series CPU Ed.,
[BBC06] N. Boudiaf, K. Barkaoui, A. Chaoui. "Implémentation des Régles de Réduction des ECATNets dans MAUDE", MOSIM'06, 6Ã¨me ConfÃ©rence Francophone de MOdÃ©lisation et SIMulation, Rabat, Morocco, January 2006, pp.505-514,
[GBF06] F. Gervais, P. Batanado, M. Frappier, R. Laleau. "Génération automatique de transactions de base de données relationnelle à partir de définitions d'attributs EB3", AFADL'06 Approches Formelles dans l'Assistance au DÃ©veloppement de Logiciels, Paris, France, January 2006, pp.25-39,
[BGF06] P. Batanado, F. Gervais, M. Frappier, R. Laleau. "EB3TG : Un outil de génération de transactions de base de données relationnelle pour EB3", AFADL'06 - Approches Formelles dans l'Assistance au DÃ©veloppement de Logiciels, Paris, France. 200, January 2006,
[GER06] F. Gervais. "EB4 : Vers une méthode de spécification formelle des SI", INFORSID'06, Hammamet, Tunisie, January 2006, pp.561-576,
[MGL06] A. Mammar, F. Gervais, R. Laleau. "Systematic Identification of Preconditions from Set-Based Integrity Constraints", INFORSID'06, Hammamet, Tunisie, January 2006, pp.595-610,
[MD06] J. Mota, C. Dubois. "Raffinement de données en B événementiel pour les algorithmes géométriques", AFADL'06 - Approches Formelles dans l'Assistance au DÃ©veloppement de Logiciels, Paris, France. 200, January 2006,

Chapitres de Livre

[BPa06] K. Barkaoui, J. Peyre. "Approches structurelles", January 2006,
[GFS06] F. Gervais, M. Frappier, R. St-Denis. "EB3 : Formal Language and Application", January 2006, pp. 259-274,

Mémoire de Thèse

[GER06a] F. Gervais. "Combinaison de spécifications formelles pour la modélisation des systèmes d'information", Soutenue le: 01 January 2006,

Rapport Scientifique

[AS06] M. Aponte, M. Simonot. "Spécification et vérification de composants : état de l'art", Date de dépot: 2006/01/01, (Tech. Rep.: CEDRIC-06-1180)
[SAD06] M. Simonot, M. Aponte, C. Dubois. "État de l'art du typage pour l'intéropérabilité entre composants", Date de dépot: 2006/01/01, (Tech. Rep.: CEDRIC-06-1182)
[GFL06] F. Gervais, M. Frappier, R. Laleau. "Defining and Proving B Refinements for the Patterns of EB3 Process Expressions", Date de dépot: 2006/01/01, (Tech. Rep.: CEDRIC-06-996)

2005

Revue Internationale avec comité de lecture

[DM05] D. Delahaye, M. Mayero. "Dealing with Algebraic Expressions over a Field in Coq using Maple", JSC, vol. 39(5), pp. 569-592, 2005
[CMP05] E. Contejean, C. March�, A. Paula Tomas, X. Urbain. "Mechanically proving termination using polynomial interpretations", JAR, Journal of Automated Reasoning, vol. 34(4), pp. 325-363, 2005

Revue Nationale avec comité de lecture

[GJB05] A. Grissa-Touzi, C. Jerad, K. Barkaoui. "Nouvelle Approche pour la Définition et la Manipulation de la Négation par les Programmes Stratifiés", Les Annales Maghrébines de l'Ingénieur, vol. 2(1), pp. 587-599, 2005
[DJP05] D. Delahaye, M. Jaume, V. Prevosto. "Coq: un outil pour l'enseignement", TSI, Technique et Science Informatiques, vol. 24(9), pp. 1139-1160, 2005
[DUB05] C. Dubois. " Typage, sûreté et sécurité", TSI, Technique et Science Informatiques, vol. 24(9), pp. 1187-1190, 2005

Conférence Internationale avec comité de lecture

[BL05] S. Blazy, X. Leroy. "Formal verification of a memory model for C-like imperative languages", ICFEM'05, Int. Conf on Formal Engineering Methods, Manchester, UK, January 2005, Vol. 3785, pp.280-299, Series LNCS,
[ALN05] M. Aponte, Y. Lyhyaoui, S. Natkin. "Game Analysis of attacks on Online Games", CGAIMS'05, Louisville, Kentucky, USA, January 2005,
[BAR05] F. Barthelemy. "Partitioning Multitape Transducers", FSMNLP'05 Finite State Methods in Natural Language Processing, Helsinki, Finlande, January 2005, Vol. 4002, Series LNCS,
[BCK05] K. Barkaoui, J. Couvreur, K. Klai. "On the Equivalence between Deadlock Freeness and Liveness in Petri Nets", ICATPN'05, 26th Int. Conf. on Application and Theory of Petri Nets, Miami, USA, January 2005, pp.90-107, Series LNCS,
[JB05] C. Jerad, K. Barkaoui. "On the use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LFP", RSP'05, 16th IEEE International Workshop on Rapid Systems Prototyping, Montreal, Canada, January 2005, pp.202-208, Series IEEE,
[BBDa05] A. Bedoui, K. Barkaoui, K. Djouani. "Global Solution for the Support of QoS by IEEE 802.11 Wireless Local Area Networks", PWC'05, 10th IFIP Int. Conf. on Personal Wireless Communications, Colmar, France, January 2005, pp.252-260, Series IFIP,
[SB05] H. Sebih, K. Barkaoui. "A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL", PDPTA'05, Int. Conf. on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, USA, January 2005, pp.1255-1263,
[ABS05] N. Aoumeur, K. Barkaoui, G. Saake. "Coordination and Co-Nets for specifying and reconfiguring Agile information systems", PNCWB'05, 2nd International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, Miami, Florida, USA, January 2005, pp.1-16,
[KBS05] L. Kahloul, K. Barkaoui, Z. Sahnoun. "Using AUML to derive formal modelling agents interactions", AICCSA'05, 3rd ACS/IEEE Int. Conf. on Computer Systems and Applications, Cairo, Egypt, January 2005, pp.109-116, Series IEEE,
[ZBB05] N. Zeghib, M. Bettaz, K. Barkaoui. "CIRTA: An ECATNets Based Model for Embedded Systems Specification.", ESA'05, Int. Conf. on Embedded Systems and Applications, Las Vegas, Nevada, USA, January 2005, pp.261-267,
[DM05a] D. Delahaye, M. Mayero. "Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System", Calculemus, University of Newcastle upon Tyn (United Kingdom), January 2005, Vol. 151(1), pp.57-73, Series ENTCS,
[GFL05c] F. Gervais, M. Frappier, R. Laleau. "How to Synthesize Relational Database Transactions From EB3 Attribute Definitions?", MSVVEIS'05, Miami, USA, January 2005, pp.83-88,
[GFL05a] F. Gervais, M. Frappier, R. Laleau. "Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces", SEFM'05, Coblence, Allemagne, January 2005, pp.117-126,
[GFL05d] F. Gervais, M. Frappier, R. Laleau. "Synthesizing B Specifications from EB3 Attribute Definitions", IFM'05, Eindhoven, Pays-Bas, January 2005, pp.207-226, Series LNCS 3771,
[LVL05] R. Laleau, S. Vignes, Y. Ledru, M. Lemoine, D. Bert, V. Viguie Donzeau-Gouge, C. Dubois, F. Peureux. "Application of Requirements Engineering Techniques to the Analysis of Civil Aviation Security Standards", SREP'05 International Workshop, In conjunction with 13th IEEE International Requirements Engineering, January 2005,

Conférence Nationale avec comité de lecture

[BBD05] A. Bedoui, K. Barkaoui, K. Djouani. "Approche Globale pour la Qualité de Service dans les Réseaux Locaux sans Fils IEEE 802.11", ISPSA2005, 7th International Symposium on Programming and Systems, Algiers, Algeria, January 2005, pp.131-140,
[HB05] R. Hachicha, K. Barkaoui. "Conception orientée agent de systèmes workflows", GEI'05, 5ièmes Journées scientifiques des Jeunes Chercheurs en Génie Electrique et Informatique, Sousse, Tunisia, January 2005, pp.26-32,
[GBA05] Y. Gamha, K. Barkaoui, B. Ayeb. "Un modèle de coordination des sessions coopératives basé sur les structures d'évènements", GEI'05, 5ièmes Journées Scientifiques des Jeunes Chercheurs en Génie Electrique et Informatique, Sousse, Tunisia, January 2005, pp.18-25,
[GLR05] B. Grau, A. Ligozat, I. Robba, A. Vilnat, F. El Kateb, G. Illouz, L. Monceaux, P. Paroubek, O. Pons. "De l'importance des synonymes pour la sélection de passages en question-réponse", CORIA'05 ConfÃ©rence en Recherche d'Informations et Applications, January 2005, pp.71-84,
[GIM05] B. Grau, G. Illouz, L. Monceaux, P. Paroubek, O. Pons, I. Robba, A. Vilnat. "FRASQUES, le système du groupe LIR, LIMSI", TALN'05 (Atelier EQueR), January 2005, pp.85-88,

Mémoire de Thèse

[BOI05] O. Boite. "Une aide à la réutilisation de preuves formelles - Application aux preuves de propriétés sémantiques", Soutenue le: 01 January 2005, pp. 160,
[BIG05] C. Bigot. "Une proposition de formalisme orienté composant, application de méthodes dexécution symbolique pour la validation de systèmes à base de composants", Soutenue le: 01 January 2005,

Rapport Scientifique

[GFL05b] F. Gervais, M. Frappier, R. Laleau, P. Batanado. "EB3 Attribute Definitions: Formal Language and Application", Date de dépot: 2005/01/01, (Tech. Rep.: CEDRIC-05-700)
[GFL05] F. Gervais, M. Frappier, R. Laleau. "Vous avez dit raffinement ?", Date de dépot: 2005/01/01, (Tech. Rep.: CEDRIC-05-829)

2004

Revue Nationale avec comité de lecture

[BDF04] K. Berkani, C. Dubois, A. Faivre, J. Falampin. "Validation des règles de base de l'Atelier B", TSI, Technique et Science Informatiques, vol. 23(7), pp. 855-878, 2004

Conférence Internationale avec comité de lecture

[BFG04] C. Bigot, A. Faivre, J. Gallois, M. Aponte, V. Viguie Donzeau-Gouge. " Semantics for UML specifications to be validated by Agatha", Second Europeen Congress on Embedded Realtime Software (ERTS 04)., January 2004,
[EMB04] M. Escheikh, J. Maatoug, K. Barkaoui. "Performance evaluation of OCDR using non --Markovian Stochastic Petri Nets", January 2004, pp.214-220,
[BOI04] O. Boite. "Proof Reuse with Extended Inductive Types", TPHOLs 2004, January 2004, Vol. 3223, pp.50-65, Series LNCS,
[DHV04] C. Dubois, T. Hardin, V. Viguie Donzeau-Gouge. "Building certified components within FOCAL", Symposium on Trends in Functional Programming (TFP04), January 2004, Vol. 5, pp.33-48, Series Trends in Functional Programming ,

Conférence Nationale avec comité de lecture

[BBD04] A. Bedoui, K. Barkaoui, K. Djouani. "Sur l'optimisation des méthodes d'accès au canal dans les réseaux locaux sans fil IEEE 802.11", Actes du 18Ã¨me congrÃ¨s DNAC " De Nouvelles Architectures pour les Communications", Paris, January 2004,
[DJP04] C. Dubois, M. Jaume, O. Pons, V. Prevosto. "L'atelier Focal", AFADL, session outils, January 2004,

Chapitres de Livre

[DM04] C. Dubois, V. Menissier-Morain. "Apprentissage de la programmation avec OCaml", January 2004,

Rapport Scientifique

[GFL04] F. Gervais, M. Frappier, R. Laleau. "Synthesizing B Substitutions for EB3 Attribute Definitions", Date de dépot: 2004/01/01, (Tech. Rep.: CEDRIC-04-683)

Autres

[GER04] F. Gervais. "EB4 : Vers une méthode combinée de spécification formelle des systèmes d'information",

datepub: January 2004,

2003

Revue Internationale avec comité de lecture

[BBa03] K. Barkaoui, R. Benamara. "On concurrency Control in Mutlidatabase Systems with an Extented Transaction Model", The Journal of Supercomputing, vol. 24(2), pp. 193-202, 2003, (doi:10.1023/A:1021707111118)
[BCP03] G. Barthe, V. Capretta, O. Pons. "Setoids in type theory", Journal of Functional Programming, vol. 13(2), pp. 261-293, 2003

Conférence Internationale avec comité de lecture

[ML03] A. Mammar, R. Laleau. "Design of an Automatic Prover Dedicated to the Refinement of Database Applications", FM'2003, Springer-Verlag, LNCS nÂ° 2805, pp 834-854, Pise,Italy, January 2003,
[BGL03] S. Blazy, F. Gervais, R. Laleau. "Reuse of Specification Patterns with the B Method", ZB 2003: Formal Specification and Development in Z and B, Turku, Finland, January 2003, Vol. 2651, pp.40-57, Series LNCS,
[BR03] K. Barkaoui, J. Romhain. "Parametrised Verification of Class of Resource Allocation systems", Actes de la ConfÃ©rence Internationale sur la Productique, CIPÂ03, CDTA - Alger, January 2003, pp.52-59,
[BZ03] K. Barkaoui, B. Zouari. "On the Equivalence between Liveness and deadlock Freeness in Petri Nets", ISPSÂ03, 5th Int. Symp. on Programming and Systems, Algiers, Algeria, January 2003, pp.213-224,
[EBE03] R. Elloumi, K. Barkaoui, M. Escheikh. "Evaluation de l'impact de la sporadicité du trafic sur les performances d'un serveur web", Actes de la ConfÃ©rence SETIT, Tunisie, January 2003,
[BSa03] K. Barkaoui, Z. Sahnoun. "Distance Learning as Opportunity for Improving Quality Learning", 4th IEEE Int'l. Conf. on Information Technology Based Higher Education and Training, Maroc, January 2003,
[CEB03] I. Chouaieb, R. Ezzine, K. Barkaoui. "On performance analysis of Web oriented systems", Proc. of the 2nd ACS/IEEE Int'l. Conf. on Computers Systems and Applications,, January 2003, pp.59-66,
[SBB03] H. Sebih, K. Barkaoui, M. Bettaz, F. Belala, Z. Sahnoun. "Towards a Temporal Logic Tau LTL for the Verification of Rewriting Theories Denoting ECATNets", 1st Int'l Workshop on Automated Technology for Verification and Analysis (ATVA'03), Taiwan,, January 2003,
[BB03] A. Bedoui, K. Barkaoui. "Un cadre pour une meilleure qualité de service du réseau TUNIPAC", Actes de la ConfÃ©rence SETIT, Tunis, January 2003,
[ZB03] B. Zouari, K. Barkaoui. "Parameterized supervisor synthesis for a modular class of discrete event systems", IEEE Int. Conf. on Systems, Man and Cybernetics, vol.2, January 2003, pp.1874-1879,
[BRa03] K. Barkaoui, R. Robbana. "On the authentication control of Needham-Schroeder protocol using Petri Nets", International Arab Conference on Information Technology (ACIT'2003), Egypte., January 2003,
[BFG03] C. Bigot, A. Faivre, J. Gallois, A. Lapitre, D. Lugato, J. Pierron, N. Rapin. "Automatic test generation with AGATHA,", January 2003, Vol. 2619, pp.591-596, Series LNCS,

Conférence Nationale avec comité de lecture

[BGL03a] S. Blazy, F. Gervais, R. Laleau. "Une démarche outillée pour spécifier formellement des patrons de conception réutilisables", Objets, Composants et ModÃ¨les dans l'ingÃ©nierie des SI, January 2003,
[SBa03] H. Sebih, K. Barkaoui. "Vers une logique Temporelle LTL pour la vérification des Théories de Réécriture dénotant les ECATNets", Premier congrÃ¨s francophone MAJECSTIC'03, Marseille, January 2003,
[DGJ03] C. Dubois, J. Grandguillot, M. Jaume. "Réutilisation de preuves - Une étude pour le système Foc", JournÃ©es francophones des langages applicatifs, January 2003,
[BDF03] K. Berkani, C. Dubois, A. Faivre, J. Falampin. " Validation des règles de base de l'Atelier B", AFADL'03, January 2003,

2002

Revue Internationale avec comité de lecture

[BJM02] K. Barkaoui, M. Jmaiel, A. Mili. "Special issue", Journal of Systems and Software, vol. 60(2), pp. 87-89, 2002

Revue Nationale avec comité de lecture

[BOI02] O. Boite. "Automatiser les preuves d'un sous-langage de la méthode B", TSI, Technique et Science Informatiques, vol. 20(8), 2002
[LMA02] F. Ledoux, J. Mota, A. Arnoult, C. Dubois, P. Le Gall, Y. Bertrand. "Spécifications formelles du chanfreinage", TSI, Technique et Science Informatiques, vol. 21(8), 2002

Conférence Internationale avec comité de lecture

[LP02] R. Laleau, F. Polack. "Coming and going from UML to B : a proposal to support traceability in rigorous IS development", ZB?2002: Int. Conf. on Formal Specification and Development in Z and B, January 2002, Vol. 2272,
[FFL02] M. Frappier, B. Fraikin, R. Laleau, M. Richard. "APIS : Automatic Production of Information Systems", International AAAI 2002 Spring Symposium : Logic-Based Program Synthesis: State-of-the-Art and Futur, January 2002,
[LSV02] N. Lopez, M. Simonot, V. Viguie Donzeau-Gouge. "A methodological process for the design of a large system: two industrial case-studies.", Formal Methods for Industrial Critical Systems (FMICS'02), January 2002,
[ACC02] M. Aponte, E. Chailloux, G. Cousineau, P. Manoury. "Advanced programming features in objective caml.", 6eme Brazilian Symposium on Programming Languages. -- Rio de Janeiro, January 2002,
[ABS02] N. Aoumeur, K. Barkaoui, G. Saake. "Increasing Conceptual Modelling Reusability Using Componentization and Reflection", 1st Workshop on Knowledge Foraging for Dynamic Networking of Communities and Economies, January 2002,
[BSS02] K. Barkaoui, R. Seghiri, Z. Sahnoun. "Agent Based Software Process Modeling Using Object Oriented Petri Nets", EurAsian Workshop on Agents for Information Management (EURASIA-ICT), Shiraz, Iran, January 2002,
[BDH02] K. Barkaoui, P. Dechambre, R. Hachicha. "Verification and optimisation of an operating room workflow", 35th Hawaii Int. Conf. on System Sciences . HICSS'02- Vol 7, January 2002, pp.210,
[DEL02] D. Delahaye. "A Proof Dedicated Meta-Language", Proceedings of Logical Frameworks and Meta-Languages (LFM), Copenhagen (Denmark), January 2002, Vol. 70(2), Series ENTCS,
[DEL02a] D. Delahaye. "Free-style Theorem Proving", Proceedings of Theorem Proving in Higher Order Logics (TPHOLs), Hampton (VA, USA), January 2002, Vol. 2410, pp.164-181, Series LNCS,
[PON02] O. Pons. "Generalization in Type Theory Based Proof Assistants", TYPE 00, January 2002, Vol. 2277, pp.217-232, Series LNCS,
[ABD02] M. Aiguier, D. Bahrami, C. Dubois. "On a Generalised Logicality Theorem", January 2002,

Mémoire de Thèse

[MAM02] A. Mammar. "Un environnement formel pour le développement d'applications bases de données", Soutenue le: 01 January 2002,

Mémoire de HDR

[LAL02] R. Laleau. "Conception et développement formels d'applications bases de données", Soutenue le: 01 January 2002,

Rapport Scientifique

[BGL02] S. Blazy, F. Gervais, R. Laleau. "Un exemple de réutilisation de patterns de spécification avec la méthode B", Date de dépot: 2002/01/01, (Tech. Rep.: CEDRIC-02-395)
[BLA02] S. Blazy. "Transformations certifiées de programmes impératifs", Date de dépot: 2002/01/01, (Tech. Rep.: CEDRIC-02-398)
[FB02] S. Fechter, O. Boite. "BBFoc", Date de dépot: 2002/01/01, Nb pages 19, (Tech. Rep.: CEDRIC-02-685)

Autres

[GER02] F. Gervais. "Réutilisation de composants de spécification en B",

datepub: January 2002,

2001

2000

Revue Internationale avec comité de lecture

[BLA00] S. Blazy. "Specifying and Automatically Generating a Specialization Tool for Fortran 90", Journal on Automated Software Engineerin, vol. 7(4), pp. 345-376, 2000

Conférence Internationale avec comité de lecture

[LAL00] R. Laleau. "On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications", Int. Conf. on Enterprise Information Systems (ICEIS 2000), Stafford, UK, January 2000,
[LM00a] R. Laleau, A. Mammar. "An Overview of a Method and its support Tool for Generating B Specifications from UML Notations", 15th IEEE Int. Conf. on Automated Software Engineering (ASE2000), Grenoble, France, January 2000,
[LP00] R. Laleau, F. Polack. "Metamodels for Static Conceptual Modelling of Information Systems", Workshop on Defining Precise Semantics for UML, ECOOP'2000, Sophia Antipolis, France, January 2000,
[LM00b] R. Laleau, A. Mammar. "A Generic Process to Refine a B Specification into a Relational Database Implementation", First Int. Conf. of B and Z users (ZB2000), Springer-Verlag, LNCS nÂ° 1878, York, UK, January 2000,
[BBM00] S. Bocs, S. Blazy, C. M�digue, P. Glaser. "An automatic detection of prokaryotic CoDing Sequences Combining Several Independent Methods", Genome 2000, Paris, January 2000,
[VLS00] V. Viguie Donzeau-Gouge, N. Lopez, M. Simonot. "Deriving Software Specifications from Event Based Models", ZB 2000, Int. Conf.rence of B and Z Users, York, U.K., January 2000,
[ABS00] N. Aoumeur, K. Barkaoui, G. Saake. "On the Benefits of Rewrite Logic as Semantics for Algebraic Petri Nets in Computing Siphons and Traps", 10th Int. Conf. on Computing and Information (ICCI '00), January 2000,
[BBa00] K. Barkaoui, R. Benamara. "A probabilistic analysis of transaction deadlock in multidatabase environnement", Artificial and Computational Intelligence for Decision and Control ACIDCA'2000, January 2000, pp.31- 37,
[BEBa00] K. Barkaoui, M. Escheikh, A. Bouallegue. "Performance analysis of an NxN ATM switch with Markov Modulated Poisson Process under Back-pressure mechanism", 8th Int. Symposium On Modelling, Analysis and Simulation of Computer and telecommunication Systems, January 2000, pp.416-423,
[DEL00] D. Delahaye. "A Tactic Language for the System Coq", Proceedings of Logic for Programming and Automated Reasoning (LPAR), Reunion Island (France), January 2000, Vol. 1955, pp.85-95, Series LNCS/LNAI,
[ABD00] M. Aiguier, D. Bahrami, C. Dubois. "Axioms for Rewriting Theory", PLI 2000, Workshop RULE 2000 : First International Workshop on Rule-Based Programming Montreal, Cana, January 2000,

Chapitres de Livre

[FLP00] P. Facon, R. Laleau, H. Phuong Nguyen. "From OMT Diagrams to B Specifications", January 2000,

Mémoire de Thèse

[BUR00] L. Burdy. "Traitement des expressions dépourvues de sens de la théorie des ensembles: Application à la méthode B", Soutenue le: 01 January 2000,

Mémoire de HDR

[DUB00] C. Dubois. "Un parcours de la programmation à la preuve", Soutenue le: 01 January 2000,

Rapport Scientifique

[LM00] R. Laleau, A. Mammar. "Using a Formal Refinement to Derive Relational Database Implementations from B Specifications", Date de dépot: 2000/01/01, (Tech. Rep.: CEDRIC-00-86)

1999

Revue Nationale avec comité de lecture

[LLJ99] N. Lammari, R. Laleau, M. Jouve. "Processus d'optimisation conceptuelle d'un schéma orienté-objet", L'Objet, vol. 5(1), 1999
[LLJa99] N. Lammari, R. Laleau, M. Jouve. "Processus doptimisation conceptuelle dun schéma orienté objet", L'Objet, vol. 5(1), 1999

Conférence Internationale avec comité de lecture

[CBM99] A. Chaoui, M. Bettaz, M Maouche, K. Barkaoui. "Vers une synthèse modulaire des superviseurs des systèmes a événements discrets: simulation a l'aide du langage MAUDE", MOSIM'99, SCS International, January 1999, pp.131-136,
[BMB99] M. Bettaz, M Maouche, K. Barkaoui. "De l'héritage du cycle de vie dans les objets: une approche basée sur les ECATNets", MOSIM'99, SCS International, January 1999, pp.125-130,
[DEL99] D. Delahaye. "Information Retrieval in a Coq Proof Library using Type Isomorphisms", January 1999, Vol. 1956, pp.131-147,

Conférence Nationale avec comité de lecture

[ND99] S. Natkin, V. Delebarre. "Exigences de sécurité et de fonctionnement et processus de développement du logiciel", ICSSEA 1999, Paris, January 1999,
[DGJ99] V. Delebarre, M. Gallardo, E. Juppeaux, S. Natkin. "Validation des constantes de sécurité du pilote automatique de METEORl", ICSSEA 1999, Paris, January 1999,

Rapport Scientifique

[FLM99] P. Facon, R. Laleau, A. Mammar. "Combining UML with the B Formal Method for the Specification of Database Applications", Date de dépot: 1999/01/01, (Tech. Rep.: CEDRIC-99-87)
[FLM99a] P. Facon, R. Laleau, A. Mammar, F. Polack. "Formal Specification of the UML Metamodel for Building Rigorous Caise Tools", Date de dépot: 1999/01/01, (Tech. Rep.: CEDRIC-99-91)

1998

Conférence Internationale avec comité de lecture

[LLJ98] N. Lammari, R. Laleau, M. Jouve. "Normalization and Denormalization : Two Mechanisms for Reorganizing IS_A Inheritance Hierarchies", Int. Conf. on Object-Oriented Information Systems (OOIS'98), Paris, France, January 1998, pp.38-53,
[BF98] S. Blazy, P. Facon. "Partial evaluation for program comprehension", sigplan Symposium on Partial Evaluation, Vol. 30(3),
[BP98] K. Barkaoui, J. Pradat-Peyre. "Verification in Concurrent Programming with Petri nets Structural Techniques", Third IEEE International High-Assurance Systems Engineering Symposium, January 1998, pp.124-133,
[BPa98] K. Barkaoui, L. Petrucci. "Structural Analysis of Workflow Nets with Shared Ressources", Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98), January 1998, pp.82-95,
[BCD98] K. Barkaoui, A. Chaoui, K. Djemame. "On the use of Algebraic Petri Nets for Supervisory Evaluation of Discrete Event Systems", IEEE-CESA'98 (IMACS Multiconference), Nabeul, Tunisia, January 1998, pp.465-469,

Livre

[BBa98] K. Barkaoui, A. Belghith. "Actes de la 5ème "Maghrebian Conference on Software Engineering and Artificial Intelligence"", January 1998,

Rapport Scientifique

[SIM98] M. Simonot. "Le raffinement algorithmique : définition par le haut et par le bas", Date de dépot: 1998/01/01, (Tech. Rep.: CEDRIC-98-1078)

1997

Conférence Internationale avec comité de lecture

[BF97] S. Blazy, P. Facon. "Application of formal methods to the development of a software maintenance tool", IEEE Conf. on Automated Software Engineering, Lake Tahoe, January 1997, pp.162-171,
[BKP97] K. Barkaoui, C. Kaiser, J. Pradat-Peyre. "Petri nets based proofs of Ada 95 solution for preference control", APSEC '97 / ICSC '97, January 1997,
[BCZ97] K. Barkaoui, A. Chaoui, B. Zouari. "Supervisory control of discrete event systems based on structure theory of Petri nets", IEEE Int. Conf. on Systems, Man and Cybernetics, SMCÂ97, January 1997, pp.3750-3755,
[BM97] K. Barkaoui, Y. Ma�zi. "Efficient Answer Extraction of Deductive Databases Modelled by HLPN", Int. Conference on Database and Expert Systems Applications DEXAÂ97, LNCS 1308, January 1997, pp.324-336,
[BKPa97] K. Barkaoui, C. Kaiser, J. Pradat-Peyre. "Petri nets based proofs of Ada 95 solution for preference control", 3rd Asia-Pacific Software Engineering Conference APSECÂ97, January 1997, pp.238-248,
[BB97] K. Barkaoui, R. Benamara. "Towards an efficient probabilistic deadlock detection method for multidatabase systems", 6th Workshop on Future Trends of Distributed Computing Syst. FTDCS'97, January 1997, pp.84-91,
[BCB97] K. Barkaoui, A. Chaoui, R. Benamara. "The performance of alternative strategies for dealing with deadlocks in FMS", 6th Int. Conf. on Emerging Technologies and Factory Automation Proceedings (ETFA'97), January 1997, pp.281 - 286,
[CBR97] A. Chaoui, K. Barkaoui, R. Robbana, B. Zouari. "Towards an efficient structural control policy for automated manufacturing systems", EDA'97, Bangkok, Tailand, January 1997, pp.751-752,
[BCBa97] K. Barkaoui, A. Chaoui, R. Benamara. "Analyse comparative de stratégies de controle d'interblocage dans les systémes de production flexibles", MOSIM'97, January 1997,
[BMa97] K. Barkaoui, Y. Ma�zi. "A query evaluation strategy for deductive databases with presence of negation based on HLPN (High-Level Petri Net)", IEEE Int. Conf. on Systems, Man, and Cybernetics, Orlando, US, January 1997, pp.2386-2391,
[EB97] M. Escheikh, K. Barkaoui. "Waiting Time Analysis for a Versatile Markovian Arrival Process with Backpressure mechanism", 5th IntÂl. Conf. on Computer and Communication Systems, Telecommunication Systems. Nashville, USA, January 1997, pp.330-358,

Conférence Nationale avec comité de lecture

[DDW97] D. Delahaye, R. Di Cosmo, B. Werner. " Recherche dans une bibliothèque de preuves Coq en utilisant le type et modulo isomorphismes", PRC/GDR de programmation, PÃ´le Preuves et SpÃ©cifications AlgÃ©briques, January 1997,

Rapport Scientifique

[DEL97] D. Delahaye. "Search2: un outil de recherche dans une bibliothèque de preuves Coq modulo isomorphismes", Date de dépot: 1997/01/01, (Tech. Rep.: CEDRIC-97-730)

1996

Revue Internationale avec comité de lecture

[BBC96] K. Barkaoui, M. Bettaz, A. Chaoui. "On Finding Structural Deadlocks in EcatNets using a Logic of Concurrency", Journal of Computing and Information, vol. 2(1), pp. 470-481, 1996

Conférence Internationale avec comité de lecture

[LLJ96] N. Lammari, R. Laleau, M. Jouve, X. Castellani. "Deriving Normalized Is_A Hierarchies by Using Applicability Constraints", CAISE'96 (Conference on Advanced Information Systems Engineering), CrÃ©te, GrÃ©ce, January 1996,
[BF96] S. Blazy, P. Facon. "Interprocedural analysis for program comprehension by specialization", 4th IEEE Workshop on Program Comprehension, Berlin, January 1996, pp.133-141,
[BF96a] S. Blazy, P. Facon. "An automatic interprocedural analysis for the understanding of scientific application programs", Seminar on partial evaluation, Dagsthul castle, January 1996, pp.1-16, Series LNCS 1110,
[AD96] M. Aponte, R. Dicosmo. "Type isomorphisms for module signatures", Symposium on Programming Language Implementation and Logic Programming (PLILP), January 1996, pp.334-346, Series LNCS,
[BP96] K. Barkaoui, J. Pradat-Peyre. "On Liveness and Controlled Siphons in Petri Nets", Application and Theory of Petri Nets, January 1996, Vol. 1091, pp.57-72, Series LNCS,
[BB96] K. Barkaoui, I. Ben Abdallah. "Analysis of a Resource Allocation Problem in FMS using Structure Theory of Petri Nets", 1st Int. Workshop on Manufacturing and Petri Nets, Osaka, Japan, January 1996, pp.115-125,
[BMB96] M. Bettaz, M Maouche, K. Barkaoui. "Formal Specification of Communication Protocols with Object-Based ECATNets", 22nd EUROMICRO Conference, January 1996, pp.492 - 499,
[BM96] K. Barkaoui, Y. Ma�zi. "Optimizing Query Evaluation in Deductive Databases Using Reductions", 7th Int. Workshop on Database and Expert Syst. Applications, January 1996, pp.30-39,
[BBR96] K. Barkaoui, R. Benamara, G. Rival. "Performance evaluation of a pessimistic global concurrency control algorithm for multidatabase systems", Symposium on discrete events and manufacturing systems, CESA'96 IMACS Multiconference, Lille, January 1996, pp.322-327,
[BBa96] K. Barkaoui, I. Ben Abdallah. "Structural liveness analysis of S[3]PR nets", Symp. on discrete events and manufacturing systems. CESA'96 IMACS Multiconference, January 1996, pp.438-443,

Conférence Nationale avec comité de lecture

[LLJa96] N. Lammari, R. Laleau, M. Jouve, X. Castellani. "Normalizing Classes by Splitting them into Inheritances Hierarchies", Fourth Maghrebian Conference on Software Engineering and Artificial Intelligence (4th MCSEAI), organ, January 1996,
[AC96] M. Aponte, G. Castagna. "Programmation modulaire avec surcharge et liaison tardive", JournÃ©es Francophones des Langages Applicatifs., January 1996,

1995

Conférence Internationale avec comité de lecture

[BF95] S. Blazy, P. Facon. "Formal specification and prorotyping of a program specializer", TAPSOFT'95, Aarhus, January 1995, pp.666-680, Series LNCS 915,
[BB95] K. Barkaoui, I. Ben Abdallah. "Deadlock avoidance in FMS based on structural theory of Petri nets", INRIA/IEEE Int. Conf. on Emerging Technologies and Factory Automation ETFAÂ95, January 1995, pp.499 - 510,
[BBa95] K. Barkaoui, I. Ben Abdallah. "A Deadlock Prevention Method for a Class of FMS", IEEE Int. Conf. on Systems, Man and Cybernetics 1995 SMCÂ95, January 1995, pp.4119-4124,
[BCD95] K. Barkaoui, J. Couvreur, C. Dutheillet. "On Liveness in Extended non Self-Controlling Nets", 16th Int. Conf. on Application and Theory of Petri Nets, ICATPNÂ 95, January 1995, pp.25-46, Series LNCS 935,

1994

Revue Internationale avec comité de lecture

[BF94a] S. Blazy, P. Facon. "Partial evaluation for the understanding of Fortran programs", IJSEKE, International Journal of Software Engineering and Knowledge Engineering, vol. 4(4), pp. 535-559, 1994
[MS94] P. Manoury, M. Simonot. " Automatizing termination proofs of recursively defined functions", Theoretical Computer Science, vol. 135, pp. 319 - 343, 1994

Conférence Internationale avec comité de lecture

[BF94] S. Blazy, P. Facon. "SFAC: a tool for program comprehension by specialization", 3rd IEEE Workshop on Program Comprehension, Washington D.C., 14-15 December, December 1994, pp.162-167,
[LJL94] N. Lammari, M. Jouve, R. Laleau, X. Castellani. "An Algorithm for IS_A Hierarchy Derivation", OOIS'94 (Int. Conf. on Object-Oriented Information systems), Londres, Angleterre, January 1994, pp.469 à 479,
[LLJ94] N. Lammari, R. Laleau, M. Jouve, X. Castellani. "An Automated Process Based on Existence Dependencies for Determining Class Substructures", Int. Conf. on Information Systems and Management of Data (CISMOD'94), Madras, Inde, January 1994, pp.54-65,
[AL94] M. Aponte, X. Leroy. "Llamado de procedimientos a distancia y abstraccion de tipos", Actes du 20e congres latino-americain d'informatique CLEI-PANEL, January 1994,
[BP94] K. Barkaoui, J. Peyre. "Combining Linear Programming and Graph Analysis for Petri Nets Validation", 7th SIAM Conference on Discrete Mathematics, January 1994,
[BB94] K. Barkaoui, I. Ben Abdallah. "An Efficient Deadlock Avoidance Control Policy in FMS using Structural Analysis of Petri Nets", IEEE Int. Conf. on Systems, Man and Cybernetics SMCÂ94, January 1994, pp.525-530,

Rapport Scientifique

[LLJa94] N. Lammari, R. Laleau, M. Jouve, X. Castellani. "Dépendances d'existence: définitions formelles et utilisation pour déterminer des liens d'héritages entre classes.", Date de dépot: 1994/01/01, (Tech. Rep.: CEDRIC-94-575)

1993

Conférence Internationale avec comité de lecture

[BF93] S. Blazy, P. Facon. "Partial evaluation as an aid to the comprehension of Fortran programs", 2nd IEEE Workshop on Program Comprehension, Capri, Italy, January 1993, pp.46-54,
[BF93a] S. Blazy, P. Facon. "Partial evaluation for the understanding of Fortran programs", Soft. Eng. and Knowledge Eng. (SEKE), San Francisco, January 1993, pp.517-525,
[BF93b] S. Blazy, P. Facon. "Partial evaluation and symbolic computation for the understanding of Fortran programs", CAISE'93, Paris, France, January 1993, pp.184-198, Series LNCS 685,
[MS93] P. Manoury, M. Simonot. "A programming language with proofs", Logic Programming and automated reasonning, January 1993, Vol. 624, Series LNCS ,
[BDH93] K. Barkaoui, C. Dutheillet, S. Haddad. "An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets", Application and Theory of Petri Nets, January 1993, pp.69-88, Series LNCS 691,

1992

Conférence Internationale avec comité de lecture

[BF92] S. Blazy, P. Facon. "Evaluation partielle pour la compréhension de programmes Fortran", Software Engineering and its applications, Toulouse, December, December 1992, pp.411-417,
[HVM92] M. Haziza, J. Voidrot, E. Minor, L. Pofelski, S. Blazy. "Software maintenance: an analysis of industrial needs and constraints", IEEE Conf. on Software Maintenance, Orlando, January 1992, pp.18-26,
[BM92] K. Barkaoui, M. Minoux. "A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets", Application and Theory of Petri Nets, January 1992, pp.62-75, Series LNCS 616,
[BBT92] K. Barkaoui, N. Boudriga, A. Touzi. "A Transition Net Formalism for Deductive Databases Efficiently Handling Quering and Integrity Constraints Aspects", the Int. Conf. on Database and Expert Systems Applications DEXAÂ92, January 1992, pp.221-225,
[TB92] A. Touzi, K. Barkaoui. "Un Formalisme de Modélisation et dOptimisation des Bases de Données Déductives Basé sur la Théorie des Réseaux de Petri de Haut Niveau", 2nd Maghrebine Conference on Software Engeneering and Artificial Intelligence, Tunis, January 1992, pp.99-115,

Mémoire de Thèse

[Sim92] M. Simonot. "Des preuves de totalité de fonctions comme synthèse de programme", Soutenue le: 01 January 1992, pp. 130,

1990

Revue Internationale avec comité de lecture

[BM90] K. Barkaoui, M. Minoux. "Deadlocks and Traps in Petri nets as Horn-satisfiability Solutions ans some related Polynomially problems", Discrete Applied Mathematics, vol. 29, pp. 195-210, 1990

1989

Conférence Internationale avec comité de lecture

[BL89] K. Barkaoui, B. Lemaire. "An Effective Characterization of Minimal Deadlocks and Traps in Petri nets Based on Graph Theory", 10th Int. Conf. on Application and Theory of Petri Nets ICATPN'89, January 1989, pp.1-21,

Systèmes Sûrs

Menu

Projets

Evenements

4th International Conference on Mobile, Secure and Programmable Networking (MSPN'2018)

8ième Journée thématique sur les Réseaux Véhiculaires (REVE)

2018

Revue Internationale avec comité de lecture

Conférence Internationale avec comité de lecture

2017

Revue Internationale avec comité de lecture

Revue Nationale avec comité de lecture

Conférence Internationale avec comité de lecture

Conférence Nationale avec comité de lecture

Conférences invitées

Livre

Chapitres de Livre

Rapport Scientifique

2016

Revue Internationale avec comité de lecture

Conférence Internationale avec comité de lecture

Conférence Nationale avec comité de lecture

Conférences Internationales sans actes

Livre

Atelier, Poster ou Démonstration dans une Conférence Internationale

2015

Revue Internationale avec comité de lecture

Revue Nationale avec comité de lecture

Conférence Internationale avec comité de lecture

Conférence Nationale avec comité de lecture

Conférences invitées

Directions d'ouvrages scientifiques

Atelier, Poster ou Démonstration dans une Conférence Internationale

Rapport Scientifique

2014

Revue Internationale avec comité de lecture

Conférence Internationale avec comité de lecture

Conférence Nationale avec comité de lecture

Directions d'ouvrages scientifiques

Chapitres de Livre

Mémoire de Thèse

Rapport Scientifique

Autres

2013

Revue Internationale avec comité de lecture

Revue Nationale avec comité de lecture

Conférence Internationale avec comité de lecture

Conférence Nationale avec comité de lecture

Conférences invitées

Conférences Internationales sans actes

Chapitres de Livre

Atelier, Poster ou Démonstration dans une Conférence Internationale

Mémoire de Thèse

2012

Revue Internationale avec comité de lecture

Revue Nationale avec comité de lecture

Conférence Internationale avec comité de lecture

Conférence Nationale avec comité de lecture

Conférences Internationales sans actes

Livre

Chapitres de Livre

Brevet et Normes

Atelier, Poster ou Démonstration dans une Conférence Internationale

Mémoire de Thèse

Rapport Scientifique

2011

Revue Internationale avec comité de lecture

Conférence Internationale avec comité de lecture

Conférence Nationale avec comité de lecture

Conférences invitées

Conférences Internationales sans actes

Livre

Chapitres de Livre

Rapport Scientifique

2010

Revue Internationale avec comité de lecture

Revue Nationale avec comité de lecture

Conférence Internationale avec comité de lecture

Conférence Nationale avec comité de lecture

Conférences Internationales sans actes