Skip to Main content Skip to Navigation
New interface


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-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-02287557v1  Book sections
Samuel KounevPeter LewisKirstie BellmanNelly BencomoJavier Camara et al.  The notion of self-aware computing
Self-Aware Computing Systems, S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, pp.3-16, 2017
hal-02287627v1  Book sections
Ada Diaconescu. Goal-oriented Holonic Systems
Organic Computing: Technical Systems for Survival in the Real World,, Christian Muller-Schloer and Sven Tomforde Edts., (Springer International Publishing), pp.209-258, 2017
hal-02287558v1  Book sections
Peter LewisKirstie BellmanChris LandauerLukas EsterleKyrre Glette et al.  Towards a framework for the levels and aspects of selfaware computing systems
Self-Aware Computing Systems, S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, editors; Spinger International Publishing, pp.51-85, 2017
hal-02287626v1  Book sections
Ada Diaconescu. Organising Complexity: Hierarchies and Holarchies
Organic Computing: Technical Systems for Survival in the Real World, Christian Muller-Schloer and Sven Tomforde Edts., (Springer International Publishing), pp.89-106, 2017
...
hal-03022599v1  Journal articles
Gerard MemmiMatthieu Rambaud. Note sur la cryptanalyse de Diffie-Hellman
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2017
hal-02287591v1  Journal articles
Matthieu RambaudGérard Memmi. Note sur la cryptanalyse de Diffie-Hellman
Génie Logiiel, 2017, 120, pp.56-60
hal-02354920v1  Conference papers
Mayssa JemelMounira MsahliAhmed Serhrouchni. Towards an Efficient File Synchronization between Digital Safes
2017 IEEE 31st International Conference on Advanced Information Networking and Applications (AINA), Mar 2017, Taipei, France. pp.136-143, ⟨10.1109/AINA.2017.115⟩
hal-02287560v1  Conference papers
Jan KantertSven TomfordeAda DiaconescuChristian Müller-Schloer. Incentive-oriented Task Assignment in Holonic Organic Systems
5th International Workshop on "Self-Optimisation in Autonomic and Organic Computing Systems, SAOS@ARCS 2017, Apr 2017, Vienna, Austria
hal-02287746v1  Conference papers
Arles RodriguezJonatan GomezAda Diaconescu. Replication-Based Self-healing of Mobile Agents Exploring Complex Networks
15th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), Springer LNAI,, Jun 2017, Porto, Portugal. pp.222-233, ⟨10.1007/978-3-319-59930-4_18⟩
hal-02288493v1  Conference papers
Florian BrandnerNaji Amine. Worst-Case Execution Time Analysis of Predicated Architectures
Workshop on Worst-Case Execution Time Analysis, Jun 2017, Dubrovnik, Croatia. pp.1-13, ⟨10.4230/OASIcs.WCET.2017.6⟩
hal-02287645v1  Conference papers
Han QiuGérard MemmiHassan Noura. An efficient Secure Storage Scheme Based on Information Fragmentation
4th IEEE Int. Conf. on Cyber Security and Cloud Computing, Jun 2017, New-York, United States. pp.108-113
hal-01995010v1  Conference papers
Roberto MedinaEtienne BordeLaurent Pautet. Directed Acyclic Graph Scheduling for Mixed-Criticality Systems
Reliable Software Technologies, Jun 2017, Vienne, Austria. pp.217-232
hal-02354923v1  Conference papers
Ashref AlouiMounira MsahliTalel AbdessalemStephane BressanSihem Mesnager. Protocol for preserving privacy in distributed system (PPDS)
2017 13th International Wireless Communications and Mobile Computing Conference (IWCMC), Jun 2017, Valencia, France. pp.1885-1890, ⟨10.1109/IWCMC.2017.7986571⟩
hal-02287559v1  Conference papers
Jeremy PittAda Diaconescu. Interactional Justice for Sustainable Management of Common-Pool Resources
XVI Biennial IASC Conference "Practicing the commons: self-governance, cooperation, and institutional change, Jul 2017, Utrecht, Netherlands Antilles
hal-02287625v1  Journal articles
Ada DiaconescuJeremy Pitt. Technological Impacts in Socio-Technical Communities. Values and Pathologies
IEEE Technology and Society Magazine, Institute of Electrical and Electronics Engineers, 2017
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-02287590v1  Journal articles
Karel de VogeleerGérard MemmiPierre Jouvelot. Parameter sensitivity analysis of the Energy/Frequency Convexity Rule for application processors
Journal of Sustainable Computing, Informatics and Systems, 2017, 15, pp.16-27
hal-01873945v1  Conference papers
Dominique BlouinMatthias BarkowskiMelanie SchneiderHolger GieseJohannes Dyck et al.  A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models
2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), Sep 2017, Lisbon, France. ⟨10.1109/REW.2017.52⟩
...
hal-01625409v2  Conference papers
Kameswar Rao VaddinaFlorian BrandnerGérard MemmiPierre Jouvelot. Experimental Energy Profiling of Energy-Critical Embedded Applications
25th international conference SoftCOM 2017, Sep 2017, Radisson Blu Resort Split, Croatia. pp.1-6
hal-03340371v1  Conference papers
Ankica BarisicDominique BlouinVasco AmaralMiguel Goulao. A Requirements Engineering Approach for Usability-Driven DSL Development
International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
hal-01649727v1  Conference papers
Ankica BarisicDominique BlouinVasco AmaralMiguel Goulao. A Requirements Engineering Approach for Usability-Driven DSL Development
International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada