Can Arda Muftuoglu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2009–2013
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | SRDS | Efficient Verification of Distributed Protocols Using Stateful Model Checking. | Habib Saissi, Pter Bokor, Can Arda Muftuoglu, Neeraj Suri, Marco Serafini |
| 2012 | SSS | Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems. | Can Arda Muftuoglu, Pter Bokor, Neeraj Suri |
| 2009 | COMPSAC | GUI-Based Testing of Boundary Overflow Vulnerability. | Tugkan Tuglular, Can Arda Muftuoglu, zgr Kaya, Fevzi Belli, Michael Linschulte |
| 2009 | ISSRE | Event-Based Input Validation Using Design-by-Contract Patterns. | Tugkan Tuglular, Can Arda Muftuoglu, Fevzi Belli, Michael Linschulte |