Volgen
Gregor Gössler
Titel
Geciteerd door
Geciteerd door
Jaar
Composition for component-based modeling
G Gössler, J Sifakis
Science of Computer Programming 55 (1-3), 161-183, 2005
2762005
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
1572002
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
1082013
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
902016
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
852010
Composition for component-based modeling
G Gössler, J Sifakis
International Symposium on Formal Methods for Components and Objects, 443-466, 2002
762002
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
652003
Priority systems
G Gößler, J Sifakis
International Symposium on Formal Methods for Components and Objects, 314-329, 2003
602003
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
562019
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
542000
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
492010
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
482013
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
452000
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
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
412011
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
392013
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
372014
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20