Skip to Main content Skip to Navigation
New interface


hal-00479569v1  Conference papers
Samuel TardieuAlexis Polti. Complementing Ada with other programming languages
ACM SIGAda international conference on Ada, 2009, St. Petersburg, United States. pp.105-114
...
hal-00546934v1  Conference papers
Thomas RobertMatthieu RoyJean-Charles Fabre. Early Error Detection for Fault Tolerance Strategies
18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.159-168
...
hal-00639077v1  Conference papers
Sylvain FreyFrançois HuguetIsabelle DemeureAda DiaconescuDavid Menga et al.  Scénarios pour un Micro Smart Grid Autonomique.
UbiMob, Jun 2011, Toulouse, France. pp.88-95
hal-00652435v1  Conference papers
J. HuguesLaurent PautetM FilaliFrank Singhoff. Panel session on AADL and its annexes
Panel session on AADL and its annexes 2010, Mar 2010, University of Oxford, United Kingdom
...
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-00854882v1  Books
Philippe LalandaMccann A. JulieAda Diaconescu. Autonomic Computing - Principles, Design and Implementation
Springer, pp.288, 2013, Undergraduate Topics in Computer Science, 978-1-4471-5007-7. ⟨10.1007/978-1-4471-5007-7⟩
...
hal-00879548v1  Journal articles
Sylvain FreyPhilippe LalandaAda Diaconescu. A Decentralised Architecture for Multi-Objective Autonomic Management
4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010), 2010, pp.267. ⟨10.1109/SASO.2010.34⟩
...
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-00919414v1  Conference papers
Karel de VogeleerGérard MemmiPierre JouvelotFabien Coelho. The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices
Workshop on Power and Energy Aspects of Computation, In conjunction with the 10th International Conference on Parallel Processing and Applied Mathematics (PPAM'2013), Sep 2013, Varsovie, Poland. pp 793-803, ⟨10.1007/978-3-642-55224-3_74⟩
...
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-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-01111647v1  Conference papers
Karel de VogeleerGérard MemmiPierre JouvelotFabien Coelho. Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application Processors
Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), Jul 2014, Samos, Greece. pp 172-180, ⟨10.1109/SAMOS.2014.6893209⟩
hal-01113214v1  Journal articles
Ziad IsmailJean LeneutreDavid BatemanLin Chen. A Game Theoretical Analysis of Data Confidentiality Attacks on Smart-Grid AMI
IEEE Journal on Selected Areas in Communications, Institute of Electrical and Electronics Engineers, 2014, 32 (7), pp.12. ⟨10.1109/JSAC.2014.2332095⟩
hal-01113223v1  Conference papers
Ziad IsmailJean LeneutreDavid BatemanLin Chen. A Game-Theoretical Model for Security Risk Management of Interdependent ICT and Electrical Infrastructures
IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, FL, United States. ⟨10.1109/HASE.2015.24⟩
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-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-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-01115723v1  Conference papers
Etienne BordeLaurent PautetFabien CadoretSmail RahmounFrank Singhoff. Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems
International Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. pp.44-50
hal-01121019v1  Conference papers
Etienne BordeSmail RahmounFabien CadoretLaurent PautetFrank Singhoff et al.  Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems
IEEE International Symposium on Rapid System Prototyping, Oct 2014, New Dehli, India
hal-01121244v1  Conference papers
Fabien CadoretRobert ThomasEtienne BordeLaurent PautetFrank Singhoff. Deterministic Implementation of Periodic-Delayed Communications and Experimentation in AADL
17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2013), Jun 2013, Paderborn, Germany
...
hal-01161014v1  Conference papers
Susan StepneyAda DiaconescuRené DoursatJean-Louis GiavittoTaras Kowaliw et al.  Gardening Cyber-Physical Systems
Unconventionnal Computation and Natural Computation (UCNC'2012), Sep 2012, Orléans, France. pp.1-1
...
hal-01180864v1  Reports
Claire CapdevielleColette JohnenPetr KuznetsovAlessia Milani. On the Uncontended Complexity of Anonymous Consensus
[Research Report] University of Bordeaux LaBRI, UMR 5800, F-33400 Talence, France Telecom ParisTech. 2015
...
hal-01166136v1  Conference papers
Frank SinghoffAlain PlantecStéphane RubiniHai-Nam TranVincent Gaudel et al.  Teaching Real-Time Scheduling Analysis with Cheddar
9ème édition de l’Ecole d’Eté « Temps Réel », Aug 2015, Rennes, France
...
hal-01207872v1  Conference papers
Vincent GramoliPetr KuznetsovSrivatsan RaviDi Shang. Brief Announcement: A Concurrency-Optimal List-Based Set
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan
...
hal-01207895v1  Conference papers
Claire CapdevielleColette JohnenPetr KuznetsovAlessia Milani. Brief Announcement: On the Uncontended Complexity of Anonymous Consensus
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan
hal-01212126v1  Conference papers
Han QiuGerard Memmi. Fast Selective Encryption Method for Bitmaps Based on GPU Acceleration
2014 IEEE International Symposium on Multimedia (ISM), Dec 2014, Taichung, Taiwan
hal-01212143v1  Journal articles
Han QiuGerard Memmi. Fast Selective Encryption Methods for Bitmap Images
International Journal of Multimedia Data Engineering and Management (IJMDEM), 2015, 6 (51-69), pp.18
hal-01212158v1  Conference papers
Gerard MemmiKatarzyna KapustaHan Qiu. Data Protection: combining fragmentation, encryption, and dispersion
2015 International Conference on Cyber Security of Smart Cities, Industrial Control System and Communications, Aug 2015, Shanghai, China
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-01229113v1  Conference papers
Elie RichaEtienne BordeLaurent Pautet. Translating ATL Model Transformations to Algebraic Graph Transformations
8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015, Jul 2015, L'Aquila, Italy. pp.183-198, ⟨10.1007/978-3-319-21155-8_14⟩
hal-01246343v1  Conference papers
Amine NajiFlorian Brandner. A Comparative Study of the Precision of Stack Cache Occupancy Analyses
9th Junior Researcher Workshop on Real-Time Computing, Julien Forget, Nov 2015, Lille, France. pp.4
hal-01246348v1  Conference papers
Sahar AbbaspourFlorian BrandnerAmine NajiMathieu Jan. Efficient Context Switching for the Stack Cache
Proceedings of the 23rd International Conference on Real Time and Networks Systems, Julien Forget (Université de Lille, France), Nov 2015, Lille, France. pp.10, ⟨10.1145/2834848.2834861⟩
...
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
hal-01318315v1  Book sections
Stéphane BalletJulia PieltantMatthieu RambaudJeroen Sijsling. On some bounds for symmetric tensor rank of multiplication in finite fields
Alp Bassa, Alain Couvreur and David Kohel. ARITHMETIC, GEOMETRY, CRYPTOGRAPHY AND CODING THEORY, 686, AMER MATHEMATICAL SOC, pp.93 - 121, 2017, Contemporary Mathematics, 978-1-4704-2810-5. ⟨10.1090/conm/686/13779⟩
...
hal-01365304v1  Reports
Pierre FraigniaudSergio RajsbaumCorentin TraversPetr KuznetsovThibault Rieutord. Perfect Failure Detection with Very Few Bits
[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2016
hal-01411528v1  Conference papers
Claire CapdevielleColette JohnenPetr KuznetsovAlessia Milani. On the Uncontended Complexity of Anonymous Consensus
19th International Conference on Principles of Distributed Systems - OPODIS 2015, Dec 2015, Rennes, France. ⟨10.4230/LIPIcs.OPODIS.2015.12⟩
hal-01418390v1  Journal articles
Ziad IsmailChristophe KiennertJean LeneutreDavid BatemanLin Chen. Auditing a Cloud Provider's Compliance with Data Backup Requirements: A Game Theoretical Analysis
IEEE Transactions on Information Forensics and Security, Institute of Electrical and Electronics Engineers, 2016, 11, pp.1685-1699. ⟨10.1109/tifs.2016.2549002⟩
...
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-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