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
2012
-
Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints
Proceedings of the 51st IEEE Conference on Decision and Control, year: 2012
-
Designing Fast LTL Model Checking Algorithms for Many-core GPUs
Journal of Parallel and Distributed Computing, year: 2012, volume: 72, edition: 9, DOI
-
Dual-Priced Modal Transition Systems with Time Durations
LPAR-18 - Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, year: 2012
-
Executing Model Checking Counterexamples in Simulink
IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering, year: 2012
-
EXPTIME-Completeness of Thorough Refinement on Modal Transition Systems
Information and Computation, year: 2012, volume: 218, edition: September, DOI
-
Factorization for Component-Interaction Automata
SOFSEM 2012: Theory and Practice of Computer Science, year: 2012
-
Checking Sanity of Software Requirements
Proceedings of the 10th International Conference on Software Engineering and Formal Methods, year: 2012
-
Modal Process Rewrite Systems
Theoretical Aspects of Computing - ICTAC 2012, year: 2012
-
On Approximative Reachability Analysis of Biochemical Dynamical Systems
Transactions on Computational Systems Biology XIV, year: 2012
-
On Expressing and Monitoring Oscillatory Dynamics
Electronic Proceedings in Theoretical Computer Science, year: 2012, volume: 2012, edition: 92, DOI