A. B. Godlevskij

Available identifiers

zbMath Open godlevsky.a-bMaRDI QIDQ1364091

List of research outcomes

Publication	Date of Publication	Type
Cyber-physical systems: the linguistic aspect	2020-12-14	Paper
Properties of a predicate transformer of the VRS system	2014-06-05	Paper
Predicate transformers in the context of symbolic modeling of transition systems	2014-06-05	Paper
Using linear models in optimizing parameters of time-triggered protocols	2007-07-05	Paper
An algorithm for checking the time consistency of message sequence charts	2003-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4529570	2002-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q4234174	1999-11-03	Paper
Parallel dynamic semantics of sequential programs with speculative and incremental computation	1998-05-25	Paper
Program reduction allowing for additional specifications	1996-05-20	Paper
Transformation synthesis of efficient algorithms with auxiliary specifications	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4090314	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4055583	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5684653	1973-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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