Gregor Goessler

Publications

117

Citations

H-Index

2010

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Laboratoire d'Informatique de Grenoble

Gregor Goessler is an author at Institut national de recherche en sciences et technologies du numérique specializing in systems engineering, computer science, and engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringNetwork AnalysisStabilityEdge ComputingFormal MethodsCloud ComputingNetwork ScienceSystem Software

Publications per year

2010–2018

Publications

Efficient parameter search for qualitative models of regulatory networks using symbolic model checking

Grégory Batt, Michel Le Page, Irene Cantone et al. · Bioinformatics · 2010 · 57 citations · Full text

Mode sequences as symbolic states in abstractions of incrementally stable switched systems

Euriell Le Corronc, Antoine Girard, Gregor Goessler · 2013 · 39 citations

Engineering, Reachability Problem, Symbolic Computation +17

Component-Based Modeling and Reachability Analysis of Genetic Networks

Gregor Goessler · IEEE/ACM Transactions on Computational Biology and Bioinformatics · 2010 · 11 citations · Full text

State Space Explosion, Network Science, Engineering +15

LUMEN: A global fault management framework for network virtualization environments

Sihem Cherrared, Sofiane Imadali, Éric Fabre et al. · 2018 · 10 citations · Full text

Cluster Computing, Engineering, Network Analysis +20

Rows per page

1–4 of 4