Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Opracowanie oraz implementacja metod weryfikacji modelowej dla systemów czasu rzeczywistego i wieloagentowych

2011/01/B/ST6/05317

Słowa kluczowe:

weryfikacja modelowa sytemy wieloagantowe systemy czasu rzeczywistego logiki temporalne automaty sieci Petriego

Deskryptory:

  • ST6_3: Metody formalne

Panel:

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

Jednostka realizująca:

Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

woj. śląskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Bożena Woźna-Szcześniak 

Liczba wykonawców projektu: 3

Konkurs: OPUS 1 - ogłoszony 2011-03-15

Przyznana kwota: 272 500 PLN

Rozpoczęcie projektu: 2011-12-08

Zakończenie projektu: 2014-12-07

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

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. Monitor IIYAMA 23.6 CAL / E2480HSU-B1 LCD - OSPRZĘT STACJI SERWEROWEJ. Za kwotę 1 000 PLN
  2. Komputer DELL Vostro 470 I7-3770/32GB/SSD256/1TB/3YNBD - STACJA SERWEROWA. Za kwotę 8 600 PLN
  3. PRZEŁĄCZNIK EDIMAX KVM USB SOHO - OSPRZĘT STACJI SERWEROWEJ. Za kwotę 200 PLN
  4. MYSZ A4-TECH OPTYCZNA - OSPRZĘT STACJI SERWEROWEJ. Za kwotę 150 PLN
  5. Klawiatura Natec Slim USB - OSPRZĘT STACJI SERWEROWEJ. Za kwotę 50 PLN

Dane z raportu końcowego

  • Publikacje w czasopismach (7)
  • Teksty w publikacjach pokonferencyjnych (16)
  • Publikacje książkowe (3)
  1. Checking EMTLK properties of Timed Interpreted Systems via Bounded Model Checking IF: 0,342
    Autorzy:
    Bożena Woźna- Szcześniak, Andrzej Zbrzezny
    Czasopismo:
    Studia logica (rok: 2014, tom: -, strony: -), Wydawca: Springer
    Status:
    Złożona
  2. A translation of the existential model checking problem from MITL to HLTL IF: 0,479
    Autorzy:
    Bożena Woźna-Szcześniak, Andrzej Zbrzezny
    Czasopismo:
    Fundamenta Informaticae (rok: 2013, tom: 122(4), strony: 401-420), Wydawca: IOS Press
    Status:
    Opublikowana
    Doi:
    10.3233/FI-2013-795 - link do publikacji
  3. BDD- versus SAT-based Bounded Model Checking for the Existential Fragment of Linear Temporal Logic with Knowledge: Algorithms and their Performance IF: 1,108
    Autorzy:
    Artur Męski, Wojciech Penczek, Maciej Szreter, Bożena Woźna-Szcześniak, Andrzej Zbrzezny.
    Czasopismo:
    Journal of Autonomous Agents and Multi-Agent Systems (rok: 2014, tom: 28(4), strony: 558-604), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s10458-013-9232-2 - link do publikacji
  4. Checking MTL properties of Discrete Timed Automata via Bounded Model Checking. IF: 0,479
    Autorzy:
    Bożena Woźna-Szcześniak, Andrzej Zbrzezny
    Czasopismo:
    Fundamenta Informaticae (rok: 2014, tom: 135(4), strony: 553-568), Wydawca: IOS Press
    Status:
    Opublikowana
    Doi:
    10.3233/FI-2014-1140 - link do publikacji
  5. A new translation from ECTL* to SAT. IF: 0,399
    Autorzy:
    Andrzej Zbrzezny
    Czasopismo:
    Fundamenta Informaticae (rok: 2012, tom: 120(3-4), strony: 375-395), Wydawca: IOS Press
    Status:
    Opublikowana
    Doi:
    10.3233/FI-2012-768 - link do publikacji
  6. Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems IF: 0,399
    Autorzy:
    Wojciech Penczek, Bożena Woźna-Szcześniak, Andrzej Zbrzezny
    Czasopismo:
    Fundamenta Informaticae (rok: 2012, tom: 119(3-4), strony: 373-392), Wydawca: IOS Press
    Status:
    Opublikowana
    Doi:
    10.3233/FI-2012-743 - link do publikacji
  7. Verifying RTECTL properties of a train controller system
    Autorzy:
    Bożena Woźna-Szcześniak, Agnieszka Zbrzezny, Andrzej Zbrzezny
    Czasopismo:
    Prace Naukowe AJD w Częstochowie, Matematyka (rok: 2011, tom: XVI, strony: 153-162), Wydawca: Akademia im. Jana Długosza w Częstochowa
    Status:
    Opublikowana
  1. A Comparison of SAT-Based and SMT-Based Bounded Model Checking Methods for ECTL*
    Autorzy:
    Agnieszka Zbrzezny, Andrzej Zbrzezny
    Konferencja:
    The 23nd International Workshop on Concurrency, Specification and Programming (CS&P 2014) (rok: 2014, ), Wydawca: CEUR Workshop Proceedings (CEUR-WS.org), Sun SITE Central Europe
    Data:
    konferencja 29 Wrzesień - 1 Październik 2014
    Status:
    Opublikowana
  2. Bounded Model Checking for Knowledge and Linear Time
    Autorzy:
    Artur Męski, Wojciech Penczek, Maciej Szreter, Bożena Woźna-Szcześniak, Andrzej Zbrzezny
    Konferencja:
    The 11th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS'2012) (rok: 2012, ), Wydawca: IFAAMAS Press
    Data:
    konferencja 4-8 czerwiec 2012, Walencja, Hiszpania
    Status:
    Opublikowana
  3. Checking EMTLK properties of Timed Interpreted Systems via Bounded Model Checking (Short paper).
    Autorzy:
    Bożena Woźna-Szcześniak
    Konferencja:
    The 13th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS'2014) (rok: 2014, ), Wydawca: IFAAMAS Press
    Data:
    konferencja 5-9 Maj 2014
    Status:
    Opublikowana
  4. On Boolean Encodings of Transition Relation for Parallel Compositions of Transition Systems
    Autorzy:
    Andrzej Zbrzezny
    Konferencja:
    The 22nd International Workshop on Concurrency, Specification and Programming (CS&P 2013) (rok: 2013, ), Wydawca: CEUR Workshop Proceedings (CEUR-WS.org), Sun SITE Central Europe
    Data:
    konferencja 25-27 wrzesień 2013
    Status:
    Opublikowana
  5. SAT-Based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic
    Autorzy:
    Bożena Woźna-Szcześniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny
    Konferencja:
    The 16th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2013) (rok: 2013, ), Wydawca: Springer
    Data:
    konferencja 1-6 grudzień 2013, Dunedin, Nowa Zelandia
    Status:
    Opublikowana
  6. SAT-based Bounded Model Checking for Deontic Interleaved Interpreted Systems
    Autorzy:
    Bożena Woźna-Szcześniak, Andrzej Zbrzezny
    Konferencja:
    The 6th International KES Conference on Agents and Multi-agent Systems - Technologies and Applications (KES-AMSTA) (rok: 2012, ), Wydawca: Springer Berlin Heidelberg
    Data:
    konferencja 25-27 czerwiec 2012, Dubrownik, Chorwacja
    Status:
    Opublikowana
  7. SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems (Extended Abstract).
    Autorzy:
    Bożena Woźna-Szcześniak
    Konferencja:
    The 23nd International Workshop on Concurrency, Specification and Programming (CS&P 2014) (rok: 2014, ), Wydawca: CEUR Workshop Proceedings (CEUR-WS.org), Sun SITE Central Europe
    Data:
    konferencja 29 Wrzesień - 1 Październik 2014
    Status:
    Opublikowana
  8. BDD-based Bounded Model Checking for LTLK over Two Variants of Interpreted Systems
    Autorzy:
    Artur Meski, Wojciech Penczek, Maciej Szreter
    Konferencja:
    The 5th International Workshop on Logics, Agents, and Mobility (LAM'12) (rok: 2012, ), Wydawca: CEUR Workshop Proceedings (CEUR-WS.org), Sun SITE Central Europe
    Data:
    konferencja 25-26 czerwiec 2012, Hamburg, Niemcy
    Status:
    Opublikowana
  9. Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic
    Autorzy:
    Bożena Woźna-Szcześniak, Ireneusz Szcześniak, Agnieszka Zbrzezny, Andrzej Zbrzezny
    Konferencja:
    The 17th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2014) (rok: 2014, ), Wydawca: Springer-Verlag
    Data:
    konferencja 1-5 grudnia 2014, Gold Coast, Queensland, Australia
    Status:
    Opublikowana
  10. SAT-based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems.
    Autorzy:
    Bożena Woźna-Szcześniak, Andrzej Zbrzezny
    Konferencja:
    Declarative Agent Languages and Technologies X. The 10th International Workshop, (DALT 2012 ) (rok: 2013, ), Wydawca: Springer
    Data:
    konferencja 4 czerwiec 2012, Walencja, Hiszpania
    Status:
    Opublikowana
  11. SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems
    Autorzy:
    Bożena Woźna-Szcześniak
    Konferencja:
    The 16th Portuguese Conference on Artificial Intelligence (EPIA'2013) (rok: 2013, ), Wydawca: Springer
    Data:
    konferencja 9-12 wrzesień 2013
    Status:
    Opublikowana
  12. Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge
    Autorzy:
    Artur Męski, Wojciech Penczek, Maciej Szreter, Bożena Woźna-Szcześniak, Andrzej Zbrzezny
    Konferencja:
    The 6th International KES Conference on Agents and Multi-agent Systems - Technologies and Applications (KES-AMSTA) (rok: 2012, ), Wydawca: Springer Berlin Heidelberg
    Data:
    konferencja 25-27 czerwiec 2012, Dubrownik, Chorwacja
    Status:
    Opublikowana
  13. Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking (Extended Abstract)
    Autorzy:
    Bożena Woźna-Szcześniak, Andrzej Zbrzezny
    Konferencja:
    The 22nd International Workshop on Concurrency, Specification and Programming (CS&P 2013) (rok: 2013, ), Wydawca: CEUR Workshop Proceedings (CEUR-WS.org), Sun SITE Central Europe
    Data:
    konferencja 25-27 wrzesień 2013
    Status:
    Opublikowana
  14. Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic
    Autorzy:
    Artur Męski, Bożena Woźna-Szcześniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny
    Konferencja:
    The 10th International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2013) (rok: 2013, ), Wydawca: Springer
    Data:
    konferencja 22-24 maj 2013, Salamanka, Hiszpania
    Status:
    Opublikowana
  15. SAT-based Bounded Model Checking for RTECTL and Simply-timed systems
    Autorzy:
    Bożena Woźna-Szcześniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny
    Konferencja:
    The 10th European Workshop on Performance Engineering (EPEW 2013) (rok: 2013, ), Wydawca: Springer
    Data:
    konferencja 16-17 wrzesień 2013
    Status:
    Opublikowana
  16. Bounded Model Checking for Linear Time Temporal-Epistemic Logic
    Autorzy:
    Artur Męski, Wojciech Penczek , Maciej Szreter
    Konferencja:
    Imperial College Computing Student Workshop (ICCSW'12) (rok: 2012, ), Wydawca: Schloss Dagstuhl
    Data:
    konferencja 27-28 wrzesień 2012, Londyn, Wielka Brytania
    Status:
    Opublikowana
  1. On the SAT-based Verification of Communicative Commitments
    Autorzy:
    Bożena Woźna-Szcześniak.
    Książka:
    Trends in Contemporary Computer Science (rok: 2014, tom: Rozdział 4, strony: 175-186), Wydawca: Politechnika Białostocka
    Status:
    Opublikowana
  2. SAT-based Bounded Model Checking for Metric Temporal Logic and Simply-timed systems
    Autorzy:
    Bożena Woźna-Szcześniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny
    Książka:
    Designe, development and implementation of real time systems (rok: 2013, tom: Rozdział 14, strony: 181-190), Wydawca: Zeszyty Rady Naukowej Polskiego Towarzystwa Naukowego
    Status:
    Opublikowana
  3. ROBDD-based Bounded Model Checking for DECTL and Simply-timed Systems
    Autorzy:
    Bożena Woźna-Szcześniak, Agnieszka Zbrzezny, Andrzej Zbrzezny
    Książka:
    Selected Applications of Real Time Systems (rok: 2014, tom: Rozdział 5, strony: 51-62), Wydawca: Zeszyty Rady Naukowej Polskiego Towarzystwa Naukowego, oraz Wydawnictwo Nakom
    Status:
    Opublikowana