S. A. Schneider

Available identifiers

zbMath Open schneider.steve-aDBLPs/SASchneiderWikidataQ27983493 ScholiaQ27983493MaRDI QIDQ293166

List of research outcomes

Publication	Date of Publication	Type
A Survey of Practical Formal Methods for Security	2023-08-31	Paper
Timewise refinement for communicating processes	2023-04-28	Paper
Factorizing proofs in timed CSP	2023-04-12	Paper
Anonymous single-sign-on for \(n\) designated services with traceability	2022-08-25	Paper
CSP and anonymity	2022-08-16	Paper
Equal To The Task?	2022-02-16	Paper
Verify My Vote: Voter Experience Questionnaire Results	2020-08-26	Dataset
Foundations for using linear temporal logic in Event-B refinement	2016-10-28	Paper
The behavioural semantics of Event-B refinement	2016-08-05	Paper
An attack on a recursive authentication protocol. A cautionary tale	2016-06-09	Paper
May Testing, Non-interference, and Compositionality	2013-06-06	Paper
A Formal Framework for Modelling Coercion Resistance and Receipt Freeness	2012-11-08	Paper
Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B	2011-07-18	Paper
Versatile Prêt à Voter: Handling Multiple Election Methods with a Unified Interface	2010-12-07	Paper
Integrated Formal Methods	2009-05-07	Paper
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B	2009-02-24	Paper
Chunks: Component Verification in CSP ∥ B	2007-11-29	Paper
An algebraic approach to the verification of a class of Diffie-Hellman protocols	2007-04-26	Paper
Tank monitoring: A pAMN case study	2006-11-17	Paper
Information Security and Cryptology	2006-11-14	Paper
CSP theorems for communicating B machines	2006-10-25	Paper
Communicating Sequential Processes. The First 25 Years	2005-11-29	Paper
Verifying security protocols with PVS: widening the rank function approach	2005-08-01	Paper
https://portal.mardi4nfdi.de/entity/Q4472199	2004-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4436957	2003-12-04	Paper
Design and verification of distributed recovery blocks with CSP	2003-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q4791265	2003-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q4790341	2002-01-01	Paper
The use of \(B\) to specify, design and verify hardware	2001-10-21	Paper
Abstraction and testing in CSP	2001-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q4494259	2000-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4493891	1999-01-01	Paper
Timewise refinement for communicating processes	1997-08-07	Paper
A brief history of Timed CSP	1997-02-28	Paper
Fixed points without completeness	1997-02-28	Paper
An operational semantics for timed CSP	1995-05-28	Paper
Recursion induction for real-time processes	1994-06-29	Paper

Research outcomes over time

This page was built for person: S. A. Schneider