Search results for "REFINE"

Hits ?▲	Authors	Title	Venue	Year	Link
73	Fiona Polack, Susan Stepney	Emergent Properties Do Not Refine.	REFINE	2005	DBLP DOI BibTeX RDF
56	John Derrick, Eerke A. Boiten (eds.)	Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005	REFINE	2005	DBLP BibTeX RDF
56	Kevin Lano, Kelly Androutsopoulos, David Clark 0001	Refinement Patterns for UML.	REFINE	2005	DBLP DOI BibTeX RDF
56	Robert Colvin, Simon Doherty, Lindsay Groves	Verifying Concurrent Data Structures by Simulation.	REFINE	2005	DBLP DOI BibTeX RDF
56	Ana Cavalcanti 0001, Jim Woodcock 0001	Angelic Nondeterminism and Unifying Theories of Programming.	REFINE	2005	DBLP DOI BibTeX RDF
56	Graeme Smith 0001, John Derrick	Model Checking Downward Simulations.	REFINE	2005	DBLP DOI BibTeX RDF
56	Diyaa-Addein Atiya, Steve King 0001, Jim Woodcock 0001	Simpler Reasoning About System Properties: a Proof-by-Refinement Technique.	REFINE	2005	DBLP DOI BibTeX RDF
56	Martin C. Henson, Besnik Kajtazi	The Specification Logic vZ.	REFINE	2005	DBLP DOI BibTeX RDF
56	Moshe Deutsch, Martin C. Henson	An Analysis of Operation-Refinement in an Abortive Paradigm.	REFINE	2005	DBLP DOI BibTeX RDF
56	Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack	Refinement via Consistency Checking in MDA.	REFINE	2005	DBLP DOI BibTeX RDF
56	Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne	Tank Monitoring: A pAMN Case Study.	REFINE	2005	DBLP DOI BibTeX RDF
56	John Derrick, Eerke A. Boiten	Preface.	REFINE	2005	DBLP DOI BibTeX RDF
56	Christie Bolton	Using the Alloy Analyzer to Verify Data Refinement in Z.	REFINE	2005	DBLP DOI BibTeX RDF
56	John A. Clark, Susan Stepney, Howard Chivers	Breaking the Model: Finalisation and a Taxonomy of Security Attacks.	REFINE	2005	DBLP DOI BibTeX RDF
38	John Derrick, Brijesh Dongol, Steve Reeves (eds.)	Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK, 18th July 2018.	Refine@FM	2018	DBLP DOI BibTeX RDF
38	Marwa Benabdelali, Lamia Labed Jilani, Wided Ghardallou, Ali Mili 0001	Programming Without Refining.	Refine@FM	2018	DBLP DOI BibTeX RDF
38	Eric C. R. Hehner	A Theory of Lazy Imperative Timing.	Refine@FM	2018	DBLP DOI BibTeX RDF
38	Ian J. Hayes	Some Challenges of Specifying Concurrent Program Components.	Refine@FM	2018	DBLP DOI BibTeX RDF
38	Graeme Smith 0001, Kirsten Winter, Robert J. Colvin	Correctness of Concurrent Objects under Weak Memory Models.	Refine@FM	2018	DBLP DOI BibTeX RDF
38	Emil Sekerinski, Shucai Yao	Refining Santa: An Exercise in Efficient Synchronization.	Refine@FM	2018	DBLP DOI BibTeX RDF
38	Mathieu Montin, Marc Pantel	Ordering Strict Partial Orders to Model Behavioral Refinement.	Refine@FM	2018	DBLP DOI BibTeX RDF
38	John Derrick, Eerke A. Boiten, Steve Reeves (eds.)	Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015.	Refine@FM	2016	DBLP DOI BibTeX RDF
38	Jason Koenig, K. Rustan M. Leino	Programming Language Features for Refinement.	Refine@FM	2015	DBLP DOI BibTeX RDF
38	Thomas Fayolle, Marc Frappier, Régine Laleau, Frédéric Gervais	Formal refinement of extended state machines.	Refine@FM	2015	DBLP DOI BibTeX RDF
38	Eerke A. Boiten	Big Data Refinement.	Refine@FM	2015	DBLP DOI BibTeX RDF
38	Mats Neovius, Luigia Petre, Kaisa Sere	A Theory of Service Dependency.	Refine@FM	2015	DBLP DOI BibTeX RDF
38	Brijesh Dongol, Lindsay Groves	Towards linking correctness conditions for concurrent objects and contextual trace refinement.	Refine@FM	2015	DBLP DOI BibTeX RDF
38	Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili 0001	Program Derivation by Correctness Enhacements.	Refine@FM	2015	DBLP DOI BibTeX RDF
38	Alvaro Miyazawa, Ana Cavalcanti 0001	SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java.	Refine@FM	2015	DBLP DOI BibTeX RDF
38	Gerard Ekembe Ngondi	Unifying Theories of Mobile Channels.	Refine@FM	2015	DBLP DOI BibTeX RDF
38	Alexandre Madeira, Manuel A. Martins 0001, Luís Soares Barbosa	A logic for n-dimensional hierarchical refinement.	Refine@FM	2015	DBLP DOI BibTeX RDF
38	John Derrick, Eerke A. Boiten, Steve Reeves (eds.)	Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013.	Refine@IFM	2013	DBLP DOI BibTeX RDF
38	Brijesh Dongol, John Derrick	Data refinement for true concurrency	Refine@IFM	2013	DBLP DOI BibTeX RDF
38	Michael J. Butler, John Colley, Andrew Edmunds, Colin F. Snook, Neil Evans, Neil Grant, Helen Marshall	Modelling and Refinement in CODA	Refine@IFM	2013	DBLP DOI BibTeX RDF
38	Frank Zeyda, Ana Cavalcanti 0001	Refining SCJ Mission Specifications into Parallel Handler Designs	Refine@IFM	2013	DBLP DOI BibTeX RDF
38	Nuno Amálio	Relaxing Behavioural Inheritance	Refine@IFM	2013	DBLP DOI BibTeX RDF
38	Alexandre Madeira, Manuel A. Martins 0001, Luís Soares Barbosa	Bisimilarity and refinement for hybrid(ised) logics	Refine@IFM	2013	DBLP DOI BibTeX RDF
38	Emil Sekerinski, Tian Zhang	On a New Notion of Partial Refinement	Refine@IFM	2013	DBLP DOI BibTeX RDF
38	John Derrick, Eerke A. Boiten, Steve Reeves (eds.)	Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.	Refine@FM	2011	DBLP DOI BibTeX RDF
38	John Derrick, Siobhán North, Anthony J. H. Simons	Building a refinement checker for Z	Refine@FM	2011	DBLP DOI BibTeX RDF
38	Gian Perrone, Søren Debois, Thomas T. Hildebrandt	Bigraphical Refinement	Refine@FM	2011	DBLP DOI BibTeX RDF
38	Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén	Concurrent Scheduling of Event-B Models	Refine@FM	2011	DBLP DOI BibTeX RDF
38	Alvaro Miyazawa, Ana Cavalcanti 0001	Refinement-based verification of sequential implementations of Stateflow charts	Refine@FM	2011	DBLP DOI BibTeX RDF
38	Steve A. Schneider, Helen Treharne, Heike Wehrheim	A CSP Account of Event-B Refinement	Refine@FM	2011	DBLP DOI BibTeX RDF
38	Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang	Formalising the Continuous/Discrete Modeling Step	Refine@FM	2011	DBLP DOI BibTeX RDF
38	Ukachukwu Ndukwu, Annabelle McIver	Model exploration and analysis for quantitative safety refinement in probabilistic B	Refine@FM	2011	DBLP DOI BibTeX RDF
38	Maria Teresa Llano, Andrew Ireland, Alison Pease	Discovery of Invariants through Automated Theory Formation	Refine@FM	2011	DBLP DOI BibTeX RDF
38	Steve Reeves, David Streader	Refinement for Probabilistic Systems with Nondeterminism	Refine@FM	2011	DBLP DOI BibTeX RDF
38	Eerke A. Boiten	Perspicuity and Granularity in Refinement	Refine@FM	2011	DBLP DOI BibTeX RDF
38	César Jesus Rodrigues, Manuel A. Martins 0001, Alexandre Madeira, Luís Soares Barbosa	Refinement by interpretation in π-institutions	Refine@FM	2011	DBLP DOI BibTeX RDF
38	Eerke A. Boiten, John Derrick, Steve Reeves (eds.)	Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009	REFINE@FMWeek	2009	DBLP BibTeX RDF
38	Frank Zeyda, Marcel Oliveira, Ana Cavalcanti 0001	Supporting ArcAngel in ProofPower.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
38	Jeff W. Sanders, Graeme Smith 0001	Refining Emergent Properties.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
38	Steve Reeves, David Streader	Guarded Operations, Refinement and Simulation.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
38	Wim H. Hesselink, Muhammad Ikram Ullah Lali	Formalizing a Hierarchical File System.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
38	Carroll Morgan	How to Brew-up a Refinement Ordering.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
38	Steve Dunne	Of wlp and CSP.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
38	Viorel Preoteasa, Ralph-Johan Back	Data Refinement of Invariant Based Programs.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
38	Thomas Ruhroth, Heike Wehrheim	Static Class Elements for Object-Z.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
38	T. M. Rabehaja, Jeff W. Sanders	Data Refinement with Probability in Mind.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
38	John Derrick, Eerke A. Boiten	Relational Concurrent Refinement: Automata.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
38	John Howse, Steve Schuman, Gem Stapleton, Ian Oliver	Diagrammatic Formal Specification of a Configuration Control Platform.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
38	César Jesus Rodrigues, José Nuno Oliveira, Luís Soares Barbosa	A Single Complete Relational Rule for Coalgebraic Refinement.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
38	Eerke A. Boiten, John Derrick, Steve Reeves	Preface.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
38	Stefan Hallerstede	Proving Quicksort Correct in Event-B.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
38	Manuel A. Martins 0001, Alexandre Madeira, Luís Soares Barbosa	Refinement by Interpretation in a General Setting.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
38	Eerke A. Boiten, John Derrick, Graeme Smith 0001 (eds.)	Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007	REFINE@IFM	2008	DBLP BibTeX RDF
38	Eerke A. Boiten, John Derrick, Gerhard Schellhorn (eds.)	Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008	Refine@FM	2008	DBLP BibTeX RDF
38	H.-Christian Estler, Heike Wehrheim	Alloy as a Refactoring Checker?	Refine@FM	2008	DBLP DOI BibTeX RDF
38	Steve Reeves, David Streader	General Refinement, Part Two: Flexible Refinement.	Refine@FM	2008	DBLP DOI BibTeX RDF
38	John Derrick, Eerke A. Boiten	More Relational Concurrent Refinement: Traces and Partial Relations.	Refine@FM	2008	DBLP DOI BibTeX RDF
38	Christine Choppy, Micaela Mayero, Laure Petrucci	Experimenting Formal Proofs of Petri Nets Refinements.	Refine@FM	2008	DBLP DOI BibTeX RDF
38	Emil Sekerinski	An Algebraic Approach to Refinement with Fair Choice.	Refine@FM	2008	DBLP DOI BibTeX RDF
38	Andrew Edmunds, Michael J. Butler	Linking Event-B and Concurrent Object-Oriented Programs.	Refine@FM	2008	DBLP DOI BibTeX RDF
38	Gerhard Schellhorn	Completeness of ASM Refinement.	Refine@FM	2008	DBLP DOI BibTeX RDF
38	Eerke A. Boiten, John Derrick, Gerhard Schellhorn	Preface.	Refine@FM	2008	DBLP DOI BibTeX RDF
38	Wim H. Hesselink	Simulation Refinement for Concurrency Verification.	Refine@FM	2008	DBLP DOI BibTeX RDF
38	Neil Evans	Refinement for Pipelining in Event-B.	Refine@FM	2008	DBLP DOI BibTeX RDF
38	Alexandre Madeira	Observational Refinement Process.	Refine@FM	2008	DBLP DOI BibTeX RDF
38	Marcel Oliveira, Ana Cavalcanti 0001	ArcAngelC: a Refinement Tactic Language for Circus.	Refine@FM	2008	DBLP DOI BibTeX RDF
38	Graeme Smith 0001, Tim McComb	Refactoring Real-time Specifications.	Refine@FM	2008	DBLP DOI BibTeX RDF
38	Maria Spichkova	Refinement-Based Verification of Interactive Real-Time Systems.	Refine@FM	2008	DBLP DOI BibTeX RDF
38	Steve Reeves, David Streader	General Refinement, Part One: Interfaces, Determinism and Special Refinement.	Refine@FM	2008	DBLP DOI BibTeX RDF
38	Georg Struth	Modal Tools for Separation and Refinement.	Refine@FM	2008	DBLP DOI BibTeX RDF
38	Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves (eds.)	Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006	Refine@ICFEM	2007	DBLP BibTeX RDF
38	Kazuhiro Ogata 0001, Kokichi Futatsugi	Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
38	Larissa Meinicke, Kim Solin	Refinement Algebra for Probabilistic Programs.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
38	Peter Höfner, Georg Struth	Can Refinement be Automated?	REFINE@IFM	2007	DBLP DOI BibTeX RDF
38	Johanna Tuominen, Tomi Westerlund, Juha Plosila	Power Aware System Refinement.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
38	John Derrick, Graeme Smith 0001	Using Model Checking to Automatically Find Retrieve Relations.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
38	Richard Banach, Gerhard Schellhorn	On the Refinement of Atomic Actions.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
38	Heike Wehrheim	Refinement in the Presence of Unknowns.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
38	Eerke A. Boiten, John Derrick, Graeme Smith 0001	Preface.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
38	Neil Evans, Neil Grant	Towards the Formal Verification of a Java Processor in Event-B.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
38	Lindsay Groves	Trace-based Derivation of a Lock-Free Queue Algorithm.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
38	Eerke A. Boiten, Dan Grundy	Reduction and Refinement.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
38	Arjan J. Mooij	Constructing and Reasoning About Security Protocols Using Invariants.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
38	Lindsay Groves, Robert Colvin	Derivation of a Scalable Lock-Free Stack Algorithm.	Refine@ICFEM	2006	DBLP DOI BibTeX RDF
38	David Hemer	Semi-Automated Component-Based Development of Formally Verified Software.	Refine@ICFEM	2006	DBLP DOI BibTeX RDF
38	King Sing Cheung, K. O. Chow	A Petri Net Based Method for Refining Object Oriented System Specifications.	Refine@ICFEM	2006	DBLP DOI BibTeX RDF