Verimag
Home page > Dissemination > Publications

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.

2013

  1. Programmation efficace et sécurisé d'applications à mémoire partagée
    by sifakis.manolis@gmail.com (Emmanuel Sifakis), Sifakis, Emmanuel - 16 May 2013 these_Emmanuel_Sifakis_2013.pdf, Thèses, ,
  2. A Community Based Algorithm for Large Scale Web Service Composition
    by chantalbonner@gmail.com (Chantal Cherifi), Cherifi, Chantal, Rivierre, Yvan, Santucci, Jean-François - 1 May 2013 A_Community_Based_Algorithm_for_Large_Scale_Web_Service_Composition.pdf, Articles dans des revues avec comité de lecture, ,
  3. Explorer une grille avec un minimum de robots amnésiques
    by Franck.Petit@lip6.fr (Franck Petit), Petit, Franck, Lamani, Anissa, Devismes, Stéphane, Tixeuil, Sébastien, Raymond, Pascal - 23 April 2013 algotel.pdf, Communications avec actes, ,
  4. Implementing hash-consed structures in Coq
    by Thomas.Braibant@inria.fr (Thomas Braibant), Braibant, Thomas, Jourdan, Jacques-Henri, Monniaux, David - 22 April 2013 Braibant_Jourdan_Monniaux_ITP2013.pdf, Preprint, Working Paper, Document sans référence, etc., , ,
  5. Routage sécurisé et résilient pour réseaux de capteurs sans fil
    by Karine.Altisen@imag.fr (Karine Altisen), Altisen, Karine, Devismes, Stéphane, Jamet, Raphaël, Lafourcade, Pascal - 16 April 2013 papier.pdf, Communications avec actes, , ,
  6. Algorithme autostabilisant avec convergence sûre construisant une $(f,g)$-alliance
    by hal@ccsd.cnrs.fr (Fabienne Carrier), Carrier, Fabienne, Datta, Ajoy, Devismes, Stéphane, Larmore, Lawrence, Rivierre, Yvan - 13 April 2013 main.pdf, Communications avec actes, ,
  7. Sécurité assistée par ordinateur pour les primitives cryptgraphiques, les protocoles de vote électronique et les réseaux de capteurs sans fil.
    by pascal.lafourcade@imag.fr (Pascal Lafourcade), Lafourcade, Pascal - 3 April 2013 hdr.pdf, HDR, , ,
  8. Co-Simulation of Functional SystemC TLM Models with Power/Thermal Solvers
    by Tayeb.Bouhadiba@imag.fr (Tayeb Bouhadiba), Bouhadiba, Tayeb, Moy, Matthieu, Maraninchi, Florence, Cornet, Jérôme, Maillet-Contoz, Laurent, Materic, Ilija - 3 April 2013 vipes2013.pdf, Communications avec actes, , ,
  9. Vérification relationnelle pour des programmes avec des données entières
    by filip.konecny@epfl.ch (Filip Konecny), Konecny, Filip - 2 April 2013 main-ujf.pdf, Thèses, ,
  10. System-Level Modeling of Energy in TLM for Early Validation of Power and Thermal Management
    by tayeb.s.bouhadiba@gmail.com (Tayeb Bouhadiba), Bouhadiba, Tayeb, Moy, Matthieu, Maraninchi, Florence - 2 April 2013 granu-date2013.pdf, Communications avec actes, , ,
  11. Fast and Accurate TLM Simulations using Temporal Decoupling for FIFO-based Communications
    by claude.helmstetter@gmail.com (Claude Helmstetter), Helmstetter, Claude, Cornet, Jérôme, Galilée, Bruno, Moy, Matthieu, VIVET, Pascal - 2 April 2013 TDpaper.pdf, Communications avec actes, , ,
  12. Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra
    by Alexis.Fouilhe@imag.fr (Alexis Fouilhé), Fouilhé, Alexis, Monniaux, David, Périn, Michaël - 2 April 2013 Fouilhe_et_al_SAS_2013.pdf, Preprint, Working Paper, Document sans référence, etc., , , ,
  13. Vérification de programmes avec structures de données complexes
    by hal@ccsd.cnrs.fr (Jiri Simacek), Simacek, Jiri - 28 March 2013 thesis_french_cover.pdf, Thèses, , ,
  14. Un cadre formel pour spécifier et analyser les responsabilités, basé sur les logs comme preuve électronique.
    by hal@ccsd.cnrs.fr (Eduardo Mazza), Mazza, Eduardo - 13 March 2013 thesis.pdf, Thèses, ,
  15. Abstract acceleration in Linear relation analysis
    by Laure.Gonnord@lifl.fr (Laure Gonnord), Gonnord, Laure, Halbwachs, Nicolas - 5 February 2013 TR-2010-10GonnordHalbwachs.pdf, Rapport de recherche, , ,
  16. TIREX : une représentation textuelle intermédiaire pour un environnement d'exécution virtuel, échanger des informations du compilateur et d'analyse du programme
    by hal@ccsd.cnrs.fr (Artur Pietrek), Pietrek, Artur - 23 January 2013 25978_PIETREK_2012_archivage1.pdf, Thèses, ,

2012

  1. Calcul d'Atteignabilité des systèmes hybrides avec des fonctions de support
    by hal@ccsd.cnrs.fr (Rajarshi Ray), Ray, Rajarshi - 20 December 2012 25888_RAY_2012_archivage.pdf, Thèses, ,
  2. Méthode pour la spécification de responsabilité pour les logiciels : Modelisation, Tracabilité et Analyse de dysfonctionnements
    by hal@ccsd.cnrs.fr (Eduardo Sampaio elesbao mazza), Sampaio elesbao mazza, Eduardo - 20 December 2012 24851_SAMPAIO1.pdf, Thèses, ,
  3. Parallel Programming with SystemC for Loosely Timed Models: A Non-Intrusive Approach
    by Matthieu.Moy@imag.fr (Matthieu Moy), Moy, Matthieu - 4 December 2012 expanded.pdf, Communications avec actes, , ,
  4. Model-Based Design of Embeded Control Systems by means of a Synchronous Intermediate Model
    by hal@ccsd.cnrs.fr (M. Alras), Alras, M., Caspi, Paul, Girault, Alain, Raymond, Pascal - 19 November 2012 icess09-final.pdf, Communications avec actes, ,
  5. STL-based analysis of TRAIL-induced apoptosis challenges the notion of type I/type II cell line classification
    by szymon.stoma@inria.fr (Szymon Stoma), Stoma, Szymon, Donzé, Alexandre, Bertaux, François, Maler, Oded, Batt, Grégory - 9 November 2012 RR-8121.pdf, Rapports, ,
  6. Brandt's Fully Private Auction Protocol Revisited
    by Jannik.Dreier@imag.fr (Jannik Dreier), Dreier, Jannik, Dumas, Jean-Guillaume, Lafourcade, Pascal - 25 October 2012 brandtrev.pdf, Communications avec actes, ,
  7. Implémentation rigoureuse des systèmes temps-réels
    by hal@ccsd.cnrs.fr (Tesnim Abdellatif), Abdellatif, Tesnim - 23 October 2012 23113_ABDELLATIF_2012_archivage1.pdf, Thèses, ,
  8. SPDF: A Schedulable Parametric Data-Flow MoC
    by hal@ccsd.cnrs.fr (Pascal Fradet), Fradet, Pascal, Girault, Alain, Poplavko, Petro - 23 October 2012 date12-published.pdf, Communications avec actes, ,
  9. More testable properties
    by ylies.falcone@imag.fr (Yliès Falcone), Falcone, Yliès, Fernandez, Jean-Claude, Jéron, Thierry, Marchand, Hervé, Mounier, Laurent - 22 October 2012 STTT-ICTSS10-preprint.pdf, Articles dans des revues avec comité de lecture, ,
  10. When the Decreasing Sequence Fails
    by Nicolas.Halbwachs@imag.fr (Nicolas Halbwachs), Halbwachs, Nicolas, Henry, Julien - 21 September 2012 sas-14.pdf, Communications avec actes, , ,
  11. Programmation synchrone de pilotes de périphériques pour un contrôle global de ressources dans les systèmes embarqués
    by hal@ccsd.cnrs.fr (Nicolas Berthier), Berthier, Nicolas - 3 September 2012 23117_BERTHIER_2012_archivage1.pdf, Thèses, ,
  12. D-Finder: A Tool for Compositional Deadlock Detection and Verification
    by Saddek.Bensalem@imag.fr (Saddek Bensalem), Bensalem, Saddek, Bozga, Marius, Nguyen, Thanh-Hung, Sifakis, Joseph - 2 August 2012 cav-09-DFinder.pdf, Communications avec actes, ,
  13. Source-to-Source Architecture Transformation for Performance Optimization in BIP
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Jaber, Mohamad, Sifakis, Joseph - 2 August 2012 sies-09-S2S.pdf, Communications avec actes, ,
  14. Compositional Timing Analysis
    by hal@ccsd.cnrs.fr (Ramzi Ben Salah), Ben Salah, Ramzi, Bozga, Marius, Maler, Oded - 2 August 2012 emsoft020-bensalah.pdf, Communications avec actes, ,
  15. System-Level Modeling, Analysis and Code Generation: Object Recognition Case Study
    by Ananda.Basu@imag.fr (Ananda Basu), Basu, Ananda, Bensalem, Saddek, Bozga, Marius, Mottin, Julien, Pacull, Francois, Poulakidas, Athanasios, Aggelis, Aggelis - 2 August 2012 Embedded-World-5-full.pdf, Communications sans actes, ,
  16. Deciding Conditional Termination
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Iosif, Radu, Konecny, Filip - 2 August 2012 draft3.pdf, Communications avec actes, ,
  17. Knowledge-based Distributed Conflict Resolution for Multiparty Interactions and Priorities
    by Saddek.Bensalem@imag.fr (Saddek Bensalem), Bensalem, Saddek, Bozga, Marius, Quilbeuf, Jean, Sifakis, Joseph - 2 August 2012 main.pdf, Communications avec actes, ,
  18. Modeling Dynamic architectures using Dy-BIP
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Jaber, Mohamad, Maris, Nikolaos, Sifakis, Joseph - 2 August 2012 dy-bip.pdf, Communications avec actes, ,
  19. Modeling Synchronous Systems in BIP
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Sfyrla, Vassiliki, Sifakis, Joseph - 2 August 2012 emsoft.pdf, Communications avec actes, ,
  20. Performance Evaluation of Schedulers in a Probabilistic Setting
    by Jean-Francois.Kempf@imag.Fr (Jean-Francois Kempf), Kempf, Jean-Francois, Bozga, Marius, Maler, Oded - 1 August 2012 formats-invited.pdf, Communications avec actes, ,
  21. Automated Distributed Implementation of Component-Based Models with Priorities
    by borzoo@ece.uwaterloo.ca (Borzoo Bonakdarpour), Bonakdarpour, Borzoo, Bozga, Marius, Quilbeuf, Jean - 1 August 2012 main.pdf, Communications avec actes, ,
  22. Rigorous System Level Modeling and Analysis of Mixed HW/SW Systems
    by Bourgos.Paraskevas@imag.fr (Paraskevas Bourgos), Bourgos, Paraskevas, Basu, Ananda, Bensalem, Saddek, Bozga, Marius, Sifakis, Joseph, Huang, Kai - 1 August 2012 main.pdf, Communications avec actes, ,
  23. Fast Acceleration of Ultimately Periodic Relations
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Iosif, Radu, Konecny, Filip - 1 August 2012 fast-iteration-draft2.pdf, Communications avec actes, ,
  24. Formalisation de preuves de sécurité concrète
    by hal@ccsd.cnrs.fr (Marion Daubignard), Daubignard, Marion - 30 July 2012 22648_DAUBIGNARD_2012_archivage1.pdf, Thèses, ,
  25. Construction de systèmes répartis sécurisés à base de composants
    by hal@ccsd.cnrs.fr (Lilia Youssef), Youssef, Lilia - 30 July 2012 these-Lilia-Sfaxi.pdf, Thèses, ,
  26. L'analyse formelle des systèmes temporisés en pratique
    by hal@ccsd.cnrs.fr (Stavros Tripakis), Tripakis, Stavros - 30 July 2012 tripakis.pdf, Thèses, ,
  27. Automatisation de la Certification Formelle de Systèmes Critiques par Instrumentation d'Interpréteurs Abstraits
    by garnacho.manuel@gmail.com (Manuel Garnacho), Garnacho, Manuel - 25 July 2012 thesis.pdf, Thèses, ,
  28. PAGAI: a path sensitive static analyzer
    by Julien.Henry@imag.fr (Julien Henry), Henry, Julien, Monniaux, David, Moy, Matthieu - 17 July 2012 pagai_article.pdf, Communications avec actes, , ,
  29. Anatomy of Alternating Quantifier Satisfiability (Work in progress)
    by padu@imm.dtu.dk (Anh-Dung Phan), Phan, Anh-Dung, Bjørner, Nikolaj, Monniaux, David - 10 July 2012 paper6.pdf, Communications avec actes, , ,
  30. Succinct Representations for Abstract Interpretation
    by Julien.Henry@imag.fr (Julien Henry), Henry, Julien, Monniaux, David, Moy, Matthieu - 19 June 2012 implicitization_article.pdf, Communications avec actes, ,
  31. Brief Announcement: : Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset
    by Ananda.Basu@imag.fr (Ananda Basu), Basu, Ananda, Bonakdarpour, Borzoo, Bozga, Marius, Sifakis, Joseph - 27 April 2012 disc09.pdf, Communications avec actes, ,
  32. De la pertinence du RSSI pour la localisation dans les réseaux de capteurs
    by karel.heurtefeux@imag.fr (Karel Heurtefeux), Heurtefeux, Karel, Fabrice, Valois - 24 April 2012 2012-AlgoTel.pdf, Communications avec actes, ,
  33. Modélisation des systèmes synchrones en BIP
    by hal@ccsd.cnrs.fr (Vasiliki Sfyrla), Sfyrla, Vasiliki - 17 April 2012 19716_SFYRLA_2011_archivage_1_.pdf, Thèses, ,
  34. Algorithme de k-partitionnement auto-stabilisant et compétitif
    by ajoy.datta@unlv.edu (Ajoy Datta), Datta, Ajoy, Devismes, Stéphane, Heurtefeux, Karel, Larmore, Lawrence, Rivierre, Yvan - 13 April 2012 comp-k-part.pdf, Communications avec actes, ,
  35. Calcul du pire temps d'exécution : méthode formelle s'adaptant à la sophistication croissante des architectures matérielles
    by hal@ccsd.cnrs.fr (Bilel Benhamamouch), Benhamamouch, Bilel - 6 April 2012 18695_BENHAMAMOUCH_2011_archivage_1_.pdf, Thèses, ,
  36. Design, vérification et implémentation de systèmes à composants
    by hal@ccsd.cnrs.fr (Sophie Quinton), Quinton, Sophie - 6 April 2012 17020_QUINTON_2011_archivage_1_.pdf, Thèses, ,
  37. Langages formels : Quelques aspects quantitatifs
    by aldric.degorre@imag.fr (Aldric Degorre), Degorre, Aldric - 2 February 2012 ThA_se_-_Aldric_Degorre_-_04-12-09_-_hyperref.pdf, Thèses, ,

2011

  1. Causality closure for a new class of curves in real-time calculus
    by Karine.Altisen@imag.fr (Karine Altisen), Altisen, Karine, Moy, Matthieu - 6 December 2011 wctt2011-final.pdf, Communications avec actes, , ,
  2. Causality closure for a new class of curves in real-time calculus
    by Karine.Altisen@imag.fr (Karine Altisen), Altisen, Karine, Moy, Matthieu - 6 December 2011 wctt2011-final.pdf, Communications avec actes, , ,
  3. Runtime Verification of Component-Based Systems
    by ylies.falcone@imag.fr (Yliès Falcone), Falcone, Yliès, Jaber, Mohamad, Nguyen, Thanh-Hung, Bozga, Marius, Bensalem, Saddek - 20 November 2011 RuntimeVerificationOfComponentBasedSystems.pdf, Communications avec actes, ,
  4. Runtime Verification of Component-Based Systems
    by ylies.falcone@imag.fr (Yliès Falcone), Falcone, Yliès, Jaber, Mohamad, Nguyen, Thanh-Hung, Bozga, Marius, Bensalem, Saddek - 20 November 2011 RuntimeVerificationOfComponentBasedSystems.pdf, Communications avec actes, ,
  5. What can you verify and Enforce at Runtime?
    by ylies.falcone@inria.fr (Yliès Falcone), Falcone, Yliès, Fernandez, Jean-Claude, Mounier, Laurent - 29 September 2011 sttt11.pdf, Articles dans des revues avec comité de lecture, ,
  6. What can you verify and Enforce at Runtime?
    by ylies.falcone@inria.fr (Yliès Falcone), Falcone, Yliès, Fernandez, Jean-Claude, Mounier, Laurent - 29 September 2011 sttt11.pdf, Articles dans des revues avec comité de lecture, ,
  7. Contributions à l'analyse statique de programmes manipulant des tableaux
    by work@mathias.xn--pron-bpa.eu (Mathias Péron), Péron, Mathias - 14 September 2011 mathias.peron.pdf, Thèses, ,
  8. Contributions à l'analyse statique de programmes manipulant des tableaux
    by work@mathias.xn--pron-bpa.eu (Mathias Péron), Péron, Mathias - 14 September 2011 mathias.peron.pdf, Thèses, ,
  9. Stratified Static Analysis Based on Variable Dependencies
    by David.Monniaux@imag.fr (David Monniaux), Monniaux, David, Le Guen, Julien - 11 September 2011 dependency_staged_analysis_article.pdf, Preprint, Working Paper, Document sans référence, etc.,
  10. Stratified Static Analysis Based on Variable Dependencies
    by David.Monniaux@imag.fr (David Monniaux), Monniaux, David, Le Guen, Julien - 11 September 2011 dependency_staged_analysis_article.pdf, Preprint, Working Paper, Document sans référence, etc.,
  11. Modular Abstractions of Reactive Nodes using Disjunctive Invariants
    by David.Monniaux@imag.fr (David Monniaux), Monniaux, David, Bodin, Martin - 8 September 2011 monniaux_bodin_aplas2011_article.pdf, Preprint, Working Paper, Document sans référence, etc., ,
  12. Modular Abstractions of Reactive Nodes using Disjunctive Invariants
    by David.Monniaux@imag.fr (David Monniaux), Monniaux, David, Bodin, Martin - 8 September 2011 monniaux_bodin_aplas2011_article.pdf, Communications avec actes, , ,
  13. WS-NEXT, a Web Services Network Extractor Toolkit
    by chantalbonner@gmail.com (Chantal Cherifi), Cherifi, Chantal, Rivierre, Yvan, Santucci, Jean-François - 7 September 2011 Chantal_CHERIFI_WS-NEXT_A_Web_Services_Network_Extractor_Toolkit-1.pdf, Communications avec actes, ,
  14. WS-NEXT, a Web Services Network Extractor Toolkit
    by chantalbonner@gmail.com (Chantal Cherifi), Cherifi, Chantal, Rivierre, Yvan, Santucci, Jean-François - 7 September 2011 Chantal_CHERIFI_WS-NEXT_A_Web_Services_Network_Extractor_Toolkit-1.pdf, Communications avec actes, ,
  15. Fast Escape Analysis for Region-based Memory Management
    by guillaume.salagnac@inria.fr (Guillaume Salagnac), Salagnac, Guillaume, Yovine, Sergio, Garbervetsky, Diego - 23 June 2011 SYG-aiool05.pdf, Communications avec actes, ,
  16. Fast Escape Analysis for Region-based Memory Management
    by guillaume.salagnac@inria.fr (Guillaume Salagnac), Salagnac, Guillaume, Yovine, Sergio, Garbervetsky, Diego - 23 June 2011 SYG-aiool05.pdf, Communications avec actes, ,
  17. Using Bounded Model Checking to Focus Fixpoint Iterations
    by David.Monniaux@imag.fr (David Monniaux), Monniaux, David, Gonnord, Laure - 13 June 2011 Monniaux_Gonnord_SAS2011.pdf, Communications avec actes, , ,
  18. Using Bounded Model Checking to Focus Fixpoint Iterations
    by David.Monniaux@imag.fr (David Monniaux), Monniaux, David, Gonnord, Laure - 13 June 2011 Monniaux_Gonnord_SAS2011.pdf, Communications avec actes, , ,
  19. Modeling of Time in Discrete-Event Simulation of Systems-on-Chip
    by Giovanni.Funchal@imag.fr (Giovanni Funchal), Funchal, Giovanni, Moy, Matthieu - 25 May 2011 paper.pdf, Communications avec actes, , ,
  20. Modeling of Time in Discrete-Event Simulation of Systems-on-Chip
    by Giovanni.Funchal@imag.fr (Giovanni Funchal), Funchal, Giovanni, Moy, Matthieu - 25 May 2011 paper.pdf, Communications avec actes, , ,
  21. On the Generation of Positivstellensatz Witnesses in Degenerate Cases
    by David.Monniaux@imag.fr (David Monniaux), Monniaux, David, Corbineau, Pierre - 20 May 2011 psatz_witnesses_itp2011_article.pdf, Communications avec actes, , , , ,
  22. On the Generation of Positivstellensatz Witnesses in Degenerate Cases
    by David.Monniaux@imag.fr (David Monniaux), Monniaux, David, Corbineau, Pierre - 20 May 2011 psatz_witnesses_itp2011_article.pdf, Communications avec actes, , , , ,
  23. Optimal grid exploration by asynchronous oblivious robots
    by hal@ccsd.cnrs.fr (Stéphane Devismes), Devismes, Stéphane, Lamani, Anissa, Petit, Franck, Raymond, Pascal, Tixeuil, Sébastien - 11 May 2011 Report.pdf, Rapport de recherche, , , , , , , ,
  24. Optimal grid exploration by asynchronous oblivious robots
    by hal@ccsd.cnrs.fr (Stéphane Devismes), Devismes, Stéphane, Lamani, Anissa, Petit, Franck, Raymond, Pascal, Tixeuil, Sébastien - 11 May 2011 Report.pdf, Rapport de recherche, , , , , , , ,
  25. Statistical Model Checking: An Overview
    by Axel.Legay@inria.fr (Axel Legay), Legay, Axel, Delahaye, Benoît, Bensalem, Saddek - 9 May 2011 RV10-2.pdf, Communications avec actes, ,
  26. Statistical Model Checking: An Overview
    by Axel.Legay@inria.fr (Axel Legay), Legay, Axel, Delahaye, Benoît, Bensalem, Saddek - 9 May 2011 RV10-2.pdf, Communications avec actes, ,
  27. AreaCast: une communication par zone dans les réseaux de capteurs sans fil
    by karel.heurtefeux@imag.fr (Karel Heurtefeux), Heurtefeux, Karel, Maraninchi, Florence, Valois, Fabrice - 22 April 2011 2011-Algotel.pdf, Communications avec actes, , ,
  28. AreaCast: une communication par zone dans les réseaux de capteurs sans fil
    by karel.heurtefeux@imag.fr (Karel Heurtefeux), Heurtefeux, Karel, Maraninchi, Florence, Valois, Fabrice - 22 April 2011 2011-Algotel.pdf, Communications avec actes, , ,
  29. Routage par marche aléatoire à listes tabous
    by hal@ccsd.cnrs.fr (Karine Altisen), Altisen, Karine, Devismes, Stéphane, Lafourcade, Pascal, Ponsonnet, Clément - 22 April 2011 tlm-tlcn-simu-french.pdf, Communications avec actes, ,
  30. Routage par marche aléatoire à listes tabous
    by hal@ccsd.cnrs.fr (Karine Altisen), Altisen, Karine, Devismes, Stéphane, Lafourcade, Pascal, Ponsonnet, Clément - 22 April 2011 tlm-tlcn-simu-french.pdf, Communications avec actes, ,
  31. Coordination de comités instantanément stabilisante
    by borzoo@ece.uwaterloo.ca (Borzoo Bonakdarpour), Bonakdarpour, Borzoo, Devismes, Stéphane, Petit, Franck - 19 April 2011 camera-ready.pdf, Communications avec actes, ,
  32. Coordination de comités instantanément stabilisante
    by borzoo@ece.uwaterloo.ca (Borzoo Bonakdarpour), Bonakdarpour, Borzoo, Devismes, Stéphane, Petit, Franck - 19 April 2011 camera-ready.pdf, Communications avec actes, ,
  33. Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities
    by ylies.falcone@inria.fr (Yliès Falcone), Falcone, Yliès, Mounier, Laurent, Fernandez, Jean-Claude, Richier, Jean-Luc - 15 March 2011 EnforcementMonitors-FMSD-preprint.pdf, Articles dans des revues avec comité de lecture, ,
  34. Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities
    by ylies.falcone@inria.fr (Yliès Falcone), Falcone, Yliès, Mounier, Laurent, Fernandez, Jean-Claude, Richier, Jean-Luc - 15 March 2011 EnforcementMonitors-FMSD-preprint.pdf, Articles dans des revues avec comité de lecture, ,
  35. Efficient and Playful Tools to Teach Unix to New Students
    by Matthieu.Moy@imag.fr (Matthieu Moy), Moy, Matthieu - 8 March 2011 unix-course.pdf, Communications avec actes, ,
  36. Efficient and Playful Tools to Teach Unix to New Students
    by Matthieu.Moy@imag.fr (Matthieu Moy), Moy, Matthieu - 8 March 2011 unix-course.pdf, Communications avec actes, ,
  37. Systèmes à base de composants : du design à l'implémentation
    by hal@ccsd.cnrs.fr (Imane Ben Hafaiedh), Ben Hafaiedh, Imane - 3 March 2011 BENHAFAIEDH_IMENE_2011.pdf, Thèses, ,
  38. Systèmes à base de composants : du design à l'implémentation
    by hal@ccsd.cnrs.fr (Imane Ben Hafaiedh), Ben Hafaiedh, Imane - 3 March 2011 BENHAFAIEDH_IMENE_2011.pdf, Thèses, ,
  39. Issues on Memory Managemenet for Component-based Systems
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Sifakis, Emmanuel - 1 February 2011 main.pdf, Communications sans actes, ,
  40. Issues on Memory Managemenet for Component-based Systems
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Sifakis, Emmanuel - 1 February 2011 main.pdf, Communications sans actes, ,
  41. Faithfulness Considerations for Virtual Prototyping of Systems-on-Chip
    by Giovanni.Funchal@imag.fr (Giovanni Funchal), Funchal, Giovanni, Moy, Matthieu, Maraninchi, Florence, Maillet-Contoz, Laurent - 26 January 2011 paper.pdf, Communications avec actes, , ,
  42. Faithfulness Considerations for Virtual Prototyping of Systems-on-Chip
    by Giovanni.Funchal@imag.fr (Giovanni Funchal), Funchal, Giovanni, Moy, Matthieu, Maraninchi, Florence, Maillet-Contoz, Laurent - 26 January 2011 paper.pdf, Communications avec actes, , ,
  43. Automatic Verification of Integer Array Programs
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Habermehl, Peter, Iosif, Radu, Konecny, Filip, Vojnar, Tomas - 20 January 2011 array-verification3.pdf, Communications avec actes, ,
  44. Automatic Verification of Integer Array Programs
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Habermehl, Peter, Iosif, Radu, Konecny, Filip, Vojnar, Tomas - 20 January 2011 array-verification3.pdf, Communications avec actes, ,
  45. Systematic Correct Construction of Self-stabilizing Systems: A Case Study
    by Ananda.Basu@imag.fr (Ananda Basu), Basu, Ananda, Bonakdarpour, Borzoo, Bozga, Marius, Sifakis, Joseph - 20 January 2011 main.pdf, Communications avec actes, ,
  46. Systematic Correct Construction of Self-stabilizing Systems: A Case Study
    by Ananda.Basu@imag.fr (Ananda Basu), Basu, Ananda, Bonakdarpour, Borzoo, Bozga, Marius, Sifakis, Joseph - 20 January 2011 main.pdf, Communications avec actes, ,
  47. Automated Conflict-Free Distributed Implementation of Component-Based Models
    by hal@ccsd.cnrs.fr (Borzoo Bonakdarpour), Bonakdarpour, Borzoo, Bozga, Marius, Jaber, Mohamad, Quilbeuf, Jean, Sifakis, Joseph - 20 January 2011 sies10.pdf, Communications avec actes, ,
  48. Automated Conflict-Free Distributed Implementation of Component-Based Models
    by hal@ccsd.cnrs.fr (Borzoo Bonakdarpour), Bonakdarpour, Borzoo, Bozga, Marius, Jaber, Mohamad, Quilbeuf, Jean, Sifakis, Joseph - 20 January 2011 sies10.pdf, Communications avec actes, ,
  49. Compositional Translation of Simulink Models into Synchronous BIP
    by Vassiliki.Sfyrla@imag.fr (Vassiliki Sfyrla), Sfyrla, Vassiliki, Tsiligiannis, Georgios, Safaka, Iris, Bozga, Marius, Sifakis, Joseph - 20 January 2011 sies4pages.pdf, Communications avec actes, ,
  50. Compositional Translation of Simulink Models into Synchronous BIP
    by Vassiliki.Sfyrla@imag.fr (Vassiliki Sfyrla), Sfyrla, Vassiliki, Tsiligiannis, Georgios, Safaka, Iris, Bozga, Marius, Sifakis, Joseph - 20 January 2011 sies4pages.pdf, Communications avec actes, ,
  51. Incremental Component-based Construction and Verification using Invariants
    by Saddek.Bensalem@imag.fr (Saddek Bensalem), Bensalem, Saddek, Bozga, Marius, Legay, Axel, Nguyen, Thanh-Hung, Sifakis, Joseph, Yan, Rongjie - 20 January 2011 FMCAD10.pdf, Communications avec actes, ,
  52. Incremental Component-based Construction and Verification using Invariants
    by Saddek.Bensalem@imag.fr (Saddek Bensalem), Bensalem, Saddek, Bozga, Marius, Legay, Axel, Nguyen, Thanh-Hung, Sifakis, Joseph, Yan, Rongjie - 20 January 2011 FMCAD10.pdf, Communications avec actes, ,
  53. Methods for Knowledge Based Controlling of Distributed Systems
    by Saddek.Bensalem@imag.fr (Saddek Bensalem), Bensalem, Saddek, Bozga, Marius, Graf, Susanne, Peled, Doron, Quinton, Sophie - 20 January 2011 atva-10.pdf, Communications avec actes, ,
  54. Methods for Knowledge Based Controlling of Distributed Systems
    by Saddek.Bensalem@imag.fr (Saddek Bensalem), Bensalem, Saddek, Bozga, Marius, Graf, Susanne, Peled, Doron, Quinton, Sophie - 20 January 2011 atva-10.pdf, Communications avec actes, ,
  55. Verification of an AFDX infrastructure using simulation and probabilities
    by Ananda.Basu@imag.fr (Ananda Basu), Basu, Ananda, Bensalem, Saddek, Bozga, Marius, Delahaye, Benoît, Legay, Axel, Sifakis, Emmanuel - 19 January 2011 main.pdf, Communications avec actes, ,
  56. Verification of an AFDX infrastructure using simulation and probabilities
    by Ananda.Basu@imag.fr (Ananda Basu), Basu, Ananda, Bensalem, Saddek, Bozga, Marius, Delahaye, Benoît, Legay, Axel, Sifakis, Emmanuel - 19 January 2011 main.pdf, Communications avec actes, ,
  57. Efficient Encoding of SystemC/TLM in Promela
    by Kevin.Marquet@imag.fr (Kevin Marquet), Marquet, Kevin, Moy, Matthieu, Jeannet, Bertrand - 19 January 2011 conf.pdf, Communications avec actes, , , ,
  58. Efficient Encoding of SystemC/TLM in Promela
    by Kevin.Marquet@imag.fr (Kevin Marquet), Marquet, Kevin, Moy, Matthieu, Jeannet, Bertrand - 19 January 2011 conf.pdf, Communications avec actes, , , ,
  59. Implémentations Centralisée et Répartie de Systèmes Corrects par construction à base des Composants par Transformations Source-à-source dans BIP
    by dadax_85@hotmail.com (Mohamad Jaber), Jaber, Mohamad - 18 January 2011 main.pdf, Thèses, ,
  60. Improving Strategies via SMT Solving
    by Thomas.Gawlitza@imag.fr (Thomas Gawlitza), Gawlitza, Thomas, Monniaux, David - 14 January 2011 main_article.pdf, Preprint, Working Paper, Document sans référence, etc., , , ,

2010

  1. Design of a Multi-formalism Application and Distribution in a Data-flow Context: An Example
    by loic.besnard@irisa.fr (Loïc Besnard), Besnard, Loïc, Bournai, Patricia, Gautier, Thierry, Halbwachs, Nicolas, Nadjm-Tehrani, Simin, Ressouche, Annie - 14 December 2010 IP2-00_appli_format_dist.pdf, Chapitres d'ouvrages scientifiques, ,
  2. More Testable Properties
    by ylies.falcone@inria.fr (Yliès Falcone), Falcone, Yliès, Fernandez, Jean-Claude, Jéron, Thierry, Marchand, Hervé, Mounier, Laurent - 1 December 2010 main.pdf, Communications avec actes, ,
  3. More Testable Properties
    by ylies.falcone@inria.fr (Yliès Falcone), Falcone, Yliès, Fernandez, Jean-Claude, Jéron, Thierry, Marchand, Hervé, Mounier, Laurent - 1 December 2010 main.pdf, Communications avec acte, ,
  4. 42, Une Approche à Composants pour le Prototypage Virtuel des Systèmes Embarqués Hétérogènes
    by tayeb.s.bouhadiba@gmail.com (Tayeb Bouhadiba), Bouhadiba, Tayeb - 24 November 2010 thesis42.pdf, Thèses, ,
  5. A refinement methodology for object-oriented programs
    by hal@ccsd.cnrs.fr (Asma Tafat), Tafat, Asma, Boulmé, Sylvain, Marché, Claude - 12 November 2010 13.pdf, Communications avec actes, ,
  6. A refinement methodology for object-oriented programs
    by hal@ccsd.cnrs.fr (Asma Tafat), Tafat, Asma, Boulmé, Sylvain, Marché, Claude - 12 November 2010 13.pdf, Communications avec acte, ,
  7. Implémentations Centralisée et Répartie de Systèmes Corrects par construction à base des Composants par Transformations Source-à-source dans BIP
    by dadax_85@hotmail.com (Mohamad Jaber), Jaber, Mohamad - 1 November 2010 main.pdf, Thèses, ,
  8. A New Elimination Rule for the Calculus of Inductive Constructions
    by hal@ccsd.cnrs.fr (Bruno Barras), Barras, Bruno, Corbineau, Pierre, Grégoire, Benjamin, Herbelin, Hugo, Sacchini, Jorge - 29 October 2010 types-BarCorGreHerSac08-dep-matching.pdf, Communications avec actes, ,
  9. A New Elimination Rule for the Calculus of Inductive Constructions
    by hal@ccsd.cnrs.fr (Bruno Barras), Barras, Bruno, Corbineau, Pierre, Grégoire, Benjamin, Herbelin, Hugo, Sacchini, Jorge - 29 October 2010 types-BarCorGreHerSac08-dep-matching.pdf, Communications avec acte, ,
  10. A game approach to determinize timed automata
    by nathalie.bertrand@inria.fr (Nathalie Bertrand), Bertrand, Nathalie, Stainer, Amélie, Jéron, Thierry, Krichen, Moez - 25 October 2010 RR-7381.pdf, Rapports, , ,
  11. Modélisation à base de Composants de Systèmes Temps réel Hétérogènes en BIP
    by ananda.basu@gmail.com (Ananda Basu), Basu, Ananda - 19 October 2010 report.pdf, Thèses, ,
  12. Towards Automatic Integration Of Or-BAC Security Policies Using Aspects
    by ylies.falcone@inria.fr (Yliès Falcone), Falcone, Yliès, Jaber, Mohamad - 12 October 2010 sigproc-sp.pdf, Communications avec actes, ,
  13. Towards Automatic Integration Of Or-BAC Security Policies Using Aspects
    by ylies.falcone@inria.fr (Yliès Falcone), Falcone, Yliès, Jaber, Mohamad - 12 October 2010 sigproc-sp.pdf, Communications avec actes, ,
  14. A game approach to determinize timed automata
    by nathalie.bertrand@inria.fr (Nathalie Bertrand), Bertrand, Nathalie, Stainer, Amélie, Jéron, Thierry, Krichen, Moez - 8 October 2010 RR-7381.pdf, Rapport de recherche, , ,
  15. Combining widening and acceleration in Linear Relation Analysis
    by Laure.Gonnord@lifl.fr (Laure Gonnord), Gonnord, Laure, Halbwachs, Nicolas - 4 October 2010 sas06.pdf, Communications avec actes, ,
  16. Combining widening and acceleration in Linear Relation Analysis
    by Laure.Gonnord@lifl.fr (Laure Gonnord), Gonnord, Laure, Halbwachs, Nicolas - 4 October 2010 sas06.pdf, Communications avec acte, ,
  17. Modélisation des systèmes temps-réel embarqués en utilisant AADL pour la génération automatique d'applications formellement vérifiées
    by yassin.chkouri@gmail.com (Mohamed Yassin Chkouri), Chkouri, Mohamed Yassin - 9 September 2010 thA_se_final.pdf, Thèses, ,
  18. Conception et Implantation de Système Fondé sur les Composants. Vers une Unification des Paradigmes Génie Logiciel et Système.
    by marc.poulhies@imag.fr (Marc Poulhiès), Poulhiès, Marc - 2 September 2010 these-poulhies.pdf, Thèses, ,
  19. What can You Verify and Enforce at Runtime?
    by ylies.falcone@inria.fr (Yliès Falcone), Falcone, Yliès, Fernandez, Jean-Claude, Mounier, Laurent - 4 July 2010 main.pdf, Autres publications, ,
  20. A Theoretical and Experimental Review of SystemC Front-ends
    by Kevin.Marquet@imag.fr (Kevin Marquet), Marquet, Kevin, Moy, Matthieu, Karkare, Bageshri - 29 June 2010 rsp.pdf, Preprint, Working Paper, Document sans référence, etc., , ,
  21. PinaVM: a SystemC Front-End Based on an Executable Intermediate Representation
    by Kevin.Marquet@imag.fr (Kevin Marquet), Marquet, Kevin, Moy, Matthieu - 29 June 2010 emsoft.pdf, Communications avec actes, , , ,
  22. Analyse d'un modèle AADL à l'aide de Pola
    by pehladik@laas.fr (Pierre-Emmanuel Hladik), Hladik, Pierre-Emmanuel, Peres, Florent, Shi, Xiaomu - 21 June 2010 aadl_pola_Vcourte_final.pdf, Communications avec actes, ,
  23. Fault Diagnosis of Timed Systems
    by franck.cassez@cnrs.irccyn.fr (Franck Cassez), Cassez, Franck, Tripakis, Stavros - 21 June 2010 iste-wiley-book-diag.pdf, Chapitres d'ouvrages scientifiques, ,
  24. Fault Diagnosis of Timed Systems
    by franck.cassez@cnrs.irccyn.fr (Franck Cassez), Cassez, Franck, Tripakis, Stavros - 21 June 2010 iste-wiley-book-diag.pdf, Chapitres d'ouvrages scientifiques, ,
  25. Diagnostic des systèmes temporisés
    by franck.cassez@cnrs.irccyn.fr (Franck Cassez), Cassez, Franck, Tripakis, Stavros - 21 June 2010 afsec-book-diag.pdf, Chapitres d'ouvrages scientifiques, ,
  26. Diagnostic des systèmes temporisés
    by franck.cassez@cnrs.irccyn.fr (Franck Cassez), Cassez, Franck, Tripakis, Stavros - 21 June 2010 afsec-book-diag.pdf, Chapitres d'ouvrages scientifiques, ,
  27. Vérification Constructive des Systèmes à base de Composants
    by Thanh-Hung.Nguyen@imag.fr (Thanh-Hung Nguyen), Nguyen, Thanh-Hung - 16 June 2010 thesis-hung-nguyen.pdf, Thèses, ,
  28. A Refinement Approach for Correct-by-Construction Object-Oriented Programs
    by hal@ccsd.cnrs.fr (Asma Tafat), Tafat, Asma, Boulmé, Sylvain, Marché, Claude - 14 June 2010 RR-7310.pdf, Rapport de recherche, ,
  29. A Refinement Approach for Correct-by-Construction Object-Oriented Programs
    by hal@ccsd.cnrs.fr (Asma Tafat), Tafat, Asma, Boulmé, Sylvain, Marché, Claude - 14 June 2010 RR-7310.pdf, Rapports, ,
  30. Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study
    by Daniel.Le-Metayer@inria.fr (Daniel Le Métayer), Le Métayer, Daniel, Maarek, Manuel, Mazza, Eduardo, Potet, Marie-Laure, Frénot, Stéphane, Viet Triem Tong, Valérie, Craipeau, Nicolas, Hardouin, Ronan, Alleaune, Christophe, Benabou, Valérie-Laure, Beras, Denis, Bidan, Christophe, Goessler, Gregor, Le Clainche, Julien, Mé, Ludovic, Steer, Sylvain - 8 June 2010 20100608-ICSE-HAL-version-with-DOI.pdf, Communications avec acte, , , ,
  31. Proof Trick: Small Inversions
    by hal@ccsd.cnrs.fr (Jean-François Monin), Monin, Jean-François - 4 June 2010 ,
  32. On using sums-of-squares for exact computations without strict feasibility
    by David.Monniaux@imag.fr (David Monniaux), Monniaux, David - 28 May 2010 safe_sdp.pdf, Preprint, Working Paper, Document sans référence, etc., , , ,
  33. More Testable Properties
    by ylies.falcone@inria.fr (Yliès Falcone), Falcone, Yliès, Fernandez, Jean-Claude, Jéron, Thierry, Marchand, Hervé, Mounier, Laurent - 18 May 2010 RR-7279.pdf, Rapport de recherche, ,
  34. More Testable Properties
    by ylies.falcone@inria.fr (Yliès Falcone), Falcone, Yliès, Fernandez, Jean-Claude, Jéron, Thierry, Marchand, Hervé, Mounier, Laurent - 18 May 2010 RR-7279.pdf, Rapports, ,
  35. Communications Efficaces et Auto-Stabilisation
    by stephane.devismes@imag.fr (Stéphane Devismes), Devismes, Stéphane, Masuzawa, Toshimitsu, Tixeuil, Sébastien - 3 May 2010 algotel.pdf, Communications avec actes, ,
  36. ac2lus: Bringing SMT-solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre
    by Karine.Altisen@imag.fr (Karine Altisen), Altisen, Karine, Moy, Matthieu - 22 April 2010 ac2lus-conf.pdf, Preprint, Working Paper, Document sans référence, etc., ,
  37. Quantifier elimination by lazy model enumeration
    by David.Monniaux@imag.fr (David Monniaux), Monniaux, David - 13 April 2010 nested_quantifiers_article.pdf, Communications avec actes, ,
  38. Rendez-vous d'agents amnésiques
    by hal@ccsd.cnrs.fr (Fabienne Carrier), Carrier, Fabienne, Devismes, Stéphane, Petit, Franck, Rivierre, Yvan - 11 April 2010 rdv-algotel.pdf, Communications avec actes, ,
  39. Rendez-vous d'agents amnésiques
    by hal@ccsd.cnrs.fr (Fabienne Carrier), Carrier, Fabienne, Devismes, Stéphane, Petit, Franck, Rivierre, Yvan - 11 April 2010 rdv-algotel.pdf, Communications avec acte, ,
  40. Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study
    by Daniel.Le-Metayer@inria.fr (Daniel Le Métayer), Le Métayer, Daniel, Maarek, Manuel, Mazza, Eduardo, Potet, Marie-Laure, Frénot, Stéphane, Viet Triem Tong, Valérie, Craipeau, Nicolas, Hardouin, Ronan, Alleaune, Christophe, Benabou, Valérie-Laure, Beras, Denis, Bidan, Christophe, Goessler, Gregor, Le Clainche, Julien, Mé, Ludovic, Steer, Sylvain - 10 April 2010 20100608-ICSE-HAL-version-with-DOI.pdf, Communications avec actes, , , ,
  41. Temporal Refinement for Lustre
    by jan_mikac@yahoo.fr (Jan Mikac), Mikac, Jan, Caspi, Paul - 22 March 2010 refinement7.pdf, Communications avec actes, ,
  42. Temporal Refinement for Lustre
    by jan_mikac@yahoo.fr (Jan Mikac), Mikac, Jan, Caspi, Paul - 22 March 2010 refinement7.pdf, Communications avec acte, ,
  43. Flush : A System Development Tool Based on Scade/Lustre
    by jan_mikac@yahoo.fr (Jan Mikac), Mikac, Jan, Caspi, Paul - 22 March 2010 f23-mikac.pdf, Communications avec actes, ,
  44. Flush : A System Development Tool Based on Scade/Lustre
    by jan_mikac@yahoo.fr (Jan Mikac), Mikac, Jan, Caspi, Paul - 22 March 2010 f23-mikac.pdf, Communications avec acte, ,
  45. Statistical abstraction and model-checking of large heterogeneous systems
    by hal@ccsd.cnrs.fr (Ananda Basu), Basu, Ananda, Bensalem, Saddek, Bozga, Marius, Caillaud, Benoît, Delahaye, Benoît, Legay, Axel - 22 March 2010 RR-7238.pdf, Rapport de recherche, ,
  46. Statistical abstraction and model-checking of large heterogeneous systems
    by hal@ccsd.cnrs.fr (Ananda Basu), Basu, Ananda, Bensalem, Saddek, Bozga, Marius, Caillaud, Benoît, Delahaye, Benoît, Legay, Axel - 22 March 2010 RR-7238.pdf, Rapports, ,
  47. Algorithms For Extracting Timeliness Graphs
    by cd@liafa.jussieu.fr (Carole Delporte-Gallet), Delporte-Gallet, Carole, Devismes, Stéphane, Fauconnier, Hugues, Larrea, Mikel - 4 March 2010 main.pdf, Preprint, Working Paper, Document sans référence, etc., ,
  48. Full simulation coverage for SystemC transaction-level models of systems-on-a-chip
    by claude.helmstetter@inria.fr (Claude Helmstetter), Helmstetter, Claude, Maraninchi, Florence, Maillet-Contoz, Laurent - 19 February 2010 , ,
  49. Full simulation coverage for SystemC transaction-level models of systems-on-a-chip
    by claude.helmstetter@gmail.com (Claude Helmstetter), Helmstetter, Claude, Maraninchi, Florence, Maillet-Contoz, Laurent - 19 February 2010 CH_FM_LMC-FMSD-SCRV.pdf, Articles dans des revues avec comité de lecture, , ,
  50. An Analysis of Permutations in Arrays
    by Nicolas.Halbwachs@imag.fr (Nicolas Halbwachs), Perrelle, Valentin, Halbwachs, Nicolas - 15 February 2010 ,
  51. An Analysis of Permutations in Arrays
    by Valentin.Perrelle@imag.fr (Valentin Perrelle), Perrelle, Valentin, Halbwachs, Nicolas - 15 February 2010 main.pdf, Communications avec actes, ,
  52. Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
    by Matthieu.Moy@imag.fr (Matthieu Moy), Altisen, Karine, Lui, Yanhong, Moy, Matthieu - 26 January 2010 ,
  53. Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
    by Karine.Altisen@imag.fr (Karine Altisen), Altisen, Karine, Lui, Yanhong, Moy, Matthieu - 26 January 2010 gran-paper.pdf, Communications avec actes, , ,

2009

  1. Arrival Curves for Real-Time Calculus: the Causality Problem and its Solutions
    by Matthieu.Moy@imag.fr (Matthieu Moy), Moy, Matthieu, Altisen, Karine - 18 December 2009 , ,
  2. Arrival Curves for Real-Time Calculus: the Causality Problem and its Solutions
    by Matthieu.Moy@imag.fr (Matthieu Moy), Moy, Matthieu, Altisen, Karine - 18 December 2009 conf-paper.pdf, Communications avec actes, , , ,
  3. Liability in Software Engineering: Overview of the LISE Approach and Illustration on a Case Study
    by manuel.maarek@inrialpes.fr (Manuel Maarek), Alleaune, Christophe, Benabou, Valérie-Laure, Beras, Denis, Bidan, Christophe, Craipeau, Nicolas, Frénot, Stéphane, Goessler, Gregor, Hardouin, Ronan, Le Clainche, Julien, Le Métayer, Daniel, Maarek, Manuel, Mazza, Eduardo, Mé, Ludovic, Potet, Marie-Laure, Steer, Sylvain, Viet Triem Tong, Valérie - 10 December 2009 , , ,
  4. Liability in Software Engineering: Overview of the LISE Approach and Illustration on a Case Study
    by hal@ccsd.cnrs.fr (Christophe Alleaune), Alleaune, Christophe, Benabou, Valérie-Laure, Beras, Denis, Bidan, Christophe, Craipeau, Nicolas, Frénot, Stéphane, Goessler, Gregor, Hardouin, Ronan, Le Clainche, Julien, Le Métayer, Daniel, Maarek, Manuel, Mazza, Eduardo, Mé, Ludovic, Potet, Marie-Laure, Steer, Sylvain, Viet Triem Tong, Valérie - 10 December 2009 LISE-HAL-INRIA-RR-7148.pdf, Rapport de recherche, , , ,
  5. Liability in Software Engineering: Overview of the LISE Approach and Illustration on a Case Study
    by hal@ccsd.cnrs.fr (Christophe Alleaune), Alleaune, Christophe, Benabou, Valérie-Laure, Beras, Denis, Bidan, Christophe, Craipeau, Nicolas, Frénot, Stéphane, Goessler, Gregor, Hardouin, Ronan, Le Clainche, Julien, Le Métayer, Daniel, Maarek, Manuel, Mazza, Eduardo, Mé, Ludovic, Potet, Marie-Laure, Steer, Sylvain, Viet Triem Tong, Valérie - 10 December 2009 LISE-HAL-INRIA-RR-7148.pdf, Rapports, , , ,
  6. A minimalistic look at widening operators
    by David.Monniaux@imag.fr (David Monniaux), Monniaux, David - 23 November 2009 minimalistic_widening.pdf, , ,
  7. Etude et mise en œuvre de techniques de validation à l'exécution
    by ylies.falcone@imag.fr (Yliès Falcone), Falcone, Yliès - 18 November 2009 PhD-thesis-Y-Falcone.pdf, ,
  8. Calcul d'Atteignabilité des Systèmes Hybrides à Partie Continue Linéaire
    by colas.le.guernic@gmail.com (Colas Le Guernic), Le Guernic, Colas - 9 November 2009 CLeGuernic_thesis.pdf, ,
  9. Calcul d'Atteignabilité des Systèmes Hybrides à Partie Continue Linéaire
    by colas.le.guernic@gmail.com (Colas Le Guernic), Le Guernic, Colas - 7 October 2009 ,
  10. Runtime Verification of Safety-Progress Properties
    by ylies.falcone@imag.fr (Yliès Falcone), Falcone, Yliès, Fernandez, Jean-Claude, Mounier, Laurent - 29 September 2009 ,
  11. Runtime Verification of Safety-Progress Properties
    by ylies.falcone@imag.fr (Yliès Falcone), Falcone, Yliès, Fernandez, Jean-Claude, Mounier, Laurent - 29 September 2009 ,
  12. Etude et mise en œuvre de techniques de validation à l'exécution
    by ylies.falcone@imag.fr (Yliès Falcone), Falcone, Yliès - 29 September 2009 ,
  13. Automatic modular abstractions for template numerical constraints
    by David.Monniaux@imag.fr (David Monniaux), Monniaux, David - 22 September 2009 ,
  14. Automatic modular abstractions for template numerical constraints
    by David.Monniaux@imag.fr (David Monniaux), Monniaux, David - 22 September 2009 automatic_modular_exact_invariants_lmcs.pdf, Articles dans des revues avec comité de lecture, , ,
  15. Quality Analysis of Dependable Systems: A Developer Oriented Approach
    by valerie.issarny@INRIA.FR (Valerie Issarny), Zarras, Apostolos, Kloukinas, Christos, Issarny, Valérie - 10 September 2009 , ,
  16. Quality Analysis of Dependable Systems: A Developer Oriented Approach
    by zarras@cs.uoi.gr (Apostolos Zarras), Zarras, Apostolos, Kloukinas, Christos, Issarny, Valérie - 10 September 2009 , ,
  17. Vérification de propriétés temporisées et hybrides: théorie et applications
    by dejan.nickovic@epfl.ch (Dejan Nickovic), Nickovic, Dejan - 31 August 2009 ,
  18. Vérification de propriétés temporisées et hybrides: théorie et applications
    by dejan.nickovic@epfl.ch (Dejan Nickovic), Nickovic, Dejan - 31 August 2009 ,
  19. Gentzen-Prawitz Natural Deduction as a Teaching Tool
    by jean-francois.monin@imag.fr (Jean-François Monin), Monin, Jean-François, Ene, Cristian, Périn, Michaël - 21 July 2009
  20. Gentzen-Prawitz Natural Deduction as a Teaching Tool
    by jean-francois.monin@imag.fr (Jean-François Monin), Monin, Jean-François, Ene, Cristian, Périn, Michaël - 21 July 2009
  21. Volume and entropy of regular timed languages
    by asarin@liafa.jussieu.fr (Eugene Asarin), Asarin, Eugene, Degorre, Aldric - 9 July 2009 , ,
  22. Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form
    by Besnard, Loïc, Gautier, Thierry, Moy, Matthieu, Talpin, Jean-Pierre, Johnson, Kenneth, Maraninchi, Florence - 30 June 2009 , ,
  23. Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form
    by talpin@irisa.fr (Jean-Pierre Talpin), Besnard, Loïc, Gautier, Thierry, Moy, Matthieu, Talpin, Jean-Pierre, Johnson, Kenneth, Maraninchi, Florence - 30 June 2009 , ,
  24. Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form
    by loic.besnard@irisa.fr (Loïc Besnard), Besnard, Loïc, Gautier, Thierry, Moy, Matthieu, Talpin, Jean-Pierre, Johnson, Kenneth, Maraninchi, Florence - 30 June 2009 , ,
  25. Analyse statique : de la théorie à la pratique ; analyse statique de code embarqué de grande taille, génération de domaines abstraits
    by David.Monniaux@imag.fr (David Monniaux), Monniaux, David - 19 June 2009 , ,
  26. Analyse statique : de la théorie à la pratique ; analyse statique de code embarqué de grande taille, génération de domaines abstraits
    by David.Monniaux@ens.fr (David Monniaux), Monniaux, David - 19 June 2009 , ,
  27. Case Studies with Lurette V2
    by jahier@imag.fr (Erwan Jahier), Jahier, Erwan, Raymond, Pascal, Baufreton, Philippe - 29 May 2009 ,
  28. Case Studies with Lurette V2
    by hal@ccsd.cnrs.fr (Erwan Jahier), Jahier, Erwan, Raymond, Pascal, Baufreton, Philippe - 29 May 2009 ,
  29. Generating random values using Binary Decision Diagrams and Convex Polyhedra
    by jahier@imag.fr (Erwan Jahier), Jahier, Erwan, Raymond, Pascal - 29 May 2009 , ,
  30. Generating random values using Binary Decision Diagrams and Convex Polyhedra
    by jahier@imag.fr (Erwan Jahier), Jahier, Erwan, Raymond, Pascal - 29 May 2009 , ,
  31. Specifying and Executing Reactive Scenarios With Lutin
    by jahier@imag.fr (Erwan Jahier), Raymond, Pascal, Roux, Yvan, Jahier, Erwan - 29 May 2009 ,
  32. Specifying and Executing Reactive Scenarios With Lutin
    by hal@ccsd.cnrs.fr (Pascal Raymond), Raymond, Pascal, Roux, Yvan, Jahier, Erwan - 29 May 2009 ,
  33. Recognizing Regular Expressions by Means of Dataflow Networks
    by Pascal.Raymond@imag.fr (Pascal Raymond), Raymond, Pascal - 16 May 2009 ,
  34. Recognizing Regular Expressions by Means of Dataflow Networks
    by Pascal.Raymond@imag.fr (Pascal Raymond), Raymond, Pascal - 16 May 2009 ,
  35. Sur le Coloriage Auto-stabilisant dans les Réseaux Unidirectionnels Anonymes
    by samuel.bernard@lip6.fr (Samuel Bernard), Bernard, Samuel, Devismes, Stéphane, Paroux, Katy, Gradinariu Potop-Butucaru, Maria, Tixeuil, Sébastien - 15 May 2009 , , ,
  36. Sur le Coloriage Auto-stabilisant dans les Réseaux Unidirectionnels Anonymes
    by samuel.bernard@lip6.fr (Samuel Bernard), Bernard, Samuel, Devismes, Stéphane, Paroux, Katy, Gradinariu Potop-Butucaru, Maria, Tixeuil, Sébastien - 15 May 2009 , , ,
  37. Sur le Coloriage Auto-stabilisant dans les Réseaux Unidirectionnels Anonymes
    by Bernard, Samuel, Devismes, Stéphane, Paroux, Katy, Gradinariu Potop-Butucaru, Maria, Tixeuil, Sébastien - 15 May 2009 , , ,
  38. Synchronous Modeling and Validation of Priority Inheritance Schedulers
    by Nicolas.Halbwachs@imag.fr (Nicolas Halbwachs), Jahier, Erwan, Halbwachs, Nicolas, Raymond, P. - 15 May 2009 , , ,
  39. Synchronous Modeling and Validation of Priority Inheritance Schedulers
    by erwan.jahier@imag.fr (Erwan Jahier), Jahier, Erwan, Halbwachs, Nicolas, Raymond, P. - 15 May 2009 , , ,
  40. Exploration Optimale Probabiliste d'un Anneau \\par des Robots Semi-Synchrones et Amnésiques
    by Devismes, Stéphane, Petit, Franck, Tixeuil, Sébastien - 12 May 2009 ,
  41. Exploration Optimale Probabiliste d'un Anneau \\par des Robots Semi-Synchrones et Amnésiques
    by stephane.devismes@imag.fr (Stéphane Devismes), Devismes, Stéphane, Petit, Franck, Tixeuil, Sébastien - 12 May 2009 ,
  42. Exploration Optimale Probabiliste d'un Anneau \\par des Robots Semi-Synchrones et Amnésiques
    by hal@ccsd.cnrs.fr (Stéphane Devismes), Devismes, Stéphane, Petit, Franck, Tixeuil, Sébastien - 12 May 2009 ,
  43. Stabilisation instantanée dans les systèmes à passage de messages
    by Delaët, Sylvie, Devismes, Stéphane, Nesterenko, Mikhail, Tixeuil, Sébastien - 12 May 2009 ,
  44. Stabilisation instantanée dans les systèmes à passage de messages
    by stephane.devismes@imag.fr (Stéphane Devismes), Delaët, Sylvie, Devismes, Stéphane, Nesterenko, Mikhail, Tixeuil, Sébastien - 12 May 2009 ,
  45. Stabilisation instantanée dans les systèmes à passage de messages
    by delaet@lri.fr (Sylvie Delaët), Delaët, Sylvie, Devismes, Stéphane, Nesterenko, Mikhail, Tixeuil, Sébastien - 12 May 2009 ,
  46. Quand le consensus est plus simple que la diffusion fiable
    by Delporte-Gallet, Carole, Devismes, Stéphane, Fauconnier, Hugues, Petit, Franck, Toueg, Sam - 12 May 2009 ,
  47. Quand le consensus est plus simple que la diffusion fiable
    by stephane.devismes@imag.fr (Stéphane Devismes), Delporte-Gallet, Carole, Devismes, Stéphane, Fauconnier, Hugues, Petit, Franck, Toueg, Sam - 12 May 2009 ,
  48. Quand le consensus est plus simple que la diffusion fiable
    by cd@liafa.jussieu.fr (Carole Delporte-Gallet), Delporte-Gallet, Carole, Devismes, Stéphane, Fauconnier, Hugues, Petit, Franck, Toueg, Sam - 12 May 2009 ,
  49. Présentation des résultats du projet OpenEmbeDD
    by André, Charles, Belaunde, Mariano, Berthomieu, Bernard, Brunette, Christian, Canals, Agusti, Garavel, Hubert, Graf, Susanne, Lang, Frederic, Mahé, Vincent, Nakhlé, Michel, Schnekenburger, Rémi, De Simone, Robert, Talpin, Jean-Pierre, Vernadat, François - 6 May 2009 ,
  50. Présentation des résultats du projet OpenEmbeDD
    by Frederic.Lang@inria.fr (Frederic Lang), André, Charles, Belaunde, Mariano, Berthomieu, Bernard, Brunette, Christian, Canals, Agusti, Garavel, Hubert, Graf, Susanne, Lang, Frederic, Mahé, Vincent, Nakhlé, Michel, Schnekenburger, Rémi, De Simone, Robert, Talpin, Jean-Pierre, Vernadat, François - 6 May 2009 ,
  51. Présentation des résultats du projet OpenEmbeDD
    by Charles.Andre@sophia.inria.fr (Charles André), André, Charles, Belaunde, Mariano, Berthomieu, Bernard, Brunette, Christian, Canals, Agusti, Garavel, Hubert, Graf, Susanne, Lang, Frederic, Mahé, Vincent, Nakhlé, Michel, Schnekenburger, Rémi, De Simone, Robert, Talpin, Jean-Pierre, Vernadat, François - 6 May 2009 ,
  52. On using floating-point computations to help an exact linear arithmetic decision procedure
    by David.Monniaux@imag.fr (David Monniaux), Monniaux, David - 22 April 2009 , ,
  53. On using floating-point computations to help an exact linear arithmetic decision procedure
    by David.Monniaux@imag.fr (David Monniaux), Monniaux, David - 22 April 2009 , ,
  54. Modeling Heterogeneous Real-Time Components in BIP
    by marius.bozga@imag.fr (Marius Bozga), Basu, Ananda, Bozga, Marius, Sifakis, Joseph - 14 April 2009 ,
  55. Modeling Heterogeneous Real-Time Components in BIP
    by Ananda.Basu@imag.fr (Ananda Basu), Basu, Ananda, Bozga, Marius, Sifakis, Joseph - 14 April 2009 ,
  56. Experiment on Verification of a Planetary Rover Controller
    by marius.bozga@imag.fr (Marius Bozga), Akhavan, Anahita, Bensalem, Saddek, Bozga, Marius, Orfanidou, Eleni - 10 April 2009 ,
  57. Experiment on Verification of a Planetary Rover Controller
    by Anahita Akhavan, Akhavan, Anahita, Bensalem, Saddek, Bozga, Marius, Orfanidou, Eleni - 10 April 2009 ,
  58. An Efficient Algorithm for the Computation of Optimum Paths in Weighted Graphs
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Iosif, Radu, Sfyrla, Vassiliki - 10 April 2009 ,
  59. An Efficient Algorithm for the Computation of Optimum Paths in Weighted Graphs
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Iosif, Radu, Sfyrla, Vassiliki - 10 April 2009 ,
  60. Scheduling Acyclic Branching Programs on Parallel Machines
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Kerbaa, Abdelkarim Aziz, Maler, Oded - 10 April 2009 ,
  61. Scheduling Acyclic Branching Programs on Parallel Machines
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Kerbaa, Abdelkarim Aziz, Maler, Oded - 10 April 2009 ,
  62. On Decidability within the Arithmetic of Addition and Divisibility
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Iosif, Radu - 10 April 2009 ,
  63. On Decidability within the Arithmetic of Addition and Divisibility
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Iosif, Radu - 10 April 2009 ,
  64. Iterating Octagons
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Girlea, Codruta, Iosif, Radu - 10 April 2009 ,
  65. Iterating Octagons
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Girlea, Codruta, Iosif, Radu - 10 April 2009 ,
  66. On Timing Analysis of Combinational Circuits
    by marius.bozga@imag.fr (Marius Bozga), Ben Salah, Ramzi, Bozga, Marius, Maler, Oded - 9 April 2009 ,
  67. On Timing Analysis of Combinational Circuits
    by Ramzi Ben Salah, Ben Salah, Ramzi, Bozga, Marius, Maler, Oded - 9 April 2009 ,
  68. Kronos: a model-checking tool for real-time systems
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Daws, Conrado, Maler, Oded, Olivero, Alfredo, Tripakis, Stavros, Yovine, Sergio - 9 April 2009 ,
  69. Kronos: a model-checking tool for real-time systems
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Daws, Conrado, Maler, Oded, Olivero, Alfredo, Tripakis, Stavros, Yovine, Sergio - 9 April 2009 ,
  70. Automated validation of distributed software using the IF environment
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Graf, Susanne, Mounier, Laurent - 9 April 2009 ,
  71. Automated validation of distributed software using the IF environment
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Graf, Susanne, Mounier, Laurent - 9 April 2009 ,
  72. Model Checking Ariane-5 Flight Program
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Mounier, Laurent, Lesens, David - 9 April 2009 ,
  73. Model Checking Ariane-5 Flight Program
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Mounier, Laurent, Lesens, David - 9 April 2009 ,
  74. Timed Extensions for SDL
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Graf, Susanne, Mounier, Laurent, Ober, Iulian, Roux, Jean-Luc, Vincent, Daniel - 9 April 2009 ,
  75. Timed Extensions for SDL
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Graf, Susanne, Mounier, Laurent, Ober, Iulian, Roux, Jean-Luc, Vincent, Daniel - 9 April 2009 ,
  76. IF: An Intermediate Representation for SDL and its Applications
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Fernandez, Jean-Claude, Ghirvu, Constantin Lucian, Graf, Susanne, Jean Pierre, Krimm, Mounier, Laurent, Sifakis, Joseph - 8 April 2009 ,
  77. IF: An Intermediate Representation for SDL and its Applications
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Fernandez, Jean-Claude, Ghirvu, Constantin Lucian, Graf, Susanne, Jean Pierre, Krimm, Mounier, Laurent, Sifakis, Joseph - 8 April 2009 ,
  78. SDL for Real-Time: What Is Missing?
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Graf, Susanne, Mounier, Laurent, Kerbrat, Alain, Ober, Iulian, Vincent, Daniel - 8 April 2009 ,
  79. SDL for Real-Time: What Is Missing?
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Graf, Susanne, Mounier, Laurent, Kerbrat, Alain, Ober, Iulian, Vincent, Daniel - 8 April 2009 ,
  80. Data-Structures for Verification of Timed Automata
    by marius.bozga@imag.fr (Marius Bozga), Asarin, Eugene, Bozga, Marius, Kerbrat, Alain, Maler, Oded, Pnueli, Amir, Rasse, Anne - 7 April 2009 ,
  81. Data-Structures for Verification of Timed Automata
    by Eugene Asarin, Asarin, Eugene, Bozga, Marius, Kerbrat, Alain, Maler, Oded, Pnueli, Amir, Rasse, Anne - 7 April 2009 ,
  82. Some Progress in the Symbolic Verification of Timed Automata
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Maler, Oded, Pnueli, Amir, Yovine, Sergio - 7 April 2009 ,
  83. Some Progress in the Symbolic Verification of Timed Automata
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Maler, Oded, Pnueli, Amir, Yovine, Sergio - 7 April 2009 ,
  84. Volume and entropy of regular timed languages
    by asarin@liafa.jussieu.fr (Eugene Asarin), Asarin, Eugene, Degorre, Aldric - 21 March 2009 , ,
  85. On Interleaving in Timed Automata
    by marius.bozga@imag.fr (Marius Bozga), Ben Salah, Ramzi, Bozga, Marius, Maler, Oded - 21 March 2009 ,
  86. On Interleaving in Timed Automata
    by Ramzi Ben Salah, Ben Salah, Ramzi, Bozga, Marius, Maler, Oded - 21 March 2009 ,
  87. Efficient Verification of Timed Automata using Dense and Discrete Time Semantics
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Maler, Oded, Tripakis, Stavros - 21 March 2009 ,
  88. Efficient Verification of Timed Automata using Dense and Discrete Time Semantics
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Maler, Oded, Tripakis, Stavros - 21 March 2009 ,
  89. IF: An intermediate Representation and Validation Environment for Timed Asynchronous Systems
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Fernandez, Jean-Claude, Ghirvu, Constantin Lucian, Graf, Susanne, Krimm, Jean Pierre, Mounier, Laurent - 19 March 2009 ,
  90. IF: An intermediate Representation and Validation Environment for Timed Asynchronous Systems
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Fernandez, Jean-Claude, Ghirvu, Constantin Lucian, Graf, Susanne, Krimm, Jean Pierre, Mounier, Laurent - 19 March 2009 ,
  91. State Space Reduction based on Live Variables Analysis
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Fernandez, Jean-Claude, Ghirvu, Constantin Lucian - 19 March 2009 ,
  92. State Space Reduction based on Live Variables Analysis
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Fernandez, Jean-Claude, Ghirvu, Constantin Lucian - 19 March 2009 ,
  93. IF: A Validation Environment for Timed Asynchronous Systems
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Fernandez, Jean-Claude, Ghirvu, Constantin Lucian, Graf, Susanne, Jean Pierre, Krimm, Mounier, Laurent - 19 March 2009 ,
  94. IF: A Validation Environment for Timed Asynchronous Systems
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Fernandez, Jean-Claude, Ghirvu, Constantin Lucian, Graf, Susanne, Jean Pierre, Krimm, Mounier, Laurent - 19 March 2009 ,
  95. On the Representation of Probabilities over Structured Domains
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Maler, Oded - 19 March 2009 ,
  96. On the Representation of Probabilities over Structured Domains
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Maler, Oded - 19 March 2009 ,
  97. Using Static Analysis To Improve Automatic Test Generation
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Fernandez, Jean-Claude, Ghirvu, Constantin Lucian - 19 March 2009 ,
  98. Using Static Analysis To Improve Automatic Test Generation
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Fernandez, Jean-Claude, Ghirvu, Constantin Lucian - 19 March 2009 ,
  99. A Transformational Approach for Generating Non-Linear Invariants
    by marius.bozga@imag.fr (Marius Bozga), Bensalem, Saddek, Bozga, Marius, Fernandez, Jean-Claude, Ghirvu, Constantin Lucian, Lakhnech, Yassine - 19 March 2009 ,
  100. A Transformational Approach for Generating Non-Linear Invariants
    by marius.bozga@imag.fr (Marius Bozga), Bensalem, Saddek, Bozga, Marius, Fernandez, Jean-Claude, Ghirvu, Constantin Lucian, Lakhnech, Yassine - 19 March 2009 ,
  101. Storeless Semantics and Alias Logic
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Iosif, Radu, Lakhnech, Yassine - 19 March 2009 ,
  102. Storeless Semantics and Alias Logic
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Iosif, Radu, Lakhnech, Yassine - 19 March 2009 ,
  103. Automated validation of distributed software using the IF environment
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Graf, Susanne, Mounier, Laurent - 19 March 2009 ,
  104. Automated validation of distributed software using the IF environment
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Graf, Susanne, Mounier, Laurent - 19 March 2009 ,
  105. On Logics of Aliasing
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Iosif, Radu, Lakhnech, Yassine - 19 March 2009 ,
  106. On Logics of Aliasing
    by marius.bozga@imag.fr (Marius Bozga), Bozga, Marius, Iosif, Radu, Lakhnech, Yassine - 19 March 2009 ,
  107. A minimalistic look at widening operators
    by David.Monniaux@imag.fr (David Monniaux), Monniaux, David - 20 February 2009 , ,
  108. Fault Diagnosis with Dynamic Diagnosers
    by Cassez, Franck, Tripakis, Stavros - 20 February 2009 ,
  109. Fault Diagnosis with Dynamic Diagnosers
    by Cassez, Franck, Tripakis, Stavros - 20 February 2009 ,
  110. Monitoring and Fault-Diagnosis with Digital Clocks
    by Altisen, Karine, Cassez, Franck, Tripakis, Stavros - 20 February 2009 ,
  111. Monitoring and Fault-Diagnosis with Digital Clocks
    by Altisen, Karine, Cassez, Franck, Tripakis, Stavros - 20 February 2009 ,
  112. Synthesis Of Optimal Dynamic Observers for Fault Diagnosis of Discrete-Event Systems
    by Cassez, Franck, Tripakis, Stavros, Altisen, Karine - 20 February 2009 ,
  113. Synthesis Of Optimal Dynamic Observers for Fault Diagnosis of Discrete-Event Systems
    by Cassez, Franck, Tripakis, Stavros, Altisen, Karine - 20 February 2009 ,
  114. Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis
    by Cassez, Franck, Tripakis, Stavros, Altisen, Karine - 20 February 2009 ,
  115. Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis
    by Cassez, Franck, Tripakis, Stavros, Altisen, Karine - 20 February 2009 ,
  116. Tools and Applications II: The IF Toolset
    by Bozga, Marius, Graf, Susanne, Ober, Ileana, Ober, Iulian, Sifakis, Joseph - 13 February 2009 ,
  117. Flat Parametric Counter Automata
    by Bozga, Marius, Iosif, Radu, Lakhnech, Yassine - 13 February 2009 ,
  118. On Flat Programs with Lists
    by Bozga, Marius, Iosif, Radu - 13 February 2009 ,
  119. Self-stabilizing K-out-of-L exclusion on tree network
    by Datta, Ajoy, Devismes, Stéphane, Horn, Florian, Larmore, Lawrence - 12 February 2009
  120. Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots
    by Devismes, Stéphane, Petit, Franck, Tixeuil, Sébastien - 10 February 2009 , , , , ,
  121. Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots
    by Devismes, Stéphane, Petit, Franck, Tixeuil, Sébastien - 10 February 2009 , , , , ,
  122. Compositional Verification for Component-based Systems and Application
    by Bensalem, Saddek, Bozga, Marius, Nguyen, Thanh-Hung, Sifakis, Joseph - 6 February 2009 ,
  123. Quantitative Separation Logic and Programs with Lists
    by Bozga, Marius, Iosif, Radu, Perarnau, Swann - 6 February 2009 ,
  124. Distributed Semantics and Implementation for Systems with Interaction and Priority
    by Basu, Ananda, Bidinger, Philippe, Bozga, Marius, Sifakis, Joseph - 6 February 2009 ,
  125. IF-2.0: A Validation Environment for Component-Based Real-Time Systems
    by Bozga, Marius, Graf, Susanne, Mounier, Laurent - 30 January 2009 ,
  126. Fatal Degeneracy in the Semidefinite Programming Approach to the Decision of Polynomial Inequalities
    by Monniaux, David - 30 January 2009 , ,
  127. On computing invariants for predicate abstraction by SAT-solving
    by Monniaux, David - 29 January 2009 ,
  128. Fault Diagnosis with Static and Dynamic Observers
    by Cassez, Franck, Tripakis, Stavros - 12 January 2009 ,
  129. Fault Diagnosis with Static and Dynamic Observers
    by Cassez, Franck, Tripakis, Stavros - 12 January 2009 ,
  130. Test Coverage for Loose Timing Annotations
    by Helmstetter, Claude, Maraninchi, Florence, Maillet-Contoz, Laurent - 7 January 2009 ,
  131. Test Coverage for Loose Timing Annotations
    by Helmstetter, Claude, Maraninchi, Florence, Maillet-Contoz, Laurent - 7 January 2009 ,
  132. Validation de modèles de systèmes sur puce en présence d'ordonnancements indéterministes et de temps imprécis
    by Helmstetter, Claude - 7 January 2009 ,

2008

  1. Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties
    by Falcone, Yliès, Fernandez, Jean-Claude, Mounier, Laurent - 11 December 2008 , , ,
  2. j-POST: a Java Toolchain for Property-Oriented Software Testing
    by Falcone, Yliès, Mounier, Laurent, Fernandez, Jean-Claude, Richier, Jean-Luc - 11 December 2008 , ,
  3. A Compositional Testing Framework Driven by Partial Specifications
    by Falcone, Yliès, Fernandez, Jean-Claude, Mounier, Laurent, Richier, Jean-Luc - 11 December 2008 , , ,
  4. A Test Calculus Framework Applied to Network Security Policies
    by Falcone, Yliès, Fernandez, Jean-Claude, Mounier, Laurent, Richier, Jean-Luc - 11 December 2008 , , ,
  5. Communication Efficiency in Self-stabilizing Silent Protocols
    by Devismes, Stéphane, Masuzawa, Toshimitsu, Tixeuil, Sébastien - 22 November 2008 , , , ,
  6. Communication Efficiency in Self-stabilizing Silent Protocols
    by Devismes, Stéphane, Masuzawa, Toshimitsu, Tixeuil, Sébastien - 22 November 2008 , , , ,
  7. Automatic Modular Abstractions for Linear Constraints
    by Monniaux, David - 2 November 2008 , ,
  8. Contrôle de qualité optimal d'applications multimédia
    by Strus, Loïc - 30 October 2008 ,
  9. Le débogage de code optimisé dans le contexte des systèmes embarqués.
    by Venturini, Hugo - 20 October 2008 ,
  10. Génération du Code Embarqué a partir de Composants de Haut-niveau Hétérogènes
    by Sofronis, Christos - 12 October 2008 , , ,
  11. Consensus is Easier Than Reliable Broadcast
    by cd@liafa.jussieu.fr (Carole Delporte-Gallet), Delporte-Gallet, Carole, Devismes, Stéphane, Fauconnier, Hugues, Petit, Franck, Toueg, Sam - 29 September 2008 ,
  12. Consensus is Easier Than Reliable Broadcast
    by cd@liafa.jussieu.fr (Carole Delporte-Gallet), Delporte-Gallet, Carole, Devismes, Stéphane, Fauconnier, Hugues, Petit, Franck, Toueg, Sam - 29 September 2008 ,
  13. Test des Systèmes hybrides
    by Nahhal, Tarik - 12 September 2008 ,
  14. A Quantifier Elimination Algorithm for Linear Real Arithmetic
    by Monniaux, David - 4 September 2008 ,
  15. LusSy: an Open Tool for the Analysis of Systems-on-a-Chip at the Transaction Level
    by Moy, Matthieu, Maraninchi, Florence, Maillet-Contoz, Laurent - 13 August 2008 , , ,
  16. Techniques et outils pour la vérification de Systèmes-sur-Puce au niveau transaction
    by Moy, Matthieu - 12 August 2008 , ,
  17. Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip
    by Helmstetter, Claude, Maraninchi, Florence, Maillet-Contoz, Laurent, Moy, Matthieu - 12 August 2008 , , ,
  18. SystemC/TLM Semantics for Heterogeneous System-on-Chip Validation
    by Maraninchi, Florence, Moy, Matthieu, Cornet, Jérôme, Maillet-Contoz, Laurent, Helmstetter, Claude, Traulsen, Claus - 12 August 2008 , , ,
  19. Éléments de sécurité dans l'architecture de systèmes répartis THINK.
    by Rippert, Christophe, Stefani, Jean-Bernard - 8 August 2008 ,
  20. THINK: A Secure Distributed Systems Architecture.
    by Rippert, Christophe, Stefani, Jean-Bernard - 8 August 2008 ,
  21. Building secure embedded kernels with the Think architecture.
    by Rippert, Christophe, Stefani, Jean-Bernard - 8 August 2008 ,
  22. Component isolation in the Think architecture.
    by Rippert, Christophe - 8 August 2008 ,
  23. A Distributed WCET Computation Scheme for Smart Card Operating Systems
    by Bel Hadj Aissa, Nadia, Rippert, Christophe, Deville, Damien, Grimaud, Gilles - 7 August 2008 ,
  24. Flexible Bindings for Type-Safe Embedded Operating Systems.
    by Deville, Damien, Rippert, Christophe, Grimaud, Gilles - 7 August 2008 ,
  25. Efficient Region-Based Memory Management for Resource-limited Real-Time Embedded Systems.
    by Salagnac, Guillaume, Nakhli, Chaker, Rippert, Christophe, Yovine, Sergio - 7 August 2008 ,
  26. A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems.
    by Poulhiès, Marc, Pulou, Jacques, Rippert, Christophe, Sifakis, Joseph - 7 August 2008 ,
  27. Protection in the Think exokernel
    by Rippert, Christophe, Stefani, Jean-Bernard - 4 August 2008 ,
  28. An evaluation of the Java Card environment
    by Rippert, Christophe, Hagimont, Daniel - 4 August 2008 ,
  29. The ARESA Project: Facilitating Research, Development and Commercialization of WSNs
    by Dohler, Mischa, Barthel, Dominique, Maraninchi, Florence, Mounier, Laurent, Aubert, Stéphane, Dugas, Christophe, Buhrig, A., Paugnat, Franck, Renaudin, Marc, Duda, Andrzej, Heusse, Martin, Valois, Fabrice - 8 July 2008 ,
  30. 42: Programmable Models of Computation for a Component-Based Approach to Heterogeneous Embedded Systems
    by Maraninchi, Florence, Bouhadiba, Tayeb - 8 July 2008 ,
  31. 42: Programmable Models of Computation for a Component-Based Approach to Heterogeneous Embedded Systems
    by Maraninchi, Florence, Bouhadiba, Tayeb - 8 July 2008
  32. A SystemC/TLM semantics in Promela and its Possible Applications
    by Traulsen, Claus, Cornet, Jérôme, Moy, Matthieu, Maraninchi, Florence - 8 July 2008
  33. Synthèse de gestionnaires mémoire pour applications Java temps-réel embarquées
    by guillaume.salagnac@insa-lyon.fr (Guillaume Salagnac), Salagnac, Guillaume - 16 June 2008 , ,
  34. Synthèse de gestionnaires mémoire pour applications Java temps-réel embarquées
    by guillaume.salagnac@imag.fr (Guillaume Salagnac), Salagnac, Guillaume - 16 June 2008 , ,
  35. Discovering properties about arrays in simple programs
    by Halbwachs, Nicolas, Péron, Mathias - 16 June 2008 , ,
  36. Modélisations et analyses de réseaux de capteurs
    by Samper, Ludovic - 30 May 2008 , ,
  37. The Algebra of Connectors — Structuring Interaction in BIP
    by Bliudze, Simon, Sifakis, Joseph - 28 May 2008 ,
  38. Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems
    by Salagnac, Guillaume, Rippert, Christophe, Yovine, Sergio - 26 May 2008 ,
  39. The pitfalls of verifying floating-point computations
    by Monniaux, David - 22 May 2008 , ,

2006

  1. Priority Systems
    by Gössler, Gregor, Sifakis, Joseph - 29 May 2006 ,
  2. Priority Systems
    by Gössler, Gregor, Sifakis, Joseph - 29 May 2006 ,

2003

  1. Automatic State Reaching for Debugging Reactive Programs
    by jahier@imag.fr (Erwan Jahier), Gaucher, Fabien, Jahier, Erwan, Maraninchi, Florence, Jeannet, Bertrand - 14 November 2003 ,
  2. Automatic State Reaching for Debugging Reactive Programs
    by fabien.gaucher@imag.fr (Fabien Gaucher), Gaucher, Fabien, Jahier, Erwan, Maraninchi, Florence, Jeannet, Bertrand - 14 November 2003 ,
See online : http://hal.archives-ouvertes.fr/lab...

Contact | Site Map | Site created with SPIP 2.1.20 + AHUNTSIC [CC License]

Logged in visitors: 10 ; visits: 304141