Search the dblp DataBase

Publications of Author

1. Jacques Chazarain, Hélène Collavizza
   Combining Symbolic Evaluation and Object-Oriented Approach for Verifying Processor-Like Architectures at the RT-Level. [Citation Graph (0, 0)][DBLP]
   CHARME, 1993, pp:109-121 [Conf]
   
2. Hélène Collavizza, François Delobel, Michel Rueher
   A Note on Partial Consistencies over Continuous Domains. [Citation Graph (0, 0)][DBLP]
   CP, 1998, pp:147-161 [Conf]
   
3. Laurent Arditi, Hélène Collavizza
   An Object-Oriented Framework for the Formal Verification of Processors. [Citation Graph (0, 0)][DBLP]
   ECOOP, 1995, pp:215-234 [Conf]
   
4. Hélène Collavizza, François Delobel, Michel Rueher
   Relationships between Partial Consistencies over Continuous Domains. [Citation Graph (0, 0)][DBLP]
   IJCSLP, 1998, pp:345-346 [Conf]
   
5. Hélène Collavizza, François Delobel, Michel Rueher
   Extending Consistent Domains of Numeric CSP. [Citation Graph (0, 0)][DBLP]
   IJCAI, 1999, pp:406-413 [Conf]
   
6. Hélène Collavizza
   Mu-SPEED: A System for the Specification and Verification of Microprocessors. [Citation Graph (0, 0)][DBLP]
   STACS, 1992, pp:607-608 [Conf]
   
7. Hélène Collavizza, Michel Rueher
   Exploration of the Capabilities of Constraint Programming for Software Verification. [Citation Graph (0, 0)][DBLP]
   TACAS, 2006, pp:182-196 [Conf]
   
8. Hélène Collavizza, François Delobel, Michel Rueher
   Comparing Partial Consistencies. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 1999, v:5, n:3, pp:213-228 [Journal]
   
9. Hélène Collavizza, Michel Rueher
   Exploring Different Constraint-Based Modelings for Program Verification. [Citation Graph (0, 0)][DBLP]
   CP, 2007, pp:49-63 [Conf]
   
10. 
    CPBPV: A Constraint-Programming Framework for Bounded Program Verification. [Citation Graph (, )][DBLP]
    
    
11. 
    Towards verifying VHDL descriptions of processors. [Citation Graph (, )][DBLP]
    
    
12. 
    Functional semantics of microprocessors at the microprogram level and correspondence with the machine instruction level. [Citation Graph (, )][DBLP]
    
    
13. 
    CPBVP: A Constraint-Programming Framework for Bounded Program Verification [Citation Graph (, )][DBLP]
    
    
14. 
    Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification [Citation Graph (, )][DBLP]