Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

New methods in parametric model checking

2012/07/N/ST6/03426

Keywords:

parametric model checking program synthesis model synthesis

Descriptors:

  • ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms
  • ST6_2: Computer systems, parallel/distributed systems, sensor networks, embedded systems, cyber-physical systems

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Instytut Podstaw Informatyki PAN

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

Michał Knapik 

Number of co-investigators in the project: 2

Call: PRELUDIUM 4 - announced on 2012-09-15

Amount awarded: 94 140 PLN

Project start date (Y-m-d): 2013-07-29

Project end date (Y-m-d): 2015-07-28

Project duration:: 24 months (the same as in the proposal)

Project status: Project settled

Equipment purchased [PL]

  1. Laptop (6 000 PLN)

Information in the final report

  • Publication in academic press/journals (2)
  • Articles in post-conference publications (3)
  • Book publications / chapters in book publications (1)
  1. Action Synthesis for Branching Time Logic: Theory and Applications
    Authors:
    Michał Knapik, Artur Męski, Wojciech Penczek
    Academic press:
    ACM Transactions on Embedded Computing Systems (rok: 2015, tom: 14, strony: 30-53), Wydawca: ACM
    Status:
    Published
    DOI:
    10.1145/2746337 - link to the publication
  2. Parameter Synthesis for Timed Kripke Structures
    Authors:
    Michal Knapik, Wojciech Penczek
    Academic press:
    Fundamenta Informaticae (rok: 2014, tom: 133(2-3), strony: 211-226), Wydawca: IOS Press.
    Status:
    Published
    DOI:
    10.3233/FI-2014-1072 - link to the publication
  1. Action Synthesis for Branching Time Logic: Theory and Applications
    Authors:
    Michał Knapik, Artur Męski, Wojciech Penczek
    Conference:
    14th International Conference on Application of Concurrency to System Design (rok: 2014, ), Wydawca: IEEE
    Data:
    konferencja 23-27 czerwca
    Status:
    Published
    DOI:
    link to the publication
  2. Fixed-Point Methods in Parametric Model Checking
    Authors:
    Michał Knapik, Wojciech Penczek
    Conference:
    IEEE Conf. of Intelligent Systems (rok: 2014, ), Wydawca: IEEE
    Data:
    konferencja 24-26 września
    Status:
    Published
  3. Generating None-Plans in Order to Find Plans
    Authors:
    Michał Knapik, Artur Niewiadomski, Wojciech Penczek
    Conference:
    International Conference on Software Engineering and Formal Methods (rok: 2015, ), Wydawca: Springer
    Data:
    konferencja 7-11 września
    Status:
    Published
  1. Underapproximating ATL with Imperfect Information and Imperfect Recall
    Authors:
    Wojciech Jamroga, Michał Knapik
    Book:
    Prace IPI PAN (rok: 2015, tom: 1032, strony: 45307), Wydawca: Wydawnictwo IPI PAN
    Status:
    Published

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy