Nikolai Kosmatov

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
Dynamic reconfigurations in frequency constrained data flow	2024-04-19	Paper
A data flow model with frequency arithmetic Fundamental Approaches to Software Engineering	2023-11-24	Paper
Efficient computation of arbitrary control dependencies Theoretical Computer Science	2023-08-01	Paper
Verified runtime assertion checking for memory properties	2022-11-09	Paper
Certified verification of relational properties (available as arXiv preprint)	2022-08-19	Paper
Runtime abstract interpretation for numerical accuracy and robustness	2021-10-18	Paper
How testing helps to diagnose proof failures Formal Aspects of Computing	2018-11-16	Paper
Cut branches before looking for bugs: certifiably sound verification on relaxed slices Formal Aspects of Computing	2018-02-02	Paper
Cut branches before looking for bugs: sound verification on relaxed slices Fundamental Approaches to Software Engineering	2016-04-21	Paper
Projective resolutions and Yoneda algebras for algebras of dihedral type. Algebras and Representation Theory	2007-09-06	Paper
scientific article; zbMATH DE number 2182803 (Why is no real title available?)	2005-06-23	Paper

Research outcomes over time

This page was built for person: Nikolai Kosmatov