Peter Csaba Olveczky

Collaborator

Select publications

  1. Liu, Si, Peter Csaba Olveczky, Keshav Santhanam, Qi Wang, Indranil Gupta, Jose Meseguer. "ROLA: A New Distributed Transaction Protocol and Its Formal Analysis," Proc. 21st International Conference on Fundamental Approaches to Software Engineering (FASE), 2018. [pdf]
  2. Liu, Si, Peter Csaba Olveczky, Jatin Ganhotra, Indranil Gupta, Jose Meseguer. "Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking", Proc. ICFEM (Formal Methods and Software Engineering), pp 298-314, 2017.
  3. Liu, Si, Peter Csaba Olveczky, Muntasir Raihan Rahman, Jatin Ganhotra, Indranil Gupta, Jose Meseguer. "Formal Modeling and Analysis of Ramp Transaction Systems", Proc. ACM Symposium on Applied Computing (SAC), 2016. [pdf] [pptx]