Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Calculating upward and downward simulations of state-based specifications., and . Inf. Softw. Technol., 41 (13): 917-923 (1999)On Strong Observational Refinement and Forward Simulation., , , , and . CoRR, (2021)Verifying fault-tolerant Erlang programs., , and . Erlang Workshop, page 26-34. ACM, (2005)Verifying C11 Programs Operationally., , , and . CoRR, (2018)Stochastic Specification and Verification., and . IWFM, BCS, (1999)Data refinement for true concurrency, and . Refine@IFM, volume 115 of EPTCS, page 15-35. (2013)Guest Editorial Integrated Formal Methods., , and . Formal Aspects Comput., 17 (4): 389-389 (2005)Observational Models for Linearizability Checking on Weak Memory Models., , and . TASE, page 100-107. IEEE Computer Society, (2018)Linearizability and Causality., and . SEFM, volume 9763 of Lecture Notes in Computer Science, page 45-60. Springer, (2016)Refinement of objects and operations in Object-Z., and . FMOODS, volume 177 of IFIP Conference Proceedings, page 257-277. Kluwer, (2000)