1 citations · 1 across the 3 of their papers we have counts for
5 papers · 1 filter
Automata Learning with an Incomplete but Inductive Teacher (Technical Report)
Daniel Stan, Adrien Pommellet, Juliette Jacquot
Active automata learning (AAL) under a Minimally Adequate Teacher (MAT) has been successfully used to infer a regular language through membership and equivalence queries. This lang…
Active Learning Techniques for Pomset Recognizers
Adrien Pommellet, Amazigh Amrane, Edgar Delaporte +2
Pomsets are a promising formalism for concurrent programs based on partially ordered sets. Among this class, series-parallel pomsets admit a convenient linear representation and ca…
Improvements to ltlsynt
Florian Renkin, Philipp Schlehuber, Alexandre Duret-Lutz +1
ltlsynt is a tool for LTL reactive synthesis. We summarize its evolution since 2018.
Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-vous
Adrien Pommellet, Tayssir Touili
We present in this paper a generic framework for the analysis of multi-threaded programs with recursive procedure calls, synchronisation by rendez-vous between parallel threads, an…
Reachability Analysis of Pushdown Systems with an Upper Stack
Adrien Pommellet, Marcio Diaz, Tayssir Touili
Pushdown systems (PDSs) are a natural model for sequential programs, but they can fail to accurately represent the way an assembly stack actually operates. Indeed, one may want to…