S. A. Schneider

Available identifiers

zbMath Open schneider.steve-aWikidataQ27983493 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
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
https://portal.mardi4nfdi.de/entity/Q2751751	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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