Marie Fortin

According to our database1, Marie Fortin authored at least 9 papers between 2014 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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

It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before".
Proceedings of the 29th International Conference on Concurrency Theory, 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


  Loading...