Rusu, Vlad
Rusu, Vlad, 19..-...., informaticien
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
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
-
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. |
|
