Vlad Rusu

According to our database, Vlad Rusu authored at least 57 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formal definitions and proofs for partial (co)recursive functions.

Horatiu Cheval, David Nowak, Vlad Rusu

J. Log. Algebraic Methods Program., 2024

2023

While Loops in Coq.

David Nowak, Vlad Rusu

Proceedings of the Proceedings 7th Symposium on Working Formal Methods, 2023

2022

Defining Corecursive Functions in Coq Using Approximations (Artifact).

Vlad Rusu, David Nowak

Dagstuhl Artifacts Ser., 2022

A Formal Correctness Proof for an EDF Scheduler Implementation.

Florian Vanhems, Vlad Rusu, David Nowak, Gilles Grimaud

Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022

Defining Corecursive Functions in Coq Using Approximations.

Vlad Rusu, David Nowak

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

(Co)inductive proof systems for compositional proofs in reachability logic.

Vlad Rusu, David Nowak

J. Log. Algebraic Methods Program., 2021

Guest Editor's foreword.

Vlad Rusu

J. Log. Algebraic Methods Program., 2021

2020

Proving partial-correctness and invariance properties of transition-system models.

Vlad Rusu, Gilles Grimaud, Michaël Hauspie

Sci. Comput. Program., 2020

2017

A generic framework for symbolic execution: A coinductive approach.

Dorel Lucanu, Vlad Rusu, Andrei Arusoaie

J. Symb. Comput., 2017

Executing and verifying higher-order functional-imperative programs in Maude.

Vlad Rusu, Andrei Arusoaie

J. Log. Algebraic Methods Program., 2017

A Certified Procedure for RL Verification.

Andrei Arusoaie, David Nowak, Vlad Rusu, Dorel Lucanu

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

2016

Language definitions as rewrite theories.

Vlad Rusu, Dorel Lucanu, Traian-Florin Serbanuta, Andrei Arusoaie, Andrei Stefanescu, Grigore Rosu

J. Log. Algebraic Methods Program., 2016

A language-independent proof system for full program equivalence.

Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu

Formal Aspects Comput., 2016

Proving Reachability-Logic Formulas Incrementally.

Vlad Rusu, Andrei Arusoaie

Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016

2015

Program equivalence by circular reasoning.

Dorel Lucanu, Vlad Rusu

Formal Aspects Comput., 2015

Symbolic execution based on language transformation.

Andrei Arusoaie, Dorel Lucanu, Vlad Rusu

Comput. Lang. Syst. Struct., 2015

Verifying Reachability-Logic Properties on Rewriting-Logic Specifications.

Dorel Lucanu, Vlad Rusu, Andrei Arusoaie, David Nowak

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

A Theoretical Foundation for Programming Languages Aggregation.

Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu

Proceedings of the Recent Trends in Algebraic Development Techniques, 2014

A Language-Independent Proof System for Mutual Program Equivalence.

Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu

Proceedings of the Formal Methods and Software Engineering, 2014

2013

Embedding domain-specific modelling languages in Maude specifications.

Vlad Rusu

Softw. Syst. Model., 2013

A Generic Framework for Symbolic Execution.

Andrei Arusoaie, Dorel Lucanu, Vlad Rusu

Proceedings of the Software Language Engineering - 6th International Conference, 2013

2011

Towards a K Semantics for OCL.

Andrei Arusoaie, Dorel Lucanu, Vlad Rusu

Proceedings of the Second International Workshop on the K Framework and its Applications, 2011

A K-Based Formal Framework for Domain-Specific Modelling Languages.

Vlad Rusu, Dorel Lucanu

Proceedings of the Formal Verification of Object-Oriented Software, 2011

A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics.

Benoît Combemale, Laure Gonnord, Vlad Rusu

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

2010

Equational approximations for tree automata completion.

Thomas Genet, Vlad Rusu

J. Symb. Comput., 2010

Formal executable semantics for conformance in the MDE framework.

Marina Egea, Vlad Rusu

Innov. Syst. Softw. Eng., 2010

Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications.

Vlad Rusu

Proceedings of the Tests and Proofs - 4th International Conference, 2010

Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design.

Abdoulaye Gamatié, Vlad Rusu, Éric Rutten

Proceedings of the Ninth International Symposium on Parallel and Distributed Computing, 2010

2009

Vérification d'invariants pour des systèmes spécifiés en logique de réécriture.

Vlad Rusu, Manuel Clavel

Stud. Inform. Univ., 2009

2007

Integrating formal verification and conformance testing for reactive systems.

Camille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu

IEEE Trans. Software Eng., 2007

Integrating Verification, Testing, and Learning for Cryptographic Protocols.

Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006

Verifying an ATM Protocol Using a Combination of Formal Techniques.

Vlad Rusu

Comput. J., 2006

Symbolic Determinisation of Extended Automata.

Thierry Jéron, Hervé Marchand, Vlad Rusu

Proceedings of the Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), 2006

Model-Based Test Selection for Infinite-State Reactive Systems.

Bertrand Jeannet, Thierry Jéron, Vlad Rusu

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant.

Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

2005

Extracting a data flow analyser in constructive logic.

David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu

Theor. Comput. Sci., 2005

Symbolic Test Selection Based on Approximate Analysis.

Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems.

Vlad Rusu, Hervé Marchand, Thierry Jéron

Proceedings of the FM 2005: Formal Methods, 2005

2004

From Safety Verification to Safety Testing.

Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet

Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004

2003

Combining formal verification and conformance testing for validating reactive systems.

Vlad Rusu

Softw. Test. Verification Reliab., 2003

Compositional Verification of an ATM Protocol.

Vlad Rusu

Proceedings of the FME 2003: Formal Methods, 2003

Ensuring the conformance of reactive discrete-event systems using supervisory control.

Thieny Eron, Hervé Marchand, Vlad Rusu, Valéry Tschaen

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002

STG: A Symbolic Test Generation Tool.

Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

Verification Using Test Generation Techniques.

Vlad Rusu

Proceedings of the FME 2002: Formal Methods, 2002

2001

Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols.

Vlad Rusu, Elena Zinovieva

Proceedings of the Verification of Parameterized Systems, 2001

STG: a tool for generating symbolic test programs and oracles from operational specifications.

Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Verifying a Sliding Window Protocol using PVS.

Vlad Rusu

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

Automated Test and Oracle Generation for Smart-Card Applications.

Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva

Proceedings of the Smart Card Programming and Security, 2001

2000

An Approach to Symbolic Test Generation.

Vlad Rusu, Lydie du Bousquet, Thierry Jéron

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

1999

Hybrid Verifications of Reactive Programs.

Olivier F. Roux, Vlad Rusu, Franck Cassez

Formal Aspects Comput., 1999

On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction.

Vlad Rusu, Eli Singerman

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

1998

Reachability Verification for Hybrid Automata.

Thomas A. Henzinger, Vlad Rusu

Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

1997

Verifying Periodic Task-Control Systems.

Vlad Rusu

Proceedings of the Hybrid and Real-Time Systems, 1997

Analysis of Slope-Parametric Hybrid Automata.

Frédéric Boniol, Augusto Burgueño, Olivier F. Roux, Vlad Rusu

Proceedings of the Hybrid and Real-Time Systems, 1997

Task-System Analysis Using Slope-Parametric Hybrid Automata.

Augusto Burgueño, Vlad Rusu

Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996

Uniformity for the Decidability of Hybrid Automata.

Olivier F. Roux, Vlad Rusu

Proceedings of the Static Analysis, Third International Symposium, 1996

1994

Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata.

Olivier F. Roux, Vlad Rusu

Proceedings of the Hybrid Systems II, 1994