Skip to Main content Skip to Navigation

inria-00332484v1  Conference papers
Najah ChridiMathieu TuruaniMichaël Rusinowitch. Towards a Constrained-based Verification of Parameterized Cryptographic Protocols
18th International Symposium on Logic-Based Program Synthesis and Transformation - LOPSTR 2008, Jul 2008, Valence, Spain. pp.191-206
hal-00380917v1  Conference papers
Brahim TamadazteThomas ArnouldSounkalo DembéléNadine Le Fort - PiatEric Marchand. Real-time vision-based microassembly of 3D MEMS.
IEEE/ASME International Conference on Advanced Intelligent Mechatronics, AIM'09., Jul 2009, Singapour, Singapore. 6 p
inria-00524535v1  Conference papers
Hanifa BouchenebAbdessamad ImineManal Najem. Symbolic Model-Checking of Optimistic Replication Algorithms
8th International Conference on Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.89-104
tel-00417290v1  Theses
Najah Chridi. Contributions à la vérification automatique de protocoles de groupes.
Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2009. Français
hal-01338057v1  Conference papers
Jannik DreierHugo JonkerPascal Lafourcade. Verifiability in e-Auction Protocols
1st Workshop on Hot Issues in Security Principles and Trust (HotSpot'13), Mar 2013, Rome, Italy
hal-02271675v1  Conference papers
Yiqin GaoLouis-Claude CanonYves RobertFrédéric Vivien. Scheduling independent stochastic tasks on heterogeneous cloud platforms
IEEE Cluster 2019 - International Conference on Cluster Computing, Sep 2019, Albuquerque, United States. pp.1-11
hal-00920509v1  Conference papers
Serdar ErbaturDeepak KapurAndrew MarshallPaliath NarendranChristophe Ringeissen. Hierarchical Combination of Unification Algorithms
The 27th International Workshop on Unification (UNIF 2013), Jun 2013, Eindhoven, Netherlands
hal-00920496v1  Conference papers
Elena TushkanovaChristophe RingeissenAlain GiorgettiOlga Kouchnarenko. Automatic Decidability for Theories with Counting Operators
Automated Deduction: Decidability, Complexity, Tractability (workshop ADDCT), Jun 2013, Lake Placid, United States
hal-02547097v1  Conference papers
Ahmad AbboudAbdelkader LahmadiMichaël RusinowitchMiguel CouceiroAdel Bouhoula et al.  Double Mask: An efficient rule encoding for Software Defined Networking
23rd Conference on Innovation in Clouds, Internet and Networks and Workshops (ICIN), 2020, Feb 2020, Paris, France. pp.186--193
hal-02047434v2  Reports
Yiqin GaoLouis-Claude CanonFrédéric VivienYves Robert. Scheduling stochastic tasks on heterogeneous cloud platforms under budget and deadline constraints
[Research Report] RR-9260, Inria - Research Centre Grenoble – Rhône-Alpes. 2019, pp.1-34
hal-00521655v1  Conference papers
Guillaume DuceuxBrahim TamadazteNadine Le Fort - PiatEric MarchandGuillaume Fortier et al.  Autofocusing-based visual servoing : application to MEMS micromanipulation.
International Symposium on Optomechatronic Technologies, ISOT'10., Oct 2010, Toronto, Canada. 6 p
lirmm-00395080v1  Conference papers
Serge BurckelEmeric GioanEmmanuel Thomé. Mapping Computation with No Memory
UC: Unconventional Computation, Sep 2009, Ponta Delgada, Portugal. pp.85-97, ⟨10.1007/978-3-642-03745-0_15⟩
hal-02271704v1  Conference papers
Li HanLouis-Claude CanonJing LiuYves RobertFrédéric Vivien. Improved energy-aware strategies for periodic real-time tasks under reliability constraints
RTSS 2019 - 40th IEEE Real-Time Systems Symposium, Feb 2020, York, United Kingdom. pp.1-13
hal-01660914v1  Conference papers
Chiheb Ben AmeurEmmanuel MoryBernard CousinEugen Dedu. TcpHas: TCP for HTTP Adaptive Streaming
Communications (ICC), 2017 IEEE International Conference on, May 2017, Paris, France. ⟨10.1109/ICC.2017.7996614⟩
hal-01701611v1  Journal articles
Li HanLouis-Claude CanonHenri CasanovaYves RobertFrédéric Vivien. Checkpointing Workflows for Fail-Stop Errors
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2018, 67 (8), pp.16. ⟨10.1109/TC.2018.2801300⟩
hal-01664636v1  Journal articles
Louis-Claude CanonLaurent Philippe. On the Heterogeneity Bias of Cost Matrices for Assessing Scheduling Algorithms
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2017
hal-01412922v1  Journal articles
Louis-Claude CanonEmmanuel Jeannot. Correlation-Aware Heuristics for Evaluating the Distribution of the Longest Path Length of a DAG with Random Weights
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2016, 27 (11), pp.3158-3171. ⟨10.1109/TPDS.2016.2528983⟩
hal-02291268v1  Journal articles
Louis-Claude CanonLoris MarchalBertrand SimonFrédéric Vivien. Online Scheduling of Task Graphs on Heterogeneous Platforms
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, In press, 31 (3), pp.721-732. ⟨10.1109/TPDS.2019.2942909⟩
inria-00000409v1  Directions of work or proceedings
Laurent Vigneron. Proceedings of the 19th International Workshop on Unification
A05-R-022 (A05-R-022), LORIA, pp.143, 2005
inria-00129642v2  Reports
Véronique CortierStéphanie DelauneGraham Steel. A Formal Theory of Key Conjuring
[Research Report] RR-6134, INRIA. 2007, pp.38
inria-00000408v1  Conference papers
Alessandro ArmandoDavid BasinYohan BoichutYannick ChevalierLuca Compagna et al.  The AVISPA Tool for the automated validation of internet security protocols and applications
17th International Conference on Computer Aided Verification - CAV 2005, Jul 2005, Edinburgh, Scotland/UK, France. pp.281-285
hal-01828301v1  Conference papers
Louis-Claude CanonLoris MarchalBertrand SimonFrédéric Vivien. Online Scheduling of Task Graphs on Hybrid Platforms
Euro-Par 2018 - 24th International European Conference On Parallel And Distributed Computing, Aug 2018, Turin, Italy. pp.1-14