Skip to Main content Skip to Navigation
Help


lirmm-00269661v1  Directions of work or proceedings
Zohra BellahseneEla HuntMichael RysRainer Unland. Database and XML Technologies
France. Springer, pp.281, 2009, Lecture Notes in Computer Science, 3-540-20055-X. ⟨10.1007/978-3-642-03555-5⟩
hal-02438468v1  Conference papers
Hajime TairaIgnacio RoccoJiri SedlarMasatoshi OkutomiJosef Sivic et al.  Is This The Right Place? Geometric-Semantic Pose Verification for Indoor Visual Localization
ICCV 2019 - International Conference on Computer Vision, Oct 2019, Seoul, South Korea
...
inria-00456952v1  Conference papers
Alexander PretschnerTejeddine MouelhiYves Le Traon. Model-Based Tests for Access Control Policies
ICST 2008 : First IEEE International Conference on Software, Testing, Verification and Validation, April 9-11, Lillehammer, Norway, RSM - Dépt. Réseaux, Sécurité et Multimédia (Institut TELECOM ; TELECOM Bretagne), ETH - Eidgenössische Technische Hochschule Zürich (ETH Zurich), 2008, Lillehammer, Norway
...
inria-00456953v1  Conference papers
Yves Le TraonTejeddine MouelhiAlexander PretschnerBenoit Baudry. Test-Driven Assessment of Access Control in Legacy Applications
ICST 2008 : First IEEE International Conference on Software, Testing, Verification and Validation (ICST), April 9-11, Lillehammer, Norway, RSM - Dépt. Réseaux, Sécurité et Multimédia (Institut TELECOM ; TELECOM Bretagne), ETH - Eidgenössische Technische Hochschule Zürich (ETH Zurich), IRISA - Institut de Recherche en Informatique et Systèmes aléatoires (INRIA), 2008, Lillehammer, Norway
...
inria-00099882v1  Conference papers
Yannick ChevalierLuca CompagnaJorge CuellarPaul Hankes DrielsmaJacopo Mantovani et al.  A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols
Workshop on Specification and Automated Processing of Security Requirements - SAPS'2004, 2004, Linz, Austria, 13 p
...
hal-01780544v1  Reports
Jannik DreierLucca HirschiSasa RadomirovicRalf Sasse. Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR (Extended Version)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy; ETH Zurich, Switzerland; University of Dundee. 2018
...
hal-01780603v1  Conference papers
Jannik DreierLucca HirschiSasa RadomirovicRalf Sasse. Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR
CSF'2018 - 31st IEEE Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom. ⟨10.1109/CSF.2018.00033⟩
...
hal-00818482v1  Conference papers
Ludovic HenrioFabrice HuetZsolt István. Multi-threaded Active Objects
COORDINATION 2013, Jun 2013, Firenze, Italy
...
hal-01859660v1  Conference papers
Torsten SattlerWill MaddernCarl ToftAkihiko ToriiLars Hammarstrand et al.  Benchmarking 6DOF Outdoor Visual Localization in Changing Conditions
IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2018), Jun 2018, Salt Lake City, UT, United States
...
hal-01859637v1  Conference papers
Hajime TairaMasatoshi OkutomiTorsten SattlerMircea CimpoiMarc Pollefeys et al.  InLoc: Indoor Visual Localization with Dense Matching and View Synthesis
CVPR 2018 - IEEE Conference on Computer Vision and Pattern Recognition, Jun 2018, Salt Lake City, United States
hal-02438461v1  Conference papers
Mihai DusmanuIgnacio RoccoTomas PajdlaMarc PollefeysJosef Sivic et al.  D2-Net: A Trainable CNN for Joint Detection and Description of Local Features
CVPR 2019 - IEEE Conference on Computer Vision and Pattern Recognition, Jun 2019, Long Beach, United States
hal-02368857v1  Conference papers
Lucca HirschiCas Cremers. Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient Conditions
EuroS&P 2019 - 4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden. pp.635-650, ⟨10.1109/EuroSP.2019.00052⟩
...
inria-00343814v1  Conference papers
Stavroula PapadopoulouClaudia-Lavinia IgnatGérald OsterMoira C. Norrie. Intra/Inter-document Change Awareness for Co-authoring of Web Sites
International Conference on Web Information Systems Engineering - WISE 2008, Sep 2008, Auckland, New Zealand. pp.90-105, ⟨10.1007/978-3-540-85481-4⟩
...
hal-01083080v1  Reports
Adrian TateAmir KamilAnshu DubeyArmin GrößlingerBrad Chamberlain et al.  Programming Abstractions for Data Locality
[Research Report] PADAL Workshop 2014, April 28--29, Swiss National Supercomputing Center (CSCS), Lugano, Switzerland. 2014, pp.54
hal-01412796v1  Conference papers
Fayçal Ait AoudiaMatthieu GautierMichele MagnoOlivier BerderLuca Benini. SNW-MAC: an Asynchronous Protocol Leveraging Wake-up Receivers for Data Gathering in Star Networks
EAI International Conference on Sensor Systems and Software (S-cube 2016), Dec 2016, Nice, France
...
hal-01412792v1  Conference papers
Fayçal Ait AoudiaMichele MagnoMatthieu GautierOlivier BerderLuca Benini. Analytical and Experimental Evaluation of Wake-up Receivers based protocols
IEEE Global Communications Conference (Globecom 2016), Dec 2016, Washington, United States
...
hal-01501163v1  Conference papers
Michele MagnoFayçal Ait AoudiaMatthieu GautierOlivier BerderLuca Benini. WULoRa: An Energy Efficient IoT End-Node for Energy Harvesting and Heterogeneous Communication
IEEE/ACM Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2017, Lausanne, Switzerland
hal-00830003v1  Conference papers
Andrea Di PietroFelipe HuiciNicola BonelliBrian TrammellPetr Kastovsky et al.  Toward Composable Network Traffic Measurement
INFOCOM 2013 : 32nd IEEE Conference on Computer Communications, Apr 2013, Turin, Italy
...
inria-00343817v1  Conference papers
Claudia-Lavinia IgnatStavroula PapadopoulouGérald OsterMoira C. Norrie. Providing awareness in multi-synchronous collaboration without compromising privacy
ACM 2008 conference on Computer supported cooperative work, Nov 2008, San Diego, United States. pp.659-668, ⟨10.1145/1460563.1460665⟩
inria-00001245v1  Conference papers
Jean-Raymond AbrialDominique CansellDominique Méry. Refinement and Reachability in Event_B
ZB 2005 : Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Apr 2005, Guilford/UK, pp.222-241, ⟨10.1007/11415787_14⟩
inria-00000120v1  Journal articles
Jean-Raymond AbrialDominique Cansell. Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity)
Journal of Universal Computer Science, Springer, 2005, Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181), 11 (5), pp.744-770