Skip to Main content Skip to Navigation


...
hal-00922522v1  Conference papers
Vincent LegoutMathieu JanLaurent Pautet. Mixed-Criticality Multiprocessor Real-Time Systems: Energy Consumption vs Deadline Misses
First Workshop on Real-Time Mixed Criticality Systems (ReTiMiCS), Aug 2013, Taipei, Taiwan. pp.1-6
...
hal-00922521v1  Conference papers
Vincent LegoutMathieu JanLaurent Pautet. Réduction de la consommation statique des systèmes temps-réel multiprocesseurs
École d’Été Temps Réel (ETR‘13), Aug 2013, Toulouse, France. pp.1-4
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-01115671v1  Conference papers
Laurent PautetEtienne BordeThomas RobertAntoine Jaouen. PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems
International Conference on Reliable Software Technologies, Jun 2014, Paris, France. pp.149-165
hal-01115716v1  Conference papers
Elie RichaEtienne BordeLaurent PautetMatteo BordinJosé Riuz. Precondition Analysis in Algebraic Graph Transformation to Support the Testing of Model Transformation Chains
MODELS workshop on Analysis of Model Transformations, Oct 2014, Valencia, Spain. pp.34-43
hal-02412326v1  Conference papers
Rayhana BaghliElie NajmBruno Traverson. Defining services and service orchestrators acting on shared sensors and actuators
6th International Conference on Model-Driven Engineering and Software Development (ModelsWard'18), Jan 2018, Funchal, Portugal
...
tel-03583890v1  Theses
Antoine Durand. Consensus Byzantin et blockchain : Modèles unifiés et nouveaux protocoles
Data Structures and Algorithms [cs.DS]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT025⟩
...
hal-01888607v1  Conference papers
Vitalii AksenovPetr KuznetsovAnatoly Shalyto. On Helping and Stacks
The International Conference on Networked Systems, May 2018, Essaouira, Morocco
...
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-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-00919169v1  Conference papers
Vincent LegoutMathieu JanLaurent Pautet. An off-line multiprocessor real-time scheduling algorithm to reduce static energy consumption
First Workshop on Highly-Reliable Power-Efficient Embedded Designs (HARSH), Feb 2013, Shenzhen, China. pp.7-12
hal-01115708v1  Conference papers
Cuauhtemoc CastellanosEtienne BordeLaurent PautetThomas VergnaudThomas Dérive. Automatic Production of Transformation Chains Using Structural Constraints on Output Models
Euromicro Conference on Software Engineering and Advanced Applications, Aug 2014, Verona, Italy. pp.158 - 165
hal-02287737v1  Conference papers
Ziad IsmailJ. LeneutreAlia Fourati. An Attack Execution Model for Industrial Control Systems Security Assessment.
CyberICS/WOS-CPS@ESORICS 2015, Jan 2015, Vienna, Austria. pp.157-167
...
cea-02321547v1  Reports
Petr KuznetsovThibault RieutordSara Tucci-Piergiovanni. Reconfigurable Lattice Agreement and Applications
[Research Report] Institut Polytechnique Paris; CEA List. 2019
...
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-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-01304268v2  Conference papers
Claire CapdevielleColette JohnenPetr KuznetsovAlessia Milani. Complexité du consensus anonyme en l'absence de concurrence
ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France