Sarah Chabane

Orcid: 0000-0002-2241-5165

Affiliations:

According to our database¹, Sarah Chabane authored at least 3 papers between 2017 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Addressing Input/Output Composition Through Open Automata Representation.

[BibT_eX]

[DOI]

Proceedings of the Research in Computer Science, 2024

2021

Towards compositional verification of synchronous reactive systems.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2021

2017

Rethinking of I/O-automata composition.

[BibT_eX]

[DOI]

Proceedings of the 2017 Forum on Specification and Design Languages, 2017