CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Toward sequentializing overparallelized protocol code In Proceedings
January 2014 -
Supervisory controller synthesis for safe software adaptation In Proceedings
N. Khakpour (Narges), F. Arbab (Farhad) and É. Rutten (Éric)
January 2014 -
Automata-based optimization of interaction protocols for scalable multicore platforms In Proceedings
January 2014 -
The Strong Price of Anarchy of Linear Bottleneck Congestion Games Article
Theory of Computing SystemsB. de Keijzer (Bart), G. Schäfer (Guido) and O. Telelis (Orestis)
January 2014
-
Partially-distributed coordination with Reo In Proceedings
S.-S.T.Q. Jongmans (Sung), F. Santini (Francesco) and F. Arbab (Farhad)
January 2014 -
Orchestrating web services using Reo: from circuits and behaviors to automatically generated code Article
Service Oriented Computing and Applications, 8(4), 277-297.S.-S.T.Q. Jongmans (Sung), F. Santini (Francesco), M Sargolzaei, F. Arbab (Farhad) and H. Afsarmanesh
January 2014 -
A compositional model to reason about end-to-end QoS in Stochastic Reo Connectors Article
Science of Computer Programming, 80(A), 3-24.Y.-J. Moon (Young-Joo), A.M. Silva (Alexandra), C. Krause (born Köhler) (Christian) and F. Arbab (Farhad)
January 2014 -
January 2014