Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker Automated test case generation for the paxos single-decree protocol using a coloured Petri net model. (English) Zbl 1423.68319 J. Log. Algebr. Methods Program. 104, 254-273 (2019). MSC: 68Q85 68M12 68M14 68N30 PDF BibTeX XML Cite \textit{R. Wang} et al., J. Log. Algebr. Methods Program. 104, 254--273 (2019; Zbl 1423.68319) Full Text: DOI
Fava, Daniel S.; Steffen, Martin; Stolz, Volker Operational semantics of a weak memory model with channel synchronization. (English) Zbl 1417.68093 J. Log. Algebr. Methods Program. 103, 1-30 (2019). MSC: 68Q55 PDF BibTeX XML Cite \textit{D. S. Fava} et al., J. Log. Algebr. Methods Program. 103, 1--30 (2019; Zbl 1417.68093) Full Text: DOI
Pun, Ka I; Steffen, Martin; Stolz, Volker Effect-polymorphic behaviour inference for deadlock checking. (English) Zbl 1392.68148 J. Log. Algebr. Methods Program. 85, No. 6, 1234-1267 (2016). MSC: 68N30 68Q85 PDF BibTeX XML Cite \textit{K. I Pun} et al., J. Log. Algebr. Methods Program. 85, No. 6, 1234--1267 (2016; Zbl 1392.68148) Full Text: DOI
Xue, Jinyun (ed.); Stolz, Volker (ed.) Proceedings of the 6th international workshop on harnessing theories for tool support in software (TTSS 2013), Nanchang, China, October 27, 2013. (English) Zbl 1310.68021 Electronic Notes in Theoretical Computer Science 309. Amsterdam: Elsevier. 107 p., electronic only (2014). MSC: 68-06 68N30 00B25 PDF BibTeX XML Cite \textit{J. Xue} (ed.) and \textit{V. Stolz} (ed.), Proceedings of the 6th international workshop on harnessing theories for tool support in software (TTSS 2013), Nanchang, China, October 27, 2013. Amsterdam: Elsevier (2014; Zbl 1310.68021) Full Text: Link
Pun, Ka I; Steffen, Martin; Stolz, Volker Deadlock checking by data race detection. (English) Zbl 1371.68199 J. Log. Algebr. Methods Program. 83, No. 5-6, 400-426 (2014). MSC: 68Q85 PDF BibTeX XML Cite \textit{K. I Pun} et al., J. Log. Algebr. Methods Program. 83, No. 5--6, 400--426 (2014; Zbl 1371.68199) Full Text: DOI
Pun, Ka I; Steffen, Martin; Stolz, Volker Deadlock checking by data race detection. (English) Zbl 1434.68112 Arbab, Farhad (ed.) et al., Fundamentals of software engineering. 5th international conference, FSEN 2013 Tehran, Iran, April 24–26, 2013. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8161, 34-50 (2013). MSC: 68N30 68Q85 PDF BibTeX XML Cite \textit{K. I Pun} et al., Lect. Notes Comput. Sci. 8161, 34--50 (2013; Zbl 1434.68112) Full Text: DOI
Ke, Wei; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker RCOS: a formal model-driven engineering method for component-based software. (English) Zbl 1251.68078 Front. Comput. Sci. 6, No. 1, 17-39 (2012). MSC: 68N30 PDF BibTeX XML Cite \textit{W. Ke} et al., Front. Comput. Sci. 6, No. 1, 17--39 (2012; Zbl 1251.68078) Full Text: DOI
Pun, Ka I.; Steffen, Martin; Stolz, Volker Deadlock checking by a behavioral effect system for lock handling. (English) Zbl 1246.68097 J. Log. Algebr. Program. 81, No. 3, 331-354 (2012). MSC: 68N30 68Q85 PDF BibTeX XML Cite \textit{K. I. Pun} et al., J. Log. Algebr. Program. 81, No. 3, 331--354 (2012; Zbl 1246.68097) 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
Stolz, Volker Temporal assertions with parametrized propositions. (English) Zbl 1203.68103 J. Log. Comput. 20, No. 3, 743-757 (2010). MSC: 68Q60 PDF BibTeX XML Cite \textit{V. Stolz}, J. Log. Comput. 20, No. 3, 743--757 (2010; Zbl 1203.68103) Full Text: DOI
Chen, Zhenbang; Liu, Zhiming; Ravn, Anders P.; Stolz, Volker; Zhan, Naijun Refinement and verification in component-based model-driven design. (English) Zbl 1178.68158 Sci. Comput. Program. 74, No. 4, 168-196 (2009). MSC: 68N99 68Q60 PDF BibTeX XML Cite \textit{Z. Chen} et al., Sci. Comput. Program. 74, No. 4, 168--196 (2009; Zbl 1178.68158) Full Text: DOI
Pu, Geguang (ed.); Stolz, Volker (ed.) Proceedings of the 1st international workshop on harnessing theories for tool support in software (TTSS 2007), Macau, China, September 22–23, 2007. (English) Zbl 1276.68028 Electronic Notes in Theoretical Computer Science 207. Amsterdam: Elsevier. 217 p., electronic only (2008). MSC: 68-06 68N30 00B25 PDF BibTeX XML Cite \textit{G. Pu} (ed.) and \textit{V. Stolz} (ed.), Proceedings of the 1st international workshop on harnessing theories for tool support in software (TTSS 2007), Macau, China, September 22--23, 2007. Amsterdam: Elsevier (2008; Zbl 1276.68028) Full Text: Link
Chen, Zhenbang; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker; Yang, Lu Harnessing rCOS for tool support – the CoCoME experience. (English) Zbl 1151.68380 Jones, Cliff B. (ed.) et al., Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. Berlin: Springer (ISBN 978-3-540-75220-2/pbk). Lecture Notes in Computer Science 4700, 83-114 (2007). MSC: 68N99 PDF BibTeX XML Cite \textit{Z. Chen} et al., Lect. Notes Comput. Sci. 4700, 83--114 (2007; Zbl 1151.68380) Full Text: DOI