Gregor Gössler
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
2512005
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
1521999
Scheduler modeling based on the controller synthesis paradigm
K Altisen, G Gößler, J Sifakis
Real-Time Systems 23 (1-2), 55-84, 2002
1462002
Composition for component-based modeling
G Gössler, J Sifakis
International Symposium on Formal Methods for Components and Objects, 443-466, 2002
722002
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
702010
An approach to modelling and verification of component based systems
G Gössler, S Graf, M Majster-Cederbaum, M Martens, J Sifakis
International Conference on Current Trends in Theory and Practice of …, 2007
702007
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
692013
Component-based construction of deadlock-free systems
G Gössler, J Sifakis
International Conference on Foundations of Software Technology and …, 2003
582003
Priority systems
G Gößler, J Sifakis
International Symposium on Formal Methods for Components and Objects, 314-329, 2003
562003
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
532000
Compositional modeling in Metropolis
G Gössler, A Sangiovanni-Vincentelli
International Workshop on Embedded Software, 93-107, 2002
492002
Causality analysis in contract violation
G Gössler, D Le Métayer, JB Raclet
International Conference on Runtime Verification, 270-284, 2010
462010
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
452016
On the construction of live timed systems
S Bornot, G Gößler, J Sifakis
International Conference on Tools and Algorithms for the Construction and …, 2000
442000
Adaptor synthesis for real-time components
M Tivoli, P Fradet, A Girault, G Goessler
International Conference on Tools and Algorithms for the Construction and …, 2007
412007
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
382013
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
362011
Ensuring properties of interaction systems
G Gössler, S Graf, M Majster-Cederbaum, M Martens, J Sifakis
Program analysis and compilation, theory and practice, 201-224, 2007
362007
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
332014
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
312011
The system can't perform the operation now. Try again later.
Articles 1–20