×

Found 38 Documents (Results 1–38)

Real-time policy enforcement with metric first-order temporal logic. (English) Zbl 1524.68193

Atluri, Vijayalakshmi (ed.) et al., Computer security – ESORICS 2022. 27th European symposium on research in computer security, Copenhagen, Denmark, September 26–30, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13555, 211-232 (2022).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Multi-head monitoring of metric dynamic logic. (English) Zbl 1517.68250

Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12302, 233-250 (2020).
MSC:  68Q60 03B44 03B70
PDFBibTeX XMLCite
Full Text: DOI

Multi-head monitoring of metric temporal logic. (English) Zbl 1437.68119

Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 151-170 (2019).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: DOI Link

Adaptive online first-order monitoring. (English) Zbl 1437.68120

Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 133-150 (2019).
MSC:  68Q60 68W27
PDFBibTeX XMLCite
Full Text: DOI

Optimal proofs for linear temporal logic on lasso words. (English) Zbl 1517.68222

Lahiri, Shuvendu K. (ed.) et al., Automated technology for verification and analysis. 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7–10, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11138, 37-55 (2018).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: DOI

From natural projection to partial model checking and back. (English) Zbl 1423.68275

Beyer, Dirk (ed.) et al., Tools and algorithms for the construction and analysis of systems. 24th international conference, TACAS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10805, 344-361 (2018).
MSC:  68Q60 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Tests and refutation. (English) Zbl 1495.68141

D’Souza, Deepak (ed.) et al., Automated technology for verification and analysis. 15th international symposium, ATVA 2017, Pune, India, October 3–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10482, 119-138 (2017).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Runtime verification of temporal properties over out-of-order data streams. (English) Zbl 1494.68160

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 356-376 (2017).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: DOI arXiv

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

Alice and Bob meet equational theories. (English) Zbl 1321.68343

Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 160-180 (2015).
MSC:  68Q60 68M12 94A60
PDFBibTeX XMLCite
Full Text: DOI

Enforceable security policies revisited. (English) Zbl 1354.68165

Degano, Pierpaolo (ed.) et al., Principles of security and trust. First international conference, POST 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28640-7/pbk). Lecture Notes in Computer Science 7215, 309-328 (2012).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

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

A monad-based modeling and verification toolbox with application to security protocols. (English) Zbl 1144.68306

Schneider, Klaus (ed.) et al., Theorem proving in higher order logics. 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10–13, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74590-7/pbk). Lecture Notes in Computer Science 4732, 302-318 (2007).
MSC:  68N18 68Q60 68T15
PDFBibTeX XMLCite
Full Text: DOI

Verification of a signature architecture with HOL-Z. (English) Zbl 1120.68407

Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 269-285 (2005).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Synthesis of programs in computational logic. (English) Zbl 1080.68562

Bruynooghe, Maurice (ed.) et al., Program development in computational logic. A decade of research advances in logic-based program development. Berlin: Springer (ISBN 3-540-22152-2/pbk). Lecture Notes in Computer Science 3049, 30-65 (2004).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Bytecode model checking: An experimental analysis. (English) Zbl 1077.68678

Bošnački, Dragan (ed.) et al., Model checking software. 9th international SPIN workshop, Grenoble, France, April 11–13, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43477-1). Lect. Notes Comput. Sci. 2318, 42-59 (2002).
MSC:  68Q60 68N19
PDFBibTeX XMLCite
Full Text: Link

The AVISS security protocol analysis tool. (English) Zbl 1010.68795

Brinksma, Ed (ed.) et al., Computer aided verification. 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2404, 349-353 (2002).
MSC:  68U99 68Q60 68P25
PDFBibTeX XMLCite
Full Text: Link

Rewriting logic as a metalogical framework. (English) Zbl 1044.03020

Kapoor, Sanjiv (ed.) et al., FST TCS 2000: Foundations of software technology and theoretical computer science. 20th conference, New Delhi, India, December 13–15, 2000. Proceedings. Berlin: Springer (ISBN 3-540-41413-4). Lect. Notes Comput. Sci. 1974, 55-80 (2000).
MSC:  03B70 68Q42 68T15 68Q60
PDFBibTeX XMLCite
Full Text: Link

Maude versus Haskell: An experimental comparison in security protocol analysis. (English) Zbl 0962.68056

Futatsugi, Kokichi, The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18-20, 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 36, 22 p., electronic only (2000).
PDFBibTeX XMLCite

Java bytecode verification by model checking. System abstract. (English) Zbl 1046.68575

Halbwachs, Nicolas (ed.) et al., Computer aided verification. 11th international conference, CAV ’99. Trento, Italy, July 6–10, 1999. Proceedings. Berlin: Springer (ISBN 3-540-66202-2). Lect. Notes Comput. Sci. 1633, 491-494 (1999).
MSC:  68Q60 68N15
PDFBibTeX XMLCite

A conservative extension of first-order logic and its applications to theorem proving. (English) Zbl 0924.03103

Shyamasundar, R. K. (ed.), Foundations of software technology and theoretical computer science. 13th conference, Bombay, India, December 15-17, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 761, 151-160 (1993).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software