1. Recherche
54 résultats  enregistrer la recherche


  • 1
  • 2
inria-00424484v1  Chapitre d'ouvrage
Camille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu. Combinaison entre vérification et test pour la validation de systèmes réactifs
Nicolas Navet. Traité I2C. Systèmes Temps Réel: Techniques de Description et de Vérification - Théorie et Outils, 1, Hermès Science, pp.59-88, 2006, Informatique et Systèmes d'information
...
inria-00424858v1  Communication dans un congrès
Thierry Jéron, Hervé Marchand, Vlad Rusu. Symbolic Determinisation of Extended Automata
4th IFIP International Conference on Theoretical Computer Science, Aug 2006, Stantiago, Chile, Chile. Springer Science and Business Media, 209/2006, pp.197-212, 2006, IFIP International Federation for Information Processing. <10.1007/978-0-387-34735-6_18>
...
inria-00072938v1  Rapport
Vlad Rusu, Eli Singerman. Interactive Abstractions: Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction
[Research Report] RR-3726, INRIA. 1999
...
inria-00526561v1  Rapport
Vlad Rusu, Laure Gonnord, Benoît Combemale. Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics
[Research Report] RR-7423, INRIA. 2010
...
inria-00527859v1  Article dans une revue
Vlad Rusu. Embedding Domain-Specific Modelling Languages in Maude Specifications
ACM SIGSOFT Software Engineering Notes, ACM, 2011, 36 (1), <10.1145/1921532.1921557>
inria-00527591v1  Article dans une revue
Vlad Rusu. Combining formal verification and conformance testing for validating reactive systems
Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2003
...
inria-00527502v1  Article dans une revue
Marina Egea, Vlad Rusu. Formal executable semantics for conformance in the MDE framework
Innovations in Software and Systems Engineering, Springer Verlag, 2010
...
inria-00527864v1  Communication dans un congrès
Vlad Rusu. Combining theorem proving and narrowing for rewriting-logic specifications
International Conference on Tests and Proofs, 2010, Malaga, Spain. Springer Verlag, 2010
...
inria-00564231v1  Communication dans un congrès
Martin Oostidijk, Vlad Rusu, Jan Tretmans, Rene De Vries, Tim Willemse. Integrating verification, testing, and learning for cryptographic protocols
Integrated Formal Methods, 2007, Oxford, United Kingdom. 2007
...
inria-00564219v1  Article dans une revue
Vlad Rusu, Manuel Clavel. Vérification d'invariants pour des systèmes spécifiés en logique de réécriture
Studia Informatica Universalis, Hermann, 2009, JFLA 2009, Vingtiemes Journees Francophones des Langages Applicatifs, 7 (2)
...
inria-00517304v1  Communication dans un congrès
Vlad Rusu, Hervé Marchand, Valérie Tschaen, Thierry Jéron, Bertrand Jeannet. From Safety Verification to Safety Testing
R. Groz and R.M. Hierons. Testing of Communicating Systems (Testcom), Mar 2004, Oxford, United Kingdom. Springer, 2978, pp.160-176, 2004, Lecture notes in computer science. <10.1007/978-3-540-24704-3_11>
...
inria-00564604v1  Communication dans un congrès
Bertrand Jeannet, Thierry Jéron, Vlad Rusu. Model-Based Test Selection for Infinite-State Reactive Systems
Formal Methods for Components and Objects, 2006, Amsterdam, Netherlands. 2006
...
inria-00564617v1  Communication dans un congrès
Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva. Symbolic Test Selection Based on Approximate Analysis
TACAS, 2005, Edinburgh, United Kingdom. 2005
...
inria-00564611v1  Article dans une revue
David Cachera, Thomas Jensen, David Pichardie, Vlad Rusu. Extracting a data flow analyser in constructive logic
Theoretical Computer Science, Elsevier, 2005, 342 (1)
inria-00422469v1  Chapitre d'ouvrage
Camille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu. Validation of Reactive Systems
S, Merz and N, Navet. Modeling and Verification of Real-TIME Systems - Formalisms and software Tools, Hermès Science, pp.51-76, 2008
...
inria-00072531v1  Rapport
Vlad Rusu. Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols
[Research Report] RR-4100, INRIA. 2001
hal-00644190v1  Direction d'ouvrage, Proceedings
Francisco Duran, Vlad Rusu. Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering
Francisco Durán and Vlad Rusu. 56, Electronic Proceedings in Theoretical Computer Science, pp.97, 2011, <10.4204/EPTCS.56>
...
hal-00593425v1  Communication dans un congrès
Benoit Combemale, Laure Gonnord, Vlad Rusu. A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics
Seventh European Conference on Modelling Foundations and Applications, Jun 2011, Birmingham, United Kingdom. Springer Verlag, 6698, pp.35-51, 2011, Lecture Notes in Computer Science
...
inria-00001073v1  Rapport
Thierry Jéron, Hervé Marchand, Vlad Rusu. Symbolic Determinisation of Extended Automata
[Research Report] PI 1776, 2006
inria-00520030v1  Communication dans un congrès
Thierry Jéron, Hervé Marchand, Vlad Rusu, Valérie Tschaen. Ensuring the conformance of reactive discrete-event systems using supervisory control
42nd IEEE Conference on Decision and Control, Dec 2003, Hawaii, United States. IEEE, pp.2692 - 2697, 2003, <10.1109/CDC.2003.1273030>
...
inria-00520038v1  Communication dans un congrès
Thierry Jéron, Hervé Marchand, Vlad Rusu, Valérie Tschaen. Synthèse de contrôleurs pour une relation de conformité
4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2003, Metz, France. Lavoisier, pp.523-536, 2003, Modélisation des systèmes réactifs
...
inria-00071494v1  Rapport
Vlad Rusu. Verifying an ATM Protocol Using a Combination of Formal Techniques
[Research Report] RR-5089, INRIA. 2003
...
inria-00070715v1  Rapport
Vlad Rusu, Hervé Marchand, Thierry Jéron. Verification and Symbolic Test Generation for Safety Properties
[Research Report] RR-5285, INRIA. 2004, pp.20
...
inria-00522787v1  Communication dans un congrès
Abdoulaye Gamatié, Vlad Rusu, Eric Rutten. Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design
9th International Symposium on Parallel and Distributed Computing (ISPDC'2010), Jul 2010, Istanbul, Turkey. 2010
...
inria-00483945v1  Communication dans un congrès
Vlad Rusu, Hervé Marchand, Thierry Jéron. Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems
John Fitzgerald, Andrzej Tarlecki, Ian Hayes. Formal Methods 2005 (FM05), Jul 2005, Newcastle, United Kingdom. Springer-Verlag, 3582, pp.189-204, 2005, Lecture Notes in Computer Science. <10.1007/11526841_14>
...
inria-00190909v2  Rapport
Vlad Rusu, Manuel Clavel. Theorem Proving for Maude's Rewriting Logic
[Research Report] PI 1873, 2007, pp.47
...
inria-00000910v1  Rapport
David Pichardie, Vlad Rusu. Defining and Reasoning About General Recursive Functions in Type Theory: a Practical Method
[Research Report] PI 1766, 2005, pp.16
...
inria-00564633v1  Communication dans un congrès
David Cachera, Thomas Jensen, David Pichardie, Vlad Rusu. Extracting a Data Flow Analyser in Constructive Logic
ESOP, 2004, Barcelona, Spain. 2004
...
inria-00564237v1  Communication dans un congrès
Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu. Defining and reasoning about recursive functions: a practical tool for the Coq proof assistant
Functional and Logic Programming (FLOPS'06), 2006, Fuji Susono, Japan. 2006
...
inria-00495405v1  Article dans une revue
Thomas Genet, Vlad Rusu. Equational Approximations for Tree Automata Completion
Journal of Symbolic Computation, Elsevier, 2010, 45(5):574-597, May 2010 (5), pp.574-597
  • 1
  • 2

Contact


archive-ouverte@inria.fr