Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Alexandre Petrenko

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 Florent Avellaneda

> Home > Persons > Alexandre Petrenko

Publications

2019
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/PetrenkoAGO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/PetrenkoAGO19
Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat:
FSM inference and checking sequence construction are two sides of the same coin. Softw. Qual. J. 27(2): 651-674 (2019)
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/PetrenkoA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/PetrenkoA19
Alexandre Petrenko, Florent Avellaneda:
Learning and Adaptive Testing of Nondeterministic State Machines. QRS 2019: 362-373
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/AvellanedaP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/AvellanedaP19
Florent Avellaneda, Alexandre Petrenko:
Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach. SEFM 2019: 243-256
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/PetrenkoA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/PetrenkoA19
Alexandre Petrenko, Florent Avellaneda:
Learning Communicating State Machines. TAP@FM 2019: 112-128
2018
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/AvellanedaP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AvellanedaP18
Florent Avellaneda, Alexandre Petrenko:
FSM Inference from Long Traces. FM 2018: 93-109
[c78]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icgi/AvellanedaP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icgi/AvellanedaP18
Florent Avellaneda, Alexandre Petrenko:
Inferring DFA without Negative Examples. ICGI 2018: 17-29
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/PetrenkoA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/PetrenkoA18
Alexandre Petrenko, Florent Avellaneda:
Conformance Testing and Inference of Embedded Components. ICTSS 2018: 119-134
2017
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/PetrenkoAGO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/PetrenkoAGO17
Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat:
From Passive to Active FSM Inference via Checking Sequence Construction. ICTSS 2017: 126-141

a service of

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.