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]