Armand Toguyéni - Citegraph

Author Info

Name	Affiliation	Papers
ARMAND TOGUYÉNI	Ecole Centrale Lille, LAGIS, Lille, France	15
Collaborators	Citations	PageRank
25	36	6.59
Referers	Referees	References
76	222	116

Search Limit

100222

Publications (15 rows)

Collaborators (25 rows)

Referers (76 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Reduction Rules for Diagnosability Analysis of Complex Systems Modeled by Labeled Petri Nets	0	0.34	2020
Functionability Analysis of Redundant Systems having Multiple Configurations	0	0.34	2019
On-The-Fly Diagnosability Analysis Of Bounded And Unbounded Labeled Petri Nets Using Verifier Nets	0	0.34	2018
On-line fault diagnosis of FMS based on flows analysis.	0	0.34	2018
Model-Based Diagnosis of Multi-Track Level Crossing Plants.	2	0.42	2016
Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams.	1	0.36	2016
On-the-Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets	2	0.40	2014
Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques	6	0.59	2012
Timed Specification Patterns for System Validation: A Railway Case Study	1	0.37	2010
State Observer for DES Under Partial Observation with Time Petri Nets	17	0.87	2009
Verification Of Temporal Requirements Of Complex Systems Using Uml Patterns, Application To A Railway Control Example	0	0.34	2009
Performance And Complexity Evaluation Of Multi-Path Routing Algorithms For Mpls-Te	0	0.34	2008
A Semi-Formal Approach To Build The Functional Graph Of An Automated Production System For Supervision Purposes	1	0.46	2006
An UML approach for the metamodelling of automated production systems for monitoring purpose	6	0.74	2004
Uml Modelling Approach To Build An Information System For Automated Production Systems	0	0.34	2003

1