Concolic Execution in Functional Programming by Program Instrumentation. - Adrián Palacios; Germán Vidal (LOPSTR, 2015)

Towards Modelling Actor-Based Concurrency in Term Rewriting. - Adrián Palacios; Germán Vidal (WPTE@RDP, 2015)

A Reversible Semantics for Erlang. - Naoki Nishida 001; Adrián Palacios; Germán Vidal (LOPSTR, 2016)

Reversible Term Rewriting. - Naoki Nishida 001; Adrián Palacios; Germán Vidal (FSCD, 2016)

Towards Reversible Computation in Erlang. - Naoki Nishida 001; Adrián Palacios; Germán Vidal (CoRR, 2016)

CauDEr: A Causal-Consistent Reversible Debugger for Erlang. - Ivan Lanese; Naoki Nishida 001; Adrián Palacios; Germán Vidal (FLOPS, 2018)

Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs. - Emanuele De Angelis; Fabio Fioravanti; Adrián Palacios; Alberto Pettorossi; Maurizio Proietti (HCVS, 2018)

A theory of reversibility for Erlang. - Ivan Lanese; Naoki Nishida 001; Adrián Palacios; Germán Vidal (J. Log. Algebraic Methods Program., 2018)

Reversible computation in term rewriting. - Naoki Nishida 001; Adrián Palacios; Germán Vidal (J. Log. Algebraic Methods Program., 2018)

Causal-Consistent Replay Debugging for Message Passing Programs. - Ivan Lanese; Adrián Palacios; Germán Vidal (FORTE, 2019)

Property-Based Test Case Generators for Free. - Emanuele De Angelis; Fabio Fioravanti; Adrián Palacios; Alberto Pettorossi; Maurizio Proietti (TAP@FM, 2019)

Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs. - Ivan Lanese; Adrián Palacios; Germán Vidal (Fundam. Informaticae, 2021)