Skip to content
/ pub Public

My academic publications

Notifications You must be signed in to change notification settings

vasilisp/pub

Repository files navigation

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]