Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Nowe metody parametrycznej weryfikacji modelowej

2012/07/N/ST6/03426

Słowa kluczowe:

parametryczna weryfikacja modelowa synteza programów synteza modeli

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

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

Michał Knapik 

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ęcy (z wniosku)

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. Laptop. Za kwotę 6 000 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (2)
  • Teksty w publikacjach pokonferencyjnych (3)
  • Publikacje książkowe (1)
  1. 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
  2. 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
  1. 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, ), Wydawca: IEEE
    Data:
    konferencja 23-27 czerwca
    Status:
    Opublikowana
    Doi:
    link do publikacji
  2. Fixed-Point Methods in Parametric Model Checking
    Autorzy:
    Michał Knapik, Wojciech Penczek
    Konferencja:
    IEEE Conf. of Intelligent Systems (rok: 2014, ), Wydawca: IEEE
    Data:
    konferencja 24-26 września
    Status:
    Opublikowana
  3. 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, ), Wydawca: Springer
    Data:
    konferencja 7-11 września
    Status:
    Opublikowana
  1. Underapproximating ATL with Imperfect Information and Imperfect Recall
    Autorzy:
    Wojciech Jamroga, Michał Knapik
    Książka:
    Prace IPI PAN (rok: 2015, tom: 1032, strony: 45307), Wydawca: Wydawnictwo IPI PAN
    Status:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy