 
    Emil Dumitrescu
                                    40 
                                    
                            Documents
                                Publications
                    
                    
                    14
                
                            
                    
                    
                    9
                
                            
                    
                    
                    9
                
                            
                    
                    
                    8
                
                            
                    
                    
                    7
                
                            
                    
                    
                    6
                
                            
                    
                    
                    6
                
                            
                    
                    
                    5
                
                            
                    
                    
                    5
                
                            
                    
                    
                    5
                
                            
                    
                    
                    4
                
                            
                    
                    
                    2
                
                            
                    
                    
                    2
                
                            
                    
                    
                    2
                
                            
                    
                    
                    2
                
                            
                    
                    
                    2
                
                            
                    
                    
                    2
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                    
                    
                    
                    1
                
                            
                    
                    
                    5
                
                            
                    
                    
                    2
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    2
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    4
                
                            
                    
                    
                    1
                
                            
                    
                    
                    4
                
                            
                    
                    
                    2
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                            
                    
                    
                    3
                
                            
                    
                    
                    2
                
                            
                    
                    
                    5
                
                            
                    
                    
                    1
                
                            
                    
                    
                    1
                
                    Publications
|  | Validating fault-tolerant behaviors of synchronous system specifications by discrete controller synthesis2004Pré-publication, Document de travail
                    
        
        
            
                
                    hal-00419542
                                            v1 | 
|  | A Practical Approach to the Formal Verification of SoCs with Symbolic Model-Checking2003Pré-publication, Document de travail
                    
        
        
            
                
                    hal-00419534
                                            v1 | 
|  | Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems[Research Report] RR-6137, INRIA. 2007, pp.35Rapport
                             (rapport de recherche)
                    
        
        
            
                
                    inria-00134550
                                            v2 | 
                Chargement...
            
            Chargement...