BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Papavasileiou:Vasilis

Contributed to:

CAV 20152015
CAV 20132013
CAV 20112011

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.