Sun, Quan; Zhang, Wei; Wang, Chao; Liu, Zhiming A contract-based semantics and refinement for Simulink. (English) Zbl 1528.68236 Dong, Wei (ed.) et al., Dependable software engineering. Theories, tools, and applications. 8th international symposium, SETTA 2022, Beijing, China, October 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13649, 134-148 (2022). MSC: 68Q60 68Q55 93-10 93C30 PDFBibTeX XMLCite \textit{Q. Sun} et al., Lect. Notes Comput. Sci. 13649, 134--148 (2022; Zbl 1528.68236) Full Text: DOI
Jiroušek, Radim; Kratochvíl, Václav; Shenoy, Prakash P. Entropy-based learning of compositional models from data. (English) Zbl 1518.68304 Denœux, Thierry (ed.) et al., Belief functions: theory and applications. 6th international conference, BELIEF 2021, Shanghai, China, October 15–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12915, 117-126 (2021). MSC: 68T05 68T37 94A17 PDFBibTeX XMLCite \textit{R. Jiroušek} et al., Lect. Notes Comput. Sci. 12915, 117--126 (2021; Zbl 1518.68304) Full Text: DOI
Jiroušek, Radim; Kratochvíl, Václav Approximations of belief functions using compositional models. (English) Zbl 07542354 Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 354-366 (2021). MSC: 68T37 PDFBibTeX XMLCite \textit{R. Jiroušek} and \textit{V. Kratochvíl}, Lect. Notes Comput. Sci. 12897, 354--366 (2021; Zbl 07542354) Full Text: DOI
Miś, Katarzyna; Baczyński, Michał Some remarks on approximate reasoning and Bandler-Kohout subproduct. (English) Zbl 1512.68367 Lesot, Marie-Jeanne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 18th international conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part II. Cham: Springer. Commun. Comput. Inf. Sci. 1238, 775-787 (2020). MSC: 68T37 03B52 PDFBibTeX XMLCite \textit{K. Miś} and \textit{M. Baczyński}, Commun. Comput. Inf. Sci. 1238, 775--787 (2020; Zbl 1512.68367) Full Text: DOI
Francalanza, Adrian Consistently-detecting monitors. (English) Zbl 1442.68107 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 8, 19 p. (2017). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{A. Francalanza}, LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 8, 19 p. (2017; Zbl 1442.68107) Full Text: DOI
Lanotte, Ruggero; Merro, Massimo; Tini, Simone Compositional weak metrics for group key update. (English) Zbl 1441.68146 Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 72, 16 p. (2017). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{R. Lanotte} et al., LIPIcs -- Leibniz Int. Proc. Inform. 83, Article 72, 16 p. (2017; Zbl 1441.68146) Full Text: DOI
Wijnholds, Gijs Jasper Coherent diagrammatic reasoning in compositional distributional semantics. (English) Zbl 1496.03267 Kennedy, Juliette (ed.) et al., Logic, language, information, and computation. 24th international workshop, WoLLIC 2017, London, UK, July 18–21, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10388, 371-386 (2017). MSC: 03G30 18M05 PDFBibTeX XMLCite \textit{G. J. Wijnholds}, Lect. Notes Comput. Sci. 10388, 371--386 (2017; Zbl 1496.03267) Full Text: DOI
McIver, A. K.; Morgan, C. C.; Rabehaja, T. Algebra for quantitative information flow. (English) Zbl 1486.68044 Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10226, 3-23 (2017). MSC: 68N30 68P30 68Q55 68Q87 PDFBibTeX XMLCite \textit{A. K. McIver} et al., Lect. Notes Comput. Sci. 10226, 3--23 (2017; Zbl 1486.68044) Full Text: DOI
Gebler, Daniel; Tini, Simone Sós specifications of probabilistic systems by uniformly continuous operators. (English) Zbl 1374.68328 Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 155-168 (2015). MSC: 68Q85 68Q55 68Q60 68Q87 PDFBibTeX XMLCite \textit{D. Gebler} and \textit{S. Tini}, LIPIcs -- Leibniz Int. Proc. Inform. 42, 155--168 (2015; Zbl 1374.68328) Full Text: DOI
Rajhans, Akshay; Krogh, Bruce H. Compositional heterogeneous abstraction. (English) Zbl 1362.68182 Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8–11, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1567-8). 253-262 (2013). MSC: 68Q60 68Q55 93A30 PDFBibTeX XMLCite \textit{A. Rajhans} and \textit{B. H. Krogh}, in: Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8--11, 2013. New York, NY: Association for Computing Machinery (ACM). 253--262 (2013; Zbl 1362.68182) Full Text: DOI
Dinsdale-Young, Thomas; Birkedal, Lars; Gardner, Philippa; Parkinson, Matthew; Yang, Hongseok Views, compositional reasoning for concurrent programs. (English) Zbl 1301.68099 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 287-300 (2013). MSC: 68N30 68N19 68Q55 68Q60 PDFBibTeX XMLCite \textit{T. Dinsdale-Young} et al., in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '13, Rome, Italy, January 23--25, 2013. New York, NY: Association for Computing Machinery (ACM). 287--300 (2013; Zbl 1301.68099) Full Text: DOI
Farzan, Azadeh; Kincaid, Zachary Verification of parameterized concurrent programs by modular reasoning about data and control. (English) Zbl 1321.68192 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 297-308 (2012). MSC: 68N30 68N19 PDFBibTeX XMLCite \textit{A. Farzan} and \textit{Z. Kincaid}, in: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '12, Philadelphia, PA, USA, January 22--28, 2012. New York, NY: Association for Computing Machinery (ACM). 297--308 (2012; Zbl 1321.68192) Full Text: DOI
Aponte, Virginia; Courtieu, Pierre; Moy, Yannick; Sango, Marc Maximal and compositional pattern-based loop invariants. (English) Zbl 1372.68060 Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27–31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 37-51 (2012). MSC: 68N30 PDFBibTeX XMLCite \textit{V. Aponte} et al., Lect. Notes Comput. Sci. 7436, 37--51 (2012; Zbl 1372.68060) Full Text: DOI
Kerber, Florian; van der Schaft, Arjan Compositional analysis for linear control systems. (English) Zbl 1360.93279 Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 21-30 (2010). MSC: 93C05 68Q60 93A14 PDFBibTeX XMLCite \textit{F. Kerber} and \textit{A. van der Schaft}, in: Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12--16, 2010. New York, NY: Association for Computing Machinery (ACM). 21--30 (2010; Zbl 1360.93279) Full Text: DOI Link
Tofan, Bogdan; Bäumler, Simon; Schellhorn, Gerhard; Reif, Wolfgang Temporal logic verification of lock-freedom. (English) Zbl 1286.68322 Bolduc, Claude (ed.) et al., Mathematics of program construction. 10th international conference, MPC 2010, Québec City, Canada, June 21–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13320-6/pbk). Lecture Notes in Computer Science 6120, 377-396 (2010). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{B. Tofan} et al., Lect. Notes Comput. Sci. 6120, 377--396 (2010; Zbl 1286.68322) Full Text: DOI
Moffat, Nick; Goldsmith, Michael Assumption-commitment support for CSP model checking. (English) Zbl 1335.68178 Merz, Stephan (ed.) et al., Proceedings of the 6th international workshop on automated verification of critical systems (AVoCS 2006), Nancy, France, September 18–19, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 185, 121-137 (2007). MSC: 68Q85 68Q60 68T15 PDFBibTeX XMLCite \textit{N. Moffat} and \textit{M. Goldsmith}, Electron. Notes Theor. Comput. Sci. 185, 121--137 (2007; Zbl 1335.68178) Full Text: DOI
Perfilieva, Irina Analytical theory of fuzzy IF-THEN rules with compositional rule of inference. (English) Zbl 1136.03019 Wang, Paul P. (ed.) et al., Fuzzy logic. A spectrum of theoretical and practical issues. Berlin: Springer (ISBN 978-3-540-71257-2/hbk). Studies in Fuzziness and Soft Computing 215, 173-191 (2007). Reviewer: Michał Baczyński (Katowice) MSC: 03B52 68T37 PDFBibTeX XMLCite \textit{I. Perfilieva}, Stud. Fuzziness Soft Comput. 215, 173--191 (2007; Zbl 1136.03019) Full Text: DOI
Boixader, Dionis; Jacas, Joan T-indistinguishability operators and approximate reasoning via CRI. (English) Zbl 0941.03528 Dubois, Didier (ed.) et al., Fuzzy sets, logics and reasoning about knowledge. Dordrecht: Kluwer Academic Publishers. Appl. Log. Ser. 15, 255-268 (1999). MSC: 03B52 68T27 68T37 PDFBibTeX XMLCite \textit{D. Boixader} and \textit{J. Jacas}, Appl. Log. Ser. 15, 255--268 (1999; Zbl 0941.03528)
Fahmy, Aly F.; Morsi, Nehad N. On generalized modus ponens with parallel rules and a residuated implication. (English) Zbl 0907.03010 Shehab, Moufeed (ed.) et al., The 3rd international conference on engineering mathematics and physics, Cairo, Egypt, December 23–25, 1997. Vol. 1 and 2. Cairo: Cairo Univ., Faculty of Engineering, 231-255 (1997). MSC: 03B52 68T27 PDFBibTeX XMLCite \textit{A. F. Fahmy} and \textit{N. N. Morsi}, in: The 3rd international conference on engineering mathematics and physics, Cairo, Egypt, December 23--25, 1997. Vol. 1 and 2. Cairo: Cairo Univ., Faculty of Engineering. 231--255 (1997; Zbl 0907.03010)