Segui
Gregor Gössler
Titolo
Citata da
Citata da
Anno
Composition for component-based modeling
G Gössler, J Sifakis
Science of Computer Programming 55 (1-3), 161-183, 2005
2712005
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
1641999
Scheduler modeling based on the controller synthesis paradigm
K Altisen, G Gößler, J Sifakis
Real-Time Systems 23 (1-2), 55-84, 2002
1602002
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
1032013
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
832010
Composition for component-based modeling
G Gössler, J Sifakis
International Symposium on Formal Methods for Components and Objects, 443-466, 2002
792002
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
772016
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
722007
Component-based construction of deadlock-free systems
G Gössler, J Sifakis
International Conference on Foundations of Software Technology and …, 2003
652003
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
512010
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
Tools and Algorithms for the Construction and Analysis of Systems: 6th …, 2000
442000
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
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
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
382014
A general framework for blaming in component-based systems
G Gössler, D Le Métayer
Science of Computer Programming 113, 223-235, 2015
372015
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
Il sistema al momento non puň eseguire l'operazione. Riprova piů tardi.
Articoli 1–20