Adrián Palacios

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 12

Top Topics

Sum Product Algorithm

Concurrent Programs

Cellular Automata

Top Venues

J. Log. Algebraic Methods Program.

Fundam. Informaticae

Publications

Ivan Lanese, Adrián Palacios, Germán Vidal
Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs. Fundam. Informaticae 178 (3) (2021)
Ivan Lanese, Adrián Palacios, Germán Vidal
Causal-Consistent Replay Debugging for Message Passing Programs. FORTE (2019)
Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti
Property-Based Test Case Generators for Free. TAP@FM (2019)
Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal
A theory of reversibility for Erlang. J. Log. Algebraic Methods Program. 100 (2018)
Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs. HCVS (2018)
Naoki Nishida, Adrián Palacios, Germán Vidal
Reversible computation in term rewriting. J. Log. Algebraic Methods Program. 94 (2018)
Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal
CauDEr: A Causal-Consistent Reversible Debugger for Erlang. FLOPS (2018)
Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal
A Theory of Reversibility for Erlang. CoRR (2018)
Naoki Nishida, Adrián Palacios, Germán Vidal
Reversible Computation in Term Rewriting. CoRR (2017)
Naoki Nishida, Adrián Palacios, Germán Vidal
Towards Reversible Computation in Erlang. CoRR (2016)
Naoki Nishida, Adrián Palacios, Germán Vidal
Reversible Term Rewriting. FSCD (2016)
Naoki Nishida, Adrián Palacios, Germán Vidal
A Reversible Semantics for Erlang. LOPSTR (2016)
Adrián Palacios, Germán Vidal
Concolic Execution in Functional Programming by Program Instrumentation. LOPSTR (2015)
Adrián Palacios, Germán Vidal
Towards Modelling Actor-Based Concurrency in Term Rewriting. WPTE@RTA/TLCA (2015)