×

Found 3,153 Documents (Results 1–100)

Efficient trace generation for rare-event analysis in chemical reaction networks. (English) Zbl 07750357

Caltais, Georgiana (ed.) et al., Model checking software. 29th international symposium, SPIN 2023, Paris, France, April 26–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13872, 83-102 (2023).
MSC:  68Q85 92C42 92E20
PDFBibTeX XMLCite
Full Text: DOI

Optimizing Maude programs via program specialization. (English) Zbl 1529.68130

Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 21-50 (2023).
MSC:  68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Formal techniques for distributed objects, components, and systems. 43rd IFIP WG 6.1 international conference, FORTE 2023, held as part of the 18th international federated conference on distributed computing techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023. Proceedings. (English) Zbl 1528.68029

Lecture Notes in Computer Science 13910. Cham: Springer (ISBN 978-3-031-35354-3/pbk; 978-3-031-35355-0/ebook). xiv, 225 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Realizable and context-free hyperlanguages. (English) Zbl 1530.68191

Ganty, Pierre (ed.) et al., Proceedings of the 13th international symposium on games, automata, logics, and formal verification, GandALF 2022, Madrid, Spain, September 21–23, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 370, 114-130 (2022).
MSC:  68Q85 68Q42 68Q45
PDFBibTeX XMLCite
Full Text: arXiv Link

From infinity to choreographies. Extraction for unbounded systems. (English) Zbl 1522.68068

Villanueva, Alicia (ed.), Logic-based program synthesis and transformation. 32nd international symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13474, 103-120 (2022).
MSC:  68M14 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Lock-sensitive reachability analysis for parallel recursive programs with dynamic creation of threads and locks. A graph-based approach. (English) Zbl 1509.68004

Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.). viii, 231 p., open access (2022).
PDFBibTeX XMLCite
Full Text: DOI

Invariant analysis for multi-agent graph transformation systems using \(k\)-induction. (English) Zbl 1514.68093

Behr, Nicolas (ed.) et al., Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13349, 173-192 (2022).
MSC:  68Q42 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Executable semantics and type checking for session-based concurrency in Maude. (English) Zbl 1514.68182

Bae, Kyungmin (ed.), Rewriting logic and its applications. 14th international workshop, WRLA 2022, Munich, Germany, April 2–3, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13252, 230-250 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Kaki: concurrent update synthesis for regular policies via Petri games. (English) Zbl 1502.68193

ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 249-267 (2022).
MSC:  68Q85 68M10 68Q60
PDFBibTeX XMLCite
Full Text: DOI

The synthesis problem for repeatedly communicating Petri games. (English) Zbl 1499.68225

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 236-257 (2022).
MSC:  68Q85 68Q25 91A80
PDFBibTeX XMLCite
Full Text: DOI

Encodability criteria for quantum based systems. (English) Zbl 1499.68234

Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 151-169 (2022).
MSC:  68Q85 81P68
PDFBibTeX XMLCite
Full Text: DOI arXiv

Fault-tolerant multiparty session types. (English) Zbl 1499.68233

Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 93-113 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. (English) Zbl 1492.68025

Lecture Notes in Computer Science 13273. Cham: Springer (ISBN 978-3-031-08678-6/pbk; 978-3-031-08679-3/ebook). xiv, 209 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI

Sized types with usages for parallel complexity of Pi-calculus processes. (English) Zbl 07730636

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 34, 22 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Deciding polynomial termination complexity for VASS programs. (English) Zbl 07730632

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 30, 15 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Scope-bounded reachability in valence systems. (English) Zbl 1520.68037

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 29, 19 p. (2021).
MSC:  68Q09 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

The orbit problem for parametric linear dynamical systems. (English) Zbl 07730630

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 28, 17 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

A temporal logic for strategic hyperproperties. (English) Zbl 07730626

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 24, 19 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

SMT-based model checking of max-plus linear systems. (English) Zbl 07730624

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 22, 20 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Adaptive synchronisation of pushdown automata. (English) Zbl 07730619

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 17, 15 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Translation of CCS into CSP, correct up to strong bisimulation. (English) Zbl 1522.68368

Calinescu, Radu (ed.) et al., Software engineering and formal methods. 19th international conference, SEFM 2021, virtual event, December 6–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13085, 243-261 (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI Link

Improving thread-modular abstract interpretation. (English) Zbl 1497.68122

Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 359-383 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A novel approach for supervisor synthesis to enforce opacity of discrete event systems. (English) Zbl 1496.68195

Gao, Debin (ed.) et al., Information and communications security. 23rd international conference, ICICS 2021, Chongqing, China, November 19–21, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12919, 210-227 (2021).
PDFBibTeX XMLCite
Full Text: DOI

A generalized concurrent rule construction for double-pushout rewriting. (English) Zbl 1489.68116

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, 22-39 (2021).
MSC:  68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

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

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

Flat Petri nets (invited talk). (English) Zbl 1489.68164

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, 17-30 (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI HAL

Higher-order recursion schemes and their automata models. (English) Zbl 07425671

Pin, Jean-Éric (ed.), Handbook of automata theory. Volume II. Automata in mathematics and selected applications. Berlin: European Mathematical Society (EMS). 1295-1341 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Nested session types. (English) Zbl 1473.68113

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 178-206 (2021).
MSC:  68Q85 68Q42
PDFBibTeX XMLCite
Full Text: DOI arXiv

Types for complexity of parallel computation in pi-calculus. (English) Zbl 1473.68111

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 59-86 (2021).
MSC:  68Q85 68Q25 68Q55
PDFBibTeX XMLCite
Full Text: DOI HAL

Data flow analysis of asynchronous systems using infinite abstract domains. (English) Zbl 1473.68110

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 30-58 (2021).
MSC:  68Q85 68M14 68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

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. (English) Zbl 1482.68037

Lecture Notes in Computer Science 12719. Cham: Springer (ISBN 978-3-030-78088-3/pbk; 978-3-030-78089-0/ebook). xii, 245 p. (2021).
PDFBibTeX XMLCite
Full Text: DOI

Affine tasks for \(k\)-test-and-set. (English) Zbl 1517.68047

Devismes, Stéphane (ed.) et al., Stabilization, safety, and security of distributed systems. 22nd international symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12514, 151-166 (2020).
MSC:  68M14 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Invited paper: Reactive PLS for distributed decision. (English) Zbl 1518.68230

Devismes, Stéphane (ed.) et al., Stabilization, safety, and security of distributed systems. 22nd international symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12514, 81-96 (2020).
MSC:  68Q85 68Q60 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Drawing the line: basin boundaries in safe Petri nets. (English) Zbl 1504.68143

Abate, Alessandro (ed.) et al., Computational methods in systems biology. 18th international conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12314, 321-336 (2020).
MSC:  68Q85 37C70 92C42
PDFBibTeX XMLCite
Full Text: DOI HAL

Derivation of heard-of predicates from elementary behavioral patterns. (English) Zbl 1511.68031

Gotsman, Alexey (ed.) et al., Formal techniques for distributed objects, components, and systems. 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12136, 133-149 (2020).
MSC:  68M14 68M15 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

On implementable timed automata. (English) Zbl 1511.68029

Gotsman, Alexey (ed.) et al., Formal techniques for distributed objects, components, and systems. 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12136, 78-95 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Mixed sessions. (English) Zbl 1508.68255

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 715-742 (2020).
MSC:  68Q85 68N30
PDFBibTeX XMLCite
Full Text: DOI

Aneris: a mechanised logic for modular reasoning about distributed systems. (English) Zbl 1508.68246

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 336-365 (2020).
MSC:  68Q85 03B70 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Incremental concurrent model synchronization using triple graph grammars. (English) Zbl 1507.68095

Wehrheim, Heike (ed.) et al., Fundamental approaches to software engineering. 23rd international conference, FASE 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12076, 273-293 (2020).
MSC:  68N30 68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Graph transformation systems: a semantics based on (stochastic) symmetric nets. (English) Zbl 1502.68148

Pang, Jun (ed.) et al., Dependable software engineering. Theories, tools, and applications. 6th international symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12153, 35-51 (2020).
MSC:  68Q42 68Q55 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Reachability in fixed dimension vector addition systems with states. (English) Zbl 07559504

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 48, 21 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

The big-O problem for labelled Markov chains and weighted automata. (English) Zbl 07559497

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 41, 19 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Coverability in 1-VASS with disequality tests. (English) Zbl 07559494

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 38, 20 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Universality problem for unambiguous VASS. (English) Zbl 07559492

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 36, 15 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software