|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 46 publication records. Showing 46 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marwa Benabdelali, Lamia Labed Jilani, Wided Ghardallou, Ali Mili 0001 |
Programming Without Refining.  |
Refine@FM  |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Eric C. R. Hehner |
A Theory of Lazy Imperative Timing. |
Refine@FM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes |
Some Challenges of Specifying Concurrent Program Components. |
Refine@FM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith 0001, Kirsten Winter, Robert J. Colvin |
Correctness of Concurrent Objects under Weak Memory Models. |
Refine@FM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Sekerinski, Shucai Yao |
Refining Santa: An Exercise in Efficient Synchronization. |
Refine@FM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Montin, Marc Pantel |
Ordering Strict Partial Orders to Model Behavioral Refinement. |
Refine@FM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Jason Koenig, K. Rustan M. Leino |
Programming Language Features for Refinement. |
Refine@FM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Fayolle, Marc Frappier, Régine Laleau, Frédéric Gervais |
Formal refinement of extended state machines. |
Refine@FM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten |
Big Data Refinement. |
Refine@FM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Neovius, Luigia Petre, Kaisa Sere |
A Theory of Service Dependency. |
Refine@FM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Brijesh Dongol, Lindsay Groves |
Towards linking correctness conditions for concurrent objects and contextual trace refinement. |
Refine@FM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili 0001 |
Program Derivation by Correctness Enhacements. |
Refine@FM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alvaro Miyazawa, Ana Cavalcanti 0001 |
SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java. |
Refine@FM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerard Ekembe Ngondi |
Unifying Theories of Mobile Channels. |
Refine@FM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Madeira, Manuel A. Martins 0001, Luís Soares Barbosa |
A logic for n-dimensional hierarchical refinement. |
Refine@FM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Siobhán North, Anthony J. H. Simons |
Building a refinement checker for Z |
Refine@FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Perrone, Søren Debois, Thomas T. Hildebrandt |
Bigraphical Refinement |
Refine@FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén |
Concurrent Scheduling of Event-B Models |
Refine@FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Alvaro Miyazawa, Ana Cavalcanti 0001 |
Refinement-based verification of sequential implementations of Stateflow charts |
Refine@FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve A. Schneider, Helen Treharne, Heike Wehrheim |
A CSP Account of Event-B Refinement |
Refine@FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang |
Formalising the Continuous/Discrete Modeling Step |
Refine@FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ukachukwu Ndukwu, Annabelle McIver |
Model exploration and analysis for quantitative safety refinement in probabilistic B |
Refine@FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Teresa Llano, Andrew Ireland, Alison Pease |
Discovery of Invariants through Automated Theory Formation |
Refine@FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Reeves, David Streader |
Refinement for Probabilistic Systems with Nondeterminism |
Refine@FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten |
Perspicuity and Granularity in Refinement |
Refine@FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | H.-Christian Estler, Heike Wehrheim |
Alloy as a Refactoring Checker? |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Reeves, David Streader |
General Refinement, Part Two: Flexible Refinement. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
More Relational Concurrent Refinement: Traces and Partial Relations. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Choppy, Micaela Mayero, Laure Petrucci |
Experimenting Formal Proofs of Petri Nets Refinements. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Sekerinski |
An Algebraic Approach to Refinement with Fair Choice. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Edmunds, Michael J. Butler |
Linking Event-B and Concurrent Object-Oriented Programs. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Schellhorn |
Completeness of ASM Refinement. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Gerhard Schellhorn |
Preface. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim H. Hesselink |
Simulation Refinement for Concurrency Verification. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Evans |
Refinement for Pipelining in Event-B. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Madeira |
Observational Refinement Process. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Oliveira, Ana Cavalcanti 0001 |
ArcAngelC: a Refinement Tactic Language for Circus. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith 0001, Tim McComb |
Refactoring Real-time Specifications. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Spichkova |
Refinement-Based Verification of Interactive Real-Time Systems. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Reeves, David Streader |
General Refinement, Part One: Interfaces, Determinism and Special Refinement. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Struth |
Modal Tools for Separation and Refinement. |
Refine@FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
Displaying result #1 - #46 of 46 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license