Search results for "Helen Treharne"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Steve Schneider, Helen Treharne	Changing system interfaces consistently: A new refinement strategy for CSP\|\|B.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
1	Steve Schneider, Helen Treharne, Heike Wehrheim	Bounded Retransmission in Event-B∥CSP: a Case Study.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Marie-Laure Potet, Helen Treharne	Preface.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Steve Schneider, Helen Treharne, Heike Wehrheim	A CSP Account of Event-B Refinement	Refine	2011	DBLP DOI BibTeX RDF
1	Islam Abdelhalim, Steve Schneider, Helen Treharne	Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP.	ICFEM	2011	DBLP DOI BibTeX RDF
1	Islam Abdelhalim, James Sharp, Steve A. Schneider, Helen Treharne	Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP.	ICFEM	2010	DBLP DOI BibTeX RDF
1	Weina Jiang, Anthony T. S. Ho, Helen Treharne, Yun Q. Shi	A Novel Multi-size Block Benford's Law Scheme for Printer Identification.	PCM	2010	DBLP DOI BibTeX RDF
1	Steve Schneider, Helen Treharne, Heike Wehrheim	A CSP Approach to Control in Event-B.	IFM	2010	DBLP DOI BibTeX RDF
1	David M. Williams, Helen Treharne, Anthony T. S. Ho	On the Importance of One-time Key Pairs in Buyer-seller Watermarking Protocols.	SECRYPT	2010	DBLP BibTeX RDF
1	Beeta Vajar, Steve Schneider, Helen Treharne	Mobile CSP\|\|B.	ECEASST	2009	DBLP BibTeX RDF
1	Weina Jiang, Anthony T. S. Ho, Helen Treharne	A Novel Least Distortion Linear Gain Model for Halftone Image Watermarking Incorporating Perceptual Quality Metrics.	T. Data Hiding and Multimedia Security	2009	DBLP DOI BibTeX RDF
1	Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos	Automatic Generation of Integrated Formal Models Corresponding to UML System Models.	TOOLS	2009	DBLP DOI BibTeX RDF	Epsilon, UML, Model transformation, CSP, B
1	Steve Schneider, Helen Treharne	Changing System Interfaces Consistently: A New Refinement Strategy for CSP\|\|B.	IFM	2009	DBLP DOI BibTeX RDF
1	Helen Treharne, Steve Schneider, Neil Grant, Neil Evans, Wilson Ifill	A Step towards Merging xUML and CSP \|\| {\\| \ }B.	Rigorous Methods for Software Construction and Analysis	2009	DBLP DOI BibTeX RDF
1	Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier	Applying CSP \|\| B to information systems.	Software and System Modeling	2008	DBLP DOI BibTeX RDF	Information systems, CSP, Compositional verification, B, Combining formalisms
1	Edward Turner, Helen Treharne, Steve Schneider, Neil Evans	Automatic Generation of CSP \|\| B Skeletons from xUML Models.	ICTAC	2008	DBLP DOI BibTeX RDF
1	David M. Williams, Helen Treharne, Anthony T. S. Ho, Chris Culnane	Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol.	MM&Sec	2008	DBLP DOI BibTeX RDF	buyer-seller watermarking protocol, customer's rights, unbinding, formal model, csp, formal analysis
1	Steve Schneider, Helen Treharne, Alistair McEwan, Wilson Ifill	Experiments in Translating CSP \|\| B to Handel-C.	CPA	2008	DBLP DOI BibTeX RDF
1	David M. Williams, Helen Treharne, Anthony T. S. Ho, Adrian Waller	Formal Analysis of Two Buyer-Seller Watermarking Protocols.	IWDW	2008	DBLP DOI BibTeX RDF
1	Helen Treharne, Edward Turner, Steve Schneider, Neil Evans	Object Modelling in the SystemB Industrial Project.	ABZ	2008	DBLP DOI BibTeX RDF
1	Neil Evans, Helen Treharne	Interactive tool support for CSP \|\| B consistency checking.	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF	Formal method integration, Tool supported verification, Rely/guarantee techniques, CSP, B
1	Wilson Ifill, Steve A. Schneider, Helen Treharne	Augmenting B with Control Annotations.	B	2007	DBLP DOI BibTeX RDF
1	Damien Karkinsky, Steve A. Schneider, Helen Treharne	Combining Mobility with State.	IFM	2007	DBLP DOI BibTeX RDF
1	Chris Culnane, Helen Treharne, Anthony T. S. Ho	Authenticating Binary Text Documents Using a Localising OMAC Watermark Robust to Printing and Scanning.	IWDW	2007	DBLP DOI BibTeX RDF
1	Weina Jiang, Anthony T. S. Ho, Helen Treharne	Least Distortion Halftone Image Data Hiding Watermarking by Optimizing an Iterative Linear Gain Control Model.	IWDW	2007	DBLP DOI BibTeX RDF
1	Xi Zhao, Anthony T. S. Ho, Helen Treharne, Vinod Pankajakshan, Chris Culnane, Weina Jiang	A Novel Semi-Fragile Image Watermarking, Authentication and Self-Restoration Technique Using the Slant Transform.	IIH-MSP	2007	DBLP DOI BibTeX RDF
1	Steve Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne	Tank monitoring: a pAMN case study.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Probabilistic B, Probabilistic predicate transformers, Formal methods, Refinement
1	Neil Evans, Helen Treharne	Linking Semantic Models to Support CSP \|\| B Consistency Checking.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Steve Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock	A Layered Behavioural Model of Platelets.	ICECCS	2006	DBLP DOI BibTeX RDF
1	Chris Culnane, Helen Treharne, Anthony T. S. Ho	A New Multi-set Modulation Technique for Increasing Hiding Capacity of Binary Watermark for Print and Scan Processes.	IWDW	2006	DBLP DOI BibTeX RDF
1	Neil Evans, Helen Treharne	Investigating a file transfer protocol using CSP and B.	Software and System Modeling	2005	DBLP DOI BibTeX RDF	CSP, Compositional verification, B, Combining formalisms
1	Steve Schneider, Helen Treharne	CSP theorems for communicating B machines.	Formal Asp. Comput.	2005	DBLP DOI BibTeX RDF
1	Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne	Tank Monitoring: A pAMN Case Study.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Steve A. Schneider, Helen Treharne, Neil Evans	Chunks: Component Verification in CSP\|\|B.	IFM	2005	DBLP DOI BibTeX RDF	Component based verification, decomposition, CSP, B-Method
1	Helen Treharne, Steve King, Martin C. Henson, Steve A. Schneider (eds.)	ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings	ZB	2005	DBLP BibTeX RDF
1	Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier	How to Verify Dynamic Properties of Information Systems.	SEFM	2004	DBLP DOI BibTeX RDF
1	Steve Schneider, Helen Treharne	Verifying Controlled Components.	IFM	2004	DBLP DOI BibTeX RDF
1	Helen Treharne, Steve Schneider, Marchia Bramble	Composing Specifications Using Communication.	ZB	2003	DBLP DOI BibTeX RDF	Composing Specifications, Concurrency, CSP, B-Method, Combining Formalisms
1	Steve Schneider, Helen Treharne	Communicating B Machines.	ZB	2002	DBLP DOI BibTeX RDF	Concurrency, CSP, B-Method, Combining Formalisms
1	Helen Treharne	Supplementing a UML Development Process with B.	FME	2002	DBLP DOI BibTeX RDF	B-Method, Stereotyping, UML Class Diagrams
1	Helen Treharne, Steve Schneider	How to Drive a B Machine.	ZB	2000	DBLP DOI BibTeX RDF	Programming Calculi, Embedded Systems, CSP, B-Method, Combining Formalisms
1	Helen Treharne, Steve Schneider	Using a Process Algebra to Control B Operations.	IFM	1999	DBLP BibTeX RDF
1	Helen Treharne, J. Draper, Steve Schneider	Test Case Preparation Using a Prototype.	B	1998	DBLP DOI BibTeX RDF	Formal Software Lifecycle, Prototype, B-Method

Publications of "Helen Treharne" ( http://dblp.L3S.de/Authors/Helen_Treharne )