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. [tel-01261936] Design flow for the rigorous development of networked embedded systems
    by Alexios Lekidis - 27 January 2016
  2. [hal-01215190] Gradual Stabilization under τ-Dynamics
    by Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit - 27 January 2016
  3. [hal-01099186] Concurrency in Snap-Stabilizing Local Resource Allocation
    by Karine Altisen, Stéphane Devismes, Anaïs Durand - 25 January 2016
  4. [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
  13. [hal-01213705] Using BIP to reinforce correctness of resource-constrained IoT applications
    by Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos Georgiadis - 9 October 2015
  14. [hal-01213681] Architecture internalisation in BIP
    by Simon Bliudze, Joseph Sifakis, Marius Bozga, Mohamad Jaber - 9 October 2015
  15. [hal-01213420] Compositional Verification of Parameterised Timed Systems
    by Lacramioara Astefanoaiei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz - 9 October 2015
  16. [hal-01212365] Building distributed sensor network applications using BIP
    by Alexios Lekidis, Paraskevas Bourgos, Simplice Djoko-Djoko, Marius Bozga, Saddek Bensalem - 7 October 2015
  17. [hal-01212346] A Timed-Automata Based Middleware for Time-Critical Multicore Applications
    by Dario Socci, Peter Poplavko, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga - 7 October 2015
  18. [hal-01212339] Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs
    by Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga - 7 October 2015
  19. [hal-01212335] Models for Deterministic Execution of Real-Time Multiprocessor Applications
    by Peter Poplavko, Dario Socci, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga - 7 October 2015
  20. [hal-01212320] A model-based design flow for CAN-based systems
    by Alexios Lekidis, Marius Bozga, Didier Mauuary, Saddek Bensalem - 7 October 2015
  21. [hal-01212303] Model-driven Information Flow Security for Component-Based Systems
    by Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga - 7 October 2015
  22. [hal-01212300] Model-based validation of CANopen systems
    by Alexios Lekidis, Marius Bozga, Saddek Bensalem - 7 October 2015
  23. [hal-01212296] Compositional Invariant Generation for Timed Systems
    by Lacramioara Astefanoaiei, Ben Rayana Souha, Saddek Bensalem, Marius Bozga, Jacques Combaz - 7 October 2015
  24. [hal-01206882] An encoding of array verification problems into array-free Horn clauses
    by David Monniaux, Laure Gonnord - 30 September 2015
  25. [hal-00881085] Implementing and reasoning about hash-consed data structures in Coq
    by Thomas Braibant, Jacques-Henri Jourdan, David Monniaux - 25 September 2015
  26. [hal-01099142] A Linearization Technique for Multivariate Polynomials Using Convex Polyhedra Based on Handelman-Krivine's Theorem
    by Alexandre Maréchal, Michaël Périn - 23 September 2015

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

info visites 640529