Travelled to:1 × Russia
2 × USA
Collaborated with:P.Manolios J.Pais C.Hang
Talks about:theori (2) modulo (2) architectur (1) constraint (1) framework (1) mathemat (1) synthes (1) program (1) physic (1) model (1)
Person: Vasilis Papavasileiou
DBLP: Papavasileiou:Vasilis
Contributed to:
201520132011Wrote 3 papers:
- CAV-2015-ManoliosPP #framework #modulo theories #programming
- The Inez Mathematical Programming Modulo Theories Framework (PM, JP, VP), pp. 53–69.
- CAV-2013-ManoliosP #modulo theories
- ILP Modulo Theories (PM, VP), pp. 662–677.
- CAV-2011-HangMP #architecture #constraints #cyber-physical #modelling #realtime
- Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints (CH, PM, VP), pp. 441–456.