Skip to content

Latest commit

 

History

History
35 lines (27 loc) · 1.25 KB

README.md

File metadata and controls

35 lines (27 loc) · 1.25 KB

My publications

  • Gabriel Radanne, Vasilis Papavasileiou, Jerome Vouillon, and Vincent Balat. Eliom: tierless Web programming from the ground up. IFL, 2016. [PDF]

  • Vasilis Papavasileiou. Mathematical Programming Modulo Theories. Ph.D. dissertation, Northeastern University, 2015. [PDF]

  • Panagiotis Manolios, Jorge Pais, and Vasilis Papavasileiou. The Inez Mathematical Programming Modulo Theories Framework. CAV, 2015. [PDF]

  • Panagiotis Manolios, Vasilis Papavasileiou, and Mirek Riedewald. ILP Modulo Data. FMCAD, 2014. [PDF]

  • Panagiotis Manolios and Vasilis Papavasileiou. ILP Modulo Theories. CAV, 2013. [PDF]

  • Panagiotis Manolios and Vasilis Papavasileiou. Pseudo-Boolean Solving by Incremental Translation to SAT. FMCAD, 2011. [PDF]

  • Christine Hang, Panagiotis Manolios, and Vasilis Papavasileiou. Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints. CAV, 2011. [PDF]

  • Panagiotis Manolios and Vasilis Papavasileiou. Virtual Integration of Cyber-Physical Systems by Verification. AVICPS, 2010. [PDF]