Dynamic Testing of Executable UML Models with Sequence Diagrams. - Tamás Jánosi; Krisztián Mózsi; Péter Bereczky; Dávid János Németh; Tibor Gregorics (SQAMIA, 2019)

Machine-checked natural semantics for Core Erlang: exceptions and side effects. - Péter Bereczky; Dániel Horpácsi; Simon J. Thompson (Erlang Workshop, 2020)

Validating Formal Semantics by Property-Based Cross-Testing. - Péter Bereczky; Dániel Horpácsi; Judit Köszegi; Soma Szeier; Simon J. Thompson (IFL, 2020)

A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang. - Péter Bereczky; Dániel Horpácsi; Simon J. Thompson (TFP, 2020)

A Proof Assistant Based Formalisation of Core Erlang. - Péter Bereczky; Dániel Horpácsi; Simon J. Thompson (CoRR, 2020)

A Comparison of Big-step Semantics Definition Styles. - Péter Bereczky; Dániel Horpácsi; Simon J. Thompson (CoRR, 2020)

Mechanizing Matching Logic in Coq. - Péter Bereczky; Xiaohong Chen 002; Dániel Horpácsi; Tamás Bálint Mizsei; Lucas Peña; Jan Tusil (FROM, 2022)

Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions. - Dániel Horpácsi; Péter Bereczky; Simon J. Thompson (CoRR, 2022)

Interactive Matching Logic Proofs in Coq. - Jan Tusil; Péter Bereczky; Dániel Horpácsi (ICTAC, 2023)

A frame stack semantics for sequential Core Erlang. - Péter Bereczky; Dániel Horpácsi; Simon J. Thompson (IFL, 2023)

Program equivalence in an untyped, call-by-value functional language with uncurried functions. - Dániel Horpácsi; Péter Bereczky; Simon J. Thompson (J. Log. Algebraic Methods Program., 2023)

A Formalisation of Core Erlang, a Concurrent Actor Language. - Péter Bereczky; Dániel Horpácsi; Simon J. Thompson (Acta Cybern., 2024)

Program Equivalence in the Erlang Actor Model. - Péter Bereczky; Dániel Horpácsi; Simon J. Thompson (Comput., 2024)

Unification in Matching Logic - Revisited. - Ádám Kurucz; Péter Bereczky; Dániel Horpácsi (FROM, 2024)