Vlad Rusu

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Vlad Rusu