HAL Verimag Publications

Warning: that list of publications is generated from an RSS stream produced by HAL, but the date field of that stream is not the publication date, but the HAL upload date.


  1. [hal-01242608] Externalisation of Time-Triggered communication system in BIP high level models
    by Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem - 25 April 2016
  2. [hal-01306466] Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations
    by Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Mathieu Jan, Saddek Bensalem - 25 April 2016
  3. [hal-01242605] Towards Time-triggered Component-based System Models
    by Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Jacques Combaz - 25 April 2016
  4. [hal-01306395] Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties
    by Pascal Lafourcade, Maxime Puys - 25 April 2016
  5. [hal-01302333] Concurrence et allocation de ressources locales instantanément stabilisante
    by Karine Altisen, Stéphane Devismes, Anaïs Durand - 14 April 2016
  6. [hal-01302333] Concurrence et allocation de ressources locales instantanément stabilisante
    by Karine Altisen, Stéphane Devismes, Anaïs Durand - 14 April 2016
  7. [hal-01206882] Cell morphing: from array programs to array-free Horn clauses
    by David Monniaux, Laure Gonnord - 6 April 2016
  8. [hal-01295229] RDBG: a Reactive Programs Extensible Debugger
    by Erwan Jahier - 31 March 2016
  9. [hal-01295282] SycView: Visualize and Profile SystemC Simulations
    by Denis Becker, Matthieu Moy, Jérôme Cornet - 31 March 2016
  10. [hal-01292988] The expressive power of snap-stabilization
    by Alain Cournier, Ajoy K. Datta, Stéphane Devismes, Franck Petit, Vincent Villain - 25 March 2016
  11. [tel-01286086] Revisiting the abstract domain of polyhedra : constraints-only representation and formal proof
    by Alexis Fouilhé - 11 March 2016
  12. [hal-01285579] Monitoring Multi-Threaded Component-Based Systems
    by Hosein Nazarpour, Ylìès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz - 9 March 2016
  13. [tel-01280291] Vérification automatique de protocoles d'examen, de monnaie, de réputation, et de routage
    by Ali Kassem - 29 February 2016
  14. [hal-01272158] A Framework for Certified Self-Stabilization
    by Karine Altisen, Pierre Corbineau, Stéphane Devismes - 24 February 2016
  15. [hal-01276251] Verification and Synthesis of Timing Contracts for Embedded Controllers *
    by Mohammad Al Khatib, Antoine Girard, Thao Dang - 22 February 2016
  16. [tel-01261936] Design flow for the rigorous development of networked embedded systems
    by Alexios Lekidis - 27 January 2016
  17. [hal-01215190] Gradual Stabilization under τ-Dynamics
    by Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit - 27 January 2016
  18. [hal-01099186] Concurrency in Snap-Stabilizing Local Resource Allocation
    by Karine Altisen, Stéphane Devismes, Anaïs Durand - 25 January 2016
  19. [tel-01259415] Algorithmes auto-stabilisants pour la construction de structures couvrantes réparties
    by Yvan Rivierre - 21 January 2016


  1. [hal-01248420] Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
    by Ylìès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem - 28 December 2015
  2. [hal-01248349] Monitoring Electronic Exams
    by Ali Kassem, Yliès Falcone, Pascal Lafourcade - 28 December 2015
  3. [hal-01243244] WCET analysis in shared resources real-time systems with TDMA buses
    by Hamza Rihani, Matthieu Moy, Claire Maiza, Sebastian Altmeyer - 15 December 2015
  4. [hal-01243246] Efficient Monitoring of Loose-Ordering Properties for SystemC/TLM
    by Yuliia Romenska, Florence Maraninchi - 15 December 2015
  5. [hal-01238097] On the existence and decidability of unique decompositions of processes in the applied π-calculus
    by Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech - 8 December 2015
  6. [hal-01235781] When the worst-case execution time estimation gains from the application semantics
    by Armelle Bonenfant, Fabienne Carrier, Hugues Cassé, Philippe Cuenot, Denis Claraz - 2 December 2015
  7. [hal-01233555] Brandt's fully private auction protocol revisited
    by Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade - 1 December 2015
  8. [hal-01229261] Combining High-Level and Low-Level Approaches to Evaluate Software Implementations Robustness Against Multiple Fault Injection Attacks
    by Lionel Rivière, Marie-Laure Potet, Thanh-Ha Le, Julien Bringer, Hervé Chabanne - 19 November 2015
  9. [hal-01229274] Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections
    by Marie-Laure Potet, Laurent Mounier, Maxime Puys, Louis Dureuil - 19 November 2015
  10. [hal-01223362] Polyhedral Approximation of Multivariate Polynomials using Handelman's Theorem
    by Alexandre Maréchal, Alexis Fouilhé, Tim King, David Monniaux, Michaël Périn - 4 November 2015
  11. [hal-01218138] A Framework for Analyzing Verifiability in Traditional and Electronic Exams
    by Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini - 23 October 2015
  12. [hal-01214891] Challenges for the Parallelization of Loosely Timed SystemC Programs
    by Denis Becker, Matthieu Moy, Jérôme Cornet - 15 October 2015

Contact | Site Map | Site powered by SPIP 3.0.24 + AHUNTSIC [CC License]

info visites 728716