Aldric Degorre

According to our database, Aldric Degorre authored at least 19 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Computing the Bandwidth of Meager Timed Automata.

Eugene Asarin, Aldric Degorre, Catalin Dima, Bernardo Jacobo Inclán

Proceedings of the Implementation and Application of Automata, 2024

2023

Bandwidth of Timed Automata: 3 Classes.

Eugene Asarin, Aldric Degorre, Catalin Dima, Bernardo Jacobo Inclán

Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023

2022

Bounded Delay Timed Channel Coding.

Bernardo Jacobo Inclán, Aldric Degorre, Eugene Asarin

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

2018

Distance on Timed Words and Applications.

Eugene Asarin, Nicolas Basset, Aldric Degorre

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

2016

Entropy Games and Matrix Multiplication Games.

Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, Victor S. Kozyakin

Proceedings of the 33rd Symposium on Theoretical Aspects of Computer Science, 2016

2015

Entropy of regular timed languages.

Eugene Asarin, Nicolas Basset, Aldric Degorre

Inf. Comput., 2015

Entropy Games.

Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, Victor S. Kozyakin

CoRR, 2015

2014

Asymptotic behaviour in temporal logic.

Eugene Asarin, Michel Blockelet, Aldric Degorre, Catalin Dima, Chunyan Mu

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

Spectral Gap in Timed Automata.

Eugene Asarin, Nicolas Basset, Aldric Degorre

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

2012

Generating Functions of Timed Languages.

Eugene Asarin, Nicolas Basset, Aldric Degorre, Dominique Perrin

Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

Toward a Timed Theory of Channel Coding.

Eugene Asarin, Nicolas Basset, Marie-Pierre Béal, Aldric Degorre, Dominique Perrin

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2010

Two Size Measures for Timed Languages.

Eugene Asarin, Aldric Degorre

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

Energy and Mean-Payoff Games with Imperfect Information.

Aldric Degorre, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin, Szymon Torunczyk

Proceedings of the Computer Science Logic, 24th International Workshop, 2010

2009

Langages formels : Quelques aspects quantitatifs. (On Some Quantitative Aspects of Formal Languages).

Aldric Degorre

PhD thesis, 2009

On Omega-Languages Defined by Mean-Payoff Conditions.

Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss

Proceedings of the Foundations of Software Science and Computational Structures, 2009

Volume and Entropy of Regular Timed Languages: Analytic Approach.

Eugene Asarin, Aldric Degorre

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

Volume and Entropy of Regular Timed Languages: Discretization Approach.

Eugene Asarin, Aldric Degorre

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

On Scheduling Policies for Streams of Structured Jobs.

Aldric Degorre, Oded Maler

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

2004

Scenarios and Covert Channels: Another Game...

Loïc Hélouët, Marc Zeitoun, Aldric Degorre

Proceedings of the Workshop on Games in Design and Verification, 2004