|
2024 Conference Publication Restructuring a concurrent refinement algebraHayes, Ian J., Meinicke, Larissa A. and Evangelou-Oost, Naso (2024). Restructuring a concurrent refinement algebra. 21st International Conference, RAMiCS 2024, Prague, Czech Republic, 19-22 August 2024. Cham, Switzerland: Springer Nature Switzerland. doi: 10.1007/978-3-031-68279-7_9 |
|
2023 Conference Publication Using cylindric algebra to support local variables in rely/guarantee concurrencyMeinicke, Larissa A. and Hayes, Ian J. (2023). Using cylindric algebra to support local variables in rely/guarantee concurrency. IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), Melbourne, VIC, Australia, 14-15 May 2023. Piscataway, NJ, United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/formalise58978.2023.00019 |
|
2019 Conference Publication Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and ChallengesHayes, Ian J. and Meinicke, Larissa A. (2019). Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and Challenges. UTP: 7th International Symposium on Unifying Theories of Programming, Porto, Portugal, 8 October 2019. Cham, Switzerland: Springer. doi: 10.1007/978-3-030-31038-7_9 |
|
2019 Conference Publication Cylindric Kleene Lattices for Program ConstructionDongol, Brijesh, Hayes, Ian, Meinicke, Larissa and Struth, Georg (2019). Cylindric Kleene Lattices for Program Construction. MPC: 13th International Conference on Mathematics of Program Construction, Porto, Portugal, 7–9 October 2019. Cham, Switzerland: Springer. doi: 10.1007/978-3-030-33636-3_8 |
|
2018 Conference Publication Type capabilities for object-oriented programming languagesWu, Xi, Lu, Yi, Meiring, Patrick A., Hayes, Ian J. and Meinicke, Larissa A. (2018). Type capabilities for object-oriented programming languages. 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD Australia, 12-16 November 2018. Cham, Switzerland: Springer. doi: 10.1007/978-3-030-02450-5_13 |
|
2018 Conference Publication Encoding fairness in a synchronous concurrent program algebraHayes, Ian J. and Meinicke, Larissa A. (2018). Encoding fairness in a synchronous concurrent program algebra. 22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, United Kingdom, 15-17 July 2018. Heidelberg, Germany: Springer. doi: 10.1007/978-3-319-95582-7_13 |
|
2017 Conference Publication Capabilities for Java: Secure access to resourcesHayes, Ian J., Wu, Xi and Meinicke, Larissa A. (2017). Capabilities for Java: Secure access to resources. 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, Suzhou, People's Republic of China, 27-29 November 2017. Heidelberg, Germany: Springer. doi: 10.1007/978-3-319-71237-6_4 |
|
2017 Conference Publication Evaluating quality of security testing of the JDKKrishnan, Padmanabhan, O’Donoghue, Rebecca, Loh, Jerome and Meinicke, Larissa (2017). Evaluating quality of security testing of the JDK. 8th ACM SIGSOFT International Workshop on Automated Software Testing, A-TEST 2017, co-located with the International ESEC/FSE Conference, FSE 2017, Paderborn, Germany, 4-5 September 2017. New York, NY, United States: Association for Computing Machinery. doi: 10.1145/3121245.3121246 |
|
2016 Conference Publication An algebra of synchronous atomic stepsHayes, Ian J., Colvin, Robert J., Meinicke, Larissa A., Winter, Kirsten and Velykis, Andrius (2016). An algebra of synchronous atomic steps. 21st International Symposium on Formal Methods, FM 2016, Limassol, Cyprus, 9-11 November 2016. Heidelberg, Germany: Springer. doi: 10.1007/978-3-319-48989-6_22 |
|
2015 Conference Publication Designing for visually impaired developersEpifani, Andrea, Boden, Marie, Meinicke, Larissa, Matthews, Ben and Viller, Stephen (2015). Designing for visually impaired developers. World Conference of the International Association of Design Research, Brisbane, Australia, 2-5 November 2015. The International Association of Societies of Design Research. |
|
2014 Conference Publication Abstract channels and their robust information-leakage orderingMcIver, Annabelle, Morgan, Carroll, Smith, Geoffrey, Espinoza, Barbara and Meinicke, Larissa (2014). Abstract channels and their robust information-leakage ordering. 3rd International Conference on Principles of Security and Trust, POST 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, 5 -13 April 2014. Heidelberg, Germany: Springer Verlag. doi: 10.1007/978-3-642-54792-8_5 |
|
2014 Conference Publication Invariants, well-founded statements and real-time program algebraHayes, Ian J. and Meinicke, Larissa (2014). Invariants, well-founded statements and real-time program algebra. 19th International Symposium on Formal Methods, FM 2014, Singapore, 12 - 16 May 2014. Heidelberg, Germany: Springer Verlag. doi: 10.1007/978-3-319-06410-9_23 |
|
2012 Conference Publication Towards an algebra for real-time programsDongol, Brijesh, Hayes, Ian J., Meinicke, Larissa and Solin, Kim (2012). Towards an algebra for real-time programs. 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2012), Cambridge, United Kingdom, 17 - 20 September 2012. Heidelberg, Germany: Springer. doi: 10.1007/978-3-642-33314-9_4 |
|
2012 Conference Publication A kantorovich-monadic powerdomain for information hiding, with probability and nondeterminismMcIver, Annabelle, Meinicke, Larissa and Morgan, Carroll (2012). A kantorovich-monadic powerdomain for information hiding, with probability and nondeterminism. 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, 25 - 28 June 2012. Los Alamitos, CA United States: IEEE Computer Society. doi: 10.1109/LICS.2012.56 |
|
2010 Conference Publication Linear-invariant generation for probabilistic programs: Automated support for proof-based methodsKatoen, Joost-Pieter, McIver, Annabelle, Meinicke, Larissa and Morgan, Carroll C. (2010). Linear-invariant generation for probabilistic programs: Automated support for proof-based methods. 17th International Static Analysis Symposium (SAS 2010), Perpignan, France, 14-16 September 2010. Heidelberg, Germany: Springer. doi: 10.1007/978-3-642-15769-1_24 |
|
2010 Conference Publication Unifying theories of programming that distinguish nontermination and abortHayes, I. J., Dunne, S. E. and Meinicke, L. (2010). Unifying theories of programming that distinguish nontermination and abort. Mathematics of Program Construction [MPC], Québec City, Québec, Canada, 21-23 June, 2010. Berlin, Germany: Springer. doi: 10.1007/978-3-642-13321-3 |
|
2010 Conference Publication Compositional closure for Bayes Risk in probabilistic noninterferenceMcIver, Annabelle, Meinicke, Larissa and Morgan, Carroll (2010). Compositional closure for Bayes Risk in probabilistic noninterference. 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), Bordeaux, France, 5-10 July 2010. Heidelberg, Germany: Springer. doi: 10.1007/978-3-642-14162-1_19 |
|
2009 Conference Publication Security, probability and nearly fair coins in the cryptographers' caféMcIver, Annabelle, Meinicke, Larissa and Morgan, Carroll (2009). Security, probability and nearly fair coins in the cryptographers' café. 2nd World Congress on Formal Methods (FM 2009), Eindhoven, The Netherlands, 2-6 November 2009. Heidelberg, Germany: Springer. doi: 10.1007/978-3-642-05089-3_5 |
|
2008 Conference Publication Reactive probabilistic programs and refinement algebraMeinicke, L. A. and Solin, K. (2008). Reactive probabilistic programs and refinement algebra. 10th International Conference on Relational Methods in Computer Science/5th International Workshop on Applications of Kleene Algebra, Frauenworth Germany, 7 - 11 April 2008. Heidelberg, Germany: Springer. doi: 10.1007/978-3-540-78913-0_23 |
|
2008 Conference Publication Probabilistic Choice in Refinement AlgebraMeinicke, L. and Hayes, I. J. (2008). Probabilistic Choice in Refinement Algebra. 9th International Conference on Mathematics of Program Construction [MPC], Marseille, France, 15-18 July 2008. Berlin, Heidelberg: Springer Verlag. doi: 10.1007/978-3-540-70594-9_14 |
