Helen Treharne

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Anonymous single-sign-on for \(n\) designated services with traceability (available as arXiv preprint)	2022-08-25	Paper
Foundations for using linear temporal logic in Event-B refinement Formal Aspects of Computing	2016-10-28	Paper
The behavioural semantics of Event-B refinement Formal Aspects of Computing	2016-08-05	Paper
Linking semantic models to support \(\mathrm{CSP} \parallel \mathrm{B}\) consistency checking	2013-12-04	Paper
Changing system interfaces consistently: a new refinement strategy for CSP\(\\|\)B Science of Computer Programming	2011-07-18	Paper
Integrated Formal Methods Lecture Notes in Computer Science	2009-05-07	Paper
Changing System Interfaces Consistently: A New Refinement Strategy for CSP\|\|B Lecture Notes in Computer Science	2009-02-24	Paper
Chunks: Component Verification in CSP ∥ B Lecture Notes in Computer Science	2007-11-29	Paper
Interactive tool support for CSP \(\parallel\) B consistency checking Formal Aspects of Computing	2007-09-06	Paper
Tank monitoring: A pAMN case study Formal Aspects of Computing	2006-11-17	Paper
CSP theorems for communicating B machines Formal Aspects of Computing	2006-10-25	Paper
scientific article; zbMATH DE number 2090158 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2080013 (Why is no real title available?)	2004-08-03	Paper
scientific article; zbMATH DE number 2013575 (Why is no real title available?)	2003-12-04	Paper
scientific article; zbMATH DE number 1487746 (Why is no real title available?)	2000-08-10	Paper

Research outcomes over time

This page was built for person: Helen Treharne