-
P. Gastin, N. Sznajder, and M. Zeitoun.
Distributed synthesis for well-connected architectures.
Formal Methods in System Design.
To appear.
[pdf, 24 pages/305K].
-
A. Muscholl, I. Walukiewicz, and M. Zeitoun.
A look at the control of asynchronous automata.
To appear in 2008.
[pdf, 14 pages/184K].
-
B. Genest, A. Muscholl, O. Serre, and M. Zeitoun.
Tree pattern rewritting systems.
M. Kim and M. Viswanathan, eds.,
Proc. of the 6th Symp. on Automated Technology for Verification and Analysis, ATVA'08
(Seoul),
volume 5311 of Lect. Notes Comp. Sci., pages
332–346. Springer, 2008.
[pdf, 15 pages/238K].
[pdf, long version, 20 pages/275K].
[doi].
-
J. Almeida and M. Zeitoun.
Description and analysis of a bottom-up DFA minimization algorithm.
Inform. Process. Lett.,
107(2):52–59, 2008.
[pdf, 8 pages/189K].
[doi].
-
J. Almeida, J. C. Costa, and M. Zeitoun.
ω-terms over finite aperiodic semigroups.
Y. Boudabbous and N. Zaguia, eds.,
Proc. of the Int. Conf. on Relations, Orders and Graphs: Interaction with Computer
Science, ROGICS'08 (Madhia), pages 364–371. ISBN: 978-0-9809498-0-3, 2008.
[pdf, 10 pages/193K].
-
N. Caniart, E. Fleury, J. Leroux, and M. Zeitoun.
Accelerating interpolation-based model-checking.
C. R. Ramakrishnan and J. Rehof, eds.,
Proc. of the 14th International Conference on Tools and Algorithms
for the Construction and Analysis of Systems, TACAS'08 (Budapest),
volume 4963 of Lect. Notes Comp. Sci.,
pages 428–442. Springer, 2008.
[pdf, 22 pages/326K].
[doi].
-
R. Bernard, S. Metge, F. Pouzolz, P. Bieber,
A. Griffault, and M. Zeitoun.
Altarica refinement for heterogeneous
granularity models analysis.
Lambda-Mu, 16ème Congrès de Maîtrise des Risques et de
Sûreté de Fonctionnement. IMDR-Sdf, Avignon, France.
2008. To appear.
[pdf, 8 pages/307K].
-
J. Almeida, J. C. Costa, and M. Zeitoun.
Pointlike sets with respect to R and J.
J. Pure Appl. Algebra,
212(3):486–499, 2008.
[pdf, 13 pages/279K].
[doi].
-
J. Almeida and M. Zeitoun.
An automata-theoretic approach to the word problem for ω-terms over
R.
Theoret. Comput. Sci.,
370(1–3):131–169, 2007.
[pdf, 35 pages/518K].
[doi].
-
J. Almeida, J. C. Costa, and M. Zeitoun.
Complete reducibility of pseudovarieties.
Proceedings of the Conference on Semigroups and Formal Languages
(Lisbon 2005),
pages 9–25. World Scientific, 2007.
In honour of D. McAlister's 65th birthday.
[pdf, 12 pages/224K].
[doi].
-
J. Almeida, J. C. Costa, and M. Zeitoun.
Complete reducibility of systems of equations with respect to R.
Portugal. Math.,
64(4):445–508, 2007. Special issue.
[pdf, 45 pages/580K].
-
P. Gastin, N. Sznajder, and M. Zeitoun.
Distributed synthesis for well-connected architectures.
N. Garg and S. Arun-Kumar, eds.,
Proc. of the 26th Conference on Foundations of Software
Technology and Theoretical Computer Science, FSTTCS'06 (Kolkata),
volume 4337 of Lect. Notes Comp. Sci., pages
321–332. Springer, 2006.
[pdf,
12 pages/195K].
[doi].
-
B. Genest, A. Muscholl, H. Seidl, and M. Zeitoun.
Infinite-state High level MSCs: realizability and model-checking.
Journal of Computer and System Sciences,
72(4):617–647, 2006.
[pdf, 37 pages/409K].
[doi].
-
J. Almeida, J. C. Costa, and M. Zeitoun.
Tameness of pseudovariety joins involving R.
Monatshefte für Mathematik,
146(2):89–111, 2005.
[pdf, 28 pages/295K].
[doi].
-
L. Hélouët, M. Zeitoun, and A. Degorre.
Scenarios and covert channels, another game...
L. de Alfaro, ed.,
Proc. of Games in Design and Verification, GDV'04 (Boston),
volume 119 of Electronic Notes in Theoretical Computer Science,
pages 93–116. Elsevier, 2005.
[pdf, 20 pages/274K].
[doi].
-
J. Almeida and M. Zeitoun.
The equational theory of ω-terms for finite R-trivial
semigroups.
M. Branco and G. Gomes, eds.,
Proc. of Semigroups and Languages,
pages 1–23. World Scientific, 2004.
[pdf, 23 pages/231K].
[doi].
-
P. Gastin, B. Lerman, and M. Zeitoun.
Distributed games and distributed control for asynchronous systems.
M. Farach-Colton, ed.,
Proc. of the 6th Symposium Latin American Theoretical INformatics,
LATIN'04 (Buenos Aires),
volume 2976 of Lect. Notes Comp. Sci., pages
455–465. Springer, 2004.
[pdf, 19 pages/203K].
[doi].
-
P. Gastin, B. Lerman, and M. Zeitoun.
Distributed games with causal memory are decidable for series-parallel
systems.
K. Lodaya and M. Mahajan, eds.,
Proc. of the 24th Conference on Foundations of Software
Technology and Theoretical Computer Science, FSTTCS'04 (Chennai),
volume 3328 of Lect. Notes Comp. Sci., pages 275–286. Springer,
2004.
[pdf, 12 pages/153K].
[doi].
-
P. Gastin, P. Moro, and M. Zeitoun.
Minimization of counterexamples in SPIN.
S. Graf and L. Mounier, eds.,
Model Checking Software: Proc. of the 11th International
SPIN Workshop, SPIN'04 (Barcelona),
volume 2989 of Lect. Notes Comp.
Sci., pages 92–108. Springer, 2004.
[pdf, 18 pages/192K].
[doi].
-
M. Zeitoun.
Concurrence et automates.
Habilitation à diriger des recherches, Université Paris 7,
2004.
-
J. Almeida and M. Zeitoun.
Tameness of some locally trivial pseudovarieties.
Comm. Algebra,
31(1):61–77, 2003.
[pdf, 18 pages/222K].
[doi].
-
L. Hélouët, C. Jard, and M. Zeitoun.
Covert channels detection in protocols using scenarios.
M. Rusinowitch, ed., Proc.
of SPV'03, Security Protocols Verification (Marseille),
pages 21–25, 2003.
[pdf, 5 pages/148K].
-
B. Genest, A. Muscholl, H. Seidl, and M. Zeitoun.
Infinite-state High level MSCs: realizability and model-checking.
P. Widmayer et al., eds.,
Proc. of the 29th International Colloquium on Automata, Languages and
Programming, ICALP'02 (Malaga),
volume 2380 of Lect. Notes Comp.
Sci., pages 657–668, Malaga, Spain, 2002. Springer.
[pdf, 12 pages/152K].
[doi].
-
É. Badouel, S. Boucheron,
A. Dicky, A. Petit, M. Santha, P. Weil, and M. Zeitoun.
Problèmes d'informatique corrigés,
Probl. I-99.
Springer, 2000.
Coord. A. Petit.
-
É. Badouel, S. Boucheron,
A. Dicky, A. Petit, M. Santha, P. Weil, and M. Zeitoun.
Problèmes d'informatique corrigés,
Probl. II-2000.
Springer, 2000.
Coord. A. Petit.
-
J. Almeida, A. Azevedo, and M. Zeitoun.
Pseudovariety joins involving J-trivial semigroups and
completely regular semigroups.
Internat. J. Algebra Comput.,
9(1):99–112,
1999.
[pdf, 13 pages/201K].
[doi].
-
A. Azevedo and M. Zeitoun.
Three examples of join computations.
Semigroup Forum,
57(2):249–277, 1998.
[pdf, 24 pages/297K].
[doi].
-
J. Almeida and M. Zeitoun.
The pseudovariety J is hyperdecidable.
RAIRO Inform. Théor.,
31:457–482, 1997.
[pdf, 22 pages/249K].
-
M. Zeitoun.
On embeddings of finitely generated profinite semigroups
into 2-generated profinite semigroups.
Algebra Universalis,
38(2):210–213, 1997.
[pdf, 3 pages/84K].
[doi].
-
M. Zeitoun.
On the join of two pseudovarieties.
J. Almeida, G. Gomes, and P. Silva, eds.,
Proc. of Semigroups, Automata and Languages (Porto 1994),
pages 281–288. World Scientific, 1996.
[pdf, 6 pages/81K].
-
M. Zeitoun.
The join of the pseudovarieties of idempotent semigroups and
locally trivial semigroups.
Semigroup Forum,
50:367–381, 1995.
[pdf, 16 pages/174K].
[doi].
-
M. Zeitoun.
On the decidability of the membership problem of the pseudovariety
J v B.
Internat. J. Algebra Comput.,
4(4):47–64, 1994.
[pdf, 23 pages/182K].
[doi].
-
M. Zeitoun.
Opérations implicites et variétés de semigroupes finis.
Thèse de doctorat, Université Paris 7, 1993.
-
M. Zeitoun.
Programmes sur monoïdes finis.
Mémoire de DEA, Université Paris 7, 1988.
Rapports de recherche CERIL et LITP.
-
J. Almeida, J.C. Costa, and M. Zeitoun.
Iterated periodicity over finite aperiodic semigroups.
Submitted in 2008.
[pdf, 37 pages/578K].