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 thesis was supervised by Nikolaos Papaspyrou.

Publications

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

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

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

Teaching

I have been a Teaching Assistant for

• CS2800: Logic and Computation (Spring 2010)
• CS3800: Theory of Computation (Fall 2009)

Contact

• Office: West Village H, Room 316
• Mail: vpap at ccs