Ondrej Lhoták

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 Eric Bodden

> Home > Persons > Ondrej Lhoták

Publications

2010
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/BoddenHLLN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/BoddenHLLN10
Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem:
Collaborative Runtime Verification with Tracematches. J. Log. Comput. 20(3): 707-723 (2010)
2007
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/BoddenHL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/BoddenHL07
Eric Bodden, Laurie J. Hendren, Ondrej Lhoták:
A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring. ECOOP 2007: 525-549
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/BoddenHLLN07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BoddenHLLN07
Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem:
Collaborative Runtime Verification with Tracematches. RV 2007: 22-37
2006
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/fates/AvgustinovBHHLMOSSTV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/AvgustinovBHHLMOSSTV06
Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie J. Hendren, Ondrej Lhoták, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere:
Aspects for Trace Monitoring. FATES/RV 2006: 20-39
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/AvgustinovTBHLMOS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/AvgustinovTBHLMOS06
Pavel Avgustinov, Julian Tibble, Eric Bodden, Laurie J. Hendren, Ondrej Lhoták, Oege de Moor, Neil Ongkingco, Ganesh Sittampalam:
Efficient trace monitoring. OOPSLA Companion 2006: 685-686

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.