Wladimir Araujo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2008–2011
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | ESEM | On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software. | Wladimir Araujo, Lionel C. Briand, Yvan Labiche |
| 2011 | ICSE | Enabling the runtime assertion checking of concurrent contracts for the Java modeling language. | Wladimir Araujo, Lionel C. Briand, Yvan Labiche |
| 2009 | SIGCOMM | Rapid service creation using the JUNOS SDK. | James Kelly, Wladimir Araujo, Kallol Banerjee |
| 2008 | ISSRE | Concurrent Contracts for Java in JML. | Wladimir Araujo, Lionel C. Briand, Yvan Labiche |