Informace o projektu
Software Components in Embedded Systems: Development and Verification
(Components in Embedded Systems)
- Kód projektu
- GAP202/11/0312
- Období řešení
- 3/2011 - 12/2013
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Spolupracující organizace
-
Univerzita Karlova
Cílem projektu je návrh metodologie pro vývoj a verifikaci komponentových systémů se zaměřením na zapouzdřené aplikace, návrh technik a nástrojů pro specifikaci a formální deskripci komponentových systémů a návrh a implementace efektivních metod pro verikaci správnosti komponentových systémů.
Publikace
Počet publikací: 42
2013
-
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
CONCUR 2013 - Concurrency Theory - 24th International Conference, rok: 2013
-
Improved State Space Reductions for LTL Model Checking of C & C++ Programs
NASA Formal Methods 2013, rok: 2013
-
Minimum-violation LTL Planning with Conflicting Specifications
Proceedings of the American Control Conference, rok: 2013
-
Model Checking of Biological Systems
Formal Methods for Dynamical Systems, rok: 2013
-
Optimal Control of MDPs with Temporal Logic Constraints
Proceedings of The 52nd IEEE Conference on Decision and Control, rok: 2013
-
Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints
Proceedings of The 2013 American Control Conference, rok: 2013
-
Qualitative modelling and analysis of Photosystem II
CEUR Workshop Proceedings, rok: 2013
-
Robustness Analysis for Value-Freezing Signal Temporal Logic
Proceedings HSB 2013, rok: 2013
-
Robustness Analysis of Stochastic Systems
Electronic Proceedings in Theoretical Computer Science, Volume 116, rok: 2013
-
Timed Modelling of Gene Networks with Arbitrary Expression Level Discretization
Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio'12), rok: 2013