252 citations · 335 across the 4 of their papers we have counts for
4 papers
Reproducible Execution of POSIX Programs with DiOS
Petr Ročkai, Zuzana Baranová, Jan Mrázek +2
In this paper, we describe DiOS, a lightweight model operating system which can be used to execute programs that make use of POSIX APIs. Such executions are fully reproducible: run…
SMT Queries Decomposition and Caching in Semi-Symbolic Model Checking
Jan Mrázek, Martin Jonáš, Jiří Barnat
In semi-symbolic (control-explicit data-symbolic) model checking the state-space explosion problem is fought by representing sets of states by first-order formulas over the bit-vec…
The Other Natural Two Higgs Doublet Model
Jan Mrazek, Alex Pomarol, Riccardo Rattazzi +3
We characterize models where electroweak symmetry breaking is driven by two light Higgs doublets arising as pseudo-Nambu-Goldstone bosons of new dynamics above the weak scale. They…
A Strong Sector at the LHC: Top Partners in Same-Sign Dileptons
Jan Mrazek, Andrea Wulzer
Heavy partners of the top quark are a common prediction of many models in which a new strongly-coupled sector is responsible for the breaking of the EW symmetry. In this paper we i…