Nombre de documents

30

CV de Gregor Gössler


Communication dans un congrès15 documents

  • Gregor Gössler, Jean-Bernard Stefani. Fault Ascription in Concurrent Systems. P. Ganty; M. Loreti. Trustworthy Global Computing, 2015, Madrid, Spain. Springer, LNCS, 9533, pp.16, TGC 2015. <10.1007/978-3-319-28766-9 6>. <hal-01246485>
  • Shaohui Wang, Yoann Geoffroy, Gregor Gössler, Oleg Sokolsky, Insup Lee. A Hybrid Approach to Causality Analysis. RV 2015 - 6th International Conference on Runtime Verification, Sep 2015, Vienna, Austria. 9333, 2015, LNCS. <10.1007/978-3-319-23820-3_16>. <hal-01211607>
  • Gregor Gössler, Lacramioara Astefanoaei. Blaming in component-based real-time systems. Proceedings of the 14th International Conference on Embedded Software - EMSOFT'14, Oct 2014, Delhi, India. ACM, 2014, <10.1145/2656045.2656048>. <hal-01078214>
  • Euriell Le Corronc, Antoine Girard, Gregor Gössler. Mode Sequences as Symbolic States in Abstractions of Incrementally Stable Switched Systems. CDC 2013 - 52nd Conference on Decision and Control, Dec 2013, Florence, Italy. IEEE, pp.3225-3230, 2013, <10.1109/CDC.2013.6760375>. <hal-00924815>
  • Shaohui Wang, Anaheed Ayoub, Baekgyu Kim, Gregor Gössler, Oleg Sokolsky, et al.. A Causality Analysis Framework for Component-based Real-time Systems. Axel Legay and Saddek Bensalem. RV - 4th International Conference on Runtime Verification - 2013, 2013, Rennes, France. Springer, 8174, pp.285-303, 2013. <hal-00919081>
  • Gregor Gössler, Daniel Le Métayer. A General Trace-Based Framework of Logical Causality. FACS - 10th International Symposium on Formal Aspects of Component Software - 2013, 2013, Nanchang, China. 2013. <hal-00924048>
  • Borzoo Bonakdarpour, Marius Bozga, Gregor Gössler. A Theory of Fault Recovery for Component-Based Models. SRDS, Oct 2011, Madrid, Spain. pp.265-270, 2011. <hal-00665222>
  • Javier Cámara, Antoine Girard, Gregor Gössler. Safety Controller Synthesis for Switched Systems Using Multi-Scale Symbolic Models. CDC-ECC - 50th IEEE Conference on Decision and Control and European Control Conference, Dec 2011, Orlando, United States. IEEE, pp.520-525, 2011, <10.1109/CDC.2011.6160424>. <hal-00665226>
  • Javier Cámara, Antoine Girard, Gregor Gössler. Synthesis of switching controllers using approximately bisimilar multiscale abstractions. HSCC 2011 - 14th International Conference on Hybrid Systems: Computation and Control, Apr 2011, Chicago, IL, United States. pp.191-200, 2011, <10.1145/1967701.1967730>. <hal-00665219>
  • Gregor Gössler, Jean-Baptiste Raclet. Modal Contracts for Component-based Design. SEFM'09, Nov 2009, Hanoi, Vietnam. IEEE, pp.295-303, 2009. <hal-00665205>
  • Gregor Gössler. Compositional Strategy Mapping. F. Arbab and M. Sirjani. FSEN'09, Apr 2009, Kish, Iran. Springer, 5961, pp.340-354, 2010. <hal-00665203>
  • Gregor Gössler. Compositional Reachability Analysis of Genetic Networks. C. Priami. CMSB'06, Oct 2006, Trento, Italy. Springer, 4210, pp.212-226, 2006. <hal-00665196>
  • Gregor Gössler, Joseph Sifakis. Priority Systems. F. de Boer and M. Bonsangue and S. Graf and W.-P. de Roever. FMCO'03, Nov 2003, Leiden, Netherlands. Springer-Verlag, 3188, pp.314-329, 2004. <hal-00665174>
  • Gregor Gössler, Joseph Sifakis. Component-Based Construction of Deadlock-Free Systems (Extended Abstract). FSTTCS'03, Dec 2003, Mumbai, India. Springer-Verlag, 2914, 2003. <hal-00665173>
  • Gregor Gössler, Joseph Sifakis. Composition for Component-Based Modeling. F. de Boer and M. Bonsangue and S. Graf and W.-P. de Roever. FMCO'02, Nov 2002, Leiden, Netherlands. Springer-Verlag, 2852, 2003. <hal-00665169>

HDR1 document

  • Gregor Gössler. Formal Techniques for Component-based Design of Embedded Systems. Embedded Systems. Grenoble University, 2014. <tel-01267041>

Direction d'ouvrage, Proceedings1 document

Rapport7 documents

  • Gregor Gössler, Jean-Bernard Stefani. Fault Ascription in Concurrent Systems. [Research Report] RR-8772, INRIA Grenoble - Rhône-Alpes. 2015. <hal-01197486>
  • Gregor Gössler, Daniel Le Métayer. A General Trace-Based Framework of Logical Causality. [Research Report] RR-8378, INRIA. 2013. <hal-00873665v2>
  • Sebti Mouelhi, Antoine Girard, Gregor Gössler. CoSyMA: A Tool for Controller Synthesis Using Multi-scale Abstractions. [Research Report] RR-8108, INRIA. 2012. <hal-00743982>
  • Gregor Gössler, Dana Xu, Alain Girault. Probabilistic Contracts for Component-based Design. [Research Report] RR-7328, INRIA. 2012. <inria-00507785v2>
  • Gregor Gössler. Modeling and Compositional Analysis of Genetic Regulatory Networks. [Research Report] RR-5801, INRIA. 2006. <inria-00071211>
  • Gregor Gössler. Reach Scheduling for Embedded Systems. RR-5651, INRIA. 2005. <inria-00071230>
  • Gregor Gössler, Joseph Sifakis. Priority Systems. [Research Report] RR-5226, INRIA. 2004. <inria-00077205>

Article dans une revue6 documents

  • Antoine Girard, Gregor Gössler, Sebti Mouelhi. Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2016, 61 (6), pp.1537-1549. <10.1109/TAC.2015.2478131>. <hal-01197426v2>
  • Gregor Gössler, Daniel Le Métayer. A general framework for blaming in component-based systems. Science of Computer Programming, Elsevier, 2015, 113, Part 3, <10.1016/j.scico.2015.06.010>. <hal-01211484>
  • Gregor Gössler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei. Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2014, pp.63-84. <10.3166/tsi.33.63-84>. <hal-01078220>
  • Roopak Sinha, Alain Girault, Gregor Gössler, Partha Roop. A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design. ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2014, 20, pp.30. <10.1145/2663344>. <hal-01092255>
  • Gregor Gössler. Component-Based Modeling and Reachability Analysis of Genetic Networks. IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers, 2011, 8 (3), pp.672-682. <hal-00665209>
  • Gregor Gössler, Joseph Sifakis. Composition for Component-based Modeling. Science of Computer Programming, Elsevier, 2005, 55 (1-3), pp.161-183. <hal-00665175>