Grimmer, Andreas; Clemens, Joachim; Wille, Robert Formal methods for reasoning and uncertainty reduction in evidential grid maps. (English) Zbl 1419.68165 Int. J. Approx. Reasoning 87, 23-39 (2017). MSC: 68T37 PDFBibTeX XMLCite \textit{A. Grimmer} et al., Int. J. Approx. Reasoning 87, 23--39 (2017; Zbl 1419.68165) Full Text: DOI
Wille, Robert; Lye, Aaron; Niemann, Philipp Checking reversibility of Boolean functions. (English) Zbl 1480.94058 Devitt, Simon (ed.) et al., Reversible computation. 8th international conference, RC 2016, Bologna, Italy, July 7–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9720, 322-337 (2016). MSC: 94C11 94D10 68Q10 68Q17 PDFBibTeX XMLCite \textit{R. Wille} et al., Lect. Notes Comput. Sci. 9720, 322--337 (2016; Zbl 1480.94058) Full Text: DOI
Soeken, Mathias; Wille, Robert; Drechsler, Rolf Encoding OCL data types for SAT-based verification of UML/OCL models. (English) Zbl 1335.68070 Gogolla, Martin (ed.) et al., Tests and proofs. 5th international conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21767-8/pbk). Lecture Notes in Computer Science 6706, 152-170 (2011). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{M. Soeken} et al., Lect. Notes Comput. Sci. 6706, 152--170 (2011; Zbl 1335.68070) Full Text: DOI