Gregor Gössler

Cited by

	All	Since 2019
Citations	2084	545
h-index	26	13
i10-index	40	17

120

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202416 22 42 51 71 66 78 109 110 90 83 116 83 95 106 116 83 75 97 118 103 88 85 68 83

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
Antoine GirardSenior Researcher, L2S, CNRSVerified email at l2s.centralesupelec.fr
Alain GiraultINRIAVerified email at inria.fr
Karine AltisenMaître de Conférences, Grenoble INP / VerimagVerified email at imag.fr
Sebti MouelhiPrincipal Research Engineer | Cloud Reliability Lab | Huawei Ireland Research CenterVerified email at huawei.com
Sihem Cherrared PhDOrange Labs / INRIAVerified email at orange.com
Susanne GrafResearch Director, CNRS, Grenoble University, VerimagVerified email at imag.fr
Jean-Bernard StefaniSenior Scientist, INRIAVerified email at inria.fr
Oleg SokolskyUniversity of PennsylvaniaVerified email at cis.upenn.edu
Michel PageINRIA Grenoble, FranceVerified email at iae-grenoble.fr
Pedro T. MonteiroINESC-ID / IST - Universidade de LisboaVerified email at tecnico.ulisboa.pt
Hidde de JongINRIAVerified email at inria.fr
Javier CámaraAssociate Professor of Computer Science, University of MálagaVerified email at uma.es
Jean-Baptiste RacletInstitut de Recherche en Informatique de Toulouse (IRIT)Verified email at irit.fr
Stavros TripakisAssociate Professor, Northeastern UniversityVerified email at northeastern.edu
Sergio YovineUniversidad ORT UruguayVerified email at ort.edu.uy
Gregory BattINRIA and Institut PasteurVerified email at inria.fr
Irene CantoneUniversity of Naples Federico IIVerified email at unina.it
Shaohui WangUniversity of PennsylvaniaVerified email at seas.upenn.edu
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu

Gregor Gössler

INRIA

Verified email at inria.fr

formal methods component-based design embedded systems cyber-physical systems causality


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Composition for component-based modeling G Gössler, J Sifakis Science of Computer Programming 55 (1-3), 161-183, 2005	281	2005
A framework for scheduler synthesis K Altisen, G Gößler, A Pnueli, J Sifakis, S Tripakis, S Yovine Proceedings of the 20th IEEE Real-Time Systems Symposium, 154, 1999	167	1999
Scheduler modeling based on the controller synthesis paradigm K Altisen, G Gößler, J Sifakis Real-Time Systems 23 (1-2), 55-84, 2002	162	2002
CoSyMA: a tool for controller synthesis using multi-scale abstractions S Mouelhi, A Girard, G Gössler Proceedings of the 16th international conference on Hybrid systems …, 2013	109	2013
Safety Controller Synthesis for Incrementally Stable Switched Systems using Multiscale Symbolic Models A Girard, G Gössler, S Mouelhi IEEE Transactions on Automatic Control 61 (6), 1537-1549, 2016	96	2016
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking G Batt, M Page, I Cantone, G Goessler, P Monteiro, H De Jong Bioinformatics 26 (18), i603-i610, 2010	87	2010
Composition for component-based modeling G Gössler, J Sifakis International Symposium on Formal Methods for Components and Objects, 443-466, 2002	78	2002
An approach to modelling and verification of component based systems G Gössler, S Graf, M Majster-Cederbaum, M Martens, J Sifakis SOFSEM 2007: Theory and Practice of Computer Science: 33rd Conference on …, 2007	71	2007
Component-based construction of deadlock-free systems G Gössler, J Sifakis International Conference on Foundations of Software Technology and …, 2003	66	2003
A Survey of Fault Management in Network Virtualization Environments: Challenges and Solutions S Cherrared, S Imadali, E Fabre, G Gössler, IGB Yahia IEEE Transactions on Network and Service Management 16 (4), 1537-1551, 2019	60	2019
Priority systems G Gößler, J Sifakis International Symposium on Formal Methods for Components and Objects, 314-329, 2003	60	2003
A methodology for the construction of scheduled systems K Altisen, G Gößler, J Sifakis International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000	55	2000
Compositional modeling in Metropolis G Gössler, A Sangiovanni-Vincentelli International Workshop on Embedded Software, 93-107, 2002	53	2002
Mode sequences as symbolic states in abstractions of incrementally stable switched systems E Le Corronc, A Girard, G Goessler 52nd IEEE Conference on Decision and Control, 3225-3230, 2013	51	2013
Causality analysis in contract violation G Gössler, D Le Métayer, JB Raclet International Conference on Runtime Verification, 270-284, 2010	49	2010
On the construction of live timed systems S Bornot, G Gößler, J Sifakis Tools and Algorithms for the Construction and Analysis of Systems: 6th …, 2000	49	2000
Adaptor synthesis for real-time components M Tivoli, P Fradet, A Girault, G Goessler Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007	44	2007
Synthesis of switching controllers using approximately bisimilar multiscale abstractions J Cámara, A Girard, G Gössler Proceedings of the 14th international conference on Hybrid systems …, 2011	43	2011
A general trace-based framework of logical causality G Gössler, D Le Métayer International Workshop on Formal Aspects of Component Software, 157-173, 2013	40	2013
Safety controller synthesis for switched systems using multi-scale symbolic models J Camara, A Girard, G Gössler 2011 50th IEEE Conference on Decision and Control and European Control …, 2011	38	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors