Gregor Gößler

40 papers A 4B 5C 4Misc 1Journal 9Unranked 15

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions. Acta Informatica Antoine Girard, Gregor Gößler
2019	J	`jnl`	A Survey of Fault Management in Network Virtualization Environments: Challenges and Solutions. IEEE Trans. Netw. Serv. Manag. Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Gößler, Imen Grida Ben Yahia
2019	A	`conf`	SAKURA a Model Based Root Cause Analysis Framework for vIMS. MobiSys Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Gößler
2018	C	`conf`	Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory. FMICS Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gößler
2018	C	`conf`	Monotonic Prefix Consistency in Distributed Systems. FORTE Alain Girault, Gregor Gößler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi
2017	—	`conf`	Counterfactual Causality from First Principles? CREST Gregor Gößler, Oleg Sokolsky, Jean-Bernard Stefani
2017	J	`jnl`	Why You Can't Beat Blockchains: Consistency and High Availability in Distributed Systems. CoRR Alain Girault, Gregor Gößler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi
2016	—	`ed.`	Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016. CREST Gregor Gößler, Oleg Sokolsky
2016	J	`jnl`	Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models. IEEE Trans. Autom. Control. Antoine Girard, Gregor Gößler, Sebti Mouelhi
2015	B	`conf`	A Hybrid Approach to Causality Analysis. RV Shaohui Wang, Yoann Geoffroy, Gregor Gößler, Oleg Sokolsky, Insup Lee
2015	J	`jnl`	A general framework for blaming in component-based systems. Sci. Comput. Program. Gregor Gößler, Daniel Le Métayer
2015	—	`conf`	Fault Ascription in Concurrent Systems. TGC Gregor Gößler, Jean-Bernard Stefani
2014	J	`jnl`	Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel. Tech. Sci. Informatiques Gregor Gößler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei
2014	—	`book`	Formal Techniques for Component-based Design of Embedded Systems. Gregor Gößler
2013	B	`conf`	A Causality Analysis Framework for Component-Based Real-Time Systems. RV Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gößler, Oleg Sokolsky, Insup Lee
2013	—	`conf`	A General Trace-Based Framework of Logical Causality. FACS Gregor Gößler, Daniel Le Métayer
2013	—	`conf`	CoSyMA: a tool for controller synthesis using multi-scale abstractions. HSCC Sebti Mouelhi, Antoine Girard, Gregor Gößler
2012	C	`conf`	A Theory of Fault Recovery for Component-Based Models. SSS Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler
2012	C	`conf`	A correlation preserving performance analysis for stream processing systems. MEMOCODE Gideon Smeding, Gregor Gößler
2012	J	`jnl`	Probabilistic contracts for component-based design. Formal Methods Syst. Des. Gregor Gößler, Dana N. Xu, Alain Girault
2011	B	`conf`	A Theory of Fault Recovery for Component-Based Models. SRDS Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler
2011	—	`conf`	Realizability of Choreographies for Services Interacting Asynchronously. FACS Gregor Gößler, Gwen Salaün
2011	—	`conf`	Safety controller synthesis for switched systems using multi-scale symbolic models. CDC/ECC Javier Cámara, Antoine Girard, Gregor Gößler
2011	—	`conf`	Synthesis of switching controllers using approximately bisimilar multiscale abstractions. HSCC Javier Cámara, Antoine Girard, Gregor Gößler
2010	B	`conf`	Causality Analysis in Contract Violation. RV Gregor Gößler, Daniel Le Métayer, Jean-Baptiste Raclet
2010	B	`conf`	Probabilistic Contracts for Component-Based Design. ATVA Dana N. Xu, Gregor Gößler, Alain Girault
2009	—	`conf`	Compositional Strategy Mapping. FSEN Gregor Gößler
2007	A	`conf`	Adaptor Synthesis for Real-Time Components. TACAS Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler
2007	—	`conf`	An Approach to Modelling and Verification of Component Based Systems. SOFSEM (1) Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis
2006	—	`conf`	Compositional Reachability Analysis of Genetic Networks. CMSB Gregor Gößler
2006	—	`conf`	Ensuring Properties of Interaction Systems. Program Analysis and Compilation Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis
2005	J	`jnl`	Composition for component-based modeling. Sci. Comput. Program. Gregor Gößler, Joseph Sifakis
2003	—	`conf`	Component-Based Construction of Deadlock-Free Systems: Extended Abstract. FSTTCS Gregor Gößler, Joseph Sifakis
2003	—	`conf`	Priority Systems. FMCO Gregor Gößler, Joseph Sifakis
2002	—	`conf`	Composition for Component-Based Modeling. FMCO Gregor Gößler, Joseph Sifakis
2002	Misc	`conf`	Compositional Modeling in Metropolis. EMSOFT Gregor Gößler, Alberto L. Sangiovanni-Vincentelli
2002	J	`jnl`	Scheduler Modeling Based on the Controller Synthesis Paradigm. Real Time Syst. Karine Altisen, Gregor Gößler, Joseph Sifakis
2000	—	`conf`	A Methodology for the Construction of Scheduled Systems. FTRTFT Karine Altisen, Gregor Gößler, Joseph Sifakis
2000	A	`conf`	On the Construction of Live Timed Systems. TACAS Sébastien Bornot, Gregor Gößler, Joseph Sifakis
1999	A	`conf`	A Framework for Scheduler Synthesis. RTSS Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine