Travelled to:1 × Austria
1 × USA
Collaborated with:D.Calvanese M.Montali A.Deutsch G.D.Giacomo
Talks about:system (2) dynam (2) data (2) centric (1) bounded (1) servic (1) extern (1) verif (1) state (1) relat (1)
Person: Babak Bagheri Hariri
DBLP: Hariri:Babak_Bagheri
Contributed to:
2014
2013Wrote 2 papers:
- KR-2014-HaririCD #bound
- State-Boundedness in Data-Aware Dynamic Systems (BBH, DC, MM, AD).
- PODS-2013-HaririCGDM #relational #verification
- Verification of relational data-centric dynamic systems with external services (BBH, DC, GDG, AD, MM), pp. 163–174.