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 électre |
![]() |
Verifying an ATM protocol using a combination of formal techniques |
![]() |
VERIFYING TIMED PROPERTIES OF ELECTRE PROGRAMS. |
![]() |