default search action

combined dblp search
author search
venue search
publication search

ask others

Riadh Matmat

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2016
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ijdst/MatmatKS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijdst/MatmatKS16
Riadh Matmat, Ilham Kitouni, Djamel-Eddine Saïdouni:
Towards an Optimal Generation of Zones Graph Relating Timed Bisimulation Relation and Distribution. Int. J. Distributed Syst. Technol. 7(3): 21-41 (2016)
2014
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ijertcs/GuellatiKMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijertcs/GuellatiKMS14
Souad Guellati, Ilham Kitouni, Riadh Matmat, Djamel-Eddine Saïdouni:
True Concurrency Semantics: Towards a Verification of Timed Systems. Int. J. Embed. Real Time Commun. Syst. 5(2): 22-42 (2014)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2014
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cyberc/GuellatiKMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cyberc/GuellatiKMS14
Souad Guellati, Ilham Kitouni, Riadh Matmat, Djamel-Eddine Saïdouni:
Forward Analysis of Timed Automata with Action Durations: Theory and Implementation. CyberC 2014: 269-276
[c3]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/icaase/MatmatKGS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaase/MatmatKGS14
Riadh Matmat, Ilham Kitouni, Souad Guellati, Djamel-Eddine Saïdouni:
Maximality-based Region Graph: A Novel Alternative. ICAASE 2014: 125-132
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icist/GuellatiKMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icist/GuellatiKMS14
Souad Guellati, Ilham Kitouni, Riadh Matmat, Djamel-Eddine Saïdouni:
Timed Automata with Action Durations - From Theory to Implementation. ICIST 2014: 94-109
2011
[c1]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ciia/SaidouniMT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ciia/SaidouniMT11
Djamel-Eddine Saïdouni, Riadh Matmat, Nacer Tabib:
A Distributed Algorithm for MLTS Generation with Aggregation of Transitions. CIIA 2011

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.