Please log in if you want to be notified when Stavros Tripakis is mentioned on Eventseer.net. Click the tracker button below to activate notifications.
Click the button to be notified on your personal tracker whenever Stavros Tripakis is mentioned in an event.

Stavros Tripakis


Stavros Tripakis has been associated with 8 events and shares similar interests with Paul Caspi, Sergio Yovine and Moez Krichen. Stavros' main research interests are testing, timed automata and model.

Are you Stavros Tripakis? Then click the "Claim!" button to claim ownership of this page. (You will be asked to sign up and log in first.)



If you happen to know who this is, you can send Stavros an invitation:



The owner of this page can edit his or her biography, post whiteboard entries, and get a personalized deadline calendar.

about


RSS feeds

Whiteboard RSS for Stavros Tripakis Whiteboard


tracker for Stavros Tripakis


October 2, 2008

21st international conference on computer aided verification (CAV 2009) was added.

April 25, 2008

10th international workshop on verification of infinite-state systems (INFINITY 2008) was added.

April 1, 2008

6th international conference on formal modelling and analysis of timed systems (FORMATS 2008) was updated.

March 12, 2008

6th international conference on formal modelling and analysis of timed systems (FORMATS 2008) was added.

» Show all

Facts


Unable to load Flash content. The YUI Charts Control requires Flash Player 9.0.45 or higher. You can download the latest version of Flash Player from the Adobe Flash Player Download Center.