{"id":270,"date":"2013-05-21T14:03:20","date_gmt":"2013-05-21T12:03:20","guid":{"rendered":"https:\/\/altarica.labri.fr\/wp\/?page_id=270"},"modified":"2017-08-02T11:37:35","modified_gmt":"2017-08-02T09:37:35","slug":"publications","status":"publish","type":"page","link":"https:\/\/altarica.labri.fr\/wp\/?page_id=270","title":{"rendered":"Publications"},"content":{"rendered":"\n<h1>Journals and Conferences Proceedings<\/h1>\n<ul>\n<li>A. Griffault, S. Gaudan, F. Kuntz, E. Laurent, G. Point and C. Sannino. <a href=\"http:\/\/hal.archives-ouvertes.fr\/hal-00650956\">Model-based diagnosis for avionics systems using minimal cuts<\/a>. In 22nd International Workshop on Principles of Diagnosis &#8211; DX 2011, Allemagne (2011).<\/li>\n<li>A. Griffault and A. Vincent. <a href=\"http:\/\/hal.archives-ouvertes.fr\/hal-00351697\/fr\/\">The Mec 5 model-checker<\/a>. In Proceedings of the 16th International Conference on Computed Aided Verification (CAV 2004), Boston, MA, USA, July 13-17, 2004.<\/li>\n<li>A. Arnold, A. Griffault, G. Point and A. Rauzy. <a href=\"http:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/05\/altarica.pdf\">The AltaRica formalism for describing concurrent systems<\/a>. Fundam. Inf. 40, issue 2-3, pages 109-124, IOS Press, 2000.<\/li>\n<li>G. Point and A. Rauzy. <a href=\"http:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/05\/PR99b.pdf\">AltaRica: Constraint automata as a description language<\/a>.<br \/>\nEuropean Journal on Automation, 33(8-9):1033-1052, Hermes, 1999.<\/li>\n<li>S. Lajeunesse, G.\u00a0Point, A.\u00a0Rauzy, J.-P.\u00a0Signoret and P. Thomas. Le langage AltaRica. In <em>Actes du 11i\u00e8me colloque national de Fiabilit\u00e9 et Maintenabilit\u00e9, Lambda-Mu&#8217;11<\/em>. pp 119\u2013125, 1998.<\/li>\n<li>A.\u00a0Griffault, G.\u00a0Point, A.\u00a0Rauzy, J.P. Signoret and P. Thomas. The AltaRica Language. In Lydersen and Hansen and Sandtorv ed., <em>Proceedings of European Safety and Reliability Conference, ESREL&#8217;98<\/em>. 1998.<\/li>\n<\/ul>\n<h1>Thesis<\/h1>\n<ul>\n<li>Fabien Kuntz. <a href=\"http:\/\/tel.archives-ouvertes.fr\/tel-00873373\">Une approche bas\u00e9e mod\u00e8le pour l&#8217;optimisation du monitoring de syst\u00e8mes avioniques relativement \u00e0 leurs performances de diagnostic.<\/a> Th\u00e8se de l&#8217;Universit\u00e9 Bordeaux I, 2013.<\/li>\n<li>Romain Bernard. <a href=\"http:\/\/tel.archives-ouvertes.fr\/tel-00441310\">Analyses de s\u00fbret\u00e9 de fonctionnement multi-syst\u00e8mes.<\/a> Th\u00e8se de l&#8217;Universit\u00e9 Bordeaux I, 2009.<\/li>\n<li>Laurent Sagaspe. <a href=\"http:\/\/ori-oai.u-bordeaux1.fr\/pdf\/2008\/SAGASPE_LAURENT_2008.pdf\">Allocation s\u00fbre dans les syst\u00e8mes a\u00e9ronautiques: Mod\u00e9lisation, V\u00e9rification et G\u00e9n\u00e9ration.<\/a> Th\u00e8se de l&#8217;Universit\u00e9 Bordeaux I, 2008.<\/li>\n<li>Christophe Kehren. <a href=\"http:\/\/tel.archives-ouvertes.fr\/tel-00011496\/fr\/\">Motifs formels d&#8217;architectures de syst\u00e8mes pour la s\u00fbret\u00e9 de fonctionnement<\/a>. Th\u00e8se de l&#8217;Ecole Nationale Sup\u00e9rieure de l&#8217;A\u00e9ronautique et de l&#8217;Espace (SUPAERO), 2005.<\/li>\n<li>Claire Pagetti. <a href=\"http:\/\/tel.archives-ouvertes.fr\/tel-00006316\/fr\/\">Extension temps r\u00e9el d&#8217;AltaRica<\/a>. Th\u00e8se de l&#8217;Ecole Centrale de Nantes. ECN Universit\u00e9 de Nantes, 2004.<\/li>\n<li>Aymeric Vincent. <a href=\"http:\/\/tel.archives-ouvertes.fr\/tel-00007067\/fr\/\">Conception et r\u00e9alisation d&#8217;un v\u00e9rificateur de mod\u00e8les AltaRica<\/a>. Th\u00e8se de l&#8217;Universit\u00e9 Bordeaux I, 2003.<\/li>\n<li>G\u00e9rald Point. <a href=\"http:\/\/tel.archives-ouvertes.fr\/tel-00353284\/fr\/\">AltaRica: Contribution \u00e0 l&#8217;unification des m\u00e9thodes formelles et de la S\u00fbret\u00e9 de fonctionnement<\/a>. Th\u00e8se de l&#8217;Universit\u00e9 Bordeaux I, 2000.<\/li>\n<\/ul>\n<h1>Research and Technical Reports<\/h1>\n<ul>\n<li>Alain Griffault, Fabien Kuntz, G\u00e9rald Point and Aymeric Vincent. <a href=\"http:\/\/hal.archives-ouvertes.fr\/hal-00634022\/\">Symbolic computation of minimal cuts for AltaRica models<\/a>. Research Report n\u00b01456-11. LaBRI &#8211; Universit\u00e9 Bordeaux I, Sep. 2011.<\/li>\n<li>Alain Griffault and G\u00e9rald Point. <a href=\"http:\/\/hal.archives-ouvertes.fr\/hal-00349898\/fr\/\">On the partial translation of Lustre programs into the AltaRica language and vice versa<\/a>. Research Report n\u00b01415-06. LaBRI &#8211; Universit\u00e9 Bordeaux I, Nov. 2006.<\/li>\n<li>Andr\u00e9 Arnold, Alain Griffault, G\u00e9rald Point and Antoine Rauzy. AltaRica: Manuel m\u00e9thodologique, 2005.<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Journals and Conferences Proceedings A. Griffault, S. Gaudan, F. Kuntz, E. Laurent, G. Point and C. Sannino. Model-based diagnosis for avionics systems using minimal cuts. In 22nd International Workshop on Principles of Diagnosis &#8211; DX 2011, Allemagne (2011). A. Griffault &hellip; <a href=\"https:\/\/altarica.labri.fr\/wp\/?page_id=270\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-270","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages\/270","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=270"}],"version-history":[{"count":25,"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages\/270\/revisions"}],"predecessor-version":[{"id":651,"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages\/270\/revisions\/651"}],"wp:attachment":[{"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=270"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}