×

Found 19 Documents (Results 1–19)

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI Link

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
Full Text: DOI

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
Full Text: DOI

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).
MSC:  03B52 68T37
PDFBibTeX XMLCite
Full Text: DOI

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

Filter Results by …

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software