Publications de Vlad Rusu

Thèses

  1. V. Rusu, Formal verification and conformance testing for reactive systems, Habilitation à diriger des recherches de l'Université de Rennes 1, Décembre 2006. (détails)
  2. V. Rusu, Vérification temporelle de programmes ELECTRE, Thèse de l'Ecole Centrale de Nantes, Laboratoire d'Automatique de Nantes, Janvier 1996. (détails)

Articles de journaux

  1. C. Constant, T. Jéron, H. Marchand, V. Rusu, Integrating formal verification and conformance testing for reactive systems, IEEE Transactions on Software Engineering, 33(8):558-574, Août 2007. (détails)
  2. v. Rusu, Verifying an ATM Protocol Using a Combination of Formal Techniques, Computer Journal, 49(6):710-730, Novembre 2006. (détails)
  3. D. Cachera, T. Jensen, D. Pichardie, V. Rusu, Extracting a data flow analyser in constructive logic, Theoretical Computer Science, 342(1):56-78, Septembre 2005. (détails)
  4. T. Jéron, H. Marchand, V. Rusu, V. Tschaen, Ensuring the conformance of reactive discrete-event systems by means of supervisory control, International Journal of Production Research, 42(14):2809-2826, 2004. (détails)
  5. V. Rusu, Combining formal verification and conformance testing for validating reactive systems, Journal of Software Testing, Verification, and Reliability, 13(3), Septembre 2003. (détails)
  6. V. Rusu, E. Zinovieva, Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols, Electronic Notes in Theoretical Computer Science, 50(4), 2001. (détails)
  7. O Roux, V. Rusu, F. Cassez, Hybrid verifications of reactive programs, Formal Aspects of Computing, 11(4):448-471, 1999. (détails)
  8. O. Roux, V. Rusu, Translating from GRAFCET to the reactive language ELECTRE, Automatique, Productique et Informatique Industrielle, 28(2):131-158, 1994. (détails)

Chapitres de livres

  1. C. Constant, T. Jéron, H. Marchand, V. Rusu, Validation of Reactive Systems, in Modeling and Verification of Real-TIME Systems - Formalisms and software Tools, S. Merz, N. Navet (eds.), Chapitre 2, Pages 51-76, Hermès Science, Janvier 2008. (détails)
  2. C. Constant, T. Jéron, H. Marchand, V. Rusu, Combinaison entre vérification et test pour la validation de systèmes réactifs, in Traité I2C. Systèmes Temps Réel: Techniques de Description et de Vérification - Théorie et Outils, Volume 1, Chapitre 2, Pages 59-88, Hermès Science, 2006. (détails)

Conferences internationales

  1. B. Jeannet, T. Jéron, V. Rusu, Model-based test selection for infinite state reactive systems, in Formal Methods of Components and Objects - FMCO 2006, Amsterdam, Netherlands, Revised Lectures, F.S de Boer, M.M. Bonsangue, S. Graf, W.-P. de Roever (eds.), Volume 4709, Pages 47-69, 2007. (détails)
  2. M. Oostdijk, V. Rusu, J. Tretmans, R. de Vries, T. Willemse, Integrating verification, testing, and learning for cryptographic protocols, in Integrated Formal Methods (IFM'07), 2007. (détails)
  3. T. Jéron, H. Marchand, V. Rusu, Symbolic Determinisation of Extended Automata, in 4th IFIP International Conference on Theoretical Computer Science, Stantiago, Chile, Août 2006. (détails)
  4. G. Barthe, J. Forest, D. Pichardie, V. Rusu, Defining and reasoning about recursive functions: a practical tool for the Coq proof assistant, in Functional and LOgic Programming Systems (FLOPS'06), Volume 3945, Pages 114-129, Fuji Susono, Japan, Avril 2006. (détails)
  5. Vlad Rusu, Hervé Marchand, Thierry Jéron, Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems, in Formal Methods 2005 (FM05), John Fitzgerald, Andrzej Tarlecki, Ian Hayes (eds.), Juillet 2005. (détails)
  6. B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva, Symbolic Test Selection based on Approximate Analysis, in 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), Volume 3440 of LNCS, Pages 349-364, Edinburgh (Scottland), Avril 2005. (détails)
  7. V. Rusu, H. Marchand, V. Tschaen, T. Jéron, B. Jeannet, From Safety Verification to Safety Testing, in The 16th IFIP International Conference on Testing of Communicating Systems (TestCom04). Volume 2978 of LNCS, Oxford, UK, Mars 2004. (détails)
  8. D. Cachera, T. Jensen, D. Pichardie, V. Rusu, Extracting a data flow analyser in constructive logic, in European Symposium on Programming,ESOP'04. Volume 2986 of LNCS, Pages 385-400, Février 2004. (détails)
  9. V. Rusu, Compositional verification of an ATM protocol, in Formal Methods Europe (FME'03), 2003. (détails)
  10. T. Jéron, H. Marchand, V. Rusu, V. Tschaen, Ensuring the conformance of reactive discrete-event systems using supervisory control, in 42nd IEEE Conference on Decision and Control, Hawaii, USA, Décembre 2003. (détails)
  11. D. Clarke, T. Jéron, V. Rusu, E. Zinovieva, STG: a Symbolic Test Generation tool, in (Tool paper) Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02). Volume 2280 of LNCS, 2002. (détails)
  12. V. Rusu, Verification using test generation techniques, in Formal Methods Europe (FME'02), 2002. (détails) download
  13. V. Rusu, E. Zinovieva, D. Clarke, Verifying Invariants More Automatically, in Verification and Computatoiional Logic, VCL'02, 2002. (détails) download
  14. D. Clarke, T. Jéron, V. Rusu, E. Zinovieva, Automated Test and Oracle Generation for Smart-Card Applications, in International Conference on Research in Smart Cards (e-Smart'01), Volume 2140 of LNCS, Pages 58-70, 2001. (détails)
  15. D. Clarke, T. Jéron, V. Rusu, E. Zinovieva, STG : A Tool for Generating Symbolic Test Programs and Oracles from Operational Specifications, in Joint 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), 2001. (détails)
  16. V. Rusu, Verifying that Invariants are Context-Inductive, in Theorem Proving in Higher-Order Logics (TPHOLs'01),, Category B paper, University of Edinburgh research Report EDI-INF-RR-0046, Pages 337-351, 2001. (détails)
  17. V. Rusu, Verifying a Sliding-Window Protocol using PVS, in Formal Description Techniques (FORTE'01), Pages 251-266, 2001. (détails)
  18. S. Bensalem, V. Ganesh, Y. Lakhnech, C. Munoz, S. Owre, H. Russ, J. Rushby, V. Rusu, H. Saidi, N. Shankar, E. Singerman, A. Tiwari, An Overview of SAL, in LFM 2000: Fifth NASA Langley Formal Methods Workshop, Pages 187-196, 2000. (détails) download
  19. V. Rusu, L. du Bousquet, T. Jéron, An approach to symbolic test generation, in International Conference on Integrating Formal Methods (IFM'00), Pages 338-357, Novembre 2000. (détails)
  20. V. Rusu, E. Singerman, On proving safety properties by integrating static analysis, theorem proving and abstraction, in Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), Pages 178-192, 1999. (détails)
  21. T.A. Henzinger, V. Rusu, Reachability verification for hybrid automata, in International Workshop on Hybrid Systems: Computation and Control, Pages 190-204, Berkeley, California, USA, 1998. (détails)
  22. A. Burgueno, V. Rusu, Task-system analysis using slope-parametric hybrid automata, in Proceedings of the European Conference on Parallelism (EuroPar'97) Volume 1300 of LNCS, Pages 1262-1273, Passau (Germany), 1997. (détails)
  23. V. Rusu, Verifying periodic task-control systems, in International Workshop on Hybrid and Real-Time Systems (HART'97), Volume 1201 of LNCS, Pages 63-69, Grenoble, France, 1997. (détails)
  24. F. Boniol, A. Burgueno, O. Roux, V. Rusu, Analysis of slope-parametric hybrid automata, in International Workshop on Hybrid and Real-Time Systems (HART'97), Volume 1201 of LNCS, Pages 75-81, Grenoble, France, 1997. (détails)
  25. O. Roux, V. Rusu, Deciding time-bounded properties for ELECTRE reactive programs with stopwatch automata, in International workshop on Hybrid Systems and Autonomous Control (WHSAC'94), Volume 999 of LNCS, Pages 405-416, Cornell University, Ithaca (New York, USA), 1996. (détails)

Conferences nationales

  1. T. Jéron, H. Marchand, V. Rusu, V. Tschaen, Synthèse de contrôleurs pour une relation de conformité, in 4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR'03, Metz, France, Octobre 2003. (détails)

Rapport de recherche

  1. V. Rusu, M. Clavel, Theorem proving for Maude's Rewriting Logic, Rapport de recherche Irisa, No 1873, 2007. (détails)
  2. C. Breunesse, E. Hubbers, P. Koopman, W. Mostowski, M. Oostdijk, V. Rusu, R. de Vries, A. van Weelden, R. Wichers Schreur, T. Willemse, Testing the Dutch e-passport, Rapport de recherche Radboud University, Nijmegen, The Netherlands, 2006. (détails)
  3. T. Jéron, H. Marchand, V. Rusu, Symbolic Determinisation of Extended Automata, Rapport de recherche IRISA, No 1176, Février 2006. (détails)
  4. D. Pichardie, V. Rusu, Defining and Reasoning About General Recursive Functions in Type Theory: a Practical Method, Rapport de recherche Irisa, No 1766, Novembre 2005. (détails)
  5. B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva, Symbolic test selection using approximate analysis, Rapport de recherche IRISA, No 1649, Octobre 2004. (détails)
  6. V. Rusu, H. Marchand, T. Jéron, Verification and Symbolic Test Generation for Safety Properties, Rapport de recherche IRISA, No 1640, Août 2004. (détails)
  7. V. Rusu, Verifying an ATM Protocol Using a Combination of Formal Techniques, Rapport de recherche INRIA, No 5089, Janvier 2004. (détails)
  8. V. Rusu, Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols, Rapport de recherche INRIA, No 4100, 2001. (détails)
  9. V. Rusu, E. Singerman, Interactive abstractions: proving safety property by integrating static analysis, theorem proving, and abstraction, Rapport de recherche IRISA, No 1256, Juillet 1999. (détails)

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

This page has been automatically generated using the bib2html program.