Marek Paska

According to our database¹, Marek Paska authored at least 3 papers between 2009 and 2014.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2014

Simulation Testing and Model Checking: A Case Study Comparing these Approaches.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Resilient Systems - 6th International Workshop, 2014

2011

An approach to generating C code with proven LTL-based properties.

[BibT_eX]

[DOI]

Proceedings of EUROCON 2011, 2011

2009

Generative programming with support for formal verification.

[BibT_eX]

[DOI]

Proceedings of the IEEE Fourth International Symposium on Industrial Embedded Systems, 2009