Marie Fortin

According to our database1, Marie Fortin
  • authored at least 5 papers between 2014 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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...