A. B. Godlevskij

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Cyber-physical systems: the linguistic aspect Cybernetics and Systems Analysis	2020-12-14	Paper
Properties of a predicate transformer of the VRS system Cybernetics and Systems Analysis	2014-06-05	Paper
Predicate transformers in the context of symbolic modeling of transition systems Cybernetics and Systems Analysis	2014-06-05	Paper
Using linear models in optimizing parameters of time-triggered protocols Cybernetics and Systems Analysis	2007-07-05	Paper
An algorithm for checking the time consistency of message sequence charts Cybernetics and Systems Analysis	2003-09-09	Paper
scientific article; zbMATH DE number 1737289 (Why is no real title available?)	2002-05-05	Paper
scientific article; zbMATH DE number 1263301 (Why is no real title available?)	1999-11-03	Paper
Parallel dynamic semantics of sequential programs with speculative and incremental computation Cybernetics and Systems Analysis	1998-05-25	Paper
Program reduction allowing for additional specifications Cybernetics and Systems Analysis	1996-05-20	Paper
Transformation synthesis of efficient algorithms with auxiliary specifications Cybernetics	1986-01-01	Paper
scientific article; zbMATH DE number 3510274 (Why is no real title available?)	1975-01-01	Paper
scientific article; zbMATH DE number 3471980 (Why is no real title available?)	1974-01-01	Paper
scientific article; zbMATH DE number 3422348 (Why is no real title available?)	1973-01-01	Paper

Research outcomes over time

This page was built for person: A. B. Godlevskij