BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × Germany
1 × Greece
2 × United Kingdom
4 × France
Collaborated with:
H.Treharne J.Heather M.Moran I.Abdelhalim H.Wehrheim
Talks about:
control (3) system (3) csp (3) strategi (2) interfac (2) approach (2) consist (2) formal (2) refin (2) model (2)

Person: Steve Schneider

DBLP DBLP: Schneider:Steve

Contributed to:

IFM 20132013
FM 20122012
SEFM 20122012
IFM 20102010
IFM 20092009
IFM 20092011
SAC 20062006
IFM 20042004
World Congress on Formal Methods 19991999
IFM 19991999

Wrote 10 papers:

IFM-2013-MoranHS #automation #verification
Automated Anonymity Verification of the ThreeBallot Voting System (MM, JH, SS), pp. 94–108.
FM-2012-HeatherS #framework #modelling
A Formal Framework for Modelling Coercion Resistance and Receipt Freeness (JH, SS), pp. 217–231.
SEFM-2012-AbdelhalimST #approach #effectiveness #model checking #optimisation
An Optimization Approach for Effective Formalized fUML Model Checking (IA, SS, HT), pp. 248–262.
IFM-2010-SchneiderTW #approach #csp
A CSP Approach to Control in Event-B (SS, HT, HW), pp. 260–274.
IFM-2009-SchneiderT #csp #interface #refinement
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B (SS, HT), pp. 103–117.
IFM-J-2009-SchneiderT11 #csp #interface #refinement
Changing system interfaces consistently: A new refinement strategy for CSP||B (SS, HT), pp. 837–860.
SAC-2006-HeatherS #analysis #infinity #protocol #security
To infinity and beyond or, avoiding the infinite in security protocol analysis (JH, SS), pp. 346–353.
IFM-2004-SchneiderT #component #verification
Verifying Controlled Components (SS, HT), pp. 87–107.
FM-v1-1999-Schneider #abstraction #testing
Abstraction and Testing (SS), pp. 738–757.
IFM-1999-TreharneS #algebra #process #using
Using a Process Algebra to Control B Operations (HT, SS), pp. 437–456.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.