Publication

Reo: a dataflow inspired language for multicore In Proceedings

S.-S.T.Q. Jongmans (Sung), S. Halle and F. Arbab (Farhad)

Unbounded allocation in bounded heaps In Proceedings

J.C. Rot (Jurriaan), F.S. de Boer (Frank) and M. Sirjani (Marjan)

From timed Reo networks to networks of timed automata Article

N. Kokash (Natallia), M.M. Jaghoori (Mohammad Mahdi) and F. Arbab (Farhad)

Scalable, continuous tracking of tag co-occurrences between short sets using (almost) disjoint tag partitions In Proceedings

F. Alvanaki (Foteini) and S. Michel

Fundamentals of Software Engineering Book

SexTant: Visualizing Time-Evolving Linked Geospatial Data In Proceedings

K. Bereta (Konstantina), C. Nikolaou (Charalampos), M. Karpathiotakis (Manos), K. Kyzirakos (Konstantinos) and M. Koubarakis (Manolis)

Formal design and verification of long-running transactions with extensible coordination tools Article

N. Kokash (Natallia) and F. Arbab (Farhad)

Shell V-power Article

B. Koren (Barry)