Multioracle Coevolutionary Learning of Requirements Specifications from Examples in On-The-Fly Markets.
Evol. Comput., 2020
A Characterization for Decidable Separability by Piecewise Testable Languages.
Discret. Math. Theor. Comput. Sci., 2017
From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process.
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017
Active coevolutionary learning of requirements specifications from examples.
Proceedings of the Genetic and Evolutionary Computation Conference, 2017
Requirements Specification-by-Example Using a Multi-objective Evolutionary Algorithm.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016
A Note on Decidable Separability by Piecewise Testable Languages.
Proceedings of the Fundamentals of Computation Theory - 20th International Symposium, 2015
A combinatorial approach to the separation problem for regular languages. (Une approche combinatoire du problème de séparation pour les langages réguliers).
PhD thesis, 2014
Relational semantics for full linear logic.
J. Appl. Log., 2014
Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages.
Log. Methods Comput. Sci., 2014
The separation problem for regular languages by piecewise testable languages
CoRR, 2013
Separating Regular Languages by Piecewise Testable and Unambiguous Languages.
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013
Generalized Kripke semantics for the Lambek-Grishin calculus.
Log. J. IGPL, 2012