Vasilis Papavasileiou

I am a Computer Science Ph.D. student at Northeastern University, and a member of the Computer Aided Reasoning Lab. I am working with Pete Manolios.

I studied Electrical and Computer Engineering at the National Technical University of Athens. My diploma project was supervised by Nikolaos Papaspyrou.

Publications

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

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

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

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

Teaching

I have been a Teaching Assistant for

Contact