Frontiers of automatic verification: new methods of analysis of infinite-state systems
2013/09/B/ST6/01575
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)
dr hab. Sławomir Grzegorz Lasota
Number of co-investigators in the project: 5
Call
OPUS 5 – announced on 2013-03-15
- Amount awarded
- 409 100 PLN
- Project start date
- 2014-03-20
- Project end date
- 2017-03-19
- Project duration
- 36 months (the same as in the proposal)
- Project status
- Project settled
Equipment purchased [PL]
- Baterie do komputerów przenośnych (3 pcs). Cost: 1 500 PLN
- Komputery przenośne (3 pcs). Cost: 18 522 PLN
- Monitory (2 pcs). Cost: 3 550 PLN
Information in the final report
Publication in academic press/journals (4)
-
Copyless cost-register automata: Structure, expressiveness, and closure properties
- Authors:
- Filip Mazowiecki, Cristian Riveros
- Academic press:
- Journal of Computer and System Sciences (year: 2019, volume: 100, pages: 46051), Publisher: Elsevier
- Status:
- Published
- DOI:
- 10.1016/j.jcss.2018.07.002 – link to the publication
-
Undecidability of performance equivalence of Petri nets
- Authors:
- Sławomir Lasota, Marcin Poturalski
- Academic press:
- Theoretical Computer Science (year: 2016, volume: 655, part B, pages: 109-119), Publisher: Elsevier
- Status:
- Published
- DOI:
- 10.1016/j.tcs.2016.01.034 – link to the publication
-
Incremental Test Case Generation Using Bounded Model Checking: an Application to Automatic Rating
- Authors:
- G. Anielak, G. Jakacki, S. Lasota
- Academic press:
- International Journal on Software Tools for Technology Transfer (year: 2015, volume: 17, pages: 339-349), Publisher: Springer
- Status:
- Published
- DOI:
- 10.1007/s10009-014-0317-2 – link to the publication
-
Simulation Problems Over One-Counter Nets
- Authors:
- Piotr Hofman, Sławomir Lasota, Richard Mayr, Patrick Totzke
- Academic press:
- Logical Methods in Computer Science (year: 2016, volume: 12, pages: 16803), Publisher: Logical Methods in Computer Science e.V.
- Status:
- Published
- DOI:
- 10.2168/LMCS-12(1:6)2016 – link to the publication
Articles in post-conference publications (10)
-
Coverability Trees for Petri Nets with Unordered Data
- Authors:
- Piotr Hofman, Sławomir Lasota, Ranko Lazic, Jerome Leroux, Sylvain Schmitz, Patrick Totzke
- Conference:
- FOSSACS 2016 (year: 2016, pages: 445-461), Publisher: Springer
- Date:
- conference 2-8.04.2016
- Status:
- Published
- DOI:
- link to the publication
-
Reachability Analysis of First-order Definable Pushdown Systems
- Authors:
- Lorenzo Clemente, Sławomir Lasota
- Conference:
- 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) (year: 2015, pages: 244--259), Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
- Date:
- conference 7-10.09.2015
- Status:
- Published
- DOI:
- link to the publication
-
Copyless Cost-Register Automata: Structure, Expressiveness, and Closure Properties
- Authors:
- Filip Mazowiecki, Cristian Riveros
- Conference:
- 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016) (year: 2016, pages: 53:1--53:13), Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
- Date:
- conference 17-20.02.2016
- Status:
- Published
- DOI:
- link to the publication
-
Separability of Reachability Sets of Vector Addition Systems
- Authors:
- Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota, Charles Paperman
- Conference:
- 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017) (year: 2017, pages: 24:1-24:14), Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
- Date:
- conference 8-11.03.2017
- Status:
- Published
- DOI:
- link to the publication
-
The Diagonal Problem for Higher-Order Recursion Schemes is Decidable
- Authors:
- Lorenzo Clemente, Paweł Parys, Sylvain Salvati, Igor Walukiewicz
- Conference:
- LICS'2016 (year: 2016, pages: 96-105), Publisher: ACM/IEEE
- Date:
- conference 7,2016
- Status:
- Published
- DOI:
- link to the publication
-
Ordered Tree-Pushdown Systems
- Authors:
- Lorenzo Clemente, Pawel Parys, Sylvain Salvati, Igor Walukiewicz
- Conference:
- 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015) (year: 2015, pages: 163-177), Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
- Date:
- conference 16-18.12.2015
- Status:
- Published
- DOI:
- link to the publication
-
Shortest paths in one-counter systems
- Authors:
- Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Michal Pilipczuk, Michael Wehar
- Conference:
- FOSSACS 2016 (year: 2016, pages: 462-478), Publisher: Springer
- Date:
- conference 2-8.04.2016
- Status:
- Published
- DOI:
- link to the publication
-
Branching Bisimilarity of Normed BPA Processes is in NEXPTIME
- Authors:
- Wojciech Czerwiński, Petr Jančar
- Conference:
- LICS'2015 (year: 2015, pages: 168-179), Publisher: ACM/IEEE
- Date:
- conference 7,2015
- Status:
- Published
- DOI:
- link to the publication
-
Trace Inclusion for One-Counter Nets Revisited
- Authors:
- Piotr Hofman, Patrick Totzke
- Conference:
- Reachability Problems 2014 (year: 2014, pages: 151-162), Publisher: Springer
- Date:
- conference 9,2014
- Status:
- Published
- DOI:
- link to the publication
-
Timed pushdown automata revisited
- Authors:
- Lorenzo Clemente, Sławomir Lasota
- Conference:
- Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) (year: 2015, pages: 738-749), Publisher: IEEE
- Date:
- conference 6-10.07.2015
- Status:
- Published
- DOI:
- link to the publication