Follow
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
2692005
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
1601999
Scheduler modeling based on the controller synthesis paradigm
K Altisen, G Gößler, J Sifakis
Real-Time Systems 23 (1-2), 55-84, 2002
1582002
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
1002013
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
812010
Composition for component-based modeling
G Gössler, J Sifakis
International Symposium on Formal Methods for Components and Objects, 443-466, 2002
772002
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
712016
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
712007
Component-based construction of deadlock-free systems
G Gössler, J Sifakis
International Conference on Foundations of Software Technology and …, 2003
622003
Priority systems
G Gößler, J Sifakis
International Symposium on Formal Methods for Components and Objects, 314-329, 2003
602003
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
562000
Compositional modeling in Metropolis
G Gössler, A Sangiovanni-Vincentelli
International Workshop on Embedded Software, 93-107, 2002
532002
Causality analysis in contract violation
G Gössler, D Le Métayer, JB Raclet
International Conference on Runtime Verification, 270-284, 2010
482010
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
452013
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
432007
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
402011
A general framework for blaming in component-based systems
G Gössler, D Le Métayer
Science of Computer Programming 113, 223-235, 2015
362015
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
362014
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
362013
The system can't perform the operation now. Try again later.
Articles 1–20