Project information
Software Components in Embedded Systems: Development and Verification (Components in Embedded Systems)

Information

This project doesn't include Faculty of Arts. It includes Faculty of Informatics. Official project website can be found on muni.cz.

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

SVOREŇOVÁ Mária ČERNÁ Ivana BELTA Calin

Article in Periodical

IEEE Transactions on Automatic Control, year: 2015, volume: 60, edition: 6, DOI
Temporal Logic Motion Planning using POMDPs with Parity Objectives

SVOREŇOVÁ Mária CHMELÍK Martin LEAHY Kevin ENISER Hasan Ferit CHATTERJEE Krishnendu ČERNÁ Ivana BELTA Calin

Article in Proceedings

Proceedings of ACM international conference on Hybrid Systems: Computation and Control, year: 2015

2014

Model Checking Parallel Programs with Inputs

BARNAT Jiří BAUCH Petr HAVEL Vojtěch

Article in Proceedings

Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP), year: 2014
Temporal Verification of Simulink Diagrams

BARNAT Jiří BAUCH Petr HAVEL Vojtěch

Article in Proceedings

Proceedings of HASE 2014, year: 2014
Towards Verification of Ensemble Based Component Systems

BARNAT Jiří BENEŠ Nikola BUREŠ Tomáš ČERNÁ Ivana KEZNIKL Tomáš PLÁŠIL František

Article in Proceedings

Formal Aspects of Component Software, year: 2014

2013

DCCL: Verification of Component Systems with Ensembles

BARNAT Jiří BENEŠ Nikola ČERNÁ Ivana PETRUCHOVÁ Zuzana

Article in Proceedings

CBSE '13 Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, year: 2013
Distributed LTL Model Checking with Hash Compaction

BARNAT Jiří HAVLÍČEK Jan ROČKAI Petr

Article in Proceedings

Electronic Notes in Theoretical Computer Science, Volume 296, year: 2013
DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs

BARNAT Jiří BRIM Luboš HAVEL Vojtěch HAVLÍČEK Jan KRIHO Jan LENČO Milan ROČKAI Petr ŠTILL Vladimír WEISER Jiří

Article in Proceedings

Computer Aided Verification 2013, year: 2013
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking

BRIM Luboš ČEŠKA Milan DRAŽAN Sven ŠAFRÁNEK David

Article in Proceedings

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

YORDANOV Boyan TŮMOVÁ Jana ČERNÁ Ivana BARNAT Jiří BELTA Calin

Article in Periodical

Automatica, year: 2013, volume: 49, edition: 1, DOI