# Marie Fortin

According to our database

^{1}, Marie Fortin## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before".

CoRR, 2018

Gossiping in Message-Passing Systems.

CoRR, 2018

Communicating Finite-State Machines and Two-Variable Logic.

Proceedings of the 35th Symposium on Theoretical Aspects of Computer Science, 2018

2017

Communicating Finite-State Machines and Two-Variable Logic.

CoRR, 2017

Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems.

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

On parametrized verification of asynchronous, shared-memory pushdown systems.

CoRR, 2016

Verification of Parameterized Communicating Automata via Split-Width.

Proceedings of the Foundations of Software Science and Computation Structures, 2016

2014

Coalgebraic Semantics of Heavy-Weighted Automata.

Proceedings of the Recent Trends in Algebraic Development Techniques, 2014