Concepedia

Marek Chalupa

MC

Statistics

Publications

3

Citations

84

H-Index

3

Active since

2016

Affiliations

Masaryk University(Current)

Indian Institute of Technology Bombay

Institute of Science and Technology Austria

Marek Chalupa is an author at Masaryk University specializing in computer engineering, formal methods, and model checking.

ORCID

Publications per year

2016–2019

3

Publications

3

Data-centric dynamic partial order reduction

Marek Chalupa, Krishnendu Chatterjee, Andreas Pavlogiannis et al. · Proceedings of the ACM on Programming Languages · 2017 · 57 citations · Full text

, , +12

Data-centric Dynamic Partial Order Reduction

Marek Chalupa, Krishnendu Chatterjee, Andreas Pavlogiannis et al. · arXiv (Cornell University) · 2016 · 16 citations · Full text

, , +12

Joint forces for memory safety checking revisited

Marek Chalupa, Jan Strejček, Martina Vitovská · International Journal on Software Tools for Technology Transfer · 2019 · 11 citations

, , +10

1–3 of 3