HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

hal-02168775v1  Conference papers
Nacira AbbasJérôme DavidAmedeo Napoli. Linkex: A Tool for Link Key Discovery Based on Pattern Structures
ICFCA 2019 - workshop on Applications and tools of formal concept analysis, Jun 2019, Frankfurt, Germany. pp.33-38
hal-03426543v1  Conference papers
Nacira AbbasAlexandre BazinJérôme DavidAmedeo Napoli. Sandwich: An Algorithm for Discovering Relevant Link Keys in an LKPS Concept Lattice
ICFCA 2021 - 16th international conference on formal concept analysis, Jun 2021, Strasbourg /Virtuel, France. pp.243-251, ⟨10.1007/978-3-030-77867-5_15⟩
hal-02921643v1  Conference papers
Nacira AbbasJérôme DavidAmedeo Napoli. Discovery of Link Keys in RDF Data Based on Pattern Structures: Preliminary Steps
CLA 2020 - The 15th International Conference on Concept Lattices and Their Applications, Jun 2020, Tallinn / Virtual, Estonia
hal-03482955v1  Conference papers
Nacira AbbasAlexandre BazinJérôme DavidAmedeo Napoli. Non-Redundant Link Keys in RDF Data: Preliminary Steps
FCA4AI 2021 - 9th Workshop on What can FCA do for Artificial Intelligence?, Aug 2021, Montréal/Online, Canada. pp.1-6
hal-03512110v1  Conference papers
Nacira AbbasJérôme DavidAmedeo Napoli. LKSA : un algorithme de sélection de clés de liage dans des données RDF guidée par des paires de classes
EGC 2021 - 21ème édition de la conférence "Extraction et Gestion des Connaissances", Jan 2021, Montpellier, France. pp.205-216
inria-00099496v1  Conference papers
Tarek AbbesAdel BouhoulaMichaël Rusinowitch. Filtrage Efficace Pour la Détection d'Intrusions
Conférence Francophone sur Sécurité et Architecture Réseaux (SAR'03), Jul 2003, Nancy, France, 10 p
hal-02547097v1  Conference papers
Ahmad AbboudAbdelkader LahmadiMichaël RusinowitchMiguel CouceiroAdel Bouhoula et al.  Double Mask: An efficient rule encoding for Software Defined Networking
ICIN 2020 - 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops, Feb 2020, Paris, France. pp.186--193
hal-03036350v1  Conference papers
Ahmad AbboudRémi GarciaAbdelkader LahmadiMichaël RusinowitchAdel Bouhoula. Efficient Distribution of Security Policy Filtering Rules in Software Defined Networks
NCA 2020 - 19th IEEE International Symposium on Network Computing and Applications, Nov 2020, Online conference, France
inria-00403933v1  Conference papers
Rached AbdelkhalekHenri CalendraOlivier CoulaudGuillaume LatuJean Roman. Fast Seismic Modeling and Reverse Time Migration on a GPU Cluster
The 2009 High Performance Computing & Simulation - HPCS'09, Jun 2009, Leipzig, Germany
inria-00407782v1  Conference papers
Rached AbdelkhalekHenri CalandraOlivier CoulaudGuillaume LatuJean Roman. FDTD Based Seismic Modeling and Reverse Time Migration on a GPU Cluster
9th International Conference on Mathematical and Numerical Aspects of Waves Propagation - Waves 2009, 2009, Pau, France
inria-00326077v1  Conference papers
Humberto AbdelnurTigran AvanesovMichaël RusinowitchRadu State. Abusing SIP Authentication
Information Assurance and Security ( ISIAS), Sep 2008, Naples, Italy. pp.237-242, ⟨10.1109/IAS.2008.29⟩
inria-00619236v1  Conference papers
Mohamed Ahmed AbdelraheemCéline BlondeauMaria Naya-PlasenciaMarion VideauErik Zenner. Cryptanalysis of ARMADILLO2
Advances in cryptology - ASIACRYPT 2011, Dec 2011, Séoul, South Korea. pp.308-326, ⟨10.1007/978-3-642-25385-0⟩
hal-01987946v1  Conference papers
Mohamed AbderrahimMeryem OuzzifKarine GuillouardJérôme FrançoisAdrien Lebre et al.  Efficient Resource Allocation for Multi-tenant Monitoring of Edge Infrastructures
PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavie, Italy. pp.1-8, ⟨10.1109/EMPDP.2019.8671621⟩
hal-01591161v1  Conference papers
Mohamed AbderrahimMeryem OuzzifKarine GuillouardJérôme FrançoisAdrien Lebre. A Holistic Monitoring Service for Fog/Edge Infrastructures: a Foresight Study
The IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud 2017), Aug 2017, Prague, Czech Republic. pp.337-344, ⟨10.1109/FiCloud.2017.30⟩
inria-00107574v1  Conference papers
Imine AbdessamadPascal MolliGérald OsterMichaël Rusinowitch. Development of Transformation Functions Assisted by a Theorem Prover
Fourth International Workshop on Collaborative Editing 2002 - ACM CSCW'2002, 2002, Nouvelle-Orléans, USA, 8 p
hal-01588490v2  Conference papers
Mohammed Riyadh AbdmeziemFrançois Charoy. Fault-tolerant and Scalable Key Management Protocol for IoT-based Collaborative Groups
SecureComm 2017 : 13th EAI International Conference on Security and Privacy in Communication Networks, Oct 2017, Niagara falls, Canada. pp.1-20
hal-01874495v1  Conference papers
Badr AbdullahIrina IllinaDominique Fohr. Dynamic Extension of ASR Lexicon Using Wikipedia Data
IEEE Workshop on Spoken and Language Technology (SLT), Dec 2018, Athènes, Greece
hal-01816256v3  Conference papers
Simon AbelardPierrick GaudryPierre-Jean Spaenlehauer. Counting points on genus-3 hyperelliptic curves with explicit real multiplication
ANTS-XIII - Thirteenth Algorithmic Number Theory Symposium, Jul 2018, Madison, United States. pp.1--19
hal-01092025v1  Conference papers
Younes AbidBilel SaadallahAbdelkader LahmadiOlivier Festor. Named data aggregation in wireless sensor networks
IEEE Network Operations and Management Symposium (NOMS), 2014, May 2014, cracovie, Poland. pp.1 - 8, ⟨10.1109/NOMS.2014.6838364⟩
hal-01649246v1  Conference papers
Younes AbidAbdessamad ImineAmedeo NapoliChedy RaïssiMichaël Rusinowitch. Two-phase preference disclosure in attributed social networks
DEXA 2017 - 28th International Conference on Database and Expert Systems Applications , Aug 2017, Lyon, France. pp.249-263, ⟨10.1007/978-3-319-64468-4_19⟩
hal-01402062v1  Conference papers
Younes AbidAbdessamad ImineAmedeo NapoliChedy RaïssiMichaël Rusinowitch. Online link disclosure strategies for social networks
The 11th International Conference on Risks and Security of Internet and Systems, Sep 2016, Roscoff, France
hal-01939277v1  Conference papers
Younes AbidAbdessamad ImineMichaël Rusinowitch. Online Testing of User Profile Resilience Against Inference Attacks in Social Networks
ADBIS 2018 - First International Workshop on Advances on Big Data Management, Analytics, Data Privacy and Security, BigDataMAPS 2018, Sep 2018, Budapest, Hungary
hal-01939283v1  Conference papers
Younes AbidAbdessamad ImineMichaël Rusinowitch. Sensitive attribute prediction for social networks users
DARLI-AP 2018 - 2nd International workshop on Data Analytics solutions for Real-LIfe APplications, Mar 2018, Vienne, Austria
hal-01377655v1  Conference papers
Eriká AbrahámJohn AbbottBernd BeckerAnna BigattiMartin Brain et al.  SC 2 : Satisfiability Checking meets Symbolic Computation (Project Paper)
Intelligent Computer Mathematics, Jul 2016, Bialystok, Poland
hal-01937946v1  Conference papers
Umut AcarArthur CharguéraudAdrien GuattoMike RaineyFilip Sieczkowski. Heartbeat scheduling: provable efficiency for nested parallelism
PLDI’18 - 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2018, Philadelphia, United States. ⟨10.1145/3192366.3192391⟩
hal-01973285v2  Conference papers
Umut AcarVitaly AksenovArthur CharguéraudMike Rainey. Provably and Practically Efficient Granularity Control
PPoPP 2019 - Principles and Practice of Parallel Programming, Feb 2019, Washington DC, United States. ⟨10.1145/3293883.3295725⟩
hal-01353925v1  Conference papers
Yinoussa AdagolodjoLaurent GoffinMichel de MathelinHadrien Courtecuisse. Inverse real-time Finite Element simulation for robotic control of flexible needle insertion in deformable tissues
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2016) , Oct 2016, Daejeon, South Korea
hal-01578815v1  Conference papers
Yinoussa AdagolodjoRaffaella TrivisonneNazim HaouchineStéphane CotinHadrien Courtecuisse. Silhouette-based Pose Estimation for Deformable Organs Application to Surgical Augmented Reality
IROS 2017 - IEEE/RSJ International Conference on Intelligent Robots and Systems, Sep 2017, Vancouver, Canada
hal-01792837v1  Conference papers
Yinoussa AdagolodjoNicolas GolseEric VibertMichel de MathelinStéphane Cotin et al.  Marker-based Registration for Large Deformations -Application to Open Liver Surgery
ICRA 2018 - International Conference on Robotics and Automation, May 2018, Brisbane, Australia
hal-01078045v1  Conference papers
Gilles AddaLaurent BesacierAlain CouillaultKarën FortJoseph Mariani et al.  Where the data are coming from?" Ethics, crowdsourcing and traceability for Big Data in Human Language Technology
Crowdsourcing and human computation multidisciplinary workshop, CNRS, Sep 2014, Paris, France
hal-01170042v2  Conference papers
Bernardetta AddisDallal BelabedMathieu BouetStefano Secci. Virtual Network Functions Placement and Routing Optimization
CloudNet 2015 - IEEE 4th International Conference on Cloud Networking, Oct 2015, Niagara Falls, ON, Canada. pp.171-177, ⟨10.1109/CloudNet.2015.7335301⟩
hal-01184171v2  Conference papers
David AdrianKarthikeyan BhargavanZakir DurumericPierrick GaudryMatthew Green et al.  Imperfect Forward Secrecy: How Diffie-Hellman Fails in Practice
CCS '15: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Oct 2015, Denver, Colorado, United States. pp.5-17, ⟨10.1145/2810103.2813707⟩
hal-02463336v2  Conference papers
Reynald AffeldtCyril CohenMarie KerjeanAssia MahboubiDamien Rouhling et al.  Competing inheritance paths in dependent type theory: a case study in functional analysis
IJCAR 2020 - International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.1-19
hal-00722878v2  Conference papers
Ali AfroozehJean-Christophe BachMark van den BrandAdrian JohnstoneMaarten Manders et al.  Island Grammar-based Parsing using GLL and Tom
SLE 2012 - 5th International Conference on Software Language Engineering, Sep 2012, Dresden, Germany. pp.224-243, ⟨10.1007/978-3-642-36089-3_13⟩
hal-00924922v1  Conference papers
Agustina AgustinaNing GuClaudia-Lavinia IgnatMichael MacfaddenHaifeng Shen et al.  The Thirteenth International Workshop on Collaborative Editing Systems
Conference on Computer supported cooperative work, Feb 2013, San Antonio, United States
hal-03463294v1  Conference papers
Sina AhmadiMathieu ConstantKarën FortBruno GuillaumeJohn Mccrae. Convertir le Trésor de la Langue Française en Ontolex-Lemon : un zeste de données liées
Journées LIFT 2021 - Linguistique informatique, formelle et de terrain, Dec 2021, Grenoble, France
hal-01620023v1  Conference papers
Amina Ahmed NacerClaude GodartSamir YoucefAbdelkamel Tari. A Metric for Evaluating the Privacy Level of a Business Process Logic in a Multi-Cloud Deployment
IEEE 21st International Enterprise Distributed Object Computing Conference (EDOC), Oct 2017, Quebec, Canada
hal-00873506v1  Conference papers
Mehdi Ahmed-NacerPascal UrsoFrançois Charoy. Improving Textual Merge Result
CollaborateCom 2013 - 9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2013, Austin, Texas, United States
hal-00873496v1  Conference papers
Mehdi Ahmed-NacerPascal UrsoBalegas ValterNuno Preguiça. Concurrency Control and Awareness Support for Multi-synchronous Collaborative Editing
COLLABORATECOM 2013 - 9th IEEE International. Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2013, Austin, Texas, United States
hal-00957168v1  Conference papers
Mehdi Ahmed-NacerPascal UrsoFrançois Charoy. Evaluating Software Merge Quality
18th International Conference on Evaluation and Assessment in Software Engineering, May 2014, London, United Kingdom. pp.9, ⟨10.1145/2601248.2601275⟩
hal-00957167v1  Conference papers
Mehdi Ahmed-NacerPascal UrsoValter BalegasNuno Preguiça. Merging OT and CRDT Algorithms
1st Workshop on Principles and Practice of Eventual Consistency (PaPEC), Apr 2014, Amsterdam, Netherlands. ⟨10.1145/2596631.2596636⟩
hal-00710258v1  Conference papers
Mehdi Ahmed-NacerPascal UrsoClaudia-Lavinia IgnatGérald Oster. Évaluation de l'occupation mémoire des CRDTs pour l'édition collaborative temps-réel mobile
UbiMob - French-speaking Conference on Mobility and Ubiquity Computing - 2012, Jun 2012, Anglet, France
inria-00629503v1  Conference papers
Mehdi Ahmed-NacerClaudia-Lavinia IgnatGérald OsterHyun-Gul RohPascal Urso. Evaluating CRDTs for Real-time Document Editing
11th ACM Symposium on Document Engineering, Sep 2011, Mountain View, California, United States. pp.103--112, ⟨10.1145/2034691.2034717⟩
hal-01797538v1  Conference papers
Yamine Aït-AmeurIdir Ait-SadounePierre CastéranJohn Paul GibsonKahina Hacid et al.  On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B
6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), Jun 2018, Southampton, United Kingdom. pp.425--430, ⟨10.1007/978-3-319-91271-4_35⟩
inria-00544137v1  Conference papers
Sabina AkhtarStephan MerzMartin Quinson. Extending PlusCal: A Language for Describing Concurrent and Distributed Algorithms
Actes des deuxièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Mar 2010, Pau, France
inria-00537779v1  Conference papers
Sabina AkhtarStephan MerzMartin Quinson. A High-Level Language for Modeling Algorithms and their Properties
13th Brazilian Symposium on Formal Methods - SBMF'2010, Nov 2010, Natal, Brazil
hal-01657116v1  Conference papers
Sabina AktarEhtesham ZahoorOlivier Perrin. Formal Verification of Authorization Policies for Enterprise Social Networks using PlusCal-2
CollaborateCom 2017 - 13th EAI International Conference on Collaborative Computing: Networking, Applications and Worksharing, Dec 2017, Edimburg, United Kingdom. pp.1-10