Gaston, Christophe

1. Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal
   2024/03/05 by Mahe, Erwan, Bannour, Boutheina, Gaston, Christophe +1 · 2 citations
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
2. A small-step approach to multi-trace checking against interactions
   2020/09/03 by Mahe, Erwan, Bannour, Boutheina, Gaston, Christophe +2 · 1 citation
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)