Armand Toguyéni

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Mohamed Ghazel

> Home > Persons > Armand Toguyéni

Publications

2016
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tits/LiuGT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tits/LiuGT16
Baisi Liu, Mohamed Ghazel, Armand Toguyéni:
Model-Based Diagnosis of Multi-Track Level Crossing Plants. IEEE Trans. Intell. Transp. Syst. 17(2): 546-556 (2016)
2014
[c18]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/LiuGT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/LiuGT14
Baisi Liu, Mohamed Ghazel, Armand Toguyéni:
OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets. ADECS @ Petri Nets 2014: 20-35
2012
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tits/MekkiGT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tits/MekkiGT12
Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni:
Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques. IEEE Trans. Intell. Transp. Syst. 13(2): 714-723 (2012)
2010
[c15]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icinco/MekkiGT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icinco/MekkiGT10
Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni:
Patterns for Temporal Requirements Engineering - A Level Crossing Case Study. ICINCO (1) 2010: 45-52
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icinco/MekkiGT10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icinco/MekkiGT10a
Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni:
Timed Specification Patterns for System Validation: A Railway Case Study. ICINCO (Selected Papers) 2010: 121-134
2009
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/GhazelTY09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/GhazelTY09
Mohamed Ghazel, Armand Toguyéni, Pascal Yim:
State Observer for DES Under Partial Observation with Time Petri Nets. Discret. Event Dyn. Syst. 19(2): 137-165 (2009)
[c10]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/sysose/GhazelMT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sysose/GhazelMT09
Mohamed Ghazel, Malek Masmoudi, Armand Toguyéni:
Verification of temporal requirements of complex systems using UML patterns, application to a railway control example. SoSE 2009: 1-6
2006
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcim/GhazelTB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcim/GhazelTB06
Mohamed Ghazel, Armand Toguyéni, Michel Bigand:
A semi-formal approach to build the functional graph of an automated production system for supervision purposes. Int. J. Comput. Integr. Manuf. 19(3): 234-247 (2006)
2004
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/cii/GhazelTB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cii/GhazelTB04
Mohamed Ghazel, Armand Toguyéni, Michel Bigand:
An UML approach for the metamodelling of automated production systems for monitoring purpose. Comput. Ind. 55(3): 283-299 (2004)
2003
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ispe/GhazelTB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispe/GhazelTB03
Mohamed Ghazel, Armand Toguyéni, Michel Bigand:
UML modelling approach to build an information system for automated production systems. CE 2003: 755-763

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.