Остановите войну!
for scientists:
default search action
Vlad Rusu
Publications
- 2023
- [c43]David Nowak, Vlad Rusu:
While Loops in Coq. FROM 2023: 96-109 - 2022
- [j20]Vlad Rusu, David Nowak:
Defining Corecursive Functions in Coq Using Approximations (Artifact). Dagstuhl Artifacts Ser. 8(2): 02:1-02:2 (2022) - [c42]Vlad Rusu, David Nowak:
Defining Corecursive Functions in Coq Using Approximations. ECOOP 2022: 12:1-12:24 - [c41]Florian Vanhems, Vlad Rusu, David Nowak, Gilles Grimaud:
A Formal Correctness Proof for an EDF Scheduler Implementation. RTAS 2022: 281-292 - 2021
- [j19]Vlad Rusu, David Nowak:
(Co)inductive proof systems for compositional proofs in reachability logic. J. Log. Algebraic Methods Program. 118: 100619 (2021) - 2020
- [j17]Vlad Rusu, Gilles Grimaud, Michaël Hauspie:
Proving partial-correctness and invariance properties of transition-system models. Sci. Comput. Program. 186 (2020) - 2019
- [c40]Vlad Rusu, David Nowak:
(Co)inductive Proof Systems for Compositional Proofs in Reachability Logic. FROM 2019: 32-47 - 2018
- [c39]Vlad Rusu, Gilles Grimaud, Michaël Hauspie:
Proving Partial-Correctness and Invariance Properties of Transition-System Models. TASE 2018: 60-67 - 2017
- [j16]Vlad Rusu, Andrei Arusoaie:
Executing and verifying higher-order functional-imperative programs in Maude. J. Log. Algebraic Methods Program. 93: 68-91 (2017) - [j15]Dorel Lucanu, Vlad Rusu, Andrei Arusoaie:
A generic framework for symbolic execution: A coinductive approach. J. Symb. Comput. 80: 125-163 (2017) - [c38]Andrei Arusoaie, David Nowak, Vlad Rusu, Dorel Lucanu:
A Certified Procedure for RL Verification. SYNASC 2017: 129-136 - 2016
- [j14]Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu:
A language-independent proof system for full program equivalence. Formal Aspects Comput. 28(3): 469-497 (2016) - [j13]Vlad Rusu, Dorel Lucanu, Traian-Florin Serbanuta, Andrei Arusoaie, Andrei Stefanescu, Grigore Rosu:
Language definitions as rewrite theories. J. Log. Algebraic Methods Program. 85(1): 98-120 (2016) - [c37]Vlad Rusu, Andrei Arusoaie:
Proving Reachability-Logic Formulas Incrementally. WRLA 2016: 134-151 - 2015
- [j12]Andrei Arusoaie, Dorel Lucanu, Vlad Rusu:
Symbolic execution based on language transformation. Comput. Lang. Syst. Struct. 44: 48-71 (2015) - [j11]Dorel Lucanu, Vlad Rusu:
Program equivalence by circular reasoning. Formal Aspects Comput. 27(4): 701-726 (2015) - [c36]Dorel Lucanu, Vlad Rusu, Andrei Arusoaie, David Nowak:
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications. Logic, Rewriting, and Concurrency 2015: 451-474 - 2014
- [c35]Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu:
A Language-Independent Proof System for Mutual Program Equivalence. ICFEM 2014: 75-90 - [c34]Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu:
A Theoretical Foundation for Programming Languages Aggregation. WADT 2014: 30-47 - [c33]Andrei Arusoaie, Dorel Lucanu, Vlad Rusu, Traian-Florin Serbanuta, Andrei Stefanescu, Grigore Rosu:
Language Definitions as Rewrite Theories. WRLA 2014: 97-112 - 2013
- [c32]Dorel Lucanu, Vlad Rusu:
Program Equivalence by Circular Reasoning. IFM 2013: 362-377 - [c31]Andrei Arusoaie, Dorel Lucanu, Vlad Rusu:
A Generic Framework for Symbolic Execution. SLE 2013: 281-301 - 2011
- [c29]Vlad Rusu, Dorel Lucanu:
A K-Based Formal Framework for Domain-Specific Modelling Languages. FoVeOOS 2011: 214-231 - [c28]Andrei Arusoaie, Dorel Lucanu, Vlad Rusu:
Towards a K Semantics for OCL. K 2011: 81-96
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-25 02:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint