Fraigniaud, Pierre; Rajsbaum, Sergio; Travers, Corentin A lower bound on the number of opinions needed for fault-tolerant decentralized run-time monitoring. (English) Zbl 1435.68196 J. Appl. Comput. Topol. 4, No. 1, 141-179 (2020). MSC: 68Q60 68M14 68M15 PDF BibTeX XML Cite \textit{P. Fraigniaud} et al., J. Appl. Comput. Topol. 4, No. 1, 141--179 (2020; Zbl 1435.68196) Full Text: DOI
Léchenet, Jean-Christophe; Kosmatov, Nikolai; Le Gall, Pascale Cut branches before looking for bugs: certifiably sound verification on relaxed slices. (English) Zbl 1380.68127 Formal Asp. Comput. 30, No. 1, 107-131 (2018). MSC: 68N30 68Q60 PDF BibTeX XML Cite \textit{J.-C. Léchenet} et al., Formal Asp. Comput. 30, No. 1, 107--131 (2018; Zbl 1380.68127) Full Text: DOI
Miné, Antoine Static analysis of embedded real-time concurrent software with dynamic priorities. (English) Zbl 1412.68042 Mastroeni, Isabella (ed.), Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 331, 3-39 (2017). MSC: 68N30 68Q55 68Q60 68Q85 PDF BibTeX XML Cite \textit{A. Miné}, Electron. Notes Theor. Comput. Sci. 331, 3--39 (2017; Zbl 1412.68042) Full Text: DOI
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph Inferring covariances for probabilistic programs. (English) Zbl 1377.68070 Agha, Gul (ed.) et al., Quantitative evaluation of systems. 13th international conference, QEST 2016, Quebec City, QC, Canada, August 23–25, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-43424-7/pbk; 978-3-319-43425-4/ebook). Lecture Notes in Computer Science 9826, 191-206 (2016). MSC: 68N19 68N30 PDF BibTeX XML Cite \textit{B. L. Kaminski} et al., Lect. Notes Comput. Sci. 9826, 191--206 (2016; Zbl 1377.68070) Full Text: DOI
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Olmedo, Federico Weakest precondition reasoning for expected run-times of probabilistic programs. (English) Zbl 1335.68058 Thiemann, Peter (ed.), Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49497-4/pbk; 978-3-662-49498-1/ebook). Lecture Notes in Computer Science 9632, 364-389 (2016). MSC: 68N30 68Q87 PDF BibTeX XML Cite \textit{B. L. Kaminski} et al., Lect. Notes Comput. Sci. 9632, 364--389 (2016; Zbl 1335.68058) Full Text: DOI
Lordello Chaim, Marcos; de Araujo, Roberto Paulo Andrioli An efficient bitwise algorithm for intra-procedural data-flow testing coverage. (English) Zbl 1267.68095 Inf. Process. Lett. 113, No. 8, 293-300 (2013). MSC: 68N30 68P05 68W05 PDF BibTeX XML Cite \textit{M. Lordello Chaim} and \textit{R. P. A. de Araujo}, Inf. Process. Lett. 113, No. 8, 293--300 (2013; Zbl 1267.68095) Full Text: DOI
Costa, Gabriele; Matteucci, Ilaria Gate automata-driven run-time enforcement. (English) Zbl 1238.68073 Comput. Math. Appl. 63, No. 2, 518-524 (2012). MSC: 68Q45 68N30 PDF BibTeX XML Cite \textit{G. Costa} and \textit{I. Matteucci}, Comput. Math. Appl. 63, No. 2, 518--524 (2012; Zbl 1238.68073) Full Text: DOI
Hvitved, Tom; Klaedtke, Felix; Zălinescu, Eugen A trace-based model for multiparty contracts. (English) Zbl 1235.91116 J. Log. Algebr. Program. 81, No. 2, 72-98 (2012). MSC: 91B40 91B26 68Q55 68Q60 PDF BibTeX XML Cite \textit{T. Hvitved} et al., J. Log. Algebr. Program. 81, No. 2, 72--98 (2012; Zbl 1235.91116) 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
Barringer, Howard; Rydeheard, David; Havelund, Klaus Rule systems for run-time monitoring: from EAGLE to RULER. (English) Zbl 1203.68093 J. Log. Comput. 20, No. 3, 675-706 (2010). MSC: 68Q60 PDF BibTeX XML Cite \textit{H. Barringer} et al., J. Log. Comput. 20, No. 3, 675--706 (2010; Zbl 1203.68093) Full Text: DOI
Cámara, J.; Salaün, G.; Canal, C. Composition and run-time adaptation of mismatching behavioural interfaces. (English) Zbl 1217.68060 J. UCS 14, No. 13, 2182-2211 (2008). MSC: 68N30 68U07 PDF BibTeX XML Cite \textit{J. Cámara} et al., J. UCS 14, No. 13, 2182--2211 (2008; Zbl 1217.68060) Full Text: Link
Zuck, Lenore; Pnueli, Amir; Goldberg, Benjamin; Barrett, Clark; Fang, Yi; Hu, Ying Translation and run-time validation of loop transformations. (English) Zbl 1083.68555 Form. Methods Syst. Des. 27, No. 3, 335-360 (2005). MSC: 68N20 PDF BibTeX XML Cite \textit{L. Zuck} et al., Form. Methods Syst. Des. 27, No. 3, 335--360 (2005; Zbl 1083.68555) Full Text: DOI
Kortenkamp, David; Simmons, Reid; Milam, Tod; Fernández, Joaquín L. A suite of tools for debugging distributed autonomous systems. (English) Zbl 1073.68525 Form. Methods Syst. Des. 24, No. 2, 157-188 (2004). MSC: 68M14 PDF BibTeX XML Cite \textit{D. Kortenkamp} et al., Form. Methods Syst. Des. 24, No. 2, 157--188 (2004; Zbl 1073.68525) Full Text: DOI
Davies, Rowan; Pfenning, Frank A modal analysis of staged computation. (English) Zbl 1323.68107 J. ACM 48, No. 3, 555-604 (2001). MSC: 68N18 03B40 03B45 68Q60 PDF BibTeX XML Cite \textit{R. Davies} and \textit{F. Pfenning}, J. ACM 48, No. 3, 555--604 (2001; Zbl 1323.68107) Full Text: DOI
Lederer, Edgar F. A.; Dumitrescu, Romeo A. Automatic result verification by complete run-time checking of computations. (English) Zbl 1319.68057 Int. J. Found. Comput. Sci. 12, No. 1, 97-124 (2001). MSC: 68N18 68N19 68Q60 PDF BibTeX XML Cite \textit{E. F. A. Lederer} and \textit{R. A. Dumitrescu}, Int. J. Found. Comput. Sci. 12, No. 1, 97--124 (2001; Zbl 1319.68057) Full Text: DOI
Nielson, Flemming Two-level semantics and abstract interpretation. (English) Zbl 0696.68093 Theor. Comput. Sci. 69, No. 2, 117-242 (1989). Reviewer: N.Curteanu MSC: 68Q55 68Q60 68N99 68N01 68Q45 PDF BibTeX XML Cite \textit{F. Nielson}, Theor. Comput. Sci. 69, No. 2, 117--242 (1989; Zbl 0696.68093) Full Text: DOI
Martin, Chris; Hankin, Chris Finding fixed points in finite lattices. (English) Zbl 0624.68013 Functional programming languages and computer architecture, Proc. 3rd Conf., Portland/Oreg. 1987, Lect. Notes Comput. Sci. 274, 426-445 (1987). MSC: 68N01 68Q60 PDF BibTeX XML
Steffen, Bernhard Optimal run time optimization proved by a new look at abstract interpretations. (English) Zbl 0614.68012 TAPSOFT ’87, Proc. Int. Conf. Software development, Pisa/Italy 1987, Vol. 1: Trees in algebra and programming, Lect. Notes Comput. Sci. 249, 52-68 (1987). MSC: 68Q60 PDF BibTeX XML
Srivastava, Amitabh Recovery of noncurrent variables in source-level debugging of optimized code. (English) Zbl 0606.68015 Foundations of software technology and theoretical computer science, Proc. 6th Conf., New Delhi/India 1986, Lect. Notes Comput. Sci. 241, 36-56 (1986). MSC: 68Q60 68N25 PDF BibTeX XML
Nielson, Flemming Abstract interpretation of denotational definitions. (A survey). (English) Zbl 0589.68008 Theoretical aspects of computer science, 3rd Annu. Symp., Orsay/France 1986, Lect. Notes Comput. Sci. 210, 1-20 (1986). MSC: 68N01 68Q60 PDF BibTeX XML
Hennessy, M. C. B. Powerdomains and nondeterministic recursive definitions. (English) Zbl 0486.68009 Programming, Proc. int. Symp., 5th Colloq., Turin 1982, Lect. Notes Comput. Sci. 137, 178-193 (1982). MSC: 68N01 68Q60 PDF BibTeX XML
Back, R. J. R. Checking whether programs are correct or incorrect. (English) Zbl 0431.68013 Math. Cent., Amst., Afd. Inf. 144, 36 P. (1980). MSC: 68Q60 68N01 PDF BibTeX XML
Langmaack, Hans On a theory of decision problems in programming languages. (English) Zbl 0463.68019 Mathematical studies of information processing, Proc. int. Conf., Kyoto 1978, Lect. Notes Comput. Sci. 75, 538-558 (1979). MSC: 68Q60 PDF BibTeX XML
Langmaack, Hans; Lippe, Wolfram; Wagner, Franz The formal termination problem for programs with finite ALGOL 68-modes. (English) Zbl 0421.68018 Inf. Process. Lett. 9, 155-159 (1979). MSC: 68Q60 68N01 PDF BibTeX XML Cite \textit{H. Langmaack} et al., Inf. Process. Lett. 9, 155--159 (1979; Zbl 0421.68018) Full Text: DOI