Florent Avellaneda

Roger Villemaire

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2022

DynAMICS: A tool-based method for the specification and dynamic detection of Android behavioural code smells.

[BibT_eX]

[DOI]

Dataset, December, 2022

Undercover Boolean Matrix Factorization with MaxSAT.

[BibT_eX]

[DOI]

Roger Villemaire

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Boolean Matrix Factorization with SAT and MaxSAT.

[BibT_eX]

[DOI]

Roger Villemaire

CoRR, 2021

2020

An Approach to Evaluating Learning Algorithms for Decision Trees.

[BibT_eX]

[DOI]

CoRR, 2020

Demystifying the Cyber Attribution: An Exploratory Study.

[BibT_eX]

[DOI]

Fehmi Jaafar

El Hachemi Alikacem

Proceedings of the IEEE Intl Conf on Dependable, 2020

Efficient Inference of Optimal Decision Trees.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

FSM inference and checking sequence construction are two sides of the same coin.

[BibT_eX]

[DOI]

Softw. Qual. J., 2019

Learning Optimal Decision Trees from Large Datasets.

[BibT_eX]

[DOI]

CoRR, 2019

Learning Communicating State Machines.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 13th International Conference, 2019

Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Fault Detection in Timed FSM with Timeouts by SAT-Solving.

[BibT_eX]

[DOI]

Omer Nguena Timo

Dimitri Prestat

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

Learning and Adaptive Testing of Nondeterministic State Machines.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

2018

Fault Detection for Timed FSM with Timeouts by Constraint Solving.

[BibT_eX]

[DOI]

Omer Nguena Timo

Dimitri Prestat

CoRR, 2018

Conformance Testing and Inference of Embedded Components.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2018

Inferring DFA without Negative Examples.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Grammatical Inference, 2018

FSM Inference from Long Traces.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

From Passive to Active FSM Inference via Checking Sequence Construction.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2017

2016

Solving Language Equations Using Flanked Automata.

[BibT_eX]

[DOI]

Silvano Dal-Zilio

Jean-Baptiste Raclet

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Catching a Structural Bug with a Flower.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2015

On the Complexity of Flanked Finite State Automata.

[BibT_eX]

[DOI]

Silvano Dal-Zilio

Jean-Baptiste Raclet

CoRR, 2015

2014

Exhibition of a Structural Bug with Wings.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013

Checking Partial-Order Properties of Vector Addition Systems with States.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2011

Checking Non-divergence, Channel-Bound and Global Cooperation Using SAT-Solvers.

[BibT_eX]

[DOI]