Serdar Tasiran
Serdar Tasiran has been associated with 10 events and shares similar interests with Shaz Qadeer, Klaus Havelund and Bernd Finkbeiner. Serdar's main research interests are testing, model and static analysis.
Are you Serdar Tasiran? 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 Serdar an invitation:
The owner of this page can edit his or her biography, post whiteboard entries, and get a personalized deadline calendar.
tracker for Serdar Tasiran
December 16, 2008
Workshop on parallel and distributed systems: Testing, analysis, and debugging (PADTAD 2009) was added.
- People: Serdar Tasiran
December 15, 2008
6th international colloquium on theoretical aspects of computing (ICTAC 2009) was added.
- People: Serdar Tasiran
October 2, 2008
21st international conference on computer aided verification (CAV 2009) was added.
- People: Serdar Tasiran
September 2, 2008
5th workshop on specification and verification of component-based systems (SAVCBS 2008) was added.
- People: Serdar Tasiran
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.