Marek Paska

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Transition Systems

Formal Specification

Top Venues

Publications

Richard Lipka, Marek Paska, Tomas Potuzak
Simulation Testing and Model Checking: A Case Study Comparing these Approaches. SERENE (2014)
Marek Paska
An approach to generating C code with proven LTL-based properties. EUROCON (2011)
Marek Paska
Generative programming with support for formal verification. SIES (2009)