×

Found 96 Documents (Results 1–96)

100
MathJax

Runtime verification of contracts with Themulus. (English) Zbl 1476.68163

de Boer, Frank (ed.) et al., Software engineering and formal methods. 18th international conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12310, 231-246 (2020).
MSC:  68Q85 03B45 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Embedding online runtime verification for fault disambiguation on Robonaut2. (English) Zbl 07317098

Bertrand, Nathalie (ed.) et al., Formal modeling and analysis of timed systems. 18th international conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12288, 196-214 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI Link

From LTL to rLTL monitoring. Improved monitorability through robust semantics. (English) Zbl 07300848

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 7, 12 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Monitoring for silent actions. (English) Zbl 1491.68104

Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 7, 14 p. (2018).
MSC:  68Q60 03B44 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Parameter invariant monitoring for signal temporal logic. (English) Zbl 1409.68174

Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 187-196 (2018).
MSC:  68Q60 03B44
PDF BibTeX XML Cite
Full Text: DOI Link

Runtime verification monitor construction for three-valued PPTL. (English) Zbl 1461.68122

Liu, Shaoying (ed.) et al., Structured object-oriented formal language and method. 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10189, 144-159 (2017).
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
Full Text: DOI

Reasoning about recursive probabilistic programs. (English) Zbl 1401.68048

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 672-681 (2016).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI arXiv

Decentralized asynchronous crash-resilient runtime verification. (English) Zbl 1392.68234

Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 16, 15 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

Model checking for symbolic-heap separation logic with inductive predicates. (English) Zbl 1347.68221

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 84-96 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Minimizing the number of opinions for fault-tolerant distributed decision using well-quasi orderings. (English) Zbl 1475.68205

Kranakis, Evangelos (ed.) et al., LATIN 2016: theoretical informatics. 12th Latin American symposium, Ensenada, Mexico, April 11–15, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9644, 497-508 (2016).
MSC:  68Q85 68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI HAL

Failure-aware runtime verification of distributed systems. (English) Zbl 1366.68010

Harsha, Prahladh (ed.) et al., 35th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2015, Bangalore, India, December 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-97-2). LIPIcs – Leibniz International Proceedings in Informatics 45, 590-603 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Sound modular verification of C code executing in an unverified context. (English) Zbl 1345.68089

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 581-594 (2015).
MSC:  68N30 03B70 68N15
PDF BibTeX XML Cite
Full Text: DOI Link

Runtime enforcement of security policies on black box reactive programs. (English) Zbl 1345.68113

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 43-54 (2015).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI Link

CSP and Kripke structures. (English) Zbl 1471.68135

Leucker, Martin (ed.) et al., Theoretical aspects of computing – ICTAC 2015. 12th international colloquium, Cali, Colombia, October 29–31, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9399, 505-523 (2015).
PDF BibTeX XML Cite
Full Text: DOI

A formal dynamic verification of choreographed web services conversations. (English) Zbl 1388.94044

Au, Man-Ho (ed.) et al., Provable security. 9th international conference, ProvSec 2015, Kanazawa, Japan, November 24–26, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-26058-7/pbk; 978-3-319-26059-4/ebook). Lecture Notes in Computer Science 9451, 340-353 (2015).
MSC:  94A60 68M11
PDF BibTeX XML Cite
Full Text: DOI

Translating testing theories for concurrent systems. (English) Zbl 1444.68121

Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 133-151 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Runtime verification for biochemical programs. (English) Zbl 1334.68109

Fränzle, Martin (ed.) et al., Proceedings of the first workshop on hybrid autonomous systems, Saarbrücken, Germany, June 6, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 297, 27-46 (2013).
MSC:  68Q42 68Q60 92C40
PDF BibTeX XML Cite
Full Text: DOI

Runtime analysis of probabilistic programs with unbounded recursion. (English) Zbl 1242.68064

Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 319-331 (2011).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Model checking merged program traces. (English) Zbl 1347.68244

Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 97-112 (2009).
MSC:  68Q60 68N30
PDF BibTeX XML Cite
Full Text: DOI

Specification and runtime verification of Java card programs. (English) Zbl 1347.68063

Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 61-78 (2009).
PDF BibTeX XML Cite
Full Text: DOI

Abstracting models from execution traces for performing formal verification. (English) Zbl 1185.68408

Ślęzak, Dominik (ed.) et al., Advances in software engineering. International conference on advanced software engineering and its applications, ASEA 2009. Held as part of the future generation information technology conference, FGIT 2009, Jeju Island, Korea, December 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10618-7/pbk; 978-3-642-10619-4/ebook). Communications in Computer and Information Science 59, 143-150 (2009).
MSC:  68Q60 68N15
PDF BibTeX XML Cite
Full Text: DOI

A formal framework for user centric control of probabilistic multi-agent cyber-physical systems. (English) Zbl 1250.68264

Fisher, Michael (ed.) et al., Computational logic in multi-agent systems. 9th international workshop, CLIMA IX, Dresden, Germany, September 29–30, 2008. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-02733-8/pbk). Lecture Notes in Computer Science 5405. Lecture Notes in Artificial Intelligence, 97-116 (2009).
MSC:  68T42 68Q60 68Q87 93A30
PDF BibTeX XML Cite
Full Text: DOI Link

Runtime monitoring of metric first-order temporal properties. (English) Zbl 1248.68318

Hariharan, Ramesh (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2008), December 9–11, 2008, Bangalore, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-08-8). LIPIcs – Leibniz International Proceedings in Informatics 2, 49-60, electronic only (2008).
MSC:  68Q60 03B44 68P15
PDF BibTeX XML Cite
Full Text: DOI Link

The essence of command injection attacks in web applications. (English) Zbl 1369.68158

Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’06, Charleston, SC, USA, January 11–13, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-027-2). 372-382 (2006).
PDF BibTeX XML Cite
Full Text: DOI

Modular set-based analysis from contracts. (English) Zbl 1369.68147

Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’06, Charleston, SC, USA, January 11–13, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-027-2). 218-231 (2006).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

A temporal logic based framework for intrusion detection. (English) Zbl 1110.68382

de Frutos-Escrig, David (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2004. 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27–30, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23252-4/pbk). Lecture Notes in Computer Science 3235, 359-375 (2004).
MSC:  68P25 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software