Skip to Main content Skip to Navigation


hal-03559698v1  Journal articles
Han QiuTian DongTianwei ZhangJialiang LuGerard Memmi et al.  Adversarial Attacks Against Network Intrusion Detection in IoT Systems
IEEE internet of things journal, IEEE, 2021, 8 (13), pp.10327-10335. ⟨10.1109/JIOT.2020.3048038⟩
hal-01664898v1  Conference papers
Vitalii AksenovVincent GramoliPetr KuznetsovAnna MalovaSrivatsan Ravi. A Concurrency-Optimal Binary Search Tree
23rd International European Conference on Parallel and Distributed Computing - Euro-Par 2017, Aug 2017, Santiago de Compostella, Spain
...
hal-03723556v1  Conference papers
Zeinab Abou KhalilStefano Zacchiroli. Software Artifact Mining in Software Engineering Conferences: A Meta-Analysis
ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2022), Sep 2022, Helsinki, Finland. ⟨10.1145/3544902.3546239⟩
...
hal-03024408v1  Conference papers
Antoine DurandGuillaume HébertKhalifa ToumiGérard MemmiEmmanuelle Anceaume. The StakeCube blockchain : Instantiation, Evaluation & Applications
BCCA 2020 - International Conference on Blockchain Computing and Applications, Nov 2020, Virtual, Turkey. pp.1-8
...
hal-01887733v1  Conference papers
Vitalii AksenovDan AlistarhPetr Kuznetsov. Brief Announcement: Performance Prediction for Coarse-Grained Locking
PODC 2018 - ACM Symposium on Principles of Distributed Computing, Jul 2018, Egham, United Kingdom. ⟨10.1145/3212734.3212785⟩
...
hal-01888607v1  Conference papers
Vitalii AksenovPetr KuznetsovAnatoly Shalyto. On Helping and Stacks
The International Conference on Networked Systems, May 2018, Essaouira, Morocco
hal-02428017v1  Conference papers
Simon van MierloEugene SyrianiDominique BlouinMoussa AmraniJulien Deantoni et al.  Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019)
MODELS Conference 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.2, ⟨10.1109/MODELS-C.2019.00066⟩
...
hal-02447228v1  Conference papers
Jean-Claude BermondGerard Memmi. A graph theoretical characterization of minimal deadlocks in Petri nets
Graph theory with applications to algorithms and computer science, Wiley, 1985, Kalamazoo,MI, United States. pp.73-87
hal-01423637v1  Conference papers
Pierre FraigniaudSergio RajsbaumCorentin TraversPetr KuznetsovThibault Rieutord. Perfect Failure Detection with Very Few Bits
18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2016, Lyon, France
hal-01615143v1  Book sections
Loic BesnardThierry GautierPaul Le GuernicClément GuyJean-Pierre Talpin et al.  Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard
Cyber-Physical System Design from an Architecture Analysis Viewpoint, Springer, 2017, Cyber-Physical System Design from an Architecture Analysis Viewpoint, ⟨10.1007/978-981-10-4436-6_3⟩
...
hal-03168831v1  Reports
Rima Al-AliMoussa AmraniSoumyadip BandyopadhyayAnkica BarisicFernando Barros et al.  Framework to Relate / Combine Modeling Languages and Techniques
[Technical Report] COST European Cooperation in Science and Technology. 2019
...
hal-03210222v1  Conference papers
Lucas Massoni SguerraPierre JouvelotEmilio Jesús Gallego AriasGérard MemmiFabien Coelho. Blockchain Performance Benchmarking: a VCG Auction Smart Contract Use Case for Ethereum and Tezos (Short Paper)
FAB 2021 - Fourth International Symposium on Foundations and Applications of Blockchain, University of California, Davis, May 2021, Davis / Virtual, United States
...
hal-02421005v1  Journal articles
Julian GarbisoAda DiaconescuMarceau CoupechouxBertrand Leroy. Fair Self-Adaptive Clustering for Hybrid Cellular-Vehicular Networks
IEEE Transactions on Intelligent Transportation Systems, IEEE, 2021, 22 (2), pp.1225-1236
...
hal-00690477v1  Conference papers
Claude ChaudetNicola CostagliolaIsabelle DemeureSalma KtariSamuel Tardieu. Sélection des brokers dans un réseau de capteurs en mode publication / souscription
14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2012, La Grande Motte, France. pp.1-4
hal-02448995v1  Book sections
Alessandro FantechiElie NajmJean-Bernard Stefani. From Behavioural Contracts to Session Types
Models, Languages, and Tools for Concurrent and Distributed Programming, pp.278-297, 2019, ⟨10.1007/978-3-030-21485-2_16⟩
...
hal-00780006v1  Conference papers
Claude ChaudetNicola CostagliolaIsabelle DemeureSalma KtariSamuel Tardieu. Building an Efficient Overlay for Publish/Subscribe in Wireless Sensor Networks
9th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON), Jun 2012, Seoul, South Korea. pp.362-370, ⟨10.1109/SECON.2012.6275798⟩
...
hal-01419968v1  Conference papers
Loïc BesnardThierry GautierClément GuyPaul Le GuernicJean-Pierre Talpin et al.  Formal semantics of behavior specifications in the architecture analysis and design language standard
HLDVT 2016 - 18th IEEE International High-Level Design Validation and Test Workshop, Oct 2016, Santa Cruz, United States. pp.30-39, ⟨10.1109/HLDVT.2016.7748252⟩
...
hal-02075926v1  Journal articles
Régis BlacheAlain CouvreurEmmanuel HallouinDavid MadoreJade Nardi et al.  Anticanonical codes from del Pezzo surfaces with Picard rank one
Transactions of the American Mathematical Society, American Mathematical Society, 2020, ⟨10.1090/tran/8119⟩
hal-01213330v1  Conference papers
Swan DuboisRachid GuerraouiPetr KuznetsovFranck PetitPierre Sens. The Weakest Failure Detector for Eventual Consistency
34th Annual ACM Symposium on Principles of Distributed Computing (PODC-2015), Donostia-San Sebastián, Spain, Jul 2015, Donostia-San Sebastián, Spain. pp.375-384, ⟨10.1145/2767386.2767404⟩
...
hal-03623109v1  Conference papers
Zeinab Abou KhalilStefano Zacchiroli. The General Index of Software Engineering Papers
MSR 2022 - The 2022 Mining Software Repositories Conference, May 2022, Pittsburgh, Pennsylvania, United States. ⟨10.1145/3524842.3528494⟩