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

Saddek Bensalem


Saddek Bensalem has been associated with 5 events and has a lot in common with Yassine Lakhnech, Stavros Tripakis and Klaus Havelund. Saddek's main research interests are model, testing and program analysis.

Are you Saddek Bensalem? 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 Saddek 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 Saddek Bensalem Whiteboard


tracker for Saddek Bensalem


November 13, 2008

9th workshop on runtime verification (RV 2009) was added.

October 2, 2008

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

January 16, 2008

2nd international workshop on verification and evaluation of computer and communication systems (VECOS 2008) was added.

November 27, 2006

7th workshop on runtime verification (RV 2007) 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.