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 × China
1 × Denmark
1 × France
1 × Germany
1 × Greece
1 × Italy
1 × Switzerland
1 × The Netherlands
3 × United Kingdom
Collaborated with:
S.Schneider S.A.Schneider H.Wehrheim N.Evans I.Abdelhalim D.Karkinsky D.M.Williams E.Turner R.F.Paige D.S.Kolovos R.Laleau M.Frappier
Talks about:
system (4) csp (4) control (3) refin (3) model (3) strategi (2) properti (2) interfac (2) approach (2) process (2)

Person: Helen Treharne

DBLP DBLP: Treharne:Helen

Facilitated 1 volumes:

IFM 2012Ed

Contributed to:

IFM 20142014
SEFM 20122012
IFM 20102010
IFM 20092009
IFM 20092011
TOOLS Europe 20092009
IFM 20072007
IFM 20052005
IFM 20042004
SEFM 20042004
FME 20022002
IFM 19991999

Wrote 12 papers:

IFM-2014-SchneiderTWW #ltl #refinement
Managing LTL Properties in Event-B Refinement (SAS, HT, HW, DMW), pp. 221–237.
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.
TOOLS-EUROPE-2009-TreharneTPK #automation #formal method #generative #modelling #uml
Automatic Generation of Integrated Formal Models Corresponding to UML System Models (HT, ET, RFP, DSK), pp. 357–367.
Combining Mobility with State (DK, SAS, HT), pp. 373–392.
IFM-2005-SchneiderTE #component #csp #named #verification
Chunks: Component Verification in CSP||B (SAS, HT, NE), pp. 89–108.
IFM-2004-SchneiderT #component #verification
Verifying Controlled Components (SS, HT), pp. 87–107.
SEFM-2004-EvansTLF #how #information management #verification
How to Verify Dynamic Properties of Information Systems (NE, HT, RL, MF), pp. 416–425.
FME-2002-Treharne #development #process #uml
Supplementing a UML Development Process with B (HT), pp. 568–586.
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.