Gregor Gössler

Cited by

	All	Since 2018
Citations	1988	556
h-index	25	14
i10-index	38	18

120

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202316 19 43 49 64 63 78 109 110 91 83 118 82 95 105 118 86 76 105 114 104 87 85 59

Public access

View all

5 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 MouelhiLecturer-Researcher, ESTACA Campus Paris-Saclay, Groupe ISAEVerified email at estaca.fr
Susanne GrafResearch Director, CNRS, Grenoble University, VerimagVerified email at imag.fr
Sihem Cherrared PhDOrange Labs / INRIAVerified email at orange.com
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
Jean-Baptiste RacletInstitut de Recherche en Informatique de Toulouse (IRIT)Verified email at irit.fr
Javier CámaraAssociate Professor of Computer Science, University of MálagaVerified email at uma.es
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 Federico II of naplesVerified 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	271	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	164	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	159	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	103	2013
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	84	2010
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	83	2016
Composition for component-based modeling G Gössler, J Sifakis International Symposium on Formal Methods for Components and Objects, 443-466, 2002	77	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	72	2007
Component-based construction of deadlock-free systems G Gössler, J Sifakis International Conference on Foundations of Software Technology and …, 2003	64	2003
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
Causality analysis in contract violation G Gössler, D Le Métayer, JB Raclet International Conference on Runtime Verification, 270-284, 2010	49	2010
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	46	2013
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	45	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	43	2007
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	41	2019
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	40	2011
Blaming in component-based real-time systems G Gössler, L Aştefănoaei Proceedings of the 14th International Conference on Embedded Software, 7, 2014	37	2014
A general framework for blaming in component-based systems G Gössler, D Le Métayer Science of Computer Programming 113, 223-235, 2015	36	2015

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