|
| [3] | Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness (Samira Akili and Kim Völlinger), In Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers (Hossein Hojjat, Mieke Massink, eds.), Springer, volume 11761, 2019. |
|
| [2] | On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency (Kim Völlinger and Samira Akili), In Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings (Christel Baier, Luís Caires, eds.), Springer, volume 10854, 2018. |
|
| [1] | Verifying a Class of Certifying Distributed Programs (Kim Völlinger and Samira Akili), In NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings (Clark W. Barrett, Misty Davies, Temesghen Kahsai, eds.), volume 10227, 2017. |