Latest submissions

Communication on a congress
12/16/2024
Communication on a congress
12/16/2024
Execution-time opacity problems in one-clock parametric timed automata
Étienne André, Johan Arcile, Engel Lefaucheux
Communication on a congress
12/16/2024
Sliding mode observation for a 1D wave equation with dynamic boundary conditions
Yacine Chitour, Abdelhakim Dahmani, Moussa Labbadi, Christophe Roman
Communication on a congress
12/16/2024
Beyond Decisiveness of Infinite Markov Chains
Benoît Barbot, Patricia Bouyer, Serge Haddad
Communication on a congress
12/16/2024
Communication on a congress
12/16/2024
Growth conditions to ensure input-to-state stability of time-delay systems under point-wise dissipation
Epiphane Loko, Antoine Chaillet, Yuan Wang, Iasson Karafyllis, Pierdomenico Pepe
Communication on a congress
12/16/2024
Communication on a congress
12/16/2024
A vector almost-supermartingale convergence theorem and its applications
Aditya Mahajan, Silviu-Iulian Niculescu, Mathukumalli Vidyasagar
Pre-submission / Working document
12/16/2024
dles14: large-eddy simulation of solid/fluid heat and mass transfer applied to the thermal degradation of composite material
Adrien Grenouilloux, Roxane Letournel, Nicolas Dellinger, Kevin Bioche, Vincent Moureau
Pre-submission / Working document
12/16/2024
To be completed (at the end of an anonymous review procedure)
Andrei Paskevich, Paul Patault, Jean-Christophe Filliâtre

Pages