Search results for "FACS"

Hits ?▲	Authors	Title	Venue	Year	Link
24	Christine Choppy, Micaela Mayero, Laure Petrucci	Experimenting Formal Proofs of Petri Nets Refinements.	Refine@FM	2008	DBLP DOI BibTeX RDF
24	Emil Sekerinski	An Algebraic Approach to Refinement with Fair Choice.	Refine@FM	2008	DBLP DOI BibTeX RDF
24	Andrew Edmunds, Michael J. Butler	Linking Event-B and Concurrent Object-Oriented Programs.	Refine@FM	2008	DBLP DOI BibTeX RDF
24	Gerhard Schellhorn	Completeness of ASM Refinement.	Refine@FM	2008	DBLP DOI BibTeX RDF
24	Eerke A. Boiten, John Derrick, Gerhard Schellhorn	Preface.	Refine@FM	2008	DBLP DOI BibTeX RDF
24	Wim H. Hesselink	Simulation Refinement for Concurrency Verification.	Refine@FM	2008	DBLP DOI BibTeX RDF
24	Neil Evans	Refinement for Pipelining in Event-B.	Refine@FM	2008	DBLP DOI BibTeX RDF
24	Alexandre Madeira	Observational Refinement Process.	Refine@FM	2008	DBLP DOI BibTeX RDF
24	Marcel Oliveira, Ana Cavalcanti 0001	ArcAngelC: a Refinement Tactic Language for Circus.	Refine@FM	2008	DBLP DOI BibTeX RDF
24	Graeme Smith 0001, Tim McComb	Refactoring Real-time Specifications.	Refine@FM	2008	DBLP DOI BibTeX RDF
24	Maria Spichkova	Refinement-Based Verification of Interactive Real-Time Systems.	Refine@FM	2008	DBLP DOI BibTeX RDF
24	Steve Reeves, David Streader	General Refinement, Part One: Interfaces, Determinism and Special Refinement.	Refine@FM	2008	DBLP DOI BibTeX RDF
24	Georg Struth	Modal Tools for Separation and Refinement.	Refine@FM	2008	DBLP DOI BibTeX RDF
24	Kazuhiro Ogata 0001, Kokichi Futatsugi	Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
24	Larissa Meinicke, Kim Solin	Refinement Algebra for Probabilistic Programs.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
24	Peter Höfner, Georg Struth	Can Refinement be Automated?	REFINE@IFM	2007	DBLP DOI BibTeX RDF
24	Johanna Tuominen, Tomi Westerlund, Juha Plosila	Power Aware System Refinement.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
24	John Derrick, Graeme Smith 0001	Using Model Checking to Automatically Find Retrieve Relations.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
24	Richard Banach, Gerhard Schellhorn	On the Refinement of Atomic Actions.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
24	Heike Wehrheim	Refinement in the Presence of Unknowns.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
24	Eerke A. Boiten, John Derrick, Graeme Smith 0001	Preface.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
24	Neil Evans, Neil Grant	Towards the Formal Verification of a Java Processor in Event-B.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
24	Lindsay Groves	Trace-based Derivation of a Lock-Free Queue Algorithm.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
24	Eerke A. Boiten, Dan Grundy	Reduction and Refinement.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
24	Arjan J. Mooij	Constructing and Reasoning About Security Protocols Using Invariants.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
24	Ania Wojdel, Léon J. M. Rothkrantz	Parametric Generation of Facial Expressions Based on FACS.	Comput. Graph. Forum	2005	DBLP DOI BibTeX RDF
24	Filip Van Rysselberghe, Serge Demeyer	Mining Version Control Systems for FACs (Frequently Applied Changes).	MSR	2004	DBLP BibTeX RDF
24	Ken Krechmer	Face the FACS.	SIIT	2003	DBLP DOI BibTeX RDF
24	John Derrick, Eerke A. Boiten, Jim Woodcock 0001, Joakim von Wright (eds.)	BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002	Refine	2002	DBLP BibTeX RDF
24	Kai Engelhardt	Towards a refinement theory that supports reasoning about knowledge and time for multiple agents.	Refine	2002	DBLP DOI BibTeX RDF
24	Luke Wildman, Colin J. Fidge	The variety of variables in computer-aided real-time programming.	Refine	2002	DBLP DOI BibTeX RDF
24	Matthias Anlauff, Asuman Sünbül	Towards component based systems: refining connectors.	Refine	2002	DBLP DOI BibTeX RDF
24	Jim Davies, Charles Crichton	Concurrency and refinement in the UML.	Refine	2002	DBLP DOI BibTeX RDF
24	Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu	Refinement of actions in a real-time process algebra with a true concurrency model.	Refine	2002	DBLP DOI BibTeX RDF
24	Antónia Lopes, José Luiz Fiadeiro	Superposition: Composition vs refinement of non-deterministic action-based systems.	Refine	2002	DBLP DOI BibTeX RDF
24	Susan Stepney, Fiona Polack, Ian Toyn	Refactoring in maintenance and development of Z specifications.	Refine	2002	DBLP DOI BibTeX RDF
24	Yngve Lamo, Michal Walicki	Composition and refinement of specifications and parameterised data types.	Refine	2002	DBLP DOI BibTeX RDF
24	Ralph-Johan Back, Joakim von Wright	Compositional Action System Refinement.	Refine	2002	DBLP DOI BibTeX RDF
24	Steve Dunne	Junctive Compositions of specifications in total, general correctness.	Refine	2002	DBLP DOI BibTeX RDF
24	Márcio Cornélio, Ana Cavalcanti 0001, Augusto Sampaio	Refactoring by Transformation.	Refine	2002	DBLP DOI BibTeX RDF
24	Eerke A. Boiten, John Derrick	Unifying concurrent and relational refinement.	Refine	2002	DBLP DOI BibTeX RDF
24	Lindsay Groves	Refinement and the Z schema calculus.	Refine	2002	DBLP DOI BibTeX RDF
24	Adrian J. Hilton, Jon G. Hall	Refining specifications to programmable logic.	Refine	2002	DBLP DOI BibTeX RDF
24	Bernhard K. Aichernig	Contract-based mutation testing in the refinement calculus.	Refine	2002	DBLP DOI BibTeX RDF
24	Harald Fecher, Mila E. Majster-Cederbaum	Taking decisions late: end-based choice combined with action refinement.	Refine	2002	DBLP DOI BibTeX RDF
24	Christie Bolton, Jim Davies	A comparison of refinement orderings and their associated simulation rules.	Refine	2002	DBLP DOI BibTeX RDF
24	John Derrick, Eerke A. Boiten, Jim Woodcock 0001, Joakim von Wright	Preface.	Refine	2002	DBLP DOI BibTeX RDF
24	Emil Sekerinski	Tabular verification and refinement.	Refine	2002	DBLP DOI BibTeX RDF
24	Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001	Refinement of actions in Circus.	Refine	2002	DBLP DOI BibTeX RDF
24	James Jenn-Jier Lien, Takeo Kanade, Jeffrey F. Cohn, Ching-Chung Li	Automated Facial Expression Recognition Based on FACS Action Units.	FG	1998	DBLP BibTeX RDF
24	Yuanzhong Li, Hidefumi Kobatake	Extraction of facial sketch images and expression transformation based on FACS.	ICIP (3)	1995	DBLP DOI BibTeX RDF
24	David Till (eds.)	6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994	Refine	1994	DBLP DOI BibTeX RDF
24	Lindsay Groves	Deriving language recognition algorithms: A case study in combining program specialisation and data refinement.	Refine	1994	DBLP DOI BibTeX RDF
24	Joakim von Wright	Program Refinement by Theorem Prover.	Refine	1994	DBLP DOI BibTeX RDF
24	Colin J. Fidge	Proof Obligations for Real-Time Refinement.	Refine	1994	DBLP DOI BibTeX RDF
24	Mike Ainsworth, Peter J. L. Wallis	Co-Refinement.	Refine	1994	DBLP DOI BibTeX RDF
24	Howard P. Haughton, Kevin Lano	Testing and Safety Analysis of AM (Abstract Machine) Specifications.	Refine	1994	DBLP DOI BibTeX RDF
24	Kevin Lano, Howard P. Haughton	Improving the Process of System Specification and Refinement in B.	Refine	1994	DBLP DOI BibTeX RDF
24	Carsta Petersohn, Willem-Paul de Roever, Cornelis Huizing, Jan Peleska 0001	Formal Semantics for Ward & Mellor's Transformation Schemas.	Refine	1994	DBLP DOI BibTeX RDF
24	David Garlan	Using Refinement to Understand Architectural Connection.	Refine	1994	DBLP DOI BibTeX RDF
24	Kevin Lano	Refinement in Object-Oriented Specification Languages.	Refine	1994	DBLP DOI BibTeX RDF
24	Theodore S. Norvell	Machine Code Programs are Predicates Too.	Refine	1994	DBLP DOI BibTeX RDF
24	Yves Ledru, Pierre Collette	Environment-based Development of Reactive Systems.	Refine	1994	DBLP DOI BibTeX RDF
24	Juan Bicarregui	Operation Semantics with Read and Write Frames.	Refine	1994	DBLP DOI BibTeX RDF
24	Qiwen Xu, Jifeng He 0001	Laws of Parallel Programming with Shared Variables.	Refine	1994	DBLP DOI BibTeX RDF
24	Pierre Bieber, Nora Boulahia-Cuppens	Formal Development of Authentication Protocols.	Refine	1994	DBLP DOI BibTeX RDF
24	Raymond G. Nickson, Lindsay J. Groves	Metavariables and Conditional Refinements in the Refinement Calculus.	Refine	1994	DBLP DOI BibTeX RDF
24	Cliff B. Jones, Roger C. Shaw, B. Tim Denvir (eds.)	5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992	Refine	1992	DBLP DOI BibTeX RDF
24	B. Tim Denvir, Ros Herman, Robin W. Whitty (eds.)	Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, UK, 5 May 1991	Formal Aspects of Measurement	1992	DBLP BibTeX RDF
24	J. C. P. Woodcock	Implementing Promoted Operations in Z.	Refine	1992	DBLP DOI BibTeX RDF
24	Lindsay Groves, Raymond G. Nickson, Mark Utting	A Tactic Driven Refinement Tool.	Refine	1992	DBLP DOI BibTeX RDF
24	Ketil Stølen	Proving Total Correctness with Respect to a Fair (Shared-State) Parallel Language.	Refine	1992	DBLP DOI BibTeX RDF
24	Qiwen Xu, Jifeng He 0001	A case study in formally developing state-based parallel programs - the Dutch National Torus.	Refine	1992	DBLP DOI BibTeX RDF
24	Tim Clement	Using Metavariables in Natural Deduction Proofs.	Refine	1992	DBLP DOI BibTeX RDF
24	Roger Bishop Jones	Methods and Tools for the Verification of Critical Properties.	Refine	1992	DBLP DOI BibTeX RDF
24	Patrick O'Ferrall	Opening Address.	Refine	1992	DBLP DOI BibTeX RDF
24	Job Zwiers, J. Coenen, Willem P. de Roever	A Note on Compositional Refinement.	Refine	1992	DBLP DOI BibTeX RDF
24	Maurice Naftalin	A Model of the Refinement Process.	Refine	1992	DBLP DOI BibTeX RDF
24	Jeannette M. Wing	Revisiting Abstraction Functions For Reasoning About Concurrency.	Refine	1992	DBLP DOI BibTeX RDF
24	Antonio Cau, Ruurd Kuiper 0001, Willem-Paul de Roever	Formalising Dijkstra's Development Strategy within Stark's Formalism.	Refine	1992	DBLP DOI BibTeX RDF
24	Martin P. Ward	A Recursion Removal Theorem.	Refine	1992	DBLP DOI BibTeX RDF
24	Jim Grundy	A Window Inference Tool for Refinement.	Refine	1992	DBLP DOI BibTeX RDF
24	Robin Milner	Concurrent Processes as Objects.	Refine	1992	DBLP DOI BibTeX RDF
24	Morten Elvang-Gøransson	Classification of Refinements in VDM.	Refine	1992	DBLP DOI BibTeX RDF
24	José N. Oliveira	Software Reification using the SETS Calculus.	Refine	1992	DBLP DOI BibTeX RDF
24	Andrew M. Gravell	Constructive Refinement of First Order Specifications.	Refine	1992	DBLP DOI BibTeX RDF
24	C. T. Sennett	Demonstrating the Compliance of Ada Programs with Z Specifications.	Refine	1992	DBLP DOI BibTeX RDF
24	Colin O'Halloran	Refinement and Confidentiality.	Refine	1992	DBLP DOI BibTeX RDF
24	James M. Bieman, Norman E. Fenton, David A. Gustafson, Austin Melton, Robin W. Whitty	Moving from Philosophy to Practice in Software Measurement.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
24	Norman E. Fenton	Software Measurement: Why a Formal Approach?	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
24	Barbara A. Kitchenham	Never Mind the Metrics What About the Numbers.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
24	Horst Zuse, Peter Bollmann-Sdorra	Measurement Theory and Software Measures.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
24	David A. Gustafson, Baba Prasad	Properties of Software Measures.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
24	David A. Gustafson, Ramón A. Mata-Toledo, Richard E. Courtney, Naim Temsamani	A Critique of Validation/Verification Techniques for Software Development Measures.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
24	Robin W. Whitty	Multi-dimensional Software Metrics.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
24	Meg Russell	The Mathematics of Measurement in Software Engineering.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
24	Michael D. Rice	Complexity Measures on Trees.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
24	James M. Bieman	Deriving Measures of Software Reuse in Object Oriented Systems.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
24	Norbert Fuchs, Sieglinde Stainer	Language Independent Definition of Axiomatic Metrics.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
24	Martin J. Shepperd	Algebraic Models and Metric Validation.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF