×

Found 15,776 Documents (Results 1–100)

100
MathJax

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. (English) Zbl 07572331

New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-9196-2). xii, 30 articles, open access (2022).
PDF BibTeX XML Cite
Full Text: DOI

Tests and proofs. 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022. Proceedings. (English) Zbl 07554836

Lecture Notes in Computer Science 13361. Cham: Springer (ISBN 978-3-031-09826-0/pbk; 978-3-031-09827-7/ebook). viii, 125 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

A parameterized view on the complexity of dependence logic. (English) Zbl 07551715

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 125-142 (2022).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Model checking, synthesis, and learning. Essays dedicated to Bengt Jonsson on the occasion of his 60th birthday. (English) Zbl 07497120

Lecture Notes in Computer Science 13030. Cham: Springer (ISBN 978-3-030-91383-0/pbk; 978-3-030-91384-7/ebook). viii, 219 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. (English) Zbl 07496176

Lecture Notes in Computer Science 13182. Cham: Springer (ISBN 978-3-030-94582-4/pbk; 978-3-030-94583-1/ebook). x, 520 p. (2022).
MSC:  68-06 68Q60 00B25
PDF BibTeX XML Cite
Full Text: DOI

Social bot detection as a temporal logic model checking problem. (English) Zbl 07547767

Ghosh, Sujata (ed.) et al., Logic, rationality, and interaction. 8th international workshop, LORI 2021, Xi’ian, China, October 16–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13039, 158-173 (2021).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI

Proceedings of the 12th international symposium on games, automata, logics, and formal verification, GandALF, Padua, Italy, September 20–22, 2021. (English) Zbl 07544355

Electronic Proceedings in Theoretical Computer Science (EPTCS) 346. Waterloo: Open Publishing Association (OPA). 307 p., electronic only, open access (2021).
PDF BibTeX XML Cite
Full Text: DOI Link

Proceedings of the 37th international conference on logic programming (technical communications), ICLP, Porto, virtual event, September 20–27, 2021. (English) Zbl 07544354

Electronic Proceedings in Theoretical Computer Science (EPTCS) 345. Waterloo: Open Publishing Association (OPA). 309 p., electronic only, open access (2021).
MSC:  68-06 68Q60 00B25
PDF BibTeX XML Cite
Full Text: DOI Link

Proceedings of the 8th workshop on Horn clauses for verification and synthesis, HCVS, virtual, March 28, 2021. (English) Zbl 07544353

Electronic Proceedings in Theoretical Computer Science (EPTCS) 344. Waterloo: Open Publishing Association (OPA). 108 p., electronic only, open access (2021).
MSC:  68-06 68Q60 00B25
PDF BibTeX XML Cite
Full Text: DOI Link

Proceedings of the 9th international workshop on verification and program transformation, VPT, Luxembourg, Luxembourg, March 27–28, 2021. (English) Zbl 07544351

Electronic Proceedings in Theoretical Computer Science (EPTCS) 341. Waterloo: Open Publishing Association (OPA). 94 p., electronic only, open access (2021).
PDF BibTeX XML Cite
Full Text: DOI Link

EthVer: formal verification of randomized Ethereum smart contracts. (English) Zbl 07535925

Bernhard, Matthew (ed.) et al., Financial cryptography and data security. FC 2021 international workshops. Codecfin, DeFi, VOTING, and WTSC, virtual event, March 5, 2021. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 12676, 364-380 (2021).
MSC:  91G99 94A60
PDF BibTeX XML Cite
Full Text: DOI

How to exploit a DeFi project. (English) Zbl 07535909

Bernhard, Matthew (ed.) et al., Financial cryptography and data security. FC 2021 international workshops. Codecfin, DeFi, VOTING, and WTSC, virtual event, March 5, 2021. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 12676, 162-167 (2021).
MSC:  91G99 94A60
PDF BibTeX XML Cite
Full Text: DOI

A divide & conquer approach to conditional stable model checking. (English) Zbl 07500640

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 105-111 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Accelerating SpMV multiplication in probabilistic model checkers using GPUs. (English) Zbl 07500639

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 86-104 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Active and sparse methods in smoothed model checking. (English) Zbl 07498050

Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 217-234 (2021).
MSC:  68Q60 68Q87 68T05
PDF BibTeX XML Cite
Full Text: DOI

Tweaking the odds in probabilistic timed automata. (English) Zbl 07498041

Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 39-58 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Accelerating the computation of dead and concurrent places using reductions. (English) Zbl 07497972

Laarman, Alfons (ed.) et al., Model checking software. 27th international symposium, SPIN 2021, virtual event, July 12, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12864, 45-62 (2021).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI

The marriage between safety and cybersecurity: still practicing. (English) Zbl 07497970

Laarman, Alfons (ed.) et al., Model checking software. 27th international symposium, SPIN 2021, virtual event, July 12, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12864, 3-21 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Verifying graph programs with monadic second-order logic. (English) Zbl 07493665

Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 240-261 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Interval probabilistic timed graph transformation systems. (English) Zbl 07493664

Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 221-239 (2021).
MSC:  68Q42 68Q60 68Q87
PDF BibTeX XML Cite
Full Text: DOI

Abstraction-based incremental inductive coverability for Petri nets. (English) Zbl 07493586

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 379-398 (2021).
MSC:  68Q85 68Q60 68W05
PDF BibTeX XML Cite
Full Text: DOI

A lazy query scheme for reachability analysis in Petri nets. (English) Zbl 07493585

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 360-378 (2021).
MSC:  68Q85 68Q60 68W05
PDF BibTeX XML Cite
Full Text: DOI

Efficient algorithms for three reachability problems in safe Petri nets. (English) Zbl 07493584

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 339-359 (2021).
MSC:  68Q85 68Q60 68W05
PDF BibTeX XML Cite
Full Text: DOI

Model checking of synchronized domain-specific multi-formalism models using high-level Petri nets. (English) Zbl 07493579

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 230-249 (2021).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Skeleton abstraction for universal temporal properties. (English) Zbl 07493577

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 186-207 (2021).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI

On the combination of polyhedral abstraction and SMT-based model checking for Petri nets. (English) Zbl 07493576

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 164-185 (2021).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Computing parameterized invariants of parameterized Petri nets. (English) Zbl 07493575

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 141-163 (2021).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Automatic synthesis of transiently correct network updates via Petri games. (English) Zbl 07493574

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 118-137 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Canonical representations for direct generation of strategies in high-level Petri games. (English) Zbl 07493573

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 95-117 (2021).
MSC:  68Q85 68Q60 91A80
PDF BibTeX XML Cite
Full Text: DOI

A turn-based approach for qualitative time concurrent games. (English) Zbl 07493572

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 76-92 (2021).
MSC:  68Q85 68Q60 91A80
PDF BibTeX XML Cite
Full Text: DOI

Timed Petri nets with reset for pipelined synchronous circuit design. (English) Zbl 07493571

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 55-75 (2021).
PDF BibTeX XML Cite
Full Text: DOI

\( \pi\) with leftovers: a mechanisation in Agda. (English) Zbl 07493477

Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 157-174 (2021).
PDF BibTeX XML Cite
Full Text: DOI

How adaptive and reliable is your program? (English) Zbl 07493472

Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 60-79 (2021).
PDF BibTeX XML Cite
Full Text: DOI

On bidirectional runtime enforcement. (English) Zbl 07493469

Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 3-21 (2021).
MSC:  68Q60 03B70 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021. Proceedings. (English) Zbl 07458676

Lecture Notes in Computer Science 12971. Cham: Springer (ISBN 978-3-030-88884-8/pbk; 978-3-030-88885-5/ebook). xv, 382 p. (2021).
MSC:  68-06 68Q60 00B25
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software