| Composition for component-based modeling G Gössler, J Sifakis Science of Computer Programming 55 (1-3), 161-183, 2005 | 279 | 2005 |
| 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 | 167 | 1999 |
| Scheduler modeling based on the controller synthesis paradigm K Altisen, G Gößler, J Sifakis Real-Time Systems 23 (1-2), 55-84, 2002 | 162 | 2002 |
| 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 | 108 | 2013 |
| 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 | 95 | 2016 |
| 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 | 87 | 2010 |
| Composition for component-based modeling G Gössler, J Sifakis International Symposium on Formal Methods for Components and Objects, 443-466, 2002 | 78 | 2002 |
| 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 | 71 | 2007 |
| Component-based construction of deadlock-free systems G Gössler, J Sifakis International Conference on Foundations of Software Technology and …, 2003 | 66 | 2003 |
| Priority systems G Gößler, J Sifakis International Symposium on Formal Methods for Components and Objects, 314-329, 2003 | 60 | 2003 |
| 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 | 58 | 2019 |
| 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 | 55 | 2000 |
| Compositional modeling in Metropolis G Gössler, A Sangiovanni-Vincentelli International Workshop on Embedded Software, 93-107, 2002 | 53 | 2002 |
| 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 | 51 | 2013 |
| Causality analysis in contract violation G Gössler, D Le Métayer, JB Raclet International Conference on Runtime Verification, 270-284, 2010 | 49 | 2010 |
| 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 | 49 | 2000 |
| 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 | 44 | 2007 |
| 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 | 43 | 2011 |
| 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 | 39 | 2013 |
| 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 | 38 | 2011 |
Joseph SifakisReseracher at Verimag laboratory, Grenoble在 imag.fr 的电子邮件经过验证
