Author Info
Name
Affiliation
Papers
GREGOR GOESSLER
INRIA Grenoble Rhone Alpes, Montbonnot St Martin, France
7
Collaborators
Citations 
PageRank 
13
66
4.25
Referers 
Referees 
References 
160
258
124
Search Limit
100258
Title
Citations
PageRank
Year
A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design20.392014
A Theory of Fault Recovery for Component-Based Models40.382012
Component-based modeling and reachability analysis of genetic networks.50.542011
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking.140.712010
Modal Contracts for Component-Based Design170.872009
Specification Enforcing Refinement for Convertibility Verification20.442009
Adaptor Synthesis for Real-Time Components220.912007