×

Schneider, Steve A.

Author ID: schneider.steve-a Recent zbMATH articles by "Schneider, Steve A."
Published as: Schneider, Steve; Schneider, S. A.; Schneider, Steve A.; Schneider, S.
Homepage: https://www.surrey.ac.uk/people/steve-schneider
External Links: MGP · ORCID · dblp

Publications by Year

Citations contained in zbMATH Open

25 Publications have been cited 124 times in 109 Documents Cited by Year
CSP and anonymity. Zbl 1493.68049
Schneider, Steve; Sidiropoulos, Abraham
19
1996
A brief history of Timed CSP. Zbl 0874.68162
Davies, Jim; Schneider, Steve
18
1995
An operational semantics for timed CSP. Zbl 0827.68069
Schneider, Steve
15
1995
CSP theorems for communicating B machines. Zbl 1103.68599
Schneider, Steve; Treharne, Helen
14
2005
Recursion induction for real-time processes. Zbl 0806.68073
Davies, Jim; Schneider, Steve
9
1993
Using a process algebra to control B OPERATIONS. Zbl 0963.68134
Treharne, Helen; Schneider, Steve
9
1999
An attack on a recursive authentication protocol. A cautionary tale. Zbl 1339.94062
Ryan, P. Y. A.; Schneider, S. A.
9
1998
The behavioural semantics of Event-B refinement. Zbl 1342.68211
Schneider, Steve; Treharne, Helen; Wehrheim, Heike
6
2014
Communicating B machines. Zbl 1044.68121
Schneider, Steve; Treharne, Helen
5
2002
Abstraction and testing. Zbl 0954.68016
Schneider, Steve
3
1999
Chunks: Component verification in CSP\(\parallel \)B. Zbl 1137.68439
Schneider, Steve; Treharne, Helen; Evans, Neil
2
2005
May testing, non-interference, and compositionality. Zbl 1264.68112
Schneider, Steve
2
2001
Tank monitoring: A pAMN case study. Zbl 1103.68636
Schneider, Steve; Hoang, Thai Son; Robinson, Ken; Treharne, Helen
1
2006
Process algebra and security (abstract). Zbl 1006.68709
Schneider, Steve
1
2001
Fixed points without completeness. Zbl 0874.68186
Mislove, M. W.; Roscoe, A. W.; Schneider, S. A.
1
1995
Timewise refinement for communicating processes. Zbl 0867.68051
Schneider, Steve
1
1997
Changing system interfaces consistently: a new refinement strategy for CSP\(\parallel\)B. Zbl 1211.68255
Schneider, Steve; Treharne, Helen
1
2009
Composing specifications using communication. Zbl 1028.68557
Treharne, Helen; Schneider, Steve; Bramble, Marchia
1
2003
Verifying security protocols with PVS: widening the rank function approach. Zbl 1078.68031
Evans, Neil; Schneider, Steve
1
2005
Factorizing proofs in timed CSP. Zbl 1509.68079
Davies, Jim; Schneider, Steve
1
1990
Anonymous single-sign-on for \(n\) designated services with traceability. Zbl 1496.68064
Han, Jinguang; Chen, Liqun; Schneider, Steve; Treharne, Helen; Wesemeyer, Stephan
1
2018
Foundations for using linear temporal logic in Event-B refinement. Zbl 1348.68039
Hoang, Thai Son; Schneider, Steve; Treharne, Helen; Williams, David M.
1
2016
Verifying security protocols: An application of CSP. Zbl 1081.68656
Schneider, Steve; Delicata, Rob
1
2005
Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B. Zbl 1221.68062
Schneider, Steve; Treharne, Helen
1
2011
A formal framework for modelling coercion resistance and receipt freeness. Zbl 1372.68185
Heather, James; Schneider, Steve
1
2012
Anonymous single-sign-on for \(n\) designated services with traceability. Zbl 1496.68064
Han, Jinguang; Chen, Liqun; Schneider, Steve; Treharne, Helen; Wesemeyer, Stephan
1
2018
Foundations for using linear temporal logic in Event-B refinement. Zbl 1348.68039
Hoang, Thai Son; Schneider, Steve; Treharne, Helen; Williams, David M.
1
2016
The behavioural semantics of Event-B refinement. Zbl 1342.68211
Schneider, Steve; Treharne, Helen; Wehrheim, Heike
6
2014
A formal framework for modelling coercion resistance and receipt freeness. Zbl 1372.68185
Heather, James; Schneider, Steve
1
2012
Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B. Zbl 1221.68062
Schneider, Steve; Treharne, Helen
1
2011
Changing system interfaces consistently: a new refinement strategy for CSP\(\parallel\)B. Zbl 1211.68255
Schneider, Steve; Treharne, Helen
1
2009
Tank monitoring: A pAMN case study. Zbl 1103.68636
Schneider, Steve; Hoang, Thai Son; Robinson, Ken; Treharne, Helen
1
2006
CSP theorems for communicating B machines. Zbl 1103.68599
Schneider, Steve; Treharne, Helen
14
2005
Chunks: Component verification in CSP\(\parallel \)B. Zbl 1137.68439
Schneider, Steve; Treharne, Helen; Evans, Neil
2
2005
Verifying security protocols with PVS: widening the rank function approach. Zbl 1078.68031
Evans, Neil; Schneider, Steve
1
2005
Verifying security protocols: An application of CSP. Zbl 1081.68656
Schneider, Steve; Delicata, Rob
1
2005
Composing specifications using communication. Zbl 1028.68557
Treharne, Helen; Schneider, Steve; Bramble, Marchia
1
2003
Communicating B machines. Zbl 1044.68121
Schneider, Steve; Treharne, Helen
5
2002
May testing, non-interference, and compositionality. Zbl 1264.68112
Schneider, Steve
2
2001
Process algebra and security (abstract). Zbl 1006.68709
Schneider, Steve
1
2001
Using a process algebra to control B OPERATIONS. Zbl 0963.68134
Treharne, Helen; Schneider, Steve
9
1999
Abstraction and testing. Zbl 0954.68016
Schneider, Steve
3
1999
An attack on a recursive authentication protocol. A cautionary tale. Zbl 1339.94062
Ryan, P. Y. A.; Schneider, S. A.
9
1998
Timewise refinement for communicating processes. Zbl 0867.68051
Schneider, Steve
1
1997
CSP and anonymity. Zbl 1493.68049
Schneider, Steve; Sidiropoulos, Abraham
19
1996
A brief history of Timed CSP. Zbl 0874.68162
Davies, Jim; Schneider, Steve
18
1995
An operational semantics for timed CSP. Zbl 0827.68069
Schneider, Steve
15
1995
Fixed points without completeness. Zbl 0874.68186
Mislove, M. W.; Roscoe, A. W.; Schneider, S. A.
1
1995
Recursion induction for real-time processes. Zbl 0806.68073
Davies, Jim; Schneider, Steve
9
1993
Factorizing proofs in timed CSP. Zbl 1509.68079
Davies, Jim; Schneider, Steve
1
1990
all top 5

Cited by 203 Authors

10 Schneider, Steve A.
9 Cavalcanti, Ana
7 Treharne, Helen
5 Palamidessi, Catuscia
5 Roscoe, Andrew William
3 Lang, Frédéric
3 Oliveira, Marcel
3 Ouaknine, Joel O.
3 Sakurada, Hideki
3 Sampaio, Augusto C. A.
3 van Glabbeek, Robert Jan
3 Vogler, Walter
3 Wehrheim, Heike
3 Woodcock, James C. P.
3 Worrell, James B.
2 Chatzikokolakis, Konstantinos
2 Colvin, Robert J.
2 Delaune, Stéphanie
2 Derrick, John
2 Dima, Cătălin
2 d’Inverno, Mark
2 Dong, JinSong
2 Frappier, Marc
2 Garavel, Hubert
2 Gaudel, Marie-Claude
2 Goldsmith, Michael
2 Grov, Gudmund
2 Hoang, Thai Son
2 Howells, Paul
2 Kawabe, Yoshinobu
2 Liu, Yang
2 Lüttgen, Gerald
2 Mano, Ken
2 Meseguer Guaita, José
2 Moffat, Nick
2 Mota, Alexandre C.
2 Nogueira, Sidney
2 Orzan, Simona
2 Pang, Jun
2 Reed, Joy N.
2 Sinclair, Jane E.
2 Sun, Jun
2 Tsukada, Yasuyuki
2 Zeyda, Frank
2 Zhao, Yongxin
1 Aceto, Luca
1 Almahalebi, Muaadh
1 Alwen, Joël
1 Arenas, Alvaro E.
1 Baeten, Jos C. M.
1 Balun, Jiří
1 Bauer, Matthew Steven
1 Beauxis, Romain
1 Belardinelli, Francesco
1 Boiten, Eerke A.
1 Bossi, Annalisa
1 Brémond-Grégoire, Patrice
1 Brengos, Tomasz
1 Bresolin, Davide
1 Burns, Alan D.
1 Butler, Michael J.
1 Campos, Sérgio V. A.
1 Cao, Yongzhi
1 Chadha, Rohit
1 Chaochen, Zhou
1 Charifi, Ahmed
1 Chen, Liqun
1 Chen, Weien
1 Chen, Yifeng
1 Chevalier, Yannick
1 Choi, Jin Young
1 Chothia, Tom
1 Clarke, Edmund Melson jun.
1 Clayton, Phil
1 Condurache, Rodica
1 Davies, Jim
1 de Roever, Willem-Paul
1 de Vink, Erik P.
1 Dechesne, Francien
1 Deng, Yuxin
1 Dziong, Zbigniew
1 Egyed, Alexander
1 Escobar, Santiago
1 Evans, Neil D.
1 Farrell, Marie
1 Fidge, Colin J.
1 Focardi, Riccardo
1 Fokkink, Willem Jan
1 Fraikin, Benoît
1 Fritz, Carsten
1 Gervais, Frédéric
1 Hamadou, Sardaouna
1 Han, Jinguang
1 Hansen, Michael Reichhardt
1 Hasuo, Ichiro
1 Hayes, Ian J.
1 Hermanns, Holger
1 Herzog, Ulrich
1 Higashino, Teruo
1 Hirschi, Lucca
...and 103 more Authors

Citations by Year