Skip to Main content Skip to Navigation

inria-00596236v1  Journal articles
A. A. FallAbderrahman IggidrGauthier SalletJean-Jules Tewa. Epidemiological models and Lyapunov functions
Mathematical Modelling of Natural Phenomena, EDP Sciences, 2007, 2 (1), pp.62 - 83. ⟨10.1051/mmnp:2008011⟩
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-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
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-01320646v1  Journal articles
Tarek AbbesAdel BouhoulaMichaël Rusinowitch. Detection of firewall configuration errors with updatable tree
International Journal of Information Security, Springer Verlag, 2016, 15 (3), pp.301-317. ⟨10.1007/s10207-015-0290-0⟩
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
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-03036292v1  Poster communications
Ahmad AbboudRémi GarciaAbdelkader LahmadiMichaël RusinowitchAdel Bouhoula. R2-D2: Filter Rule set Decomposition and Distribution in Software Defined Networks
CNSM 2020 - 16th International Conference on Network and Service Management, Nov 2020, Izmir/Virtual, Turkey
hal-01654158v1  Journal articles
Meriem AbdallahMarie BlonskiSophie Wantz-MézièresYann GaudeauLuc Taillandier et al.  On the relevance of two manual tumor volume estimation methods for diffuse low-grade gliomas
Healthcare Technology Letters, The Institution of Engineering and Technology, 2018, 5 (1), pp.13-17. ⟨10.1049/htl.2017.0013⟩
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-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-00405356v1  Journal articles
Humberto AbdelnurTigran AvanesovMichaël RusinowitchRadu State. Abusing SIP authentication
Journal of Information Assurance and Security, Dynamic Publishers Inc., USA, 2009, Special Issue on Access Control and Protcols, 4 (4), pp.311-318
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-01897570v3  Reports
Mohamed AbderrahimMeryem OuzzifKarine GuillouardJérôme FrançoisXavier Lorca et al.  A Framework for Edge Infrastructures Monitoring
[Research Report] RR-9215, Orange Labs; Inria Nancy - Grand Est; IMT-Atlantique. 2018, pp.1-14
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
tel-03256970v1  Habilitation à diriger des recherches
Imine Abdessamad. Partage de Données dans les Systèmes Collaboratifs : De la Synchronisation à la Protection des Données
Calcul parallèle, distribué et partagé [cs.DC]. Université de Lorraine, 2016
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-02378897v1  Journal articles
Mohammed Riyadh Abdmeziem. Securing IoT-based collaborative applications using a new compressed and distributed MIKEY mode
International Journal of Information and Computer Security, Inderscience, 2019
hal-02378889v1  Journal articles
Mohammed Riyadh AbdmeziemFrançois Charoy. Securing IoT-based Groups: Efficient, Scalable and Fault-tolerant Key Management Protocol
Ad Hoc & Sensor Wireless Networks, PKP Publishing ServicesNetwork 2019
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-01613530v2  Journal articles
Simon AbelardPierrick GaudryPierre-Jean Spaenlehauer. Improved Complexity Bounds for Counting Points on Hyperelliptic Curves
Foundations of Computational Mathematics, Springer Verlag, 2019, 19 (3), pp.591-621. ⟨10.1007/s10208-018-9392-1⟩
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-01241619v1  Poster communications
Younes AbidAbdessamad ImineAmedeo NapoliChedy RaïssiMarc Rigolot et al.  Analyse d'activité et exposition de la vie privée sur les médias sociaux
16ème conférence francophone sur l'Extraction et la Gestion des Connaissances (EGC 2016), Jan 2016, Reims, France. 2016
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-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-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-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
tel-01863354v1  Theses
Younes Abid. Automated Risk Analysis on Privacy in Social Networks
Social and Information Networks [cs.SI]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0088⟩
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-00917435v1  Master thesis
Jagdish Prasad Achara. Security Framework for Decentralized Shared Calendars
Distributed, Parallel, and Cluster Computing [cs.DC]. 2011
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
tel-01939268v1  Theses
Yinoussa Adagolodjo. Couplage de La rObotique et de la simulatioN médicalE pour des proCédures automaTisées (CONECT)
Optimisation et contrôle [math.OC]. Université de Strasbourg, 2018. Français
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-00675359v2  Journal articles
Philippe AddaDerdei Bichara. Global stability for SIR and SIRS models with differential mortality
International Journal of Pure and Applied Mathematics, Academic Publishing Ltd, 2012, GLOBAL STABILITY FOR SIR AND SIRS MODELS WITH DIFFERENTIAL MORTALITY, 80 (3), pp.425-433
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-00726146v2  Journal articles
Kamil AdiloğluEmmanuel Vincent. Variational Bayesian Inference for Source Separation and Robust Feature Extraction
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2016, ⟨10.1109/TASLP.2016.2583794⟩
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-01982426v1  Journal articles
David AdrianKarthikeyan BhargavanZakir DurumericPierrick GaudryMatthew Green et al.  Imperfect forward secrecy: How Diffie-Hellman fails in practice
Communications of the ACM, Association for Computing Machinery, 2018, 62 (1), pp.106-114. ⟨10.1145/3292035⟩
hal-00977344v2  Journal articles
Bedros AfeyanFernando CasasNicolas CrouseillesAdila DodhyErwan Faou et al.  Simulations of Kinetic Electrostatic Electron Nonlinear (KEEN) Waves with Variable Velocity Resolution Grids and High-Order Time-Splitting
The European Physical Journal D : Atomic, molecular, optical and plasma physics, EDP Sciences, 2014, 68 (10), DOI: 10.1140/epjd/e2014-50212-6. ⟨10.1140/epjd/e2014-50212-6⟩
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-00097173v1  Journal articles
Andrei A. AgrachevUgo BoscainMario Sigalotti. A Gauss-Bonnet-like Formula on Two-Dimensional almost-Riemannian Manifolds
Discrete and Continuous Dynamical Systems - Series A, American Institute of Mathematical Sciences, 2008, 20 (4), pp.801-822. ⟨10.3934/dcds.2008.20.801⟩
hal-00410127v1  Journal articles
Andrei AgrachevUgo BoscainGrégoire CharlotRoberta GhezziMario Sigalotti. Two-Dimensional Almost-Riemannian Structures with Tangency Points
Annales de l'Institut Henri Poincaré (C) Non Linear Analysis, Elsevier, 2010, 27 (3), pp.793-307. ⟨10.1016/j.anihpc.2009.11.011⟩
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
tel-01746222v3  Theses
Mumtaz Ahmad. Memory optimization strategies for linear mappings and indexation-based shared documents
Discrete Mathematics [cs.DM]. Université Henri Poincaré - Nancy 1, 2011. English
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
tel-02096672v1  Theses
Amina Ahmed Nacer. Contributions au déploiement sécurisé de processus métiers dans le cloud
Web. Université de Lorraine; Université A. Mira (Bejaïa, Algérie), 2019. Français. ⟨NNT : 2019LORR0013⟩
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⟩
tel-01751533v2  Theses
Mehdi Ahmed-Nacer. Méthodologie d'évaluation pour les types de données répliqués
Calcul parallèle, distribué et partagé [cs.DC]. Université de Lorraine, 2015. Français. ⟨NNT : 2015LORR0039⟩
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-00720681v1  Reports
Mehdi Ahmed-NacerStéphane MartinPascal Urso. File system on CRDT
[Research Report] RR-8027, INRIA. 2012, pp.19
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-01261869v1  Journal articles
Mehdi Ahmed-NacerPascal UrsoFrançois Charoy. Merging By Decentralized Eventual Consistency Algorithms
EAI Endorsed Transactions on Collaborative Computing, European Alliance for Innovation, 2015, 1 (6), ⟨10.4108/eai.21-12-2015.150817⟩
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
hal-00202638v1  Journal articles
Pierre AilliotEmmanuel FrénodValérie Monbet. Modeling the Coastal Ocean over a Time Period of Several Weeks
Journal of Differential Equations, Elsevier, 2010, 246 (4), pp.639 - 659. ⟨10.1016/j.jde.2009.11.004⟩
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-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
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
tel-01749162v2  Theses
Sabina Akhtar. Formal Verification of Distributed Algorithms using PlusCal-2
Data Structures and Algorithms [cs.DS]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0014⟩
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
hal-01071150v1  Journal articles
Fatiha Alabau-BoussouiraVincent PerrollazLionel Rosier. Finite-time stabilization of a network of strings
Mathematical Control and Related Fields, AIMS, 2015, 5 (4), pp.721-742. ⟨10.3934/mcrf.2015.5.721⟩