Skip to Main content Skip to Navigation


...
inria-00626270v1  Conference papers
Alexandre AbadieBenoît CombèsClaire HaegelenSylvain Prima. CLARCS, a C++ Library for Automated Registration and Comparison of Surfaces: Medical Applications
MICCAI Workshop on Mesh Processing in Medical Image Analysis (MeshMed'2011), Sep 2011, Toronto, Canada. pp.117-126
...
hal-00670672v1  Conference papers
Katia AbbaciAllel HadjaliLudovic LiétardDaniel Rocacher. Interrogation de bases de données de graphes : Une approche basée sur un skyline par similarité
Conférence Maghrébine sur l'Extraction et la Gestion des Connaissances (EGC-M), Dec 2010, Algeria. pp.46-57
...
hal-00672480v1  Conference papers
Katia AbbaciFernando LemosAllel HadjaliDaniela GrigoriLudovic Lietard et al.  An Approach Based on Fuzzy Sets to Handle Preferences in Service Retrieval
IEEE Conference on Commerce and Enterprise Computing, Sep 2011, Luxembourg. pp.213-218
...
hal-00670615v1  Conference papers
Katia AbbaciFernando LemosAllel HadjaliDaniela GrigoriLudovic Liétard et al.  Selecting and Ranking Business Process with Preferences: An Approach Based on Fuzzy Set
International Conference on Cooperative Information Systems, Oct 2011, Greece. pp.38-55
...
hal-00670641v1  Conference papers
Katia AbbaciAllel HadjaliLudovic LiétardDaniel Rocacher. A Similarity Skyline Approach for Handling Graph Queries - A Preliminary Report
International Workshop on Graph Data Management Techniques and Applications (GDM'11), in Conjunction with The IEEE International Conference on Data Engineering (ICDE),, Apr 2011, Germany. pp.112-117
...
hal-00670669v1  Conference papers
Katia AbbaciAllel HadjaliLudovic LiétardDaniel Rocacher. Une Approche Skyline pour l'Interrogation de Bases de Données de Graphes
Atelier Graphes et Appariement d'Objets Complexes (GAOC) organisé conjointement avec la avec 11ème Conférence Internationale Francophone sur l'Extraction et la Gestion des Connaissances (EGC), Jan 2011, France. pp.14-25
...
hal-02914569v1  Conference papers
Mostafa AbbasRasha OmarAhmed El-MahdyErven Rohou. Approximate Data Dependence Profiling based on Abstract Interval and Congruent Domains
ARCS 2020 - 33rd International Conference on Architecture of Computing Systems, May 2020, Aachen (virtual), Germany. pp.3-16, ⟨10.1007/978-3-030-52794-5_1⟩
...
hal-01558062v1  Book sections
Nassim AbbasYoucef ChibaniArnaud MartinFlorentin Smarandache. The effective use of the DSmT for multi-class classification
Advances and Applications of DSmT for Information Fusion, 4, 2015
...
tel-00847076v1  Theses
Naeem Abbas. Acceleration of a bioinformatics application using high-level synthesis
Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2012. English. ⟨NNT : 2012DENS0019⟩
...
hal-00913139v1  Conference papers
Ebrahim Khalil AbbasiMathieu AcherPatrick HeymansAnthony Cleve. Reverse Engineering Web Configurators
17th European Conference on Software Maintenance and Reengineering (CSMR), Feb 2014, Antwerp, Belgium
...
hal-00267518v4  Conference papers
Samy AbbesAlbert Benveniste. Concurrency, sigma-algebras and probabilistic fairness
FOSSACS 2009, Mar 2009, York, United Kingdom. pp.380-394
...
hal-00350930v1  Conference papers
Samy AbbesAlbert Benveniste. Branching cells as local states for event structures and nets: probabilistic applications
Foundations of Software Science and Computation Structures, Apr 2005, Edinburgh, United Kingdom. pp.95-109
...
hal-00840372v1  Journal articles
Rouwaida AbdallahLoïc HélouëtClaude Jard. Distributed Implementation of Message Sequence Charts
Software and Systems Modeling, Springer Verlag, 2015, 14, pp.10-32. ⟨10.1007/s10270-013-0357-1⟩
...
tel-00919684v1  Theses
Rouwaida Abdallah. Implementability of distributed systems described with scenarios
Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2013. English. ⟨NNT : 2013DENS0027⟩
...
hal-01337579v1  Conference papers
Muhammad Abdul WahabPascal CotretMounir Nasr AllahGuillaume HietVianney Lapotre et al.  Towards a hardware-assisted information flow tracking ecosystem for ARM processors
26th International Conference on Field-Programmable Logic and Applications (FPL 2016), Aug 2016, Lausanne, Switzerland. ⟨10.1109/fpl.2016.7577396⟩
...
hal-01911619v1  Conference papers
Muhammad Abdul WahabPascal CotretMounir Nasr AllahGuillaume HietArnab Kumar Biswas et al.  A small and adaptive coprocessor for information flow tracking in ARM SoCs
ReConFig 2018 - International Conference on Reconfigurable Computing and FPGAs, Dec 2018, Cancun, Mexico. pp.1-17, ⟨10.1109/reconfig.2018.8641695⟩
...
hal-02269417v1  Master thesis
Antoine Abel. Faster SPARQL Federated Queries
Bioinformatics [q-bio.QM]. 2019
...
hal-01691120v1  Conference papers
Firas Abi-FarrajRiccardo SpicaPaolo Robuffo Giordano. Trajectory-Based Shared Control with Integral Haptic Feedback
2017 IEEE/RSJ IROS Workshop Human in-the-loop robotic manipulation: on the influence of the human role , Sep 2017, Vancouver, Canada
...
hal-01482137v1  Conference papers
Firas Abi-FarrajTakayuki OsaNicolò PedemonteJan PetersGerhard Neumann et al.  A Learning-based Shared Control Architecture for Interactive Task Execution
IEEE Int. Conf. on Robotics and Automation, ICRA'17, May 2017, Singapore, Singapore
...
hal-01355785v1  Conference papers
Firas Abi-FarrajNicolò PedemontePaolo Robuffo Giordano. A Visual-Based Shared Control Architecture for Remote Telemanipulation
IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, IROS'16, Oct 2016, Daejeon, South Korea. pp.4266-4273
...
hal-01853934v1  Conference papers
Firas Abi-FarrajBernd HenzeAlexander WernerMichael PanzirschChristian Ott et al.  Humanoid Teleoperation using Task-Relevant Haptic Feedback
IROS'18 - IEEE/RSJ Int. Conf. on Intelligent Robots and SystemsIROS'18, Oct 2018, Madrid, Spain. pp.5010-5017, ⟨10.1109/IROS.2018.8593521⟩
...
hal-01851710v1  Conference papers
Firas Abi-FarrajClaudio PacchierottiPaolo Robuffo Giordano. User evaluation of a haptic-enabled shared-control approach for robotic telemanipulation
IROS 2018 - IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2018, Madrid, Spain. pp.1-8
...
hal-01691114v1  Conference papers
Firas Abi-FarrajClaudio PacchierottiPaolo Robuffo Giordano. Human-subject Evaluation of Shared-Control Approaches for Robotic Telemanipulation
2017 IEEE/RSJ IROS Workshop Human in-the-loop robotic manipulation: on the influence of the human role, Sep 2017, Vancouver, Canada
...
hal-01360031v1  Reports
Nahla AbidMaryline Laurent. A new authentication method based on cryptographic identifiers CGAs
[Research Report] Dépt. Logiciels-Réseaux (Institut Mines-Télécom-Télécom SudParis); Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (Institut Mines-Télécom-Télécom SudParis-CNRS). 2009, pp.29
...
hal-01168354v1  Poster communications
Adrien AbrahamRadoniaina Andriatsimandefitra RatsisahananaNicolas KissJean-François LalandeValérie Viet Triem Tong. Towards Automatic Triggering of Android Malware
12th International Conference on Detection of Intrusions and Malware & Vulnerability Assessment, Jul 2015, Milano, Italy
...
hal-01201743v2  Conference papers
Adrien AbrahamRadoniaina AndriatsimandefitraAdrien BrunelatJean-François LalandeValérie Viet Triem Tong. GroddDroid: a Gorilla for Triggering Malicious Behaviors
10th International Conference on Malicious and Unwanted Software, Oct 2015, Fajardo, Puerto Rico. pp.119-127, ⟨10.1109/MALWARE.2015.7413692⟩
...
hal-01522779v1  Journal articles
Mathieu AcherRoberto E. Lopez-HerrejonRick Rabiser. Teaching Software Product Lines: A Snapshot of Current Practices and Challenges
ACM Transactions of Computing Education, Association for Computing Machinery, 2017
...
hal-01659161v1  Conference papers
Mathieu AcherPaul TempleJean-Marc JézéquelJosé Ángel Galindo DuarteJabier Martinez et al.  VaryLaTeX: Learning Paper Variants That Meet Constraints
VaMoS 2018 - 12th International Workshop on Variability Modelling of Software-Intensive Systems, Feb 2018, Madrid, Spain. pp.83-88, ⟨10.1145/3168365.3168372⟩
...
hal-02342130v1  Conference papers
Mathieu Acher. Learning the Linux Kernel Configuration Space: Results and Challenges
ELC Europe 2019 - Embedded Linux Conference Europe 2019, Oct 2019, Lyon, France. pp.1-49
...
hal-01307091v1  Reports
Mathieu AcherFrançois Esnault. Large-scale Analysis of Chess Games with Chess Engines: A Preliminary Report
[Technical Report] RT-0479, Inria Rennes Bretagne Atlantique. 2016
...
hal-01234342v1  Conference papers
Mathieu AcherGuillaume BécanBenoit CombemaleBenoit BaudryJean-Marc Jézéquel. Product Lines Can Jeopardize Their Trade Secrets
10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Aug 2015, Bergame, Italy. ⟨10.1145/2786805.2803210⟩
...
hal-01024990v1  Conference papers
Mathieu AcherRoberto Erick Lopez-HerrejonRick Rabiser. SPLTea 2014: First International Workshop on Software Product Line Teaching
18th International Software Product Line Conference, Sep 2014, Florence, Italy
...
hal-01243213v1  Conference papers
Mathieu AcherRoberto Erick Lopez-HerrejonRick Rabiser. SPLTea 2015: Second International Workshop on Software Product Line Teaching
19th International Conference on Software Product Line (SPLC'15), Jul 2015, Nashville, United States. ⟨10.1145/2791060.2791063⟩
...
hal-01018937v1  Conference papers
Mathieu AcherBenoit BaudryOlivier BaraisJean-Marc Jézéquel. Customization and 3D Printing: A Challenging Playground for Software Product Lines
18th International Software Product Line Conference, Jul 2014, Florence, Italy
...
hal-00767170v1  Conference papers
Mathieu AcherPatrick HeymansPhilippe ColletPhilippe Lahire. Next-Generation Model-based Variability Management: Languages and Tools
MODELS 2012 - 15th International Conference on Model Driven Engineering Languages & Systems, Sep 2012, Innsbruck, Austria
...
hal-00859473v1  Conference papers
Mathieu AcherBenoit CombemalePhilippe ColletOlivier BaraisPhilippe Lahire et al.  Composing your Compositions of Variability Models
ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS'13), Sep 2013, Miami, United States. 17 p
...
hal-00766786v1  Conference papers
Mathieu AcherPatrick HeymansAnthony CleveJean-Luc HainautBenoit Baudry. Support for Reverse Engineering and Maintaining Feature Models
VaMoS'13 - Seventh International Workshop on Variability Modelling of Software-Intensive Systems, Jan 2013, Pisa, Italy
...
hal-00916746v1  Conference papers
Mathieu AcherRoberto Erick Lopez-HerrejonRick Rabiser. A Survey on Teaching of Software Product Lines
Eight International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'14), Jan 2014, Nice, France. pp.1-8, ⟨10.1145/2556624.2556629⟩
...
hal-01414830v1  Journal articles
Merwan AchibetAdrien GirardMaud MarchalAnatole Lécuyer. Leveraging Passive Haptic Feedback in Virtual Environments with the Elastic-Arm Approach
Presence: Teleoperators and Virtual Environments, Massachusetts Institute of Technology Press (MIT Press), 2016, 25 (1), pp.17 - 32. ⟨10.1162/PRES_a_00243⟩
...
hal-01090269v1  Conference papers
Francisco Javier Acosta PadillaFrédéric WeisJohann Bourcier. Towards a Model@runtime Middleware for Cyber Physical Systems
Proceedings of the 9th Workshop on Middleware for Next Generation Internet Computing, Dec 2014, Bordeaux, France
...
tel-01426219v2  Theses
Francisco Javier Acosta Padilla. Self-adaptation for Internet of things applications
Software Engineering [cs.SE]. Université Rennes 1, 2016. English. ⟨NNT : 2016REN1S094⟩
...
hal-01427728v1  Conference papers
Vlad AcretoaieEddy CaronCédric Tedeschi. A practical study of self-stabilization for prefix-tree based overlay networks
MOSPAS 2010 - Workshop on MOdeling and Simulation of Peer-to-Peer Architectures and Systems., IEEE, Jun 2010, Caen, France. pp.341 - 347, ⟨10.1109/HPCS.2010.5547117⟩
...
hal-00926477v1  Conference papers
Vicente AcuñaAndrés AravenaAlejandro MaassAnne Siegel. Modeling parsimonious putative regulatory networks: complexity and heuristic approach
15th conference in Verification, Model Checking, and Abstract Interpretation, 2014, San Diego, United States. pp.322-336, ⟨10.1007/978-3-642-54013-4_18⟩
...
hal-00400799v2  Journal articles
Boris AdamczewskiChristiane FrougnyAnne SiegelWolfgang Steiner. Rational numbers with purely periodic $\beta$-expansion
Bulletin of the London Mathematical Society, London Mathematical Society, 2010, 42 (3), pp.538-552. ⟨10.1112/blms/bdq019⟩
...
hal-01646919v1  Conference papers
Bruno AdelinePierre DersinEric FabreLoïc HélouëtKarim Kecir. An efficient evaluation scheme for KPIs in regulated urban train systems
RSSRail 2017 - International Conference on reliability, safety, and security of railway systems, Nov 2017, Pistoia, Italy. pp.195-211
...
inria-00597615v1  Conference papers
Kamil AdilogluEmmanuel Vincent. An Uncertainty Estimation Approach for the Extraction of Source Features in Multisource Recordings
European Signal Processing Conference (Eusipco 11), Centre Tecnològic de Telecomunicacions de Catalunya, Universitat Politècnica de Catalunya, Aug 2011, Barcelona, Spain
...
inria-00545453v1  Conference papers
Kamil AdilogluCarlo DrioliPietro PolottiDavide RocchessoStefano Delle Monache. Physics-Based Spike-Guided Tools for Sound Design
Conference on Digital Audio Effects, Institute of Electronic Music and Acoustics, Sep 2010, Graz, Austria
...
hal-00656613v1  Conference papers
Kamil AdilogluEmmanuel Vincent. A General Variational Bayesian Framework for Robust Feature Extraction in Multisource Recordings
IEEE International Conference on Acoustics, Speech and Signal Processing, Mar 2012, Kyoto, Japan
...
inria-00577079v1  Journal articles
Amir AdlerValentin EmiyaMaria JafariMichael EladRémi Gribonval et al.  Audio Inpainting
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2012, 20 (3), pp.922 - 932. ⟨10.1109/TASL.2011.2168211⟩
...
inria-00557021v1  Conference papers
Amir AdlerValentin EmiyaMaria JafariMichael EladRémi Gribonval et al.  A Constrained Matching Pursuit Approach to Audio Declipping
Acoustics, Speech and Signal Processing, IEEE International Conference on (ICASSP 2011), May 2011, Prague, Czech Republic. ⟨10.1109/ICASSP.2011.5946407⟩
...
inria-00545480v1  Poster communications
Amir AdlerValentin EmiyaMaria JafariMichael EladRémi Gribonval et al.  Audio inpainting: problem statement, relation with sparse representations and some experiments
9th Int. Conf. on Latent Variable Analysis and Signal Separation, Sep 2010, Saint-Malo, France. 2010
...
inria-00587688v1  Conference papers
Amir AdlerValentin EmiyaMaria JafariMichael EladRémi Gribonval et al.  A Reproducible Research Framework for Audio Inpainting
Workshop on Signal Processing with Adaptive Sparse Structured Representations, Jun 2011, Edinburgh, United Kingdom
...
inria-00560110v1  Poster communications
Amir AdlerValentin EmiyaMaria JafariMichael EladRémi Gribonval et al.  Audio inpainting: problem statement, relation with sparse representations and some experiments
SMALL Workshop on Sparse Dictionary Learning, Jan 2011, London, United Kingdom. 2011
...
hal-02337628v1  Conference papers
Federica AdobbatiCarlo FerigatoStefano GandelliAdrián Puerto Aubel. Two Operations for Stable Structures of Elementary Regions
ATAED 2019 - Workshop Algorithms & Theories for the Analysis of Event Data, Wil van der Aalst, Jun 2019, Aachen, Germany. pp.36-53
...
tel-01758280v1  Theses
Amin Aflatoonian. Outsourcing Network Services via the NBI of the SDN
Networking and Internet Architecture [cs.NI]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0032⟩
...
hal-03321834v1  Journal articles
Marco AggraviGiuseppe SirignanoPaolo Robuffo GiordanoClaudio Pacchierotti. Decentralized control of a heterogeneous human-robot team for exploration and patrolling
IEEE Transactions on Automation Science and Engineering, Institute of Electrical and Electronics Engineers, 2021, pp.1-17. ⟨10.1109/TASE.2021.3106386⟩
...
hal-02479084v1  Poster communications
Marco AggraviTommaso Lisini BaldiClaudio PacchierottiDomenico Prattichizzo. Combined tracking and vibrotactile rendering with a wearable armband
Hands- on demostration at IEEE Haptics Symposium (HAPTICS), Mar 2020, Washington, United States. 2020