The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for refine with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1980-1988 (15) 1989-1990 (16) 1991-1992 (39) 1993 (16) 1994 (35) 1995 (25) 1996 (24) 1997 (33) 1998 (32) 1999 (58) 2000 (72) 2001 (69) 2002 (124) 2003 (108) 2004 (171) 2005 (220) 2006 (261) 2007 (280) 2008 (270) 2009 (186) 2010 (37) 2011 (21) 2012-2013 (31) 2014-2015 (32) 2016 (15) 2017 (19) 2018 (40) 2019 (21) 2020 (30) 2021 (36) 2022 (55) 2023 (65) 2024 (20)
Publication types (Num. hits)
article(494) incollection(10) inproceedings(1956) phdthesis(4) proceedings(12)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2154 occurrences of 1582 keywords

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