Author Info
Name
Affiliation
Papers
ROMÉO COURBIS
INRIA/CASSIS, LIFC/University of Franche-Comté, Besançon Cedex, F-25030
5
Collaborators
Citations 
PageRank 
7
18
2.02
Referers 
Referees 
References 
28
123
89
Search Limit
100123
Title
Citations
PageRank
Year
Formal Verification of Industrial Critical Software20.372015
Rewriting approximations for properties verification over CCS specifications10.372011
Handling Non Left-Linear Rules When Completing Tree Automata10.352009
TAGED Approximations for Temporal Properties Model-Checking20.372009
Finer Is Better: Abstraction Refinement for Rewriting Approximations120.552008