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.
tracker for Stavros Tripakis
October 2, 2008
21st international conference on computer aided verification (CAV 2009) was added.
- People: Stavros Tripakis
April 25, 2008
10th international workshop on verification of infinite-state systems (INFINITY 2008) was added.
- People: Stavros Tripakis
April 1, 2008
6th international conference on formal modelling and analysis of timed systems (FORMATS 2008) was updated.
- People: Stavros Tripakis
March 12, 2008
6th international conference on formal modelling and analysis of timed systems (FORMATS 2008) was added.
- People: Stavros Tripakis
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.