Publications

AnnéeType de publicationAuteurMot clé
   

Article de revue avec comité de lecture (10)

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, august 2018, vol. 30, n° 3-4, pp. 463-489
abstract

LIAO Jianwei, CAI Zhigang, TRAHAY François, PENG Xiaoning
Block placement in distributed file systems based on block access frequency. IEEE access, june 2018, vol. 6, pp. 38411-38420
URL: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8400509
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), july 2018, vol. 13, n° 2, pp. Article n° 9
abstract

LIAO Jianwei, TRAHAY François, CAI Zhigang, XIONG Hailing, CHEN Shanxiong, ISHIKAWA Yutaka
Fine granularity and adaptive cache update mechanism for client caching. IEEE systems journal, 2018, pp. 1-12 (document in press - published online 05 Sep 2018)
abstract

RADDAOUI Badran
On the measure of conflicts: an argumentation based framework . Journal of applied non-classical logics, may 2018, vol. 28, n° 2-3, pp. 240-259
abstract

SFAR Hela, BOUZEGHOUB Amel, RADDAOUI Badran
Early anomaly detection in smart home: a causal association rule-based approach. Artificial intelligence in medicine, september 2018, vol. 91, pp. 57-71
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

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

Communication dans une conférence à comité de lecture (24)

ABDELLATIF Safa, BEN HASSINE Mohamed Ali, BEN YAHIA Sadok, BOUZEGHOUB Amel
ARCID: a new approach to deal with imbalanced datasets classification. SOFSEM 2018 : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Cham : Edizioni della Normale, 29 january - 02 february 2018, Krems, Austria, 2018, pp. 569-580, ISBN 978-3-319-73116-2
abstract

AIT WAKRIME Abderrahim, GIBSON John Paul, RAFFY Jean-Luc
Formalising the requirements of an e-voting software product line using event-B. WETICE 2018: 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Los Alamitos : IEEE Computer Society, 27-29 june 2018, Paris, France, 2018, pp. 78-84, ISBN 978-1-5386-6916-7
[PDF]
abstract

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 Computer Society, 25-28 september 2018, Milwaukee, United States, 2018, pp. 237-243, ISBN 978-1-5386-6886-3
abstract

BOUDANE Abdelhamid, JABBOUR Saïd, RADDAOUI Badran, SAIS Lakhdar
Efficient SAT-based encodings of conditional cardinality constraints. LPAR-22 2018: 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning, EPiC Series in Computing, 16-21 november 2018, Awassa , Ethiopia, 2018, vol. 57, pp. 181-195, ISBN 2398-7340
URL: https://easychair.org/publications/open/3XKD
abstract

CALDAS Jorge Daniel, LOPES GANCARSKI Alda, RANGEL HENRIQUES Pedro
Online social networks analysis visualization using Socii. WorldCIST 2018 : 6th World Conference on Information Systems and Technologies, Cham : Springer, 27-29 march 2018, Naples, Italy, 2018, vol. 2, pp. 218-228, ISBN 978-3-319-77711-5
abstract

COROLLER Stevan, CHABRIDON Sophie, LAURENT Maryline, CONAN Denis, LENEUTRE Jean
Towards end-to-end privacy for publish/subscribe architectures in the Internet of Things. M4IoT 2018: 5th Workshop on Middleware and Applications for the Internet of Things at the 2018 ACM/IFIP International Middleware Conference, New York : ACM, 10-14 december 2018, Rennes, France, 2018, pp. 35-40, ISBN 978-1-4503-6118-7
abstract

GIBSON John Paul, GORM LARSEN Peter , PANTEL Marc, FITZGERALD John, WOODCOCK Jim
Cyber-physical systems engineering: an introduction. ISOLA 2018: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Cham : Springer , 05-09 november 2018, Limassol, Cyprus, 2018, pp. 407-410, ISBN 978-3-030-03423-8
[PDF]
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, 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, Cham : Springer, 27-31 august 2018, Lille, France, 2018, pp. 554-569, ISBN 978-3-319-98333-2
abstract

JABBOUR Saïd, MHADHBI Nizar, RADDAOUI Badran, SAIS Lakhdar
Pushing the envelope in overlapping communities detection. IDA 2018: 17th international symposium on Intelligent Data Analysis, Cham : Springer, 24-26 october 2018, 'S-Hertogenbosch, Netherlands, 2018, pp. 151-163, ISBN 978-3-030-01767-5
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, pp. 437-444, ISBN 978-1-5386-2195-0
abstract

JABBOUR Saïd, MHADHBI Nizar, RADDAOUI Badran, SAIS Lakhdar
Detecting highly overlapping community structure by model-based maximal clique expansion. BigData 2018: IEEE international conference on Big Data, Los Alamitos : IEEE Computer Society, 10-13 december 2018, Seattle, United States, 2018 (document in press)
abstract

JARRAYA Amina, BOUZEGHOUB Amel, BORGI Amel, AROUR Khedija
Distributed collaborative reasoning for HAR in smart homes. AAMAS 2018 : 17th International Conference on Autonomous Agents and MultiAgent Systems, Richland : International Foundation for Autonomous Agents and Multiagent Systems, 10-15 july 2018, Stockholm, Sweden, 2018, pp. 1971-1973
URL: http://ifaamas.org/Proceedings/aamas2018/pdfs/p1971.pdf
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 itemsets mining. CP 2018: 24th International Conference on Principles and Practice of Constraint Programming, Cham : Springer, 27-31 august 2018, Lille, France, 2018, pp. 570-587, ISBN 978-3-319-98333-2
abstract

RAKOCZY Monika, BOUZEGHOUB Amel, LOPES GANCARSKI Alda, WEGRZYN-WOLSKA Katarzyna
Influence in time-dependent citation networks. RCIS 2018: 12th International Conference on Research Challenges in Information Science, Los Alamitos : IEEE Computer Society, 29-31 may 2018, Nantes, France, 2018, pp. 1-11, ISBN 978-1-5386-6517-6
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, New York : ACM, 13-16 august 2018, Eugene, United States, 2018, pp. 19-1-19-10, ISBN 978-1-4503-6510-9
[PDF]
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, Cham : Springer, 05-07 september 2018, Maynooth, Ireland, 2018, pp. 377-397, ISBN 978-3-319-98937-2
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 , 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