Concepedia

Michał H. Pałka

MH

Statistics

Publications

3

Citations

181

H-Index

3

Active since

2011

Affiliations

Chalmers University of Technology(Current)

Michał H. Pałka is an author at Chalmers University of Technology specializing in formal verification, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationComputer EngineeringVerificationProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning

Publications per year

2011–2015

3

Publications

3

Testing an optimising compiler by generating random lambda terms

Michał H. Pałka, Koen Claessen, Alejandro Russo et al. · 2011 · 118 citations

Mathematical Programming, Engineering, Compiler Technology +22

Generating constrained random data with uniform distribution

Koen Claessen, Jonas Duregård, Michał H. Pałka · Journal of Functional Programming · 2015 · 36 citations · Full text

Engineering, Verification, Test Data Generation +23

Splittable pseudorandom number generators using cryptographic hashing

Koen Claessen, Michał H. Pałka · 2013 · 27 citations · Full text

Cryptographic Primitive, Engineering, Pseudo-random Sequence +16

1–3 of 3