Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Petr Hosek 0001

> Home > Persons

Person information

affiliation (PhD 2015): Imperial College London, UK

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

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

2015
[b1]
- view
- export record
  dblp key:
  - phd/ethos/Hosek15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Hosek15
Petr Hosek:
Multi-version execution for increasing the reliability and availability of updated software. Imperial College London, UK, 2015
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/HosekC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/HosekC15
Petr Hosek, Cristian Cadar:
VARAN the Unbelievable: An Efficient N-version Execution Framework. ASPLOS 2015: 339-353
2014
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/kais/PopHHMB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/kais/PopHHMB14
Tomás Pop, Petr Hnetynka, Petr Hosek, Michal Malohlava, Tomás Bures:
Comparison of component frameworks for real-time embedded systems. Knowl. Inf. Syst. 40(1): 127-170 (2014)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/MarinescuHC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/MarinescuHC14
Paul Dan Marinescu, Petr Hosek, Cristian Cadar:
Covrig: a framework for the analysis of code, test, and coverage evolution in real software. ISSTA 2014: 93-104
2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HosekC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HosekC13
Petr Hosek, Cristian Cadar:
Safe software updates via multi-version execution. ICSE 2013: 612-621
2012
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/hotswup/CadarH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotswup/CadarH12
Cristian Cadar, Petr Hosek:
Multi-version software updates. HotSWUp 2012: 36-40
2011
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/middleware/HosekMPEESBP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/middleware/HosekMPEESBP11
Petr Hosek, Matteo Migliavacca, Ioannis Papagiannis, David M. Eyers, David Evans, Brian Shand, Jean Bacon, Peter R. Pietzuch:
SafeWeb: A Middleware for Securing Ruby-Based Web Applications. Middleware 2011: 491-511
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sera/PopKHMBH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sera/PopKHMBH11
Tomás Pop, Jaroslav Keznikl, Petr Hosek, Michal Malohlava, Tomás Bures, Petr Hnetynka:
Introducing Support for Embedded and Real-Time Devices into Existing Hierarchical Component System: Lessons Learned. SERA 2011: 3-11
2010
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/cbse/HosekPBHM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbse/HosekPBHM10
Petr Hosek, Tomás Pop, Tomás Bures, Petr Hnetynka, Michal Malohlava:
Comparison of Component Frameworks for Real-Time Embedded Systems. CBSE 2010: 21-36

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.