- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c28 |      | |
| 2011 | ||
| j10 | | Vlad Rusu: Embedding domain-specific modelling languages in maude specifications. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011) |
| c27 | | Benoît Combemale, Laure Gonnord, Vlad Rusu: A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics. ECMFA 2011: 35-51 |
| c26 | | Vlad Rusu, Dorel Lucanu: A K-Based Formal Framework for Domain-Specific Modelling Languages. FoVeOOS 2011: 214-231 |
| e1 | | Francisco Durán, Vlad Rusu (Eds.): Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering. EPTCS 56, 2011 |
| 2010 | ||
| j9 | | Marina Egea, Vlad Rusu: Formal executable semantics for conformance in the MDE framework. ISSE 6(1-2): 73-81 (2010) |
| j8 | | Thomas Genet, Vlad Rusu: Equational approximations for tree automata completion. J. Symb. Comput. 45(5): 574-597 (2010) |
| c25 | | Abdoulaye Gamatié, Vlad Rusu, Éric Rutten: Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design. ISPDC 2010: 25-32 |
| c24 | | Vlad Rusu: Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications. TAP 2010: 135-150 |
| 2009 | ||
| j7 | | Vlad Rusu, Manuel Clavel: Vérification d'invariants pour des systèmes spécifiés en logique de réécriture. Stud. Inform. Univ. 7(2): 83-112 (2009) |
| c23 |  | Vlad Rusu, Manuel Clavel: Vérification d'invariants pour des systèmes spécifiés en logique de réécriture. JFLA 2009: 317-350 |
| 2007 | ||
| j6 | | Camille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu: Integrating formal verification and conformance testing for reactive systems. IEEE Trans. Software Eng. 33(8): 558-574 (2007) |
| c22 | | Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse: Integrating Verification, Testing, and Learning for Cryptographic Protocols. IFM 2007: 538-557 |
| 2006 | ||
| j5 | | Vlad Rusu: Verifying an ATM Protocol Using a Combination of Formal Techniques. Comput. J. 49(6): 710-730 (2006) |
| c21 | | Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu: Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant. FLOPS 2006: 114-129 |
| c20 | | Bertrand Jeannet, Thierry Jéron, Vlad Rusu: Model-Based Test Selection for Infinite-State Reactive Systems. FMCO 2006: 47-69 |
| c19 | | Thierry Jéron, Hervé Marchand, Vlad Rusu: Symbolic Determinisation of Extended Automata. IFIP TCS 2006: 197-212 |
| 2005 | ||
| j4 | | David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu: Extracting a data flow analyser in constructive logic. Theor. Comput. Sci. 342(1): 56-78 (2005) |
| c18 | | Vlad Rusu, Hervé Marchand, Thierry Jéron: Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. FM 2005: 189-204 |
| c17 | | Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva: Symbolic Test Selection Based on Approximate Analysis. TACAS 2005: 349-364 |
| 2004 | ||
| c16 | | David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu: Extracting a Data Flow Analyser in Constructive Logic. ESOP 2004: 385-400 |
| c15 | | Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet: From Safety Verification to Safety Testing. TestCom 2004: 160-176 |
| 2003 | ||
| j3 | | Vlad Rusu: Combining formal verification and conformance testing for validating reactive systems. Softw. Test., Verif. Reliab. 13(3): 157-180 (2003) |
| c14 | | |
| 2002 | ||
| c13 | | |
| c12 | | Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva: STG: A Symbolic Test Generation Tool. TACAS 2002: 470-475 |
| 2001 | ||
| j2 | | Vlad Rusu, Elena Zinovieva: Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols. Electr. Notes Theor. Comput. Sci. 50(4): 327-341 (2001) |
| c11 | | Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva: Automated Test and Oracle Generation for Smart-Card Applications. E-smart 2001: 58-70 |
| c10 | | |
| c9 | | Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva: STG: a tool for generating symbolic test programs and oracles from operational specifications. ESEC / SIGSOFT FSE 2001: 301-302 |
| 2000 | ||
| c8 | | Vlad Rusu, Lydie du Bousquet, Thierry Jéron: An Approach to Symbolic Test Generation. IFM 2000: 338-357 |
| 1999 | ||
| j1 | | Olivier Roux, Vlad Rusu, Franck Cassez: Hybrid Verifications of Reactive Programs. Formal Asp. Comput. 11(4): 448-471 (1999) |
| c7 | | Vlad Rusu, Eli Singerman: On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction. TACAS 1999: 178-192 |
| 1998 | ||
| c6 | | |
| 1997 | ||
| c5 | | Augusto Burgueño, Vlad Rusu: Task-System Analysis Using Slope-Parametric Hybrid Automata. Euro-Par 1997: 1262-1273 |
| c4 | | |
| c3 | | Frédéric Boniol, Augusto Burgueño, Olivier Roux, Vlad Rusu: Analysis of Slope-Parametric Hybrid Automata. HART 1997: 75-80 |
| 1996 | ||
| c2 | | |
| 1994 | ||
| c1 | | Olivier Roux, Vlad Rusu: Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata. Hybrid Systems 1994: 405-416 |
Colors in the list of coauthors
Last update Sat May 25 17:48:49 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page