Project information
Software Components in Embedded Systems: Development and Verification
(Components in Embedded Systems)
- Project Identification
- GAP202/11/0312
- Project Period
- 3/2011 - 12/2013
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Standard Projects
- MU Faculty or unit
- Faculty of Informatics
- Cooperating Organization
-
Charles University
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ů.
Publications
Total number of publications: 42
2013
-
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
CONCUR 2013 - Concurrency Theory - 24th International Conference, year: 2013
-
Improved State Space Reductions for LTL Model Checking of C & C++ Programs
NASA Formal Methods 2013, year: 2013
-
Minimum-violation LTL Planning with Conflicting Specifications
Proceedings of the American Control Conference, year: 2013
-
Model Checking of Biological Systems
Formal Methods for Dynamical Systems, year: 2013
-
Optimal Control of MDPs with Temporal Logic Constraints
Proceedings of The 52nd IEEE Conference on Decision and Control, year: 2013
-
Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints
Proceedings of The 2013 American Control Conference, year: 2013
-
Qualitative modelling and analysis of Photosystem II
CEUR Workshop Proceedings, year: 2013
-
Robustness Analysis for Value-Freezing Signal Temporal Logic
Proceedings HSB 2013, year: 2013
-
Robustness Analysis of Stochastic Systems
Electronic Proceedings in Theoretical Computer Science, Volume 116, year: 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), year: 2013