{"id":95,"date":"2012-12-06T17:33:56","date_gmt":"2012-12-06T16:33:56","guid":{"rendered":"https:\/\/project.inria.fr\/pyecdar\/?page_id=95"},"modified":"2013-10-15T18:06:26","modified_gmt":"2013-10-15T16:06:26","slug":"bibliography","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/pyecdar\/bibliography\/","title":{"rendered":"Bibliography"},"content":{"rendered":"<p>PyECDAR tool paper:<\/p>\n<ul>\n<li><strong>[LT13] PyEcdar: <\/strong>Axel Legay and Louis-Marie Traonouez. At ATVA  2013 (Automated Technology for Verification and Analysis), volume 8172 of LNCS, pages 460-463. [<a title=\"PDF\" href=\"https:\/\/project.inria.fr\/pyecdar\/files\/2013\/10\/pyecdar-atva2013.pdf\">PDF<\/a>]<\/li>\n<\/ul>\n<p>On robustness analysis:<\/p>\n<ul>\n<li><strong>[LLTW13] Robust Synthesis for Real Time Systems.\u00a0<\/strong>Kim G. Larsen, Axel Legay, Louis-Marie Traonouez and Andrzej Wasowski. Journal paper accepted at TCS. [<a title=\"PDF\" href=\"https:\/\/project.inria.fr\/pyecdar\/files\/2013\/01\/robustness_journal.pdf\">PDF<\/a>]<\/li>\n<li><strong>[Tra12] A Parametric Counterexample Refinement Approach for Robust Timed Specifications<\/strong>. Louis-Marie Traonouez. At FIT 2012 (Fourth Workshop on Foundations of Interface Technologies), volume 87 of EPCTS, pages 17-33.<strong><\/strong><\/li>\n<li><strong>[LLTW11] Robust Specification of Real Time Components.\u00a0<\/strong>Kim G. Larsen, Axel Legay, Louis-Marie Traonouez and Andrzej Wasowski. At FORMATS 2011 (Formal Modeling and Analysis of Timed Systems), volume 6919 of LNCS, pages 129-144.<\/li>\n<li><strong>[CHP08] Timed Parity Games: Complexity and Robustness.<\/strong><br \/>\nKrishnendu Chatterjee, Thomas A. Henzinger and Vinayak S. Prabhu. At FORMATS 2008 (Formal Modeling and Analysis of Timed Systems), volume 5215 of LNCS, pages 124-140.<\/li>\n<\/ul>\n<p>On timed specifications and timed games:<\/p>\n<ul>\n<li><strong>[DLLNT13] WReal-Time Speci\u001cfications.\u00a0<\/strong>Alexandre David, Kim. G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, and Andrzej Wasowski. Journal paper accepted at STTT. [<a title=\"PDF\" href=\"https:\/\/project.inria.fr\/pyecdar\/files\/2013\/01\/timed_specs-journal.pdf\">PDF<\/a>]<\/li>\n<\/ul>\n<ul>\n<li><strong>[DLLMNRSW12] Compositional verification of real-time systems using Ecdar.<\/strong> Alexandre David, Kim G. Larsen, Axel Legay, Mikael H. M\u00f8ller, Ulrik Nyman, Anders P. Ravn, Arne Skou and Andrzej Wasowski. In STTT, volume 14, number 6, 2012, pages 703-720.<\/li>\n<li><strong>[DLLNW10] ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems.<\/strong>\u00a0Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman and Andrzej Wasowski. At ATVA 2010, volume 6252 of LNCS, pages 365-370.<\/li>\n<li><strong>[BDLLLNW10] New Results on Timed Specifications.<\/strong> Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman and Andrzej Wasowski. At WADT 2010, volume 7137 of LNCS, pages 175-192.<\/li>\n<li><strong>[DLLNW10] Timed I\/O automata: a complete specification theory for real-time systems.\u00a0<\/strong>Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman and Andrzej Wasowski. At HSCC 2010 (13th ACM International Conference on Hybrid Systems: Computation and Control), pages 91-100.<\/li>\n<li><strong>[DLLNW09] Methodologies for Specification of Real-Time Systems Using Timed I\/O Automata.<\/strong> Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman and Andrzej Wasowski. At FMCO 2009 (Formal Methods for Components and Objects), volume 6286 of LNCS, pages 290-310.<\/li>\n<li><strong>[CDFLL05] Efficient On-the-Fly Algorithms for the Analysis of Timed Games.<\/strong><br \/>\nFranck Cassez, Alexandre David, Emmanuel Fleury, Kim G. Larsen and Didier Lime. At CONCUR 2005, volume 3653 of LNCS, pages 66-80.<\/li>\n<\/ul>\n<p>On adaptive systems:<\/p>\n<ul>\n<li><strong>[CLST13] A framework for the rigorous design of highly adaptive timed systems.<\/strong><br \/>\nMaxime Cordy, Axel Legay, Pierre-Yves Schobbens and Louis-Marie Traonouez. To appear at Formalise 2013. [<a title=\"PDF extended version\" href=\"https:\/\/project.inria.fr\/pyecdar\/files\/2012\/12\/formalise13report.pdf\">PDF extended version<\/a>]<\/li>\n<li><strong>[CCHLS13] Model Checking Adaptive Software with Featured Transition Systems<\/strong>.<br \/>\nMaxime Cordy, Andreas\u00a0Classen, Patrick\u00a0Heymans, Axel Legay and Pierre-Yves Schobbens. At Assurances for Self-Adaptive Systems 2013, in volume 7740 of LNCS, pages 1-29.<\/li>\n<\/ul>\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>PyECDAR tool paper: [LT13] PyEcdar: Axel Legay and Louis-Marie Traonouez. At ATVA 2013 (Automated Technology for Verification and Analysis), volume 8172 of LNCS, pages 460-463. [PDF] On robustness analysis: [LLTW13] Robust Synthesis for Real Time Systems.\u00a0Kim G. Larsen, Axel Legay, Louis-Marie Traonouez and Andrzej Wasowski. Journal paper accepted at TCS. [PDF] [Tra12] A Parametric Counterexample &hellip; <\/p>\n<p><a class=\"more-link btn\" href=\"https:\/\/project.inria.fr\/pyecdar\/bibliography\/\">Continue reading<\/a><\/p>\n","protected":false},"author":235,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-95","page","type-page","status-publish","hentry","nodate","item-wrap"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/pages\/95","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/users\/235"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/comments?post=95"}],"version-history":[{"count":15,"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/pages\/95\/revisions"}],"predecessor-version":[{"id":97,"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/pages\/95\/revisions\/97"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/media?parent=95"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}