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
2015
-
Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties
IEEE Transactions on Automatic Control, year: 2015, volume: 60, edition: 6, DOI
-
Temporal Logic Motion Planning using POMDPs with Parity Objectives
Proceedings of ACM international conference on Hybrid Systems: Computation and Control, year: 2015
2014
-
Model Checking Parallel Programs with Inputs
Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP), year: 2014
-
Temporal Verification of Simulink Diagrams
Proceedings of HASE 2014, year: 2014
-
Towards Verification of Ensemble Based Component Systems
Formal Aspects of Component Software, year: 2014
2013
-
DCCL: Verification of Component Systems with Ensembles
CBSE '13 Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, year: 2013
-
Distributed LTL Model Checking with Hash Compaction
Electronic Notes in Theoretical Computer Science, Volume 296, year: 2013
-
DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs
Computer Aided Verification 2013, year: 2013
-
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, year: 2013
-
Formal analysis of piecewise affine systems through formula-guided refinement
Automatica, year: 2013, volume: 49, edition: 1, DOI