Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Automaty z wagami dla własności kwantytatywnych

2014/15/D/ST6/04543

Słowa kluczowe:

automaty z wagami automaty hybrydowe kwantytatywna weryfikacja modeli algorytmy heurystyczne,rozstrzygalność

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna

Panel:

ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

Jednostka realizująca:

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

woj. dolnośląskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr Jan Otop 

Liczba wykonawców projektu: 4

Konkurs: SONATA 8 - ogłoszony 2014-09-15

Przyznana kwota: 417 760 PLN

Rozpoczęcie projektu: 2015-07-22

Zakończenie projektu: 2018-10-21

Planowany czas trwania projektu: 36 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. Komputer typu notebook dla doktoranta. Za kwotę 6 500 PLN
  2. Zestaw komputerowy (notebook, monitor, stacja dokująca, klawiatura, mysz). Za kwotę 8 000 PLN

Dane z raportu końcowego

  • Publikacje w czasopismach (4)
  • Teksty w publikacjach pokonferencyjnych (8)
  1. Model measuring for discrete and hybrid systems IF: 3,192
    Autorzy:
    Thomas A Henzinger, Jan Otop
    Czasopismo:
    Nonlinear Analysis: Hybrid Systems (rok: 2017, tom: 23, strony: 166-190), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.nahs.2016.09.001 - link do publikacji
  2. Nested Weighted Automata IF: 961
    Autorzy:
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    Czasopismo:
    ACM Transactions on Computational Logic (rok: 2017, tom: 18, strony: 31:1-31:44), Wydawca: ACM
    Status:
    Opublikowana
    Doi:
    10.1145/3152769 - link do publikacji
  3. Edit Distance for Pushdown Automata IF: 0,569
    Autorzy:
    Krishnendu Chatterjee, Thomas Henzinger, Rasmus Ibsen-Jensen, Jan Otop
    Czasopismo:
    Logical Methods in Computer Science (rok: 2017, tom: 13, strony: 3:1-3:23), Wydawca: Logical Methods in Computer Science e.V.
    Status:
    Opublikowana
    Doi:
    10.23638/LMCS-13(3:23)2017 - link do publikacji
  4. Quantitative Automata under Probabilistic Semantics IF: 0,569
    Autorzy:
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    Czasopismo:
    Logical Methods in Computer Science (rok: 2019, tom: 15, strony: 3:1-3:45), Wydawca: Logical Methods in Computer Science e.V.
    Status:
    Opublikowana
    Doi:
    10.23638/LMCS-15(3:16)2019 - link do publikacji
  1. Quantitative Monitor Automata
    Autorzy:
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    Konferencja:
    Static Analysis (SAS 2016) (rok: 2016, ), Wydawca: Springer Berlin Heidelberg
    Data:
    konferencja 8-10.09.2016
    Status:
    Opublikowana
  2. Lipschitz Robustness of Timed I/O Systems
    Autorzy:
    Thomas A. Henzinger, Jan Otop, Roopsha Samanta
    Konferencja:
    17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2016) (rok: 2016, ), Wydawca: Springer Berlin Heidelberg
    Data:
    konferencja 17-19.01.2016
    Status:
    Opublikowana
  3. Average Stack Cost of Büchi Pushdown Automata
    Autorzy:
    Jakub Michaliszyn, Jan Otop
    Konferencja:
    IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017) (rok: 2017, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 11–15.12.2017
    Status:
    Opublikowana
  4. Computing Average Response Time
    Autorzy:
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    Konferencja:
    Edward A. Lee Festschrift Symposium (rok: 2018, ), Wydawca: Springer
    Data:
    konferencja 13.10.2017
    Status:
    Opublikowana
  5. Quantitative Automata under Probabilistic Semantics
    Autorzy:
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    Konferencja:
    ACM/IEEE Symposium on Logic in Computer Science (LICS 2016) (rok: 2016, ), Wydawca: ACM
    Data:
    konferencja 5-8.07.2016
    Status:
    Opublikowana
  6. Bidirectional Nested Weighted Automata
    Autorzy:
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    Konferencja:
    International Conference on Concurrency Theory (CONCUR 2017) (rok: 2017, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 5-8.09.2017
    Status:
    Opublikowana
  7. Non-deterministic Weighted Automata on Random Words
    Autorzy:
    Jakub Michaliszyn, Jan Otop
    Konferencja:
    International Conference on Concurrency Theory (CONCUR 2017) (rok: 2018, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 4-7.09.2018
    Status:
    Opublikowana
  8. Nested Weighted Limit-Average Automata of Bounded Width
    Autorzy:
    Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    Konferencja:
    Symposium on Mathematical Foundations of Computer Science (MFCS 2016) (rok: 2016, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 22-26.08.2016
    Status:
    Opublikowana