Faissal Ouardi

18 papers C 2Journal 12Unranked 3
YearRankTypeTitle / Venue / Authors
2023 J jnl
Efficient Algebraic Method for Testing the Invertibility of Finite State Machines.
Comput.
Zineb Lotfi, Hamid Khalifi, Faissal Ouardi
2023 — ed.
International Conference on Grammatical Inference, ICGI 2023, 10-13 July 2023, Rabat, Morocco.
ICGI
François Coste, Faissal Ouardi, Guillaume Rabusseau
2023 J jnl
New Linear-time Algorithm for SubTree Kernel Computation based on Root-Weighted Tree Automata.
CoRR
Ludovic Mignot, Faissal Ouardi, Djelloul Ziadi
2021 J jnl
Composition of weighted finite transducers in MapReduce.
J. Big Data
Bilal Elghadyry, Faissal Ouardi, Sébastien Vérel
2021 J jnl
Efficient Construction of the Equation Automaton.
Algorithms
Faissal Ouardi, Zineb Lotfi, Bilal Elghadyry
2021 J jnl
Efficient parallel derivation of short distinguishing sequences for nondeterministic finite state machines using MapReduce.
J. Big Data
Bilal Elghadyry, Faissal Ouardi, Zineb Lotfi, Sébastien Vérel
2019 — conf
Assist and Architecture Requirements for SRAM using a 28nm Silicon Test Vehicle.
BDIoT
Kenza Charafeddine, Faissal Ouardi
2015 J jnl
Extended to multi-tilde-bar regular expressions and efficient finite automata constructions.
J. Discrete Algorithms
Faissal Ouardi, Jean-Marc Champarnaud, Djelloul Ziadi
2013 J jnl
Extended to Multi-Tilde-Bar Regular Expressions and Efficient Finite Automata Constructions.
CoRR
Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Ziadi
2009 J jnl
An Efficient Computation of the Equation K-automaton of a Regular K-expression.
Fundam. Informaticae
Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Ziadi
2008 J jnl
Efficient weighted expressions conversion.
RAIRO Theor. Informatics Appl.
Faissal Ouardi, Djelloul Ziadi
2008 J jnl
Fast equation automaton computation.
J. Discrete Algorithms
Ahmed Khorsi, Faissal Ouardi, Djelloul Ziadi
2008 — conf
Relevant Representations for the Inference of Rational Stochastic Tree Languages.
ICGI
François Denis, Édouard Gilbert, Amaury Habrard, Faissal Ouardi, Marc Tommasi
2007 C conf
An Efficient Computation of the Equation
Developments in Language Theory
Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Ziadi
2007 J jnl
Normalized Expressions and Finite Automata.
Int. J. Algebra Comput.
Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Ziadi
2004 — conf
Follow Automaton versus Equation Automaton.
DCFS
Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Ziadi
2004 J jnl
From Regular Weighted Expressions To Finite Automata.
Int. J. Found. Comput. Sci.
Jean-Marc Champarnaud, Éric Laugerotte, Faissal Ouardi, Djelloul Ziadi
2003 C conf
From Regular Weighted Expressions to Finite Automata.
CIAA
Jean-Marc Champarnaud, Éric Laugerotte, Faissal Ouardi, Djelloul Ziadi