Application of Formal Word-Level Analysis to Constrained Random Simulation. - Hyondeuk Kim; HoonSang Jin; Kavita Ravi; Petr Spacek; John Pierce; Robert P. Kurshan; Fabio Somenzi (CAV, 2008)

A Smalltalk implementation of Exil, a component-based programming language. - Petr Spacek; Christophe Dony; Chouki Tibermacine; Luc Fabresse (IWST, 2011)

An inheritance system for structural & behavioral reuse in component-based software programming. - Petr Spacek; Christophe Dony; Chouki Tibermacine; Luc Fabresse (GPCE, 2012)

Wringing out objects for programming and modeling component-based systems. - Petr Spacek; Christophe Dony; Chouki Tibermacine; Luc Fabresse (COOMPL@ECOOP, 2013)

A component-based meta-level architecture and prototypical implementation of a reflective component-based programming and modeling language. - Petr Spacek; Christophe Dony; Chouki Tibermacine (CBSE, 2014)

YANG Types for DNS Classes and Resource Record Types. - Ladislav Lhotka; Petr Spacek (RFC, 2021)