Viorel Preoteasa

39 papers A* 1B 3C 2Misc 3Journal 24Unranked 6
YearRankTypeTitle / Venue / Authors
2022 J jnl
The refinement calculus of reactive systems.
Inf. Comput.
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
2020 J jnl
The Refinement Calculus of Reactive Systems Toolset.
Int. J. Softw. Tools Technol. Transf.
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
2019 B conf
Mechanically Proving Determinacy of Hierarchical Block Diagram Translations.
VMCAI
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
2019 — conf
Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems.
CS&P
Viorel Preoteasa, Timo Latvala, Kimmo Varpaaniemi
2018 — conf
The Refinement Calculus of Reactive Systems Toolset.
TACAS (2)
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
2017 J jnl
Predictive runtime enforcement.
Formal Methods Syst. Des.
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
2017 J jnl
Predictive runtime verification of timed properties.
J. Syst. Softw.
Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa
2017 J jnl
The Refinement Calculus of Reactive Systems Toolset.
CoRR
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
2017 J jnl
The Refinement Calculus of Reactive Systems.
CoRR
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
2017 C conf
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle.
FORTE
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
2016 J jnl
A Nondeterministic and Abstract Algorithm for Translating Hierarchical Block Diagrams.
CoRR
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
2016 — conf
Compositional Semantics and Analysis of Hierarchical Block Diagrams.
SPIN
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
2016 Misc conf
Predictive runtime enforcement.
SAC
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
2016 A* conf
Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems.
LICS
Viorel Preoteasa, Stavros Tripakis
2016 J jnl
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle.
CoRR
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
2016 B conf
Verifying Pointer Programs Using Separation Logic and Invariant Based Programming in Isabelle.
IFM
Viorel Preoteasa
2015 J jnl
Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems.
CoRR
Viorel Preoteasa, Stavros Tripakis
2015 J jnl
Translating Hierarchical Block Diagrams into Composite Predicate Transformers.
CoRR
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
2015 J jnl
Verification and code generation for invariant diagrams in Isabelle.
J. Log. Algebraic Methods Program.
Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson
2014 J jnl
Formalization of Refinement Calculus for Reactive Systems.
Arch. Formal Proofs
Viorel Preoteasa
2014 J jnl
Refinement Calculus of Reactive Systems.
CoRR
Viorel Preoteasa, Stavros Tripakis
2014 J jnl
Refinement algebra with dual operator.
Sci. Comput. Program.
Viorel Preoteasa
2014 Misc conf
Refinement calculus of reactive systems.
EMSOFT
Viorel Preoteasa, Stavros Tripakis
2012 J jnl
Invariant diagrams with data refinement.
Formal Aspects Comput.
Viorel Preoteasa, Ralph-Johan Back
2011 — conf
Algebra of Monotonic Boolean Transformers.
SBMF
Viorel Preoteasa
2011 J jnl
Algebra of Monotonic Boolean Transformers.
Arch. Formal Proofs
Viorel Preoteasa
2011 J jnl
Lattice Properties.
Arch. Formal Proofs
Viorel Preoteasa
2011 J jnl
Pseudo Hoops.
Arch. Formal Proofs
George Georgescu, Laurentiu Leustean, Viorel Preoteasa
2011 Misc conf
Semantics and proof rules of invariant based programs.
SAC
Ralph-Johan Back, Viorel Preoteasa
2010 J jnl
Semantics and Data Refinement of Invariant Based Programs.
Arch. Formal Proofs
Viorel Preoteasa, Ralph-Johan Back
2010 J jnl
Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement.
Arch. Formal Proofs
Viorel Preoteasa, Ralph-Johan Back
2009 — conf
Data Refinement of Invariant Based Programs.
REFINE@FMWeek
Viorel Preoteasa, Ralph-Johan Back
2009 J jnl
Frame rule for mutually recursive procedures manipulating pointers.
Theor. Comput. Sci.
Viorel Preoteasa
2006 B conf
Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic.
FM
Viorel Preoteasa
2005 J jnl
An algebraic treatment of procedure refinement to support mechanical verification.
Formal Aspects Comput.
Ralph-Johan Back, Viorel Preoteasa
2005 J jnl
Pseudo-hoops.
J. Multiple Valued Log. Soft Comput.
George Georgescu, Laurentiu Leustean, Viorel Preoteasa
2003 C conf
Reasoning about Pointers in Refinement Calculus.
APSEC
Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa
2003 — conf
Reasoning about recursive procedures with parameters.
MERLIN
Ralph-Johan Back, Viorel Preoteasa
1999 J jnl
A Relation Between Unambiguous Regular Expressions and Abstract Data Types.
Fundam. Informaticae
Viorel Preoteasa