Fabrice Kordon

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 Maximilien Colange

> Home > Persons > Fabrice Kordon

Publications

2018
[c80]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/MetinBCK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/MetinBCK18
Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon:
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving. TACAS (1) 2018: 99-114
2013
[c70]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ColangeBKT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ColangeBKT13
Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg:
Towards Distributed Software Model-Checking Using Decision Diagrams. CAV 2013: 830-845
2012
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/KordonLBCELLPTW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/KordonLBCELLPTW12
Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel:
Report on the Model Checking Contest at Petri Nets 2011. Trans. Petri Nets Other Model. Concurr. 6: 169-196 (2012)
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/ColangeKTB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/ColangeKTB12
Maximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir:
State Space Analysis Using Symmetries on Decision Diagrams. ACSD 2012: 164-172
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/ColangeHKP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/ColangeHKP12
Maximilien Colange, Lom-Messan Hillah, Fabrice Kordon, Pierre Parutto:
Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach. Monterey Workshop 2012: 330-352
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1209-2382
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1209-2382
Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Lukasz Fronc, Lom-Messan Hillah, Niels Lohmann, Emmanuel Paviot-Adet, Franck Pommereau, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf:
Raw Report on the Model Checking Contest at Petri Nets 2012. CoRR abs/1209.2382 (2012)
2011
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/ColangeBKT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/ColangeBKT11
Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg:
Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag. Petri Nets 2011: 338-347

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.