Amazigh AMRANE

6
Documents
Affiliations actuelles
  • Laboratoire de Recherche de l'EPITA (LRE)
  • Ecole Pour l'Informatique et les Techniques Avancées (EPITA)

Présentation

EPITA Research and Development Laboratory (LRDE)

14-16 rue Voltaire, FR-94270 Le Kremlin-Bicetre, France

https://www.lre.epita.fr/perso/amazigh-amrane/

Publications

Publications

Deposit thumbnail

Active Learning Techniques for Pomset Recognizers

Adrien Pommellet , Amazigh Amrane , Edgar Delaporte , Geoffroy Du Prey , Oscar Peyron

FoSSaCS 2026 - 29th International Conference on Foundations of Software Science and Computation Structures, Apr 2026, Turin, Italy. ⟨10.48550/arXiv.2501.03914⟩

Communication dans un congrès hal-05486353v1
Deposit thumbnail

Towards an efficient conversion of petri nets into higher dimensional automata

Amazigh Amrane , Hugo Bazille , Timothée Fragnaud , Philipp Schlehuber-Caissier

Modélisation des Systèmes Réactifs (MSR'25), Nov 2025, Reims, France

Communication dans un congrès hal-05281114v1
Deposit thumbnail

Petri nets and higher-dimensional automata

Amazigh Amrane , Hugo Bazille , Uli Fahrenberg , Loïc Hélouët , Philipp Schlehuber-Caissier

The 46th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets), Jun 2025, Aubervillers, France. pp.18-40, ⟨10.1007/978-3-031-94634-9_2⟩

Communication dans un congrès hal-05013777v1
Deposit thumbnail

Higher-Dimensional Automata: Extension to Infinite Tracks

Luc Passemard , Amazigh Amrane , Uli Fahrenberg

FSCD 2025 - 10th International Conference on Formal Structures for Computation and Deduction, Jul 2025, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2025.31⟩

Communication dans un congrès hal-05274025v1