Nowe metody parametrycznej weryfikacji modelowej
2012/07/N/ST6/03426
Słowa kluczowe
Deskryptory
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
- ST6_2: Systemy komputerowe, systemy równoległe i rozproszone, sieci sensorów, systemy wbudowane, systemy cybernetyczne
Panel
ST6 – Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca
Instytut Podstaw Informatyki PAN
woj. mazowieckie
Kierownik projektu (z jednostki realizującej)
Liczba wykonawców projektu: 2
Konkurs
PRELUDIUM 4 – ogłoszony 2012-09-15
- Przyznana kwota
- 94 140 PLN
- Rozpoczęcie projektu
- 2013-07-29
- Zakończenie projektu
- 2015-07-28
- Planowany czas trwania projektu
- 24 miesiące (z wniosku)
- Status projektu
- Projekt rozliczony
Zakupiona aparatura
- Laptop. Za kwotę 6 000 PLN
Dane z raportu końcowego/rocznego
Publikacje w czasopismach (2)
-
Action Synthesis for Branching Time Logic: Theory and Applications
- Autorzy:
- Michał Knapik, Artur Męski, Wojciech Penczek
- Czasopismo:
- ACM Transactions on Embedded Computing Systems (rok: 2015, tom: 14, strony: 30-53), Wydawca: ACM
- Status:
- Opublikowana
- DOI:
- 10.1145/2746337 – link do publikacji
-
Parameter Synthesis for Timed Kripke Structures
- Autorzy:
- Michal Knapik, Wojciech Penczek
- Czasopismo:
- Fundamenta Informaticae (rok: 2014, tom: 133(2-3), strony: 211-226), Wydawca: IOS Press.
- Status:
- Opublikowana
- DOI:
- 10.3233/FI-2014-1072 – link do publikacji
Teksty w publikacjach pokonferencyjnych (3)
-
Fixed-Point Methods in Parametric Model Checking
- Autorzy:
- Michał Knapik, Wojciech Penczek
- Konferencja:
- IEEE Conf. of Intelligent Systems (rok: 2014, strony: 231-242), Wydawca: IEEE
- Data:
- konferencja 24-26 września
- Status:
- Opublikowana
-
Generating None-Plans in Order to Find Plans
- Autorzy:
- Michał Knapik, Artur Niewiadomski, Wojciech Penczek
- Konferencja:
- International Conference on Software Engineering and Formal Methods (rok: 2015, strony: 310-324), Wydawca: Springer
- Data:
- konferencja 7-11 września
- Status:
- Opublikowana
-
Action Synthesis for Branching Time Logic: Theory and Applications
- Autorzy:
- Michał Knapik, Artur Męski, Wojciech Penczek
- Konferencja:
- 14th International Conference on Application of Concurrency to System Design (rok: 2014, strony: 46032), Wydawca: IEEE
- Data:
- konferencja 23-27 czerwca
- Status:
- Opublikowana
- DOI:
- link do publikacji
Publikacje książkowe (1)
-
Underapproximating ATL with Imperfect Information and Imperfect Recall
- Autorzy:
- Wojciech Jamroga, Michał Knapik
- Książka:
- Prace IPI PAN (rok: 2015, tom: 1032, strony: 46038), Wydawca: Wydawnictwo IPI PAN
- Status:
- Opublikowana