Gregor Goessler

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 1

Top Topics

Fault Management

Design Space Exploration

Anytime Algorithms

Embedded Systems

Top Venues

ACM Trans. Design Autom. Electr. Syst.

Publications

Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Goessler
LUMEN: A global fault management framework for network virtualization environments. ICIN (2018)
Roopak Sinha, Alain Girault, Gregor Goessler, Partha S. Roop
A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design. ACM Trans. Design Autom. Electr. Syst. 20 (1) (2014)
Gregor Goessler, Lacramioara Astefanoaei
Blaming in component-based real-time systems. EMSOFT (2014)
Euriell Le Corronc, Antoine Girard, Gregor Goessler
Mode sequences as symbolic states in abstractions of incrementally stable switched systems. CDC (2013)
Gregor Goessler
Component-Based Modeling and Reachability Analysis of Genetic Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 8 (3) (2011)
Grégory Batt, Michel Page, Irene Cantone, Gregor Goessler, Pedro T. Monteiro, Hidde de Jong
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. Bioinform. 26 (18) (2010)
Gregor Goessler, Jean-Baptiste Raclet
Modal Contracts for Component-Based Design. SEFM (2009)
Partha S. Roop, Alain Girault, Roopak Sinha, Gregor Goessler
Specification Enforcing Refinement for Convertibility Verification. ACSD (2009)