Publications

YearType of publicationAuteurKeyword
   

Journal article - peer reviewed (9)

BOSILCA George, BOUTEILLER Aurélien, GUERMOUCHE Amina, HERAULT Thomas, ROBERT Yves, SENS Pierre, DONGARRA Jack
A failure detector for HPC platforms. International journal of high performance computing applications (IJHPCA), january 2018, vol. 32, n° 1, pp. 139-158
URL: https://hal.inria.fr/hal-01453086/document
abstract

BOUZID Zohir, RAYNAL Michel, SUTRA Pierre
Anonymous obstruction-free (n,k)-set agreement with n−k+1 atomic read/write registers. Distributed computing, april 2018, vol. 31, n° 2, pp. 99-117
abstract

CHANE-YACK-FA Raphael , FRAPPIER Marc, MAMMAR Amel, FINKEL Alain
Parameterized verification of monotone information systems. Formal aspects of computing, 2018 (document in press)
abstract

LIAO Jianwei, CAI Zhigang, TRAHAY François, JUN Zhou, XIAO Guoqiang
Adaptive process migrations in coupled applications for exchanging data in local file cache. ACM transactions on autonomous and adaptive systems (TAAS), 2018 (document in press)
abstract

LIAO Jianwei, CAI Zhigang, TRAHAY François, PENG Xiaoning
Block placement in distributed file systems based on block access frequency. IEEE access, 2018, pp. 1-10 (document in press - published online 29 Jun 2018)
URL: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8400509
abstract

RADDAOUI Badran
On the measure of conflicts: an argumentation based framework . Journal of applied non-classical logics, 2018 (document in press - published online 07 May 2018)
abstract

SFAR Hela, BOUZEGHOUB Amel, RADDAOUI Badran
Early anomaly detection in smart home: a causal association rule-based approach. Artificial intelligence in medicine, 2018, pp. 1-15 (document in press - published online 29 Jun 2018)
abstract

ZHOU Zhangbing , CHENG Zehui, ZHANG Liang-Jie, GAALOUL Walid, NING Ke
Scientific workflow clustering and recommendation leveraging layer hierarchical analysis. IEEE transactions on services computing, january 2018, vol. 11, n° 1, pp. 169-183
abstract

ZHOU Zhangbing , ZHAO Deng, HANCKE Gerhard , SHU Lei , SUN Yunchuan
Cache-aware query optimization in multiapplication sharing wireless sensor networks. IEEE transactions on systems, man, and cybernetics. Systems, march 2018, vol. 48, n° 3, pp. 401-417
abstract

Communication in a conference - peer reviewed (14)

AIT-AMEUR Yamine, AIT-SADOUNE Idir, CASTERAN Pierre, GIBSON John Paul, HACID Kahina, KHERROUBI Souad, MÉRY Dominique, MOHAND-OUSSAID Linda, SINGH Neeraj, VOISIN Laurent
On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B. ABZ 2018: 6th International ABZ Conference on Abstract State Machines, Alloy, B, TLA, VDM and Z, Cham : Springer, 05-08 june 2018, Southampton, United Kingdom, 2018, pp. 425-430, ISBN 978-3-319-91270-7
[PDF]
abstract

AUSSEL Nicolas, PETETIN Yohan, CHABRIDON Sophie
Improving performances of log mining for anomaly prediction through NLP-based log parsing. MASCOTS 2018: 26th International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Los Alamitos : IEEE, 25-28 september 2018, Milwaukee, United States, 2018 (document in press)
abstract

GIBSON John Paul, MÉRY Dominique
Explicit modelling of physical measures: from Event-B to Java. IMPEX 2017: 1st International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, Electronic Proceedings in Theoretical Computer Science, 13-17 november 2017, Xi’An, China, 2018, vol. 271, pp. 64-79
[PDF]
abstract

JABBOUR Saïd, MHADHBI Nizar, RADDAOUI Badran, SAIS Lakhdar
Triangle-driven community detection in large graphs using propositional satisfiability. AINA 2018: 32nd International Conference on Advanced Information Networking and Applications, Los Alamitos : IEEE Computer Society, 16-18 may 2018, Cracow, Poland, 2018 (document in press)
abstract

JABBOUR Saïd, MANA Fatima Ezzahra, OULED DLALA Imen, RADDAOUI Badran, SAIS Lakhdar
On maximal frequent itemsets mining with constraints. CP 2018 : 24th International Conference on Principles and Practice of Constraint Programming, 27-31 august 2018, Lille, France, 2018 (document in press)
abstract

MAMMAR Amel, FRAPPIER Marc, TUENO Steve , LALEAU Régine
An Event-B model of the hybrid ERTMS/ETCS level 3 standard. ABZ 2018: 6th International ABZ Conference on Abstract State Machines, Alloy, B, TLA, VDM and Z, Cham : Springer, 05-08 june 2018, Southampton, United Kingdom, 2018, pp. 353-366, ISBN 978-3-319-91270-7
abstract

MOHAMED Mohamed, ANYA Obinna, TAKASHI Sakairi, TATA Samir, NAGAPRAMOD Mandagere, HEIKO Ludwig
The rSLA framework : monitoring and enforcement of service level agreements for cloud services. SCC 2016 : 13th International Conference on Services Computing, Los Alamitos : IEEE Computer Society, 27 june - 02 july 2016, San Francisco, United States, 2018, pp. 625-632, ISBN 978-1-5090-2628-9
abstract

OUDART David, CANTENOT Jérôme, BOULANGER Frédéric, CHABRIDON Sophie
Démarche de conception d'un réseau électrique intelligent et de son système d'information par cosimulation. CIEL 2018 : 7ème Conférence en IngénieriE du Logiciel , France : CNRS, 14-15 juin 2018, Grenoble, France, 2018, pp. 9-1-9-5
URL: http://gdr-gpl.cnrs.fr/node/329
[PDF]
abstract

OULED DLALA Imen, JABBOUR Saïd, RADDAOUI Badran, SAIS Lakhdar
A parallel SAT based framework for closed frequent pattern mining. CP 2018: 24th International Conference on Principles and Practice of Constraint Programming, 27-31 august 2018, Lilli, France, 2018 (document in press)
abstract

SUTRA Pierre, MARLIER Patrick, SCHIAVONI Valerio, TRAHAY François
Boosting transactional memory with stricter serializability. COORDINATION 2018: 20th International Conference on Coordination Models and Languages, Cham : Springer, 18-21 june 2018, Madrid, Spain, 2018, pp. 231-251, ISBN 978-3-319-92407-6
abstract

TRAHAY François, SELVA Manuel, MOREL Lionel, MARQUET Kevin
NumaMMA: Numa MeMory Analyzer. ICPP 2018: 47th International Conference on Parallel Processing, 13-16 august 2018, Eugene, United States, 2018, pp. 1-10, ISBN 978-1-4503-6510-9 (document in press)
[PDF]
abstract

TUENO Steve , MAMMAR Amel, LALEAU Régine, FRAPPIER Marc
Event-B expression and verification of translation rules between SysML/KAOS domain models and B system specifications. ABZ 2018: 6th International ABZ Conference on Abstract State Machines, Alloy, B, TLA, VDM and Z, Cham : Springer, 05-08 june 2018, Southampton, United Kingdom, 2018, pp. 55-70, ISBN 978-3-319-91270-7
abstract

TUENO Steve , FRAPPIER Marc, LALEAU Régine, MAMMAR Amel
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. ABZ 2018: 6th International ABZ Conference on Abstract State Machines, Alloy, B, TLA, VDM and Z, Cham : Springer, 05-08 june 2018, Southampton, United Kingdom, 2018, pp. 262-276, ISBN 978-3-319-91270-7
abstract

TUENO Steve , FRAPPIER Marc, LALEAU Régine, MAMMAR Amel, LEUSCHEL Michael
Formalisation of SysML/KAOS goal assignments with B system component decompositions. IFM 2018: 14th International Conference on Integrated Formal Methods, 05-07 september 2018, Maynooth, Ireland, 2018, pp. 1-20 (document in press)
abstract