University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Items where Author is "Derrick, J"

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.

Article

Hierons, RM, Bogdanov, K, Bowen, JP, Cleaveland, R, Derrick, J, Dick, J, Gheorghe, M, Harman, M, Kapoor, K, Krause, P, Luettgen, G, Simons, AJH, Vilkomir, S, Woodward, MR and Zedan, H (2009) Using Formal Specifications to Support Testing ACM COMPUTING SURVEYS, 41 (2), ARTN 9.

Conference or Workshop Item

Doherty, Simon, Dongol, Brijesh, Wehrheim, Heike and Derrick, John (2019) Verifying C11 Programs Operationally In: PPoPP 2019: 24th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, 16–20 Feb 2019, Washington, DC, USA.

Derrick, John, Doherty, Simon, Dongol, Brijesh, Schellhorn, Gerhard and Wehrheim, Heike (2019) Verifying Correctness of Persistent Concurrent Data Structures In: 23rd International Symposium on Formal Methods (FM'19), 07-11 Oct 2019, Porto, Portugal.

Doherty, Simon, Dongol, Brijesh, Wehrheim, Heike and Derrick, John (2018) Making Linearizability Compositional for Partially Ordered Executions In: International Conference on Integrated Formal Methods - IFM 2018, 05-07 Sep 2018, Maynooth University, Ireland.

Dongol, Brijesh, Doherty, Simon, Wehrheim, Heiki and Derrick, John (2018) Brief Announcement: Generalising Concurrent Correctness to Weak Memory In: 32nd International Symposium on Distributed Computing (DISC 2018), 15 - 19 October 2018, New Orleans.

This list was generated on Thu Oct 17 12:44:18 2019 UTC.

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800