publication venue for
- Using Local Clocks to Reproduce Concurrency Bugs. 44:1112-1128. 2018
- Verifying Synchronization for Atomicity Violation Fixing. 42:285-301. 2016
- A Model of Data Warehousing Process Maturity. 38:336-353. 2012
- The role of opportunism in the software design reuse process. 23:418-436. 1997