default search action

combined dblp search
author search
venue search
publication search

ask others

Therese Berg

> 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?

2009
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/RaffeltSBM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/RaffeltSBM09
Harald Raffelt, Bernhard Steffen, Therese Berg, Tiziana Margaria:
LearnLib: a framework for extrapolating behavioral models. Int. J. Softw. Tools Technol. Transf. 11(5): 393-407 (2009)

Conference and Workshop Papers

see FAQ

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

2008
[c6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/BergJR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BergJR08
Therese Berg, Bengt Jonsson, Harald Raffelt:
Regular Inference for State Machines Using Domains with Equality Tests. FASE 2008: 317-331
2006
[c5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/BergJR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BergJR06
Therese Berg, Bengt Jonsson, Harald Raffelt:
Regular Inference for State Machines with Parameters. FASE 2006: 107-121
2005
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/BergGJLRS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BergGJLRS05
Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen:
On the Correspondence Between Conformance Testing and Regular Inference. FASE 2005: 175-189
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/RaffeltSB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/RaffeltSB05
Harald Raffelt, Bernhard Steffen, Therese Berg:
LearnLib: a library for automata learning and experimentation. FMICS 2005: 62-71
2004
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/BergR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BergR04
Therese Berg, Harald Raffelt:
Model Checking. Model-Based Testing of Reactive Systems 2004: 557-603
2003
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BergJLS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BergJLS05
Therese Berg, Bengt Jonsson, Martin Leucker, Mayank Saksena:
Insights to Angluin's Learning. SVV@ICLP 2003: 3-18

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.