Crampton, Jason; Morisset, Charles PTaCL: a language for attribute-based access control in open systems. (English) Zbl 1353.68175 Degano, Pierpaolo (ed.) et al., Principles of security and trust. First international conference, POST 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28640-7/pbk). Lecture Notes in Computer Science 7215, 390-409 (2012). MSC: 68Q60 68N15 94A62 PDF BibTeX XML Cite \textit{J. Crampton} and \textit{C. Morisset}, Lect. Notes Comput. Sci. 7215, 390--409 (2012; Zbl 1353.68175) Full Text: DOI
Liu, Zhiming; Morisset, Charles; Wang, Shuling A graph-based implementation for mechanized refinement calculus of OO programs. (English) Zbl 1325.68066 Davies, Jim (ed.) et al., Formal methods: foundations and applications. 13th Brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8–11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19828-1/pbk). Lecture Notes in Computer Science 6527, 258-273 (2011). MSC: 68N30 68T15 PDF BibTeX XML Cite \textit{Z. Liu} et al., Lect. Notes Comput. Sci. 6527, 258--273 (2011; Zbl 1325.68066) Full Text: DOI
Lei, Bin; Li, Xuandong; Liu, Zhiming; Morisset, Charles; Stolz, Volker Robustness testing for software components. (English) Zbl 1209.68140 Sci. Comput. Program. 75, No. 10, 879-897 (2010). MSC: 68N99 PDF BibTeX XML Cite \textit{B. Lei} et al., Sci. Comput. Program. 75, No. 10, 879--897 (2010; Zbl 1209.68140) Full Text: DOI
Zhang, Miaomiao; Liu, Zhiming; Morisset, Charles; Ravn, Anders P. Design and verification of fault-tolerant components. (English) Zbl 1234.68040 Butler, Michael (ed.) et al., Methods, models and tools for fault tolerance. Berlin: Springer (ISBN 978-3-642-00866-5/pbk). Lecture Notes in Computer Science 5454, 57-84 (2009). MSC: 68M15 68Q60 PDF BibTeX XML Cite \textit{M. Zhang} et al., Lect. Notes Comput. Sci. 5454, 57--84 (2009; Zbl 1234.68040) Full Text: DOI