Sarah Chabane

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 2

Top Topics

Reactive Systems

Signature Verification

Finite State Automata

Top Venues

Int. J. Crit. Comput. Based Syst.

Publications

Sarah Chabane, Rabéa Ameur-Boulifa, Mezghiche Mohamed
Towards compositional verification of synchronous reactive systems. Int. J. Crit. Comput. Based Syst. 10 (2) (2021)
Sarah Chabane, Rabéa Ameur-Boulifa, Mohamed Mezghiche
Rethinking of I/O-automata composition. FDL (2017)