Vlad Rusu's Profile
About Vlad Rusu
I did my PhD at the university of Nantes (1993-1996), and was a post-doctoral researcher at SRI International (formerly Stanford Research Institute) in Menlo Park, California in the PVS group. I joined Inria as a permanent researcher in 1999, first in Rennes, and then in Lille. My research interests are formal methods in a broad sense (theorem proving, model checking, model-based testing, algebraic specifications and rewriting) and their applications in software development.
Google Scholar profile (citations, h-index, etc): http://scholar.google.fr/citations?user=uDBCQR8AAAAJ&hl=en
Affiliations
| 1999 | - | : | Inria (Institut National de Recherche en Informatique et Automatique) | |
| 1997 | - | 1999 | : | SRI International (formerly, Stanford Research Institute) |
| 1993 | - | 1997 | : | University of Nantes |
Recent Publications
- (Co)inductive Proof Systems for Compositional Proofs in Reachability LogicJournal of Logical and Algebraic Methods in Programming, , 2020.
- Proving Partial-Correctness and Invariance Properties of Transition-System ModelsSCP, 186, 2020. [doi]
- (Co)inductive Proof Systems for Compositional Proofs in Reachability LogicIn Proceedings Third Symposium on Working Formal Methods, Electronic Proceeding in Theoretical Computer Science 303. 2019: 32-47 [doi]
- Proving Partial-Correctness and Invariance Properties of Transition-System ModelsIn TASE 2018 - 12th International Symposium on Theoretical Aspects of Software Engineering. 2018: