Marek Paska
Tiny information hub.
Publications
Development of Dependable and Efficient Software with Dynamically-typed Languages (Ph.D. Thesis)
[pdf] [slides]
[+] show more[-] show less
An Approach to Generating C Code with Proven LTL-based Properties
M. Paska, EUROCON 2011, ISBN: 978-1-4244-7485-1, IEEE Catalog Number CFP11EUR-CDR, Lisbon, Portugal
Generative Programming with Support for Formal Verification
M. Paska, S. Racek, Ecole Polytechnique Fédérale Ecole Polytechnique Fédérale de Lausanne, Switzerland,IEEE Catalog Number CFP09INB-USB, Library of Congress 2009901328
Model Based Support for Life Cycle Management of I&C Systems
M. Paska, P. Dvorak, S. Racek, E. Janecek, EUROCON 2007, IEEE Region 8, Warsaw, PL, ISBN 1-4244-0813-X, IEEE Catalog Number 07EX1617C
Simulation Testing and Model Checking: A Case Study Comparing these Approaches
R. Lipka, M. Paska, T. Potuzak, Software Engineering for Resilient System, LNCS 8785,
Budapest, October 2014, pp. 116-130,
ISBN 978-3-319-12240-3
Source Codes
Framework for development of dependable & efficient multi-threaded Python applications, 2013
[github.com/paskma/framework-parlib]
Fork of the PyPy compiler, 2013
[github.com/paskma/pypy-sc]
Simple filesystem indexer, Haskell, 2014
[bitbucket.org/paskma/giraffe-hs]
Simple chess engine, Scala, 2014
[bitbucket.org/paskma/scala-chess]
Simple chess engine, Google Go, 2014
[bitbucket.org/paskma/chess-go]
[+] show more[-] show less
Links
LinkedIn
paskma@gmail.com