![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Viorel Preoteasa
Person information
- affiliation: Abo Akademi University, Turku, Finland
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j17]Viorel Preoteasa, Iulia Dragomir
, Stavros Tripakis
:
The refinement calculus of reactive systems. Inf. Comput. 285(Part): 104819 (2022) - 2020
- [j16]Iulia Dragomir
, Viorel Preoteasa, Stavros Tripakis:
The Refinement Calculus of Reactive Systems Toolset. Int. J. Softw. Tools Technol. Transf. 22(6): 689-708 (2020)
2010 – 2019
- 2019
- [c15]Viorel Preoteasa, Timo Latvala, Kimmo Varpaaniemi:
Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems. CS&P 2019 - [c14]Viorel Preoteasa, Iulia Dragomir
, Stavros Tripakis:
Mechanically Proving Determinacy of Hierarchical Block Diagram Translations. VMCAI 2019: 577-600 - 2018
- [c13]Iulia Dragomir
, Viorel Preoteasa, Stavros Tripakis
:
The Refinement Calculus of Reactive Systems Toolset. TACAS (2) 2018: 201-208 - 2017
- [j15]Srinivas Pinisetty
, Viorel Preoteasa, Stavros Tripakis
, Thierry Jéron
, Yliès Falcone, Hervé Marchand:
Predictive runtime enforcement. Formal Methods Syst. Des. 51(1): 154-199 (2017) - [j14]Srinivas Pinisetty
, Thierry Jéron
, Stavros Tripakis
, Yliès Falcone, Hervé Marchand, Viorel Preoteasa:
Predictive runtime verification of timed properties. J. Syst. Softw. 132: 353-365 (2017) - [c12]Viorel Preoteasa, Iulia Dragomir
, Stavros Tripakis
:
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. FORTE 2017: 194-209 - [i7]Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
The Refinement Calculus of Reactive Systems. CoRR abs/1710.03979 (2017) - [i6]Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis:
The Refinement Calculus of Reactive Systems Toolset. CoRR abs/1710.08195 (2017) - 2016
- [c11]Viorel Preoteasa:
Verifying Pointer Programs Using Separation Logic and Invariant Based Programming in Isabelle. IFM 2016: 457-473 - [c10]Viorel Preoteasa, Stavros Tripakis
:
Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems. LICS 2016: 768-777 - [c9]Srinivas Pinisetty
, Viorel Preoteasa, Stavros Tripakis
, Thierry Jéron
, Yliès Falcone, Hervé Marchand:
Predictive runtime enforcement. SAC 2016: 1628-1633 - [c8]Iulia Dragomir
, Viorel Preoteasa, Stavros Tripakis
:
Compositional Semantics and Analysis of Hierarchical Block Diagrams. SPIN 2016: 38-56 - [i5]Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
A Nondeterministic and Abstract Algorithm for Translating Hierarchical Block Diagrams. CoRR abs/1611.01337 (2016) - [i4]Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. CoRR abs/1612.05494 (2016) - 2015
- [j13]Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson:
Verification and code generation for invariant diagrams in Isabelle. J. Log. Algebraic Methods Program. 84(1): 19-36 (2015) - [i3]Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis:
Translating Hierarchical Block Diagrams into Composite Predicate Transformers. CoRR abs/1510.04873 (2015) - [i2]Viorel Preoteasa, Stavros Tripakis:
Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems. CoRR abs/1510.06379 (2015) - 2014
- [j12]Viorel Preoteasa:
Formalization of Refinement Calculus for Reactive Systems. Arch. Formal Proofs 2014 (2014) - [j11]Viorel Preoteasa:
Refinement algebra with dual operator. Sci. Comput. Program. 92: 179-210 (2014) - [c7]Viorel Preoteasa, Stavros Tripakis
:
Refinement calculus of reactive systems. EMSOFT 2014: 2:1-2:10 - [i1]Viorel Preoteasa, Stavros Tripakis:
Refinement Calculus of Reactive Systems. CoRR abs/1406.6035 (2014) - 2012
- [j10]Viorel Preoteasa, Ralph-Johan Back:
Invariant diagrams with data refinement. Formal Aspects Comput. 24(1): 67-95 (2012) - 2011
- [j9]George Georgescu, Laurentiu Leustean, Viorel Preoteasa:
Pseudo Hoops. Arch. Formal Proofs 2011 (2011) - [j8]Viorel Preoteasa:
Lattice Properties. Arch. Formal Proofs 2011 (2011) - [j7]Viorel Preoteasa:
Algebra of Monotonic Boolean Transformers. Arch. Formal Proofs 2011 (2011) - [c6]Ralph-Johan Back, Viorel Preoteasa:
Semantics and proof rules of invariant based programs. SAC 2011: 1658-1665 - [c5]Viorel Preoteasa:
Algebra of Monotonic Boolean Transformers. SBMF 2011: 140-155 - 2010
- [j6]Viorel Preoteasa, Ralph-Johan Back:
Semantics and Data Refinement of Invariant Based Programs. Arch. Formal Proofs 2010 (2010) - [j5]Viorel Preoteasa, Ralph-Johan Back:
Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement. Arch. Formal Proofs 2010 (2010)
2000 – 2009
- 2009
- [j4]Viorel Preoteasa:
Frame rule for mutually recursive procedures manipulating pointers. Theor. Comput. Sci. 410(42): 4216-4233 (2009) - [c4]Viorel Preoteasa, Ralph-Johan Back:
Data Refinement of Invariant Based Programs. REFINE@FMWeek 2009: 143-163 - 2006
- [c3]Viorel Preoteasa:
Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic. FM 2006: 508-523 - 2005
- [j3]Ralph-Johan Back, Viorel Preoteasa:
An algebraic treatment of procedure refinement to support mechanical verification. Formal Aspects Comput. 17(1): 69-90 (2005) - [j2]George Georgescu, Laurentiu Leustean, Viorel Preoteasa:
Pseudo-hoops. J. Multiple Valued Log. Soft Comput. 11(1-2): 153-184 (2005) - 2003
- [c2]Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa:
Reasoning about Pointers in Refinement Calculus. APSEC 2003: 425- - [c1]Ralph-Johan Back, Viorel Preoteasa:
Reasoning about recursive procedures with parameters. MERLIN 2003
1990 – 1999
- 1999
- [j1]Viorel Preoteasa:
A Relation Between Unambiguous Regular Expressions and Abstract Data Types. Fundam. Informaticae 40(1): 53-77 (1999)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint