Automatic analysis of concurrent systems
2017/27/B/ST6/02093
Keywords
Descriptors
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
Panel
ST6 – Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems
Host institution
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Voivodeship: mazowieckie
Principal investigator (from the host institution)
prof. Sławomir Grzegorz Lasota
Number of co-investigators in the project: 6
Call
OPUS 14 – announced on 2017-09-15
- Amount awarded
- 768 800 PLN
- Project start date
- 2018-07-20
- Project end date
- 2021-12-19
- Project duration
- 41 months (the same as in the proposal)
- Project status
- Project settled
Project description
Download the project description in a pdf file
Note — project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.
Equipment purchased [PL]
- Komputery przenośne. Cost: 17 040 PLN
Information in the final report
Publication in academic press/journals (4)
-
The Reachability Problem for Petri Nets is Not Elementary
- Authors:
- W. Czerwiński, S. Lasota, R. Lazic, J. Leroux, F. Mazowiecki
- Academic press:
- Journal of the ACM (year: 2021, volume: 68(1), pages: 7:1-7:28), Publisher: Association for Computing Machinery
- Status:
- Published
- DOI:
- 10.1145/3422822 – link to the publication
-
A lower bound for the coverability problem in acyclic pushdown VAS
- Authors:
- M. Englert, P.Hofman, S. Lasota, R. Lazic, J. Leroux, J. Straszyński
- Academic press:
- Information Processing Letters (year: 2021, volume: 167, pages: 106079), Publisher: Elsevier
- Status:
- Published
- DOI:
- 10.1016/j.ipl.2020.106079 – link to the publication
-
Investigating Reversibility of Steps in Petri Nets
- Authors:
- David de Frutos-Escrig, Maciej Koutny, Łukasz Mikulski
- Academic press:
- Fundamenta Informaticae (year: 2021, volume: 183(1-2), pages: 67-96), Publisher: PTM
- Status:
- Published
- DOI:
- 10.3233/FI-2021-2082 – link to the publication
-
Algebraic Structure of Step Traces and Interval Traces
- Authors:
- Ryszard Janicki, Łukasz Mikulski
- Academic press:
- Fundamenta Informaticae (year: 2020, volume: 175, pages: 253-280), Publisher: PTM
- Status:
- Published
- DOI:
- 10.3233/FI-2020-1956 – link to the publication
Articles in post-conference publications (5)
-
Timed Games and Deterministic Separability
- Authors:
- L.Clemente, S.Lasota, R.Piórkowski
- Conference:
- ICALP 2020 (year: 2020, pages: 121:1--121:16), Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
- Date:
- conference 2020.07.8-11
- Status:
- Published
- DOI:
- link to the publication
-
Reachability in fixed dimension vector addition systems with states
- Authors:
- W. Czerwiński, S. Lasota, R. Lazic, J. Leroux, F. Mazowiecki
- Conference:
- CONCUR (year: 2020, pages: 48:1-48:21), Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
- Date:
- conference 1-4.-09.2020
- Status:
- Published
- DOI:
- link to the publication
-
New Pumping Technique for 2-Dimensional VASS
- Authors:
- W. Czerwiński, S. Lasota, C. Löding, R. Piórkowski
- Conference:
- MFCS 2019 (year: 2019, pages: 62:1-62:14), Publisher: Leibniz International Proceedings in Informatics
- Date:
- conference 26-30.09.2019
- Status:
- Published
- DOI:
- link to the publication
-
The Reachability Problem for Petri Nets is Not Elementary
- Authors:
- W. Czerwiński, S. Lasota, R. Lazic, J. Leroux, F. Mazowiecki
- Conference:
- STOC 2019 - 51st ACM Symposium on Theory of Computing (year: 2019, pages: 24-33), Publisher: ACM
- Date:
- conference 23-26.06.2019
- Status:
- Published
-
Improved lower bounds for reachability in vector addition systems
- Authors:
- W. Czerwiński, S. Lasota, Ł. Orlikowski
- Conference:
- ICALP 2021 (year: 2021, pages: 128:1-128:15), Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
- Date:
- conference 12-16.07.2021
- Status:
- Published
- DOI:
- link to the publication