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
MU Faculty or unit
Faculty of Informatics
Cooperating Organization
Charles University Prague
Investor logo

Publications

2015

Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties

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

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

2014

Model Checking Parallel Programs with Inputs

BARNAT Jiří — BAUCH Petr — HAVEL Vojtěch

Temporal Verification of Simulink Diagrams

BARNAT Jiří — BAUCH Petr — HAVEL Vojtěch

Towards Verification of Ensemble Based Component Systems

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

2013

DCCL: Verification of Component Systems with Ensembles

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

Distributed LTL Model Checking with Hash Compaction

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

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ří

Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking

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

Formal analysis of piecewise affine systems through formula-guided refinement

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

Previous 1 2 3 4 5 Next

You are running an old browser version. We recommend updating your browser to its latest version.

More info