Viorel Preoteasa

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
The refinement calculus of reactive systems Information and Computation	2022-06-08	Paper
Mechanically proving determinacy of hierarchical block diagram translations (available as arXiv preprint)	2020-01-23	Paper
Towards compositional feedback in non-deterministic and non-input-receptive systems Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
Predictive runtime enforcement Formal Methods in System Design	2017-09-08	Paper
Data refinement of invariant based programs Electronic Notes in Theoretical Computer Science	2016-08-01	Paper
Verification and code generation for invariant diagrams in Isabelle Journal of Logical and Algebraic Methods in Programming	2014-12-03	Paper
Invariant diagrams with data refinement Formal Aspects of Computing	2012-07-03	Paper
Algebra of monotonic Boolean transformers Formal Methods, Foundations and Applications	2011-11-11	Paper
Frame rule for mutually recursive procedures manipulating pointers Theoretical Computer Science	2009-10-09	Paper
An algebraic treatment of procedure refinement to support mechanical verification Formal Aspects of Computing	2005-12-13	Paper
scientific article; zbMATH DE number 2209906 (Why is no real title available?)	2005-09-28	Paper
scientific article; zbMATH DE number 1416105 (Why is no real title available?)	2000-03-16	Paper

Research outcomes over time

This page was built for person: Viorel Preoteasa