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: Schneider:Steve
Contributed to:
2013
2012
2012201020092011
2006200419991999Wrote 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.