Adrián Palacios

15 papers B 1C 3Misc 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2021 J jnl
Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs.
Fundam. Informaticae
Ivan Lanese, Adrián Palacios, Germán Vidal
2020 — —
Formal Methods for Constraint-Based Testing and Reversible Debugging in Erlang.
Adrián Palacios
2019 C conf
Causal-Consistent Replay Debugging for Message Passing Programs.
FORTE
Ivan Lanese, Adrián Palacios, Germán Vidal
2019 — conf
Property-Based Test Case Generators for Free.
TAP@FM
Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti
2018 J jnl
A Theory of Reversibility for Erlang.
CoRR
Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal
2018 J jnl
A theory of reversibility for Erlang.
J. Log. Algebraic Methods Program.
Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal
2018 — conf
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs.
HCVS
Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti
2018 Misc conf
CauDEr: A Causal-Consistent Reversible Debugger for Erlang.
FLOPS
Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal
2018 J jnl
Reversible computation in term rewriting.
J. Log. Algebraic Methods Program.
Naoki Nishida, Adrián Palacios, Germán Vidal
2017 J jnl
Reversible Computation in Term Rewriting.
CoRR
Naoki Nishida, Adrián Palacios, Germán Vidal
2016 C conf
A Reversible Semantics for Erlang.
LOPSTR
Naoki Nishida, Adrián Palacios, Germán Vidal
2016 B conf
Reversible Term Rewriting.
FSCD
Naoki Nishida, Adrián Palacios, Germán Vidal
2016 J jnl
Towards Reversible Computation in Erlang.
CoRR
Naoki Nishida, Adrián Palacios, Germán Vidal
2015 C conf
Concolic Execution in Functional Programming by Program Instrumentation.
LOPSTR
Adrián Palacios, Germán Vidal
2015 — conf
Towards Modelling Actor-Based Concurrency in Term Rewriting.
WPTE@RDP
Adrián Palacios, Germán Vidal