Petr Spacek

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 1

Top Topics

Dynamic Aspects

Modeling Language

Structural Features

Component Based Software

Top Venues

Publications

Ladislav Lhotka, Petr Spacek
YANG Types for DNS Classes and Resource Record Types. RFC 9108 (2021)
Petr Spacek, Christophe Dony, Chouki Tibermacine
A component-based meta-level architecture and prototypical implementation of a reflective component-based programming and modeling language. CBSE (2014)
Petr Spacek, Christophe Dony, Chouki Tibermacine, Luc Fabresse
Wringing out objects for programming and modeling component-based systems. COOMPL@ECOOP (2013)
Petr Spacek, Christophe Dony, Chouki Tibermacine, Luc Fabresse
An inheritance system for structural & behavioral reuse in component-based software programming. GPCE (2012)
Petr Spacek, Christophe Dony, Chouki Tibermacine, Luc Fabresse
A Smalltalk implementation of Exil, a component-based programming language. IWST (2011)
Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spacek, John Pierce, Robert P. Kurshan, Fabio Somenzi
Application of Formal Word-Level Analysis to Constrained Random Simulation. CAV (2008)