UML modelling approach to build an information system for automated production systems. - Mohamed Ghazel; Armand Toguyéni; Michel Bigand (CE, 2003)

Towards an approach to automate reconfiguration procedure in automated production systems. - Abdallah Ghariani; Armand Toguyéni; Etienne Craye (SMC (5), 2004)

Diagnosability of automated production systems using Petri net based models. - Larbi Sekhri; Armand Toguyéni; Etienne Craye (SMC (6), 2004)

An UML approach for the metamodelling of automated production systems for monitoring purpose. - Mohamed Ghazel; Armand Toguyéni; Michel Bigand (Comput. Ind., 2004)

Comparison of Multipath Algorithms for Load Balancing in a MPLS Network. - Kyeongja Lee; Armand Toguyéni; Aurélien Noce; Ahmed Rahmani (ICOIN, 2005)

Hybrid Multipath Routing Algorithm for Load Balancing in MPLS Based IP Network. - Kyeongja Lee; Armand Toguyéni; Ahmed Rahmani (AINA (1), 2006)

Implementation of an Internet-controlled system under variable delays. - Alexandre Seuret; M. Termens-Ballester; Armand Toguyéni; S. El Khattabi; Jean-Pierre Richard (ETFA, 2006)

A semi-formal approach to build the functional graph of an automated production system for supervision purposes. - Mohamed Ghazel; Armand Toguyéni; Michel Bigand (Int. J. Comput. Integr. Manuf., 2006)

A mathematical programming approach for the reconfiguration of reconfigurable manufacturing systems with token identification. - Sami Hadhri; Thomas Bourdeaud'huy; Armand Toguyéni (SMC, 2007)

Performance and Complexity Evaluation of Multi-Path Routing Algorithms for MPLS-TE. - Khodor Abboud; Armand Toguyéni; Ahmed Rahmani (ICSOFT (PL/DPS/KE), 2008)

Performance Analysis of IEEE 802.11b Wireless Networks with Object Oriented Petri Nets. - Aladdin Masri; Thomas Bourdeaud'huy; Armand Toguyéni (FMWS@CONCUR, 2008)

A remote observer and controller with adaptation to the network quality of service. - Wenjuan Jiang; Alexandre Kruszewski; Jean-Pierre Richard; Armand Toguyéni (ECC, 2009)

Fair Queuing Model for EDCA to Optimize QoS in Ad-Hoc Wireless Network. - Hanal Abuzanat; Benoit Trouillet; Armand Toguyéni (ICN, 2009)

A Component Modular Modeling Approach Based on Object Oriented Petri Nets for the Performance Analysis of Distributed Discrete Event Systems. - Aladdin Masri; Thomas Bourdeaud'huy; Armand Toguyéni (ICNS, 2009)

Verification of temporal requirements of complex systems using UML patterns, application to a railway control example. - Mohamed Ghazel; Malek Masmoudi; Armand Toguyéni (SoSE, 2009)

State Observer for DES Under Partial Observation with Time Petri Nets. - Mohamed Ghazel; Armand Toguyéni; Pascal Yim (Discret. Event Dyn. Syst., 2009)

Patterns for Temporal Requirements Engineering - A Level Crossing Case Study. - Ahmed Mekki; Mohamed Ghazel; Armand Toguyéni (ICINCO (1), 2010)

Timed Specification Patterns for System Validation: A Railway Case Study. - Ahmed Mekki; Mohamed Ghazel; Armand Toguyéni (ICINCO (Selected Papers), 2010)

Diagnosis of critical embedded systems: application to the control card of a railway vehicle braking systems. - Ramla Saddem; Armand Toguyéni; Moncef Tagina (CASE, 2011)

A constraint programming approach for generating firing sequences in timed Petri nets with token identification. - Yongliang Huang; Thomas Bourdeaud'huy; Pierre-Alain Yvars; Armand Toguyéni (WODES, 2012)

A Switched System Approach to Exponential Stabilization Through Communication Network. - Alexandre Kruszewski; Wenjuan Jiang; Emilia Fridman; Jean-Pierre Richard; Armand Toguyéni (IEEE Trans. Control. Syst. Technol., 2012)

Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques. - Ahmed Mekki; Mohamed Ghazel; Armand Toguyéni (IEEE Trans. Intell. Transp. Syst., 2012)

OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets. - Baisi Liu; Mohamed Ghazel; Armand Toguyéni (ADECS @ Petri Nets, 2014)

Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams. - Soraya Mesli-Kesraoui; Djamal Kesraoui; Flávio Oquendo; Alain Bignon; Armand Toguyéni; Pascal Berruet (ECSA, 2016)

Diagnosis and diagnosability analysis of labeled Petri nets using reduction rules. - Ben Li; Manel Khlif-Bouassida; Armand Toguyéni (WODES, 2016)

Model-Based Diagnosis of Multi-Track Level Crossing Plants. - Baisi Liu; Mohamed Ghazel; Armand Toguyéni (IEEE Trans. Intell. Transp. Syst., 2016)

On-The-Fly Diagnosability Analysis of Bounded and Unbounded Labeled Petri Nets Using Verifier Nets. - Ben Li; Manel Khlif-Bouassida; Armand Toguyéni (Int. J. Appl. Math. Comput. Sci., 2018)

On-line fault diagnosis of FMS based on flows analysis. - Olfa Fakhfakh; Armand Toguyéni; Ouajdi Korbaa (J. Intell. Manuf., 2018)

Collisions avoidance and deadlocks prevention, for dynamic routing of trains in a railway node. - Paul Cazenave; Manel Khlif-Bouassida; Armand Toguyéni (CoDIT, 2019)

Functionability Analysis of Redundant Systems having Multiple Configurations. - Pushpendra Kumar; Ismail Bensekrane; Chemali Riad; Blaise Conrard; Armand Toguyéni; Rochdi Merzouki (SysTol, 2019)

Reduction Rules for Diagnosability Analysis of Complex Systems Modeled by Labeled Petri Nets. - Ben Li; Manel Khlif-Bouassida; Armand Toguyéni (IEEE Trans Autom. Sci. Eng., 2020)

Comparison Between Model-Based and Data-Based Methods for Fault Diagnosis of Railway Turnouts. - Asma Ladj; Belkacem Ould Bouamama; Armand Toguyéni (CoDIT, 2022)

Online Fault Prognosis of Labeled Petri Nets. - Braian I. de Freitas; Armand Toguyéni; João Carlos Basilio (IEEE Control. Syst. Lett., 2025)