Vlad Rusu

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Formal definitions and proofs for partial (co)recursive functions	2024-10-08	Paper
Uniformity for the decidability of hybrid automata	2022-02-16	Paper
(Co)inductive proof systems for compositional proofs in reachability logic	2021-02-26	Paper
Symbolic execution based on language transformation	2018-05-15	Paper
https://portal.mardi4nfdi.de/entity/Q4594004	2017-11-16	Paper
Executing and verifying higher-order functional-imperative programs in Maude	2017-10-13	Paper
A language-independent proof system for full program equivalence	2017-02-14	Paper
A generic framework for symbolic execution: a coinductive approach	2017-02-06	Paper
Language definitions as rewrite theories	2016-12-28	Paper
Proving Reachability-Logic Formulas Incrementally	2016-10-21	Paper
A Theoretical Foundation for Programming Languages Aggregation	2016-02-25	Paper
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications	2015-09-14	Paper
Language Definitions as Rewrite Theories	2015-09-09	Paper
Program equivalence by circular reasoning	2015-09-03	Paper
Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols	2013-05-10	Paper
Equational approximations for tree automata completion	2010-05-05	Paper
Integrating Verification, Testing, and Learning for Cryptographic Protocols	2009-03-06	Paper
Model-Based Test Selection for Infinite-State Reactive Systems	2008-09-17	Paper
Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant	2007-05-02	Paper
FM 2005: Formal Methods	2006-01-10	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Ensuring the conformance of reactive discrete-event systems by means of supervisory control	2005-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4808833	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4472265	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4471927	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4785544	2003-01-05	Paper
https://portal.mardi4nfdi.de/entity/Q4537137	2002-11-06	Paper
Hybrid verifications of reactive programs	2000-05-07	Paper

Research outcomes over time

This page was built for person: Vlad Rusu