CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2013
-
January 2013
-
Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study In Proceedings
C.P.T. de Gouw (Stijn), F.S. de Boer (Frank), E.B. Johnsen (Einar Broch) and P.Y.H. Wong
January 2013
-
Engineering virtualized services In Proceedings
E. Albert (Elvira), F.S. de Boer (Frank), R. Hähnle (Reiner), E.B. Johnsen (Einar Broch) and C. Laneve (Cosimo)
January 2013
-
The future of a missed deadline In Proceedings
B. Nobakht (Behrooz), F.S. de Boer (Frank) and M.M. Jaghoori (Mohammad Mahdi)
January 2013 -
A weakest precondition calculus for BUnity Article
Science of Computer Programming, 78(9), 1278-1293.L. Astefanoaei (Lacramioara), F.S. de Boer (Frank), M. Dastani and J.-J.C. Meyer (John-Jules)
January 2013 -
User-defined schedulers for real-time concurrent objects Article
Innovations in Systems and Software Engineering, 9(1), 29-43.J. Björk, F.S. de Boer (Frank), E.B. Johnsen (Einar Broch), R. Schlatte (Rudolf) and S.L.T. Tarifa
January 2013 -
Sound and complete axiomatizations of coalgebraic language equivalence Article
ACM Transactions on Computational Logic, 14(1)M.M. Bonsangue (Marcello), S. Milius and A.M. Silva (Alexandra)
January 2013