Advanced Pedometer for Smartphone-based Activity Tracking. - Michal Tomlein; Pavol Bielik; Peter Krátky; Stefan Mitrík; Michal Barla; Mária Bieliková (HEALTHINF, 2012)

Move2Play: an innovative approach to encouraging people to be more physically active. - Pavol Bielik; Michal Tomlein; Peter Krátky; Stefan Mitrík; Michal Barla; Mária Bieliková (IHI, 2012)

Scalable race detection for Android applications. - Pavol Bielik; Veselin Raychev; Martin T. Vechev (OOPSLA, 2015)

Programming with "Big Code": Lessons, Techniques and Applications. - Pavol Bielik; Veselin Raychev; Martin T. Vechev (SNAPL, 2015)

SDNRacer: detecting concurrency violations in software-defined networks. - Jeremie Miserez; Pavol Bielik; Ahmed El-Hassany; Laurent Vanbever; Martin T. Vechev (SOSR, 2015)

PHOG: Probabilistic Model for Code. - Pavol Bielik; Veselin Raychev; Martin T. Vechev (ICML, 2016)

Probabilistic model for code with decision trees. - Veselin Raychev; Pavol Bielik; Martin T. Vechev (OOPSLA, 2016)

SDNRacer: concurrency analysis for software-defined networks. - Ahmed El-Hassany; Jeremie Miserez; Pavol Bielik; Laurent Vanbever; Martin T. Vechev (PLDI, 2016)

Learning programs from noisy data. - Veselin Raychev; Pavol Bielik; Martin T. Vechev; Andreas Krause 001 (POPL, 2016)

Learning a Static Analyzer from Data. - Pavol Bielik; Veselin Raychev; Martin T. Vechev (CAV (1), 2017)

Program Synthesis for Character Level Language Modeling. - Pavol Bielik; Veselin Raychev; Martin T. Vechev (ICLR (Poster), 2017)

Learning to Solve SMT Formulas. - Mislav Balunovic; Pavol Bielik; Martin T. Vechev (NeurIPS, 2018)

Robust relational layout synthesis from examples for Android. - Pavol Bielik; Marc Fischer 002; Martin T. Vechev (Proc. ACM Program. Lang., 2018)

Learning to Infer User Interface Attributes from Images. - Philippe Schlattner; Pavol Bielik; Martin T. Vechev (CoRR, 2019)

Guiding Program Synthesis by Learning to Generate Examples. - Larissa Laich; Pavol Bielik; Martin T. Vechev (ICLR, 2020)

Adversarial Robustness for Code. - Pavol Bielik; Martin T. Vechev (ICML, 2020)

Adversarial Attacks on Probabilistic Autoregressive Forecasting Models. - Raphaël Dang-Nhu; Gagandeep Singh 001; Pavol Bielik; Martin T. Vechev (ICML, 2020)

Robustness Testing of AI Systems: A Case Study for Traffic Sign Recognition. - Christian Berghoff; Pavol Bielik; Matthias Neu; Petar Tsankov; Arndt von Twickel (AIAI, 2021)

Automated Discovery of Adaptive Attacks on Adversarial Defenses. - Chengyuan Yao; Pavol Bielik; Petar Tsankov; Martin T. Vechev (NeurIPS, 2021)

Robustness certification with generative models. - Matthew Mirman; Alexander Hägele; Pavol Bielik; Timon Gehr; Martin T. Vechev (PLDI, 2021)

Machine Learning for Health: Algorithm Auditing & Quality Control. - Luis Oala; Andrew G. Murchison; Pradeep Balachandran; Shruti Choudhary; Jana Fehr; Alixandro Werneck Leite; Peter G. Goldschmidt; Christian Johner; Elora D. M. Schörverth; Rose Nakasi; Martin Meyer; Federico Cabitza; et al. (J. Medical Syst., 2021)

Machine Learning and Synthesis of Robust Programs. - Pavol Bielik (2021)

Toward Mission-Critical AI: Interpretable, Actionable, and Resilient AI. - Igor Linkov; Kelsey Stoddard; Andrew Strelzoff; Stephanie Elisabeth Galaitsi; Jeffrey M. Keisler; Benjamin D. Trump; Alexander Kott; Pavol Bielik; Petar Tsankov (CyCon, 2023)

COMPL-AI Framework: A Technical Interpretation and LLM Benchmarking Suite for the EU Artificial Intelligence Act. - Philipp Guldimann; Alexander Spiridonov; Robin Staab; Nikola Jovanovic 001; Mark Vero; Velko Vechev; Anna Gueorguieva; Mislav Balunovic; Nikola Konstantinov; Pavol Bielik; Petar Tsankov; Martin T. Vechev (CoRR, 2024)