Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
123 | Xinyu Feng 0001 |
Local rely-guarantee reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 315-327, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
rely-guarantee reasoning, concurrency, information hiding, separation logic, local reasoning |
93 | Raffi Khatchadourian, Neelam Soundarajan |
Rely-guarantee approach to reasoning about aspect-oriented programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLAT ![In: Proceedings of the 5th Workshop on Software Engineering Properties of Languages and Aspect Technologies, SPLAT 2007, Vancouver, British Columbia, Canada, March 12-16, 2007, pp. 5, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented software, modular verification, rely-guarantee |
86 | Neil Henderson |
Proving the Correctness of Simpson's 4-Slot ACM Using an Assertional Rely-Guarantee Proof Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 244-263, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
assertion networks, asynchronous communication, rely-guarantee |
86 | Jürgen Dingel, David Garlan, Somesh Jha, David Notkin |
Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 10(3), pp. 193-213, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Rely/guarantee, Assumption/commitment, Implicit invocation |
78 | Pascal Fenkam, Harald C. Gall, Mehdi Jazayeri |
Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 636-657, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
rely/guarantee, deadlock, parallel systems, event-based systems, auxiliary variables |
78 | Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen |
Refinement and Composition of Transition-based Rely-Guarantee Specification with Auxiliary Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings, pp. 332-348, 1990, Springer, 3-540-53487-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Rely-guarantee specification, transition systems, compositional verification, safety properties, shared variables |
70 | Eugene W. Stark |
A Proof Technique for Rely/Guarantee Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings, pp. 369-391, 1985, Springer, 3-540-16042-6. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
55 | Viktor Vafeiadis, Matthew J. Parkinson |
A Marriage of Rely/Guarantee and Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings, pp. 256-271, 2007, Springer, 978-3-540-74406-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Joey W. Coleman |
Expression Decomposition in a Rely/Guarantee Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings, pp. 146-160, 2008, Springer, 978-3-540-87872-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
48 | Cliff B. Jones, Ken G. Pierce |
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 360-377, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
46 | Tom Ridge |
Verifying distributed systems: the operational approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 429-440, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ground and symbolic evaluation, hoare-style assertions, persistent queue, rely/guarantee, distributed, refinement, invariants, network protocol, operational semantics, infrastructure, separation, linearizability, hol, ocaml, local reasoning, inductive reasoning |
46 | Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro 0001 |
Proving correctness of highly-concurrent linearisable objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2006, New York, New York, USA, March 29-31, 2006, pp. 129-136, 2006, ACM, 1-59593-189-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
rely-guarantee reasoning, shared-memory concurrency, formal verification, concurrent programming, linearisability |
46 | Xinyu Feng 0001, Zhong Shao |
Modular verification of concurrent assembly code with dynamic thread creation and termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 254-267, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
concurrency verification, dynamic thread creation, proof-carrying code, rely-guarantee |
44 | Mike Dodds, Xinyu Feng 0001, Matthew J. Parkinson, Viktor Vafeiadis |
Deny-Guarantee Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 363-377, 2009, Springer, 978-3-642-00589-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Hasan Amjad, Richard Bornat |
Towards Automatic Stability Analysis for Rely-Guarantee Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings, pp. 14-28, 2009, Springer, 978-3-540-93899-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Leonor Prensa Nieto |
The Rely-Guarantee Method in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 348-362, 2003, Springer, 3-540-00886-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever |
Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1245-1265, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Raffi Khatchadourian, Johan Dovland, Neelam Soundarajan |
Enforcing behavioral constraints in evolving aspect-oriented programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2008, Brussels, Belgium, April 1, 2008, pp. 19-28, 2008, ACM, 978-1-60558-110-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, modular reasoning, rely-guarantee |
38 | Neil Evans, Helen Treharne |
Interactive tool support for CSP || B consistency checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 19(3), pp. 277-302, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Formal method integration, Tool supported verification, Rely/guarantee techniques, CSP, B |
38 | Alan Burns 0001, Tse-Min Lin |
An engineering process for the verification of real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 19(1), pp. 111-136, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Rely/guarantee conditions, Model checking, Scheduling analysis, UPPAAL, SPARK, Ada95, Ravenscar profile |
38 | Marc Shapiro 0001 |
Practical proofs of concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, pp. 123, 2006, ACM, 1-59593-309-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
concurrent programming, assertions, hoare logic, program proofs, rely-guarantee |
38 | Ralph-Johan Back, Joakim von Wright |
Compositional Action System Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 15(2-3), pp. 103-117, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Rely/guarantee, Refinement, Compositionality, Action systems |
38 | Ekkart Kindler |
A Compositional Partial Order Semantics for Petri Net Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings, pp. 235-252, 1997, Springer, 3-540-63139-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Petri net component, rely-guarantee specification, fully abstract, compositional semantics, partial order semantics |
33 | Yongwang Zhao, David Sanán |
Rely-guarantee Reasoning about Concurrent Reactive Systems: The PiCore Framework, Languages Integration and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.09148, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Yongwang Zhao, David Sanán |
Rely-guarantee Reasoning about Concurrent Memory Management: Correctness, Safety and Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.09997, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Cliff B. Jones, Alan Burns 0001 |
Extending Rely-Guarantee thinking to handle Real-Time Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.00171, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Nisansala P. Yatapanage |
Rely/Guarantee, Refinement and the ABA Problem: Part 1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.15250, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Ori Lahav 0001, Brijesh Dongol, Heike Wehrheim |
Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.08486, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Nisansala P. Yatapanage, Cliff B. Jones |
Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.15189, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | ShangBei Wang, WeiYu Dong |
Matching Logic for Concurrent Programs Based on Rely/Guarantee and Abstract Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 33(2), pp. 257-288, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Ori Lahav 0001, Brijesh Dongol, Heike Wehrheim |
Rely-Guarantee Reasoning for Causally Consistent Shared Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I, pp. 206-229, 2023, Springer, 978-3-031-37705-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Huan Sun, Ziyu Mao, Jingyi Wang, Ziyan Zhao, Wenhai Wang |
Applying Rely-Guarantee Reasoning on Concurrent Memory Management and Mailbox in μC/OS-II: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings, pp. 224-241, 2023, Springer, 978-3-031-43680-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Larissa A. Meinicke, Ian J. Hayes |
Using scylindric algebra to support local variables in rely/guarantee concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023, pp. 108-119, 2023, IEEE, 979-8-3503-1263-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Thomas Pani, Georg Weissenbacher, Florian Zuleger |
Rely-guarantee bound analysis of parameterized concurrent shared-memory programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 57(2), pp. 270-302, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
33 | Ian J. Hayes, Larissa A. Meinicke, Patrick A. Meiring |
Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.15292, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
33 | David Sanán, Yongwang Zhao, Shang-Wei Lin 0001, Yang Liu 0003 |
CSim2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 43(1), pp. 2:1-2:46, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
33 | Nicholas Coughlin, Kirsten Winter, Graeme Smith 0001 |
Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 292-310, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
33 | Cliff B. Jones, Alan Burns 0001 |
A Rely-Guarantee Specification of Mixed-Criticality Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.01493, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
33 | Nicholas Coughlin, Graeme Smith 0001 |
Rely/Guarantee Reasoning for Noninterference in Non-Blocking Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 33rd IEEE Computer Security Foundations Symposium, CSF 2020, Boston, MA, USA, June 22-26, 2020, pp. 380-394, 2020, IEEE, 978-1-7281-6572-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
33 | Wenjing Xul, Yongwang Zhao, Dianfu Ma, YuXin Zhang, Qian Xiao |
Rely-Guarantee Reasoning about Messaging System for Autonomous Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 89-96, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
33 | Xuan-Bach Le, David Sanán, Jun Sun 0001, Shang-Wei Lin 0001 |
Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020, Singapore, October 28-31, 2020, pp. 43-52, 2020, IEEE, 978-1-7281-8558-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
33 | Larissa A. Meinicke, Ian J. Hayes |
Handling localisation in rely/guarantee concurrency: An algebraic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.04005, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
33 | Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek |
Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 63(2), pp. 489-515, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Cliff B. Jones, Nisansala Yatapanage |
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 31(3), pp. 353-374, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Yongwang Zhao, David Sanán |
Rely-Guarantee Reasoning About Concurrent Memory Management in Zephyr RTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II, pp. 515-533, 2019, Springer, 978-3-030-25542-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu 0003 |
A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 161-178, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Ian J. Hayes, Larissa A. Meinicke |
Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings, pp. 176-197, 2019, Springer, 978-3-030-31037-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Yannick Zakowski, David Cachera, Delphine Demange, David Pichardie |
Verified compilation of linearizable data structures: mechanizing rely guarantee for semantic refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018, pp. 1881-1890, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Thomas Pani, Georg Weissenbacher, Florian Zuleger |
Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-9, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin |
Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 59(1), pp. 47-85, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
33 | Colin S. Gordon, Michael D. Ernst, Dan Grossman, Matthew J. Parkinson |
Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 39(3), pp. 11:1-11:54, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
33 | Ian J. Hayes, Cliff B. Jones |
A Guide to Rely/Guarantee Thinking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETSS ![In: Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures, pp. 1-38, 2017, Springer, 978-3-030-02927-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
33 | David Sanán, Yongwang Zhao, Zhe Hou, Fuyuan Zhang, Alwen Tiu, Yang Liu 0003 |
CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (1) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I, pp. 481-498, 2017, 978-3-662-54576-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
33 | Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek |
Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings, pp. 496-513, 2017, Springer, 978-3-319-66106-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
33 | Cliff B. Jones, Andrius Velykis, Nisansala Yatapanage |
General Lessons from a Rely/Guarantee Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings, pp. 3-22, 2017, Springer, 978-3-319-69482-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
33 | Diego Machado Dias |
Mechanising an algebraic rely-guarantee refinement calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
33 | Annabelle McIver, Tahiry M. Rabehaja, Georg Struth |
Probabilistic rely-guarantee calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 655, pp. 120-134, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
33 | Ian J. Hayes |
Generalised rely-guarantee concurrency: An algebraic foundation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1603.01776, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Ian J. Hayes |
Generalised rely-guarantee concurrency: an algebraic foundation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 28(6), pp. 1057-1078, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
33 | Stephan van Staden |
On Rely-Guarantee Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings, pp. 30-49, 2015, Springer, 978-3-319-19796-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
33 | Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis |
Rely/Guarantee Reasoning for Asynchronous Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 483-496, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
33 | Annabelle McIver, Tahiry M. Rabehaja, Georg Struth |
Probabilistic Rely-guarantee Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1409.0582, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
33 | Jinjiang Lei, Zongyan Qiu |
Rely-Guarantee Based Reasoning for Message-Passing Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Ann. Comput. Sci. ![In: Sci. Ann. Comput. Sci. 24(2), pp. 217-252, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
33 | Hongjin Liang 0001, Xinyu Feng 0001, Ming Fu |
Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 36(1), pp. 3:1-3:55, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
33 | Alasdair Armstrong, Victor B. F. Gomes, Georg Struth |
Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 78-93, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
33 | Filipe Militão, Jonathan Aldrich, Luís Caires |
Rely-Guarantee Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings, pp. 334-359, 2014, Springer, 978-3-662-44201-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
33 | Alasdair Armstrong, Victor B. F. Gomes, Georg Struth |
Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1312.1225, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
33 | Ian J. Hayes |
Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers, pp. 1-2, 2013, Springer, 978-3-319-05415-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Colin S. Gordon, Michael D. Ernst, Dan Grossman |
Rely-guarantee references for refinement types over aliased mutable data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, Seattle, WA, USA, June 16-19, 2013, pp. 73-84, 2013, ACM, 978-1-4503-2014-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Xiaofeng Wu, Qiwen Xu, Huibiao Zhu |
Formal Analysis of AODV Using Rely-Guarantee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 45-48, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Hongjin Liang 0001, Xinyu Feng 0001, Ming Fu |
A rely-guarantee-based simulation for verifying concurrent program transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012, pp. 455-468, 2012, ACM, 978-1-4503-1083-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Said Rabah Azzam, Shikun Zhou |
Implementation methodology of Rely/Guarantee plug-in for Protégé. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITST ![In: 7th International Conference for Internet Technology and Secured Transactions, ICITST 2012, London, United Kingdom, December 10-12, 2012, pp. 710-714, 2012, IEEE, 978-1-4673-5325-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
33 | Brijesh Dongol, Ian J. Hayes |
Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 39-53, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
33 | William Mansky, Elsa L. Gunter |
Using Locales to Define a Rely-Guarantee Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings, pp. 299-314, 2012, Springer, 978-3-642-32346-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu |
The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings, pp. 172-187, 2012, Springer, 978-3-642-33825-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Wolfgang Reif |
Interleaved Programs and Rely-Guarantee Reasoning with ITL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011, pp. 99-106, 2011, IEEE, 978-1-4577-1242-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
33 | Richard Bornat, Hasan Amjad |
Inter-process buffers in separation logic with rely-guarantee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 22(6), pp. 735-772, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Tom Ridge |
A Rely-Guarantee Proof System for x86-TSO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings, pp. 55-70, 2010, Springer, 978-3-642-15056-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
33 | John Wickerson, Mike Dodds, Matthew J. Parkinson |
Explicit Stabilisation for Modular Rely-Guarantee Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, pp. 610-629, 2010, Springer, 978-3-642-11956-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Kenneth George Pierce |
Enhancing the usability of rely-guarantee conditions for atomicity refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
33 | Hasan Amjad, Richard Bornat |
Model Checking for Stability Analysis in Rely-Guarantee Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
33 | Joey W. Coleman, Cliff B. Jones |
A Structural Proof of the Soundness of Rely/guarantee Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 17(4), pp. 807-841, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Joshua D. Guttman, F. Javier Thayer, Jay A. Carlson, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen |
Trust Management in Strand Spaces: A Rely-Guarantee Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 325-339, 2004, Springer, 3-540-21313-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Leonor Prensa Nieto |
Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2002 |
RDF |
|
33 | Carlos H. C. Duarte, T. S. E. Maibaum |
A rely-guarantee discipline for open distributed systems design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 74(1-2), pp. 55-63, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Pierre Collette, Cliff B. Jones |
Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proof, Language, and Interaction ![In: Proof, Language, and Interaction, Essays in Honour of Robin Milner, pp. 277-308, 2000, The MIT Press, 978-0-262-16188-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
33 | Qiwen Xu, Willem P. de Roever, Jifeng He 0001 |
The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 9(2), pp. 149-174, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Ketil Stølen |
An Attempt to Reason about Shared-State Concurrency in the Style of VDM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe (1) ![In: VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions, pp. 324-342, 1991, Springer, 3-540-54834-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever |
Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings, pp. 267-283, 1997, Springer, 3-540-63876-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Pierre Collette |
Application of the Composition Principle to Unity-like Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings, pp. 230-242, 1993, Springer, 3-540-56610-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Xinyu Feng 0001, Rodrigo Ferreira, Zhong Shao |
On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 173-188, 2007, Springer, 978-3-540-71314-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Cristiano Calcagno, Matthew J. Parkinson, Viktor Vafeiadis |
Modular Safety Checking for Fine-Grained Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings, pp. 233-248, 2007, Springer, 978-3-540-74060-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
7 | C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman |
Foundations of Concurrent Kleene Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings, pp. 166-186, 2009, Springer, 978-3-642-04638-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
A calculus of atomic actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 2-15, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
abstraction, concurrent programs, reduction, atomicity |
7 | Alexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis |
Proving that non-blocking algorithms don't block. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 16-28, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
formal verification, concurrent programming, termination, liveness |
7 | C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman |
Concurrent Kleene Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, pp. 399-414, 2009, Springer, 978-3-642-04080-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Viktor Vafeiadis |
Shape-Value Abstraction for Verifying Linearizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings, pp. 335-348, 2009, Springer, 978-3-540-93899-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Jonathan Hayman, Glynn Winskel |
Independence and Concurrent Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings, pp. 147-156, 2006, IEEE Computer Society, 0-7695-2631-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
7 | Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl |
Component Composition Preserving Behavioural Contracts Based on Communication Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers, pp. 54-65, 2005, Springer, 3-540-31023-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
7 | Carlo A. Furia, Matteo Rossi 0001, Dino Mandrioli, Angelo Morzenti |
Automated Compositional Proofs for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 326-340, 2005, Springer, 3-540-25420-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|