by Girard, Antoine, Gossler, Gregor, Mouelhi, Sebti
Published in IEEE transactions on automatic control (01.06.2016)

by Girard, Antoine, Gössler, Gregor
Published in Acta informatica (01.04.2020)

by Cherrared, Sihem, Imadali, Sofiane, Fabre, Eric, Gossler, Gregor
Published in IEEE eTransactions on network and service management (01.09.2021)

by Cherrared, Sihem, Imadali, Sofiane, Fabre, Eric, Gossler, Gregor, Yahia, Imen Grida Ben
Published in IEEE eTransactions on network and service management (01.12.2019)

by Mari, Thomas, Dang, Thao, Gössler, Gregor
Published in Formal Modeling and Analysis of Timed Systems (2021)

by Gössler, Gregor, Stefani, Jean-Bernard
Published in Theoretical computer science (12.10.2020)

by Gössler, Gregor, Sokolsky, Oleg, Stefani, Jean-Bernard
Published in Electronic proceedings in theoretical computer science (10.10.2017)

by Gössler, Gregor, Le Métayer, Daniel
Published in Science of computer programming (01.12.2015)

by Gössler, Gregor, Sokolsky, Oleg
Published in Electronic proceedings in theoretical computer science (26.08.2016)

by Graf, Susanne, Quinton, Sophie, Girault, Alain, Gössler, Gregor
Published in Formal Methods for Industrial Critical Systems (2018)

by Goessler, Gregor
Published in IEEE/ACM transactions on computational biology and bioinformatics (01.05.2011)

by Gössler, Gregor, Sifakis, Joseph
Published in Science of computer programming (01.03.2005)

by Girault, Alain, Gössler, Gregor, Guerraoui, Rachid, Hamza, Jad, Seredinschi, Dragos-Adrian
Published in Formal Techniques for Distributed Objects, Components, and Systems (2018)

by Gössler, Gregor, Stefani, Jean-Bernard
Published in Trustworthy Global Computing (2016)

by Gössler, Gregor
Published in Computational Methods in Systems Biology (2006)

by Gössler, Gregor, Xu, Dana N., Girault, Alain
Published in Formal methods in system design (01.10.2012)

by Gössler, Gregor, Salaün, Gwen
Published in Formal Aspects of Component Software (2012)

by Gössler, Gregor
Published in Fundamentals of Software Engineering (2010)

by Wang, Shaohui, Geoffroy, Yoann, Gössler, Gregor, Sokolsky, Oleg, Lee, Insup
Published in Runtime Verification (2015)

by Gössler, Gregor, Le Métayer, Daniel
Published in Formal Aspects of Component Software (2014)