http://www.artist-embedded.org/artist/ en SPIP - www.spip.net http://www.artist-embedded.org/artist/Haverkort.html http://www.artist-embedded.org/artist/Haverkort.html 2009-11-10T12:11:45Z text/html en Bruno Bouyssounouse Modeling and Validation Intercluster activity: Integration Driven by Industrial Applications Prof. Dr. Ir. Scientific director and chair of the Embedded Systems Institute (Eindhoven) - <a href="http://www.artist-embedded.org/artist/-Core-Team-Leaders-.html" rel="directory">30. Core Team Leaders</a> / <a href="http://www.artist-embedded.org/artist/+-Modeling-and-Validation-+.html" rel="tag">Modeling and Validation</a>, <a href="http://www.artist-embedded.org/artist/+-Intercluster-activity-Integration-+.html" rel="tag">Intercluster activity: Integration Driven by Industrial Applications</a> <img class="spip_logos" alt="" align="right" src="http://www.artist-embedded.org/artist/IMG/arton1861.jpg?1257855195" width='108' height='150' style='height:150px;width:108px;' /> <div class='rss_texte'><p>Prof. Dr. Ir. Scientific director and chair of the Embedded Systems Institute (Eindhoven)</p></div> http://www.artist-embedded.org/artist/Marius-Minea.html http://www.artist-embedded.org/artist/Marius-Minea.html 2009-02-18T16:03:16Z text/html en Modeling and Validation Research interests formal verification (model checking) compositional and assume-guarantee reasoning real-time and embedded systems model-based testing verification of security protocols Notable past projects Verification of telecommunications code written in SDL Model-based testing and automated test generation with Rational Test RealTime (with Siemens VDO Automotive) - <a href="http://www.artist-embedded.org/artist/-Affiliated-Academic-Partners-.html" rel="directory">30. Affiliated Academic Partners</a> / <a href="http://www.artist-embedded.org/artist/+-Modeling-and-Validation-+.html" rel="tag">Modeling and Validation</a> <div class='rss_texte'><h3 class="spip">Research interests</h3> <ul class="spip"><li> formal verification (model checking)</li><li> compositional and assume-guarantee reasoning</li><li> real-time and embedded systems</li><li> model-based testing</li><li> verification of security protocols</li></ul> <h3 class="spip">Notable past projects</h3> <p>Verification of telecommunications code written in SDL Model-based testing and automated test generation with Rational Test RealTime (with Siemens VDO Automotive)</p></div> http://www.artist-embedded.org/artist/Ivica-Crnkovic.html http://www.artist-embedded.org/artist/Ivica-Crnkovic.html 2009-02-18T13:36:03Z text/html en Modeling and Validation <p>Department of Computer Science and Electromics</p> - <a href="http://www.artist-embedded.org/artist/-Affiliated-Academic-Partners-.html" rel="directory">30. Affiliated Academic Partners</a> / <a href="http://www.artist-embedded.org/artist/+-Modeling-and-Validation-+.html" rel="tag">Modeling and Validation</a> <img class="spip_logos" alt="" align="right" src="http://www.artist-embedded.org/artist/IMG/arton1644.jpg?1234964675" width='122' height='150' style='height:150px;width:122px;' /> <div class='rss_texte'><h3 class="spip">Research interests</h3> <ul class="spip"><li> Component-based software engineering, Development processes </li></ul> <h3 class="spip">Role in leading conferences/journals/etc in the area</h3> <ul class="spip"><li> Co-chair of technical committee for Euromicro Software Engineering and Advance Applications conference (SEAA) , General Chair of Euromicro SEAA 2006, Program chair 2007</li><li> Member of Steering committee of ACM SIGSOFT Symposium of Component-based Software Engineering, General chair 2006, Program Chair 2004.</li><li> General Chair of ACM SIGSOFT European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering 2007</li><li> Co-Editor – Journal of Systems and Software – special editions in Component-based Software Engineering, 2007, 2005, 2003</li></ul> <h3 class="spip">Notable past projects</h3> <ul class="spip"><li> SAVE and SAVE++ – Design of safety critical vehicular systems, funded by Swedish foundation for Strategic Research, <a href="http://www.mrtc.mdh.se/SAVE/" class='spip_url spip_out' rel='nofollow external'>http://www.mrtc.mdh.se/SAVE/</a></li><li> FLEXCON - Flexible Embedded Control Systems, , funded by Swedish foundation for Strategic Research, <a href="http://www.control.lth.se/FLEXCON/" class='spip_url spip_out' rel='nofollow external'>http://www.control.lth.se/FLEXCON/</a></li><li> CBSE Network - Component-Based Software Engineering Network</li><li> Q-IPRESS – Fp7 STREP</li><li> FLEXI – ITEA2 project</li></ul> <h3 class="spip">Awards / Decorations</h3> <ul class="spip"><li> Industrial Software Engineering, donation from ABB for professorship</li></ul></div> http://www.artist-embedded.org/artist/Kirsch.html http://www.artist-embedded.org/artist/Kirsch.html 2008-04-16T09:11:51Z text/html en Modeling and Validation Professor, Head of the Computational Systems Group, Department of Computer Sciences, University of Salzburg - <a href="http://www.artist-embedded.org/artist/-Core-Team-Leaders-.html" rel="directory">30. Core Team Leaders</a> / <a href="http://www.artist-embedded.org/artist/+-Modeling-and-Validation-+.html" rel="tag">Modeling and Validation</a> <img class="spip_logos" alt="" align="right" src="http://www.artist-embedded.org/artist/IMG/arton1419.jpg?1208337125" width='130' height='150' style='height:150px;width:130px;' /> <div class='rss_texte'><p>Professor, Head of the Computational Systems Group, Department of Computer Sciences, University of Salzburg</p></div> http://www.artist-embedded.org/artist/Jantsch.html http://www.artist-embedded.org/artist/Jantsch.html 2008-02-06T15:46:59Z text/html en Modeling and Validation Hardware Platforms and MPSoC Design Department of Electronic, Communicatio, and Software Systems School for Information and Communication Technology - <a href="http://www.artist-embedded.org/artist/-Core-Team-Leaders-.html" rel="directory">30. Core Team Leaders</a> / <a href="http://www.artist-embedded.org/artist/+-Modeling-and-Validation-+.html" rel="tag">Modeling and Validation</a>, <a href="http://www.artist-embedded.org/artist/+-Hardware-Platforms-and-MPSoC,102-+.html" rel="tag">Hardware Platforms and MPSoC Design</a> <img class="spip_logos" alt="" align="right" src="http://www.artist-embedded.org/artist/IMG/arton1331.jpg?1202895057" width='120' height='150' style='height:150px;width:120px;' /> <div class='rss_texte'><p>Department of Electronic, Communicatio, and Software Systems School for Information and Communication Technology</p></div> http://www.artist-embedded.org/artist/Bensalem.html http://www.artist-embedded.org/artist/Bensalem.html 2007-11-15T14:31:01Z text/html en Testing and Verification Modeling and Validation - <a href="http://www.artist-embedded.org/artist/-Core-Team-Leaders-.html" rel="directory">30. Core Team Leaders</a> / <a href="http://www.artist-embedded.org/artist/+-Cluster-Testing-and-Verification-+.html" rel="tag">Testing and Verification</a>, <a href="http://www.artist-embedded.org/artist/+-Modeling-and-Validation-+.html" rel="tag">Modeling and Validation</a> <img class="spip_logos" alt="" align="right" src="http://www.artist-embedded.org/artist/IMG/arton1220.jpg?1195137054" width='150' height='147' style='height:147px;width:150px;' /> http://www.artist-embedded.org/artist/Sebastien-Gerard.html http://www.artist-embedded.org/artist/Sebastien-Gerard.html 2007-05-24T13:35:49Z text/html en Real-Time Components Modeling and Validation - <a href="http://www.artist-embedded.org/artist/-Core-Team-Leaders-.html" rel="directory">30. Core Team Leaders</a> / <a href="http://www.artist-embedded.org/artist/+-Cluster-Real-Time-Components-+.html" rel="tag">Real-Time Components</a>, <a href="http://www.artist-embedded.org/artist/+-Modeling-and-Validation-+.html" rel="tag">Modeling and Validation</a> <img class="spip_logos" alt="" align="right" src="http://www.artist-embedded.org/artist/IMG/arton1031.jpg?1180013942" width='111' height='150' style='height:150px;width:111px;' /> http://www.artist-embedded.org/artist/article607.html http://www.artist-embedded.org/artist/article607.html 2006-09-25T17:31:06Z text/html en Wang Yi Real-Time Components Modeling and Validation - <a href="http://www.artist-embedded.org/artist/-Core-Team-Leaders-.html" rel="directory">30. Core Team Leaders</a> / <a href="http://www.artist-embedded.org/artist/+-Cluster-Real-Time-Components-+.html" rel="tag">Real-Time Components</a>, <a href="http://www.artist-embedded.org/artist/+-Modeling-and-Validation-+.html" rel="tag">Modeling and Validation</a> <img class="spip_logos" alt="" align="right" src="http://www.artist-embedded.org/artist/IMG/arton607.jpg?1159205454" width='100' height='121' style='height:121px;width:100px;' /> http://www.artist-embedded.org/artist/Jeron.html http://www.artist-embedded.org/artist/Jeron.html 2006-08-10T06:45:51Z text/html en Thierry Jeron Testing and Verification Modeling and Validation - <a href="http://www.artist-embedded.org/artist/-Core-Team-Leaders-.html" rel="directory">30. Core Team Leaders</a> / <a href="http://www.artist-embedded.org/artist/+-Cluster-Testing-and-Verification-+.html" rel="tag">Testing and Verification</a>, <a href="http://www.artist-embedded.org/artist/+-Modeling-and-Validation-+.html" rel="tag">Modeling and Validation</a> <img class="spip_logos" alt="" align="right" src="http://www.artist-embedded.org/artist/IMG/arton292.gif?1155192344" width='119' height='150' style='height:150px;width:119px;' /> http://www.artist-embedded.org/artist/Torngren.html http://www.artist-embedded.org/artist/Torngren.html 2006-08-10T05:50:50Z text/html en Martin Törngren Real-Time Components Control for Embedded Systems Modeling and Validation - <a href="http://www.artist-embedded.org/artist/-Core-Team-Leaders-.html" rel="directory">30. Core Team Leaders</a> / <a href="http://www.artist-embedded.org/artist/+-Cluster-Real-Time-Components-+.html" rel="tag">Real-Time Components</a>, <a href="http://www.artist-embedded.org/artist/+-Cluster-Control-for-Embedded-+.html" rel="tag">Control for Embedded Systems</a>, <a href="http://www.artist-embedded.org/artist/+-Modeling-and-Validation-+.html" rel="tag">Modeling and Validation</a> <img class="spip_logos" alt="" align="right" src="http://www.artist-embedded.org/artist/IMG/arton286.gif?1155189059" width='105' height='150' style='height:150px;width:105px;' />