Gregor Gler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
12
Active years
1999–2019
Best venue rank
B
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | Mobisys | SAKURA a Model Based Root Cause Analysis Framework for vIMS. | Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Gler |
| 2018 | FMICS | Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory. | Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gler |
| 2018 | FORTE | Monotonic Prefix Consistency in Distributed Systems. | Alain Girault, Gregor Gler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi |
| 2015 | RV | A Hybrid Approach to Causality Analysis. | Shaohui Wang, Yoann Geoffroy, Gregor Gler, Oleg Sokolsky, Insup Lee |
| 2013 | RV | A Causality Analysis Framework for Component-Based Real-Time Systems. | Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gler, Oleg Sokolsky, Insup Lee |
| 2012 | MEMOCODE | A correlation preserving performance analysis for stream processing systems. | Gideon Smeding, Gregor Gler |
| 2012 | SSS | A Theory of Fault Recovery for Component-Based Models. | Borzoo Bonakdarpour, Marius Bozga, Gregor Gler |
| 2011 | SRDS | A Theory of Fault Recovery for Component-Based Models. | Borzoo Bonakdarpour, Marius Bozga, Gregor Gler |
| 2010 | ATVA | Probabilistic Contracts for Component-Based Design. | Dana N. Xu, Gregor Gler, Alain Girault |
| 2010 | RV | Causality Analysis in Contract Violation. | Gregor Gler, Daniel Le Mtayer, Jean-Baptiste Raclet |
| 2007 | SOFSEM | An Approach to Modelling and Verification of Component Based Systems. | Gregor Gler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis |
| 2007 | TACAS | Adaptor Synthesis for Real-Time Components. | Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gler |
| 2002 | EMSOFT | Compositional Modeling in Metropolis. | Gregor Gler, Alberto L. Sangiovanni-Vincentelli |
| 2000 | TACAS | On the Construction of Live Timed Systems. | Sbastien Bornot, Gregor Gler, Joseph Sifakis |
| 1999 | RTSS | A Framework for Scheduler Synthesis. | Karine Altisen, Gregor Gler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine |