Edit Profile (opens in new tab) Schneider, Steve A. Co-Author Distance Author ID: schneider.steve-a Published as: Schneider, Steve; Schneider, S. A.; Schneider, Steve A.; Schneider, S. more...less Homepage: https://www.surrey.ac.uk/people/steve-schneider External Links: MGP · ORCID · dblp Documents Indexed: 39 Publications since 1990 11 Contributions as Editor Co-Authors: 43 Co-Authors with 40 Joint Publications 693 Co-Co-Authors all top 5 Co-Authors 8 single-authored 14 Treharne, Helen 6 Ryan, Peter Y. A. 4 Chen, Liqun 3 Davies, Jim 3 Evans, Neil D. 3 Heather, James 2 Delicata, Rob 2 Hoang, Thai Son 2 Ifill, Wilson 2 Li, Ninghui 2 Liang, Kaitai 2 Manulis, Mark 2 Sako, Kazue 1 Abdallah, Ali E. 1 Betsch, Peter 1 Bramble, Marchia 1 Bush, Vicky J. 1 Culnane, Chris 1 Dongol, Brijesh 1 Friot, Emmanuel 1 Gintz, A. 1 Han, Jinguang 1 Henson, Martin C. 1 Jonker, Hugo Lennaert 1 King, Steve F. 1 Kinon, Philipp L. 1 Kulik, Tomas 1 Larsen, Peter Gorm 1 Macedo, Hugo Daniel 1 McEwan, Alistair A. 1 Mislove, Michael W. 1 Polikarpova, Nadia 1 Robinson, Ken 1 Roscoe, Andrew William 1 Sadeghi, Ahmad-Reza 1 Shaikh, Siraj Ahmed 1 Sidiropoulos, Abraham 1 Sorensen, Ib 1 Srinivasan, Sriramkrishnan 1 Tran-Jørgensen, Peter W. V. 1 Wehrheim, Heike 1 Welch, Peter H. 1 Wesemeyer, Stephan 1 Williams, David M. 1 Woodcock, James C. P. 1 Xia, Zhe 1 Yeung, W. L. all top 5 Serials 9 Lecture Notes in Computer Science 7 Formal Aspects of Computing 2 Theoretical Computer Science 2 Science of Computer Programming 1 Information Processing Letters 1 Information and Computation 1 Formal Methods in System Design 1 Multibody System Dynamics 1 The Journal of Logic and Algebraic Programming 1 Concurrent Systems Engineering Series 1 Electronic Notes in Theoretical Computer Science all top 5 Fields 45 Computer science (68-XX) 11 General and overarching topics; collections (00-XX) 10 Information and communication theory, circuits (94-XX) 1 Mathematical logic and foundations (03-XX) 1 Mechanics of particles and systems (70-XX) 1 Fluid mechanics (76-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 24 Serials 20 Formal Aspects of Computing 19 Theoretical Computer Science 8 Information and Computation 5 Science of Computer Programming 4 Acta Informatica 3 Logical Methods in Computer Science 2 Discrete Event Dynamic Systems 2 Formal Methods in System Design 2 Higher-Order and Symbolic Computation 2 The Journal of Logic and Algebraic Programming 2 Journal of Logical and Algebraic Methods in Programming 1 International Journal of Control 1 Information Processing Letters 1 Information Sciences 1 Journal of Computer and System Sciences 1 Journal of Automated Reasoning 1 International Journal of Foundations of Computer Science 1 International Journal of Computer Mathematics 1 Annals of Mathematics and Artificial Intelligence 1 RAIRO. Theoretical Informatics and Applications 1 Sādhanā 1 Computer Languages, Systems & Structures 1 Mathematics in Computer Science 1 Advances in Pure and Applied Mathematics all top 5 Cited in 10 Fields 102 Computer science (68-XX) 11 Information and communication theory, circuits (94-XX) 10 Mathematical logic and foundations (03-XX) 3 Systems theory; control (93-XX) 2 Category theory; homological algebra (18-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Difference and functional equations (39-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) 1 Mathematics education (97-XX) Citations by Year