http://www.artist-embedded.org/artist/ en SPIP - www.spip.net http://www.artist-embedded.org/artist/Programm,2288.html http://www.artist-embedded.org/artist/Programm,2288.html 2011-03-09T10:33:11Z text/html en Axel Legay 9h - 10h: Kim Larsen Timing and Performance Analysis Using Timed Automata. 10h - 10.30h: Coffee break 10.30h - 11.15h: Kai Lampka: "Compositionality and Heterogeneity: Incorporating formal Methods in the Design Cycle of Embedded Real-time Systems" 11.15h - 12h: Christoph Kirsch: "Virtualizing Time, Space, and Power for Cyber-Physical Cloud Computing" 12h-13.30h: Lunch 13.30h-14.15h: Joseph Sifakis: "A Vision for Computer Science: The System Perspective" 14.15h-15h: Bertrand Jeannet: (...) - <a href="http://www.artist-embedded.org/artist/-Rigorous-Embedded-Design-2011-.html" rel="directory">Rigorous Embedded Design 2011</a> <div class='rss_texte'><ul class="spip"><li> 9h - 10h: Kim Larsen <i>Timing and Performance Analysis Using Timed Automata</i>.</li></ul> <ul class="spip"><li> 10h - 10.30h: Coffee break</li></ul> <ul class="spip"><li> 10.30h - 11.15h: Kai Lampka: <i>"Compositionality and Heterogeneity: Incorporating formal Methods in the Design Cycle of Embedded Real-time Systems"</i></li></ul> <ul class="spip"><li> 11.15h - 12h: Christoph Kirsch: <i>"Virtualizing Time, Space, and Power for Cyber-Physical Cloud Computing"</i></li></ul> <ul class="spip"><li> 12h-13.30h: Lunch</li></ul> <ul class="spip"><li> 13.30h-14.15h: Joseph Sifakis: <i>"A Vision for Computer Science: The System Perspective"</i></li></ul> <ul class="spip"><li> 14.15h-15h: Bertrand Jeannet: <i>"Improving the precision of abstract interpretation analysis with widening in presence of complex control structures"</i></li></ul> <ul class="spip"><li> 15h-15.30h: Coffee break</li></ul> <ul class="spip"><li> 15.30h-16.30h: Wang Yi: <i>"The Digraph Real-Time Task Model"</i></li></ul> <ul class="spip"><li> 16.30h-17.15h: Jonas Rox: <i>"Using Compositional Performance Analysis for Obtaining Viable End-to-End Latencies in Distributed Embedded Systems"</i></li></ul> <ul class="spip"><li> 17.15h-18h: Dejan Nickovic: <i>"Monitoring properties of AMS designs"</i></li></ul></div> http://www.artist-embedded.org/artist/Programm,2182.html http://www.artist-embedded.org/artist/Programm,2182.html 2010-08-04T06:01:54Z text/html en Axel Legay 8:45. Opening. 9:00 to 9:30: Jean-Baptiste Raclet. "Establishing liabilities from assume/guarantee contracts" 9:30 to 10:00: Rolf Hennicker, Sebastian Bauer and Stephan Janisch. "Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems" 10: to 10:30: Maria Grazia Buscemi and Hernan Melgratti. "Contracts for Abstract Processes in Service Composition" 10:30 to 11:00: BREAK 11:00 to 12:00: Alexandre David. "Theory and Tool Compositional for Design and Analysis of (...) - <a href="http://www.artist-embedded.org/artist/-FIT-2010-.html" rel="directory">FIT 2010</a> <div class='rss_chapo'><ul class="spip"><li> 8:45. Opening.</li></ul> <ul class="spip"><li> 9:00 to 9:30: Jean-Baptiste Raclet. "Establishing liabilities from assume/guarantee contracts"</li></ul> <ul class="spip"><li> 9:30 to 10:00: Rolf Hennicker, Sebastian Bauer and Stephan Janisch. "Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems"</li></ul> <ul class="spip"><li> 10: to 10:30: Maria Grazia Buscemi and Hernan Melgratti. "Contracts for Abstract Processes in Service Composition"</li></ul> <ul class="spip"><li> 10:30 to 11:00: BREAK</li></ul> <ul class="spip"><li> 11:00 to 12:00: Alexandre David. "Theory and Tool Compositional for Design and Analysis of Real Time Systems"</li></ul> <ul class="spip"><li> 12:00 to 13:45: Lunch.</li></ul> <ul class="spip"><li> 13:45 to 14:30. Yassine Lakhnech. To be announced</li></ul> <ul class="spip"><li> 14:30 to 15:00: Andrzej Wasowski. "Notes on Structural and Logical Composition in Specification Theories"</li></ul> <ul class="spip"><li> 15:00 to 15:30: Michael Mendler. "An Algebra of Synchronous Scheduling Interfaces"</li></ul> <ul class="spip"><li> 15:30 to 16:00: BREAK</li></ul> <ul class="spip"><li> 16:30 to 17:30: Dirk Beyer. Protocol Interfaces.</li></ul></div> http://www.artist-embedded.org/artist/Contact-informations.html http://www.artist-embedded.org/artist/Contact-informations.html 2010-03-23T18:19:03Z text/html en Axel Legay For any question, please contact Axel Legay: alegay@irisa.fr - <a href="http://www.artist-embedded.org/artist/-FIT-2010-.html" rel="directory">FIT 2010</a> <div class='rss_chapo'><p>For any question, please contact Axel Legay: alegay@irisa.fr</p></div> http://www.artist-embedded.org/artist/Invited-Speakers.html http://www.artist-embedded.org/artist/Invited-Speakers.html 2010-03-23T18:18:16Z text/html en Axel Legay Yassine Lakhnech Alexandre David Andrzej Wasowski Dirk Beyer - <a href="http://www.artist-embedded.org/artist/-FIT-2010-.html" rel="directory">FIT 2010</a> <div class='rss_chapo'><ul class="spip"><li> Yassine Lakhnech </li></ul> <ul class="spip"><li> Alexandre David</li></ul> <ul class="spip"><li> Andrzej Wasowski</li></ul> <ul class="spip"><li> Dirk Beyer</li></ul></div>