Gregor GößlerResearch fellow / Chargé de rechercheCNRS Univ Grenoble Alpes关注立即认领分享关注立即认领分享基本信息浏览量:44职业迁徙个人简介暂无内容研究兴趣论文共 13 篇作者统计合作学者相似作者按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选时间引用量主题期刊级别合作者合作机构Causality analysis and fault ascription in component-based systemsGregor Gössler,Jean-Bernard StefaniTHEORETICAL COMPUTER SCIENCE(2020)引用11浏览0EI引用110Monotonic Prefix Consistency in Distributed SystemsAlain Girault,Gregor Gößler,Rachid Guerraoui,Jad Hamza,Dragos-Adrian SeredinschiLecture Notes in Computer Science(2018)引用20浏览0EI引用200Why You Can't Beat Blockchains: Consistency and High Availability in Distributed SystemsAlain Girault,Gregor Gößler,Rachid Guerraoui,Jad Hamza,Dragos-Adrian SeredinschiarXiv: Distributed, Parallel, and Cluster Computing(2017)引用23浏览0EI引用230Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems TechnologiesGregor Gössler,Oleg Sokolskyarxiv(2016)引用0浏览0引用00Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic ModelsAntoine Girard,Gregor Gößler,Sebti MouelhiIEEE Trans. Automat. Contr.(2016)引用65浏览0EIWOS引用650A Hybrid Approach To Causality AnalysisShaohui Wang, Yoann Geoffroy,Gregor Gößler,Oleg Sokolsky,Insup LeeRUNTIME VERIFICATION, RV 2015(2015)引用10浏览0EI引用100A general framework for blaming in component-based systemsGregor Gößler,Daniel Le MétayerScience of Computer Programming(2015)引用37浏览0EI引用370Fault Ascription in Concurrent SystemsGregor Gößler, Jean-Bernard StefaniTrustworthy Global Computing(2015)引用8浏览0EI引用80Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuelGregor Gößler,Daniel Le Métayer,Eduardo Mazza,Marie-Laure Potet,Lacramioara AstefanoaeiTechnique et Science Informatiques(2014)引用0浏览0EI引用00A correlation preserving performance analysis for stream processing systemsGideon Smeding,Gregor Gößlerformal methods(2012)引用3浏览0EIWOS引用30加载更多作者统计合作学者合作机构D-Core合作者学生导师暂无相似学者,你可以通过学者研究领域进行搜索筛选数据免责声明页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn