Rusu, Vlad
Rusu, Vlad, 19..-...., informaticien
VIAF ID: 197162484 ( Personal )
Permalink: http://viaf.org/viaf/197162484
Preferred Forms
- 100 1 _ ‡a Rusu, Vlad
-
- 100 1 _ ‡a Rusu, Vlad
- 100 1 _ ‡a Rusu, Vlad, ‡d 19..-...., ‡c informaticien
Works
Title | Sources |
---|---|
Analyzing automata with presburger arithmetic and uninterpreted function symbols | |
Une approche pratique pour la définition et la preuve de propriétés de fonctions récursives générales en théorie des types, français | |
Defining and reasoning about general recursive functions in type theory : a practical method | |
E.D. Sciences pour l'ingénieur, Automatique et Informatique appliquée | |
Extraction of Certified Functional Code from Inductive Specifications. | |
Implémentabilité de systèmes distribués décrits à l'aide de scénarios. | |
Interactive abstractions : proving safety properties by integrating static analysis, theorem proving and abstraction | |
Rewriting logic and its applications, [2018]: | |
Symbolic determinisation of extended automata | |
Symbolic test selection based on approximate analysis | |
Theorem proving for Maude's rewriting logic | |
Verification and symbolic test generation for safety properties | |
Vérification temporelle de programmes ELECTRE | |
Verifying an ATM protocol using a combination of formal techniques | |
VERIFYING TIMED PROPERTIES OF ELECTRE PROGRAMS. |