Viorel Preoteasa

Available identifiers

zbMath Open preoteasa.viorelMaRDI QIDQ432147

List of research outcomes

Publication	Date of Publication	Type
The refinement calculus of reactive systems	2022-06-08	Paper
Mechanically proving determinacy of hierarchical block diagram translations	2020-01-23	Paper
Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems	2018-04-23	Paper
Predictive runtime enforcement	2017-09-08	Paper
Data Refinement of Invariant Based Programs	2016-08-01	Paper
Verification and code generation for invariant diagrams in Isabelle	2014-12-03	Paper
Invariant diagrams with data refinement	2012-07-03	Paper
Algebra of monotonic Boolean transformers	2011-11-11	Paper
Frame rule for mutually recursive procedures manipulating pointers	2009-10-09	Paper
An algebraic treatment of procedure refinement to support mechanical verification	2005-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q5692888	2005-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q4943321	2000-03-16	Paper

Research outcomes over time

This page was built for person: Viorel Preoteasa