Diogo G. Sousa

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 1

Top Topics

Acid Properties

Transaction Management

Correctness Criterion

Concurrent Programs

Top Venues

Publications

Ricardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar
Verifying Concurrent Programs Using Contracts. ICST (2017)
Diogo G. Sousa, Ricardo J. Dias, Carla Ferreira, João Lourenço
Preventing Atomicity Violations with Contracts. CoRR (2015)