Author Info
Name
Affiliation
Papers
LUCIAN GHIRVU
VERIMAG, Ctr Equat, F-38610 Gieres, France
9
Collaborators
Citations 
PageRank 
21
202
12.69
Referers 
Referees 
References 
332
169
146
Search Limit
100332
Title
Citations
PageRank
Year
Using static analysis to improve automatic test generation211.192003
State space reduction based on live variables analysis130.762003
Résumés de thèse.00.342002
Verification and test generation for the SSCOP protocol241.692000
A Transformational Approach for Generating Non-linear Invariants80.792000
IF: A Validation Environment for Timed Asynchronous Systems311.682000
If: An Intermediate Representation For Sdl And Its Applications372.601999
State Space Reduction Based on Live Variables Analysis251.341999
IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems432.291999