Please see the Usage Policy at the bottom of this page. testing-verification@artist-embedded.org Ahmed Bouajjani — LIAFA Alain Ourghanlian — EDF RECHERCHE Alfons Crespo — VALENCIA Michel Bidoit — LSV Bernard Boigelot — CFV Lubos Brim — BRNO UNIVERSITY Ed Brinksma — TWENTE Bruno Bouyssounouse — VERIMAG Christer Norström — ABB François Laroussinie — LSV Francis Klay — FTRD Hans Huttel — AALBORG Henrik Leerberg — IAR SYSTEMS Hubert Comon — CNRS Tommy Ericsson — TELELOGIC Jan Lindblad — ENEA Jean-Francois Raskin — CFV Joseph Sifakis — VERIMAG Joost-Pieter Katoe — TWENTE Kim Larsen — AALBORG Axel Legay — CFV, Liège Marielle Stoelinga — University of Twente Oded Maler — VERIMAG Philippe Schnoebelen — CNRS Pieter Hartel — TWENTE Pierre Wolper — CFV Saddek Bensalem — VERIMAG Sven Holme Sorensen — SIEMENS Tom Henzinger — LAUSANNE Thierry Jéron — INRIA Jan Tretmans — UNIVERSITY OF NIJMEGEN Steve Kremer — ENS Cachan Thoma Hune — TERMA Yassine Lakhnech — VERIMAG Wang Yi — Uppsala tv-quantitative-tv@artist-embedded.org Ahmed Bouajjani — Liafa Kim Larsen — Aalborg Arne Skou — Aalborg University Brian Nielsen — Aalborg University Ed Brinksma — University of Twente Bruno Bouyssounouse — VERIMAG Joseph Sifakis — VERIMAG Joost-Pieter Katoen — University of Twente Marielle Stoelinga — University of Twente Oded.Maler — VERIMAG Philippe Schnoebelen — CNRS/LSV Pierre Wolper — Centre Fédéré de Verification Saddek Bensalem — VERIMAG Sergio Yovine — VERIMAG Thierry Jeron — IRISA/INRIA Jan Tretmans — University of Nijmegen Werner Damm — OFFIS Wang Yi — Uppsala University tv-platform@artist-embedded.org Gerd Behrmann — Aalborg University Lubos Brim — University Brno Bruno Bouyssounouse — VERIMAG Jean-Francois Raskin — CFV Joseph Sifakis — VERIMAG Kim Larsen — Aalborg University Josva Kleist — Aalborg University Tom Henzinger — EPFL Yassine Lakhnech — VERIMAG tv-security@artist-embedded.org Sandro Etalle — TWENTE Andrea Bondavalli — FIRENZE Bruno Bouyssounouse — VERIMAG Boutheina Chetali — AXALTO/ Shlumberger Sema Hubert Comon-Lundh — CNRS/LSV Fabio Martinelli Francis Klay FTR&D Hans Huttel — Aalborg University Jaques Pulou FTR&D Joseph Sifakis — VERIMAG Kim Larsen — Aalborg Pieter Hartel — University of Twente Michael Rusinowitch — INRIA Steve Kremer — ENS Cachan Yassine Lakhnech — IMAG Usage PolicyTo prevent unsolicited messages, only persons on a mailinglist may write to that mailing list (spammers can identify mailing lists, and thus target these especially). Thus, if you have several different email addresses and use one that is not on the mailing list, then your message will bounce and you’ll get a reply from the server. All questions or requests related to mailing lists should be sent to the Artist2 Technical Coordinator. |
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009