Liste des publications

2018

[BB18b] K. Barkaoui, H. Boucheneb. "Introduction to special issue on verification and evaluation of computer systems", Innovations in Systems and Software Engineering - A NASA Journal, vol. 14(2), pp. 81-82, 2018, (doi:10.1007/s11334-018-0310-0)

[LDD18] N. Levy, M. Derras, L. Deruelle, F. Losavio. "Towards bridging the gap between domain and application design", 6th International Conference on Enterprise Systems, October 2018, Limassol, Cyprus,
[LPD18] N. Levy, Y. Pollet, J. Douin, F. Losavio, M. Derras, L. Deruelle, V. Reiner. "Reference Architecture Design: A Practical Approach", ICSOFT 2018, July 2018, pp.633-640, Porto, Portugal,
[ETB18] M. Escheikh, Z. Tayachi, K. Barkaoui. "Performability evaluation of server virtualized systems under bursty workload", 14th IFAC Workshop on Discrete Event Systems WODES 2018, May 2018, Vol. 51(7), pp.45-50, Sorrente, Italy, (DOI: 10.1016/j.ifacol.2018.06.277)

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

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

[CTS16] I. Comyn-Wattiau, K. Tanaka, I. Song, S. Yamamoto, M. Saeki. "Conceptual Modeling - 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings", November 2016, Springer LNCS, pp. 562,

[Lam16] A. Lambert. "SMIQP (Solution of Mixed Integer Quadratic Programs). version 2",

datepub: June 2016,

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

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

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

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

[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

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

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