Olivier H. Roux

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 Charlotte Seidner

> Home > Persons > Olivier H. Roux

Publications

2021
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/LimeRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/LimeRS21
Didier Lime, Olivier H. Roux, Charlotte Seidner:
Cost Problems for Parametric Time Petri Nets. Fundam. Informaticae 183(1-2): 97-123 (2021)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-03658
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-03658
Didier Lime, Olivier H. Roux, Charlotte Seidner:
Cost Problems for Parametric Time Petri Nets. CoRR abs/2109.03658 (2021)
2019
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/LimeRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/LimeRS19
Didier Lime, Olivier H. Roux, Charlotte Seidner:
Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets. Petri Nets 2019: 406-425
2018
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/BouchenebLRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/BouchenebLRS18
Hanifa Boucheneb, Didier Lime, Olivier H. Roux, Charlotte Seidner:
Optimal-Cost Reachability Analysis Based on Time Petri Nets. ACSD 2018: 30-39
2017
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/BouchenebLPRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BouchenebLPRS17
Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner:
Optimal Reachability in Cost Time Petri Nets. FORMATS 2017: 58-73
2012
[c27]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iceis/LelionnaisBDRS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/LelionnaisBDRS12
Cédrick Lelionnais, Matthias Brun, Jérôme Delatour, Olivier H. Roux, Charlotte Seidner:
Formal Behavioral Modeling of Real-time Operating Systems. ICEIS (2) 2012: 407-414
2009
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/LimeRST09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LimeRST09
Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez:
Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. TACAS 2009: 54-57
2008
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/SeidnerR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/SeidnerR08
Charlotte Seidner, Olivier H. Roux:
Formal Methods for Systems Engineering Behavior Models. IEEE Trans. Ind. Informatics 4(4): 280-291 (2008)

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.