Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Vlad Rusu
2010 – today
- 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
2000 – 2009
- 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
1990 – 1999
- 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
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:07 CEST by the dblp team