Viorel Preoteasa

Identifiers

• name variant Viorel Preoteasa 0.60 · backfill

Papers (7)

1. The Refinement Calculus of Reactive Systems Toolset cs.LO · 2017 · author #2
2. The Refinement Calculus of Reactive Systems cs.LO · 2017 · author #1
3. Type Inference of Simulink Hierarchical Block Diagrams in Isabelle cs.SE · 2016 · author #1
4. Mechanically Proving Determinacy of Hierarchical Block Diagram Translations cs.LO · 2016 · author #1
5. Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems cs.SE · 2015 · author #1
6. Translating Hierarchical Block Diagrams into Composite Predicate Transformers cs.SE · 2015 · author #2
7. Refinement Calculus of Reactive Systems cs.SE · 2014 · author #1

Mentions

• 1510.06379 #1 · backfill · confidence 0.70 Viorel Preoteasa
• 1510.04873 #2 · backfill · confidence 0.70 Viorel Preoteasa
• 1406.6035 #1 · backfill · confidence 0.70 Viorel Preoteasa

Frequent Coauthors

• Stavros Tripakis 7 shared papers
• Iulia Dragomir 5 shared papers