Petr Spacek

According to our database, Petr Spacek authored at least 6 papers between 2008 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

YANG Types for DNS Classes and Resource Record Types.

Ladislav Lhotka, Petr Spacek

RFC, September, 2021

2014

A component-based meta-level architecture and prototypical implementation of a reflective component-based programming and modeling language.

Petr Spacek, Christophe Dony, Chouki Tibermacine

Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

2013

Wringing out objects for programming and modeling component-based systems.

Petr Spacek, Christophe Dony, Chouki Tibermacine, Luc Fabresse

Proceedings of the Second International Workshop on Combined Object-Oriented Modelling and Programming Languages, 2013

2012

An inheritance system for structural & behavioral reuse in component-based software programming.

Petr Spacek, Christophe Dony, Chouki Tibermacine, Luc Fabresse

Proceedings of the Generative Programming and Component Engineering, 2012

2011

A Smalltalk implementation of Exil, a component-based programming language.

Petr Spacek, Christophe Dony, Chouki Tibermacine, Luc Fabresse

Proceedings of the International Workshop on Smalltalk Technologies, 2011

2008

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

Proceedings of the Computer Aided Verification, 20th International Conference, 2008