Folgen
Gregor Gössler
Titel
Zitiert von
Zitiert von
Jahr
Composition for component-based modeling
G Gössler, J Sifakis
Science of Computer Programming 55 (1-3), 161-183, 2005
2812005
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
1671999
Scheduler modeling based on the controller synthesis paradigm
K Altisen, G Gößler, J Sifakis
Real-Time Systems 23 (1-2), 55-84, 2002
1612002
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
1152013
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
972016
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
872010
Composition for component-based modeling
G Gössler, J Sifakis
International Symposium on Formal Methods for Components and Objects, 443-466, 2002
792002
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
712007
Component-based construction of deadlock-free systems
G Gössler, J Sifakis
International Conference on Foundations of Software Technology and …, 2003
662003
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
632019
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
552000
Compositional modeling in Metropolis
G Gössler, A Sangiovanni-Vincentelli
International Workshop on Embedded Software, 93-107, 2002
532002
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
522013
Causality analysis in contract violation
G Gössler, D Le Métayer, JB Raclet
International Conference on Runtime Verification, 270-284, 2010
502010
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
482000
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
442011
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
442007
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
422013
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
382011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20