Formal methods [FM]
Collection
Collection
Published by CWI
-
Modeling and Simulation of Selected Operational IT Risks in the Banking Sector (Extended Version) Tech Report
C. Brandt (Christoph), F. Santini (Francesco), N. Kokash (Natallia) and F. Arbab (Farhad)
May 2013
-
Proving Language Inclusion and Equivalence by Coinduction Tech Report
J.C. Rot (Jurriaan), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)
July 2013
-
October 2013
-
Partially-Distributed Coordination with Reo (Technical Report) Tech Report
S.-S.T.Q. Jongmans (Sung), F. Santini (Francesco) and F. Arbab (Farhad)
November 2013
-
A Procedure for Splitting Data-Aware Processes and its Application to Coordination (Technical Report) Tech Report
S.-S.T.Q. Jongmans (Sung), D.G. Clarke (David) and J.M.P. Proença (Jose)
March 2014
-
Automata-based Optimization of Interaction Protocols for Scalable Multicore Platforms (Technical Report) Tech Report
March 2014
-
The dual equivalence of equations and coequations for automata Tech Report
A. Ballester-Bolinches, E. Cosme-Llopez and J.J.M.M. Rutten (Jan)
April 2014
-
Stream Di fferential Equations: Specifi cation Formats and Solution Methods Tech Report
H.H. Hansen (Helle), C.A. Kupke (Clemens) and J.J.M.M. Rutten (Jan)
August 2014