Germán Vidal

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 45

Top Venues

CoRR

LOPSTR

J. Log. Algebraic Methods Program.

Theory Pract. Log. Program.

Publications

Juan José González-Abril, Germán Vidal
Causal-Consistent Reversible Debugging: Improving CauDEr. CoRR (2024)
Germán Vidal
An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages. CoRR (2024)
Germán Vidal
An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages. SAC (2024)
Germán Vidal
Explaining Explanations in Probabilistic Logic Programming. CoRR (2024)
Germán Vidal
Reversible Debugging in Logic Programming. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain C. C. Phillips, Irek Ulidowski, Germán Vidal
Towards a Taxonomy for Reversible Computation Approaches. RC (2023)
Germán Vidal
From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs. FACS (2023)
Germán Vidal
From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs. CoRR (2023)
Germán Vidal
Explanations as Programs in Probabilistic Logic Programming. FLOPS (2022)
Germán Vidal
Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives. FORTE (2022)
Germán Vidal
Explanations as Programs in Probabilistic Logic Programming. CoRR (2022)
Germán Vidal
Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives. CoRR (2022)
Juan José González-Abril, Germán Vidal
A Program Instrumentation for Prefix-Based Tracing in Message-Passing Concurrency. CoRR (2021)
Juan José González-Abril, Germán Vidal
Causal-Consistent Reversible Debugging: Improving CauDEr. PADL (2021)
Juan José González-Abril, Germán Vidal
Prefix-Based Tracing in Message-Passing Concurrency. LOPSTR (2021)
Juan José González-Abril, Germán Vidal
A Lightweight Approach to Computing Message Races with an Application to Causal-Consistent Reversible Debugging. CoRR (2021)
Ivan Lanese, Adrián Palacios, Germán Vidal
Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs. Fundam. Informaticae 178 (3) (2021)
Fred Mesnard, Étienne Payet, Germán Vidal
Selective Unification in (Constraint) Logic Programming. Fundam. Informaticae 177 (3-4) (2020)
Germán Vidal
Reversible Computations in Logic Programming. RC (2020)
Fred Mesnard, Étienne Payet, Germán Vidal
Concolic Testing in CLP. Theory Pract. Log. Program. 20 (5) (2020)
Sophie Fortz, Fred Mesnard, Étienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal
An SMT-Based Concolic Testing Tool for Logic Programs. FLOPS (2020)
Sophie Fortz, Fred Mesnard, Étienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal
An SMT-Based Concolic Testing Tool for Logic Programs. CoRR (2020)
Fred Mesnard, Étienne Payet, Germán Vidal
Concolic Testing in CLP. CoRR (2020)
Germán Vidal
Reversible Debugging in Logic Programming. CoRR (2020)
Ivan Lanese, Adrián Palacios, Germán Vidal
Causal-Consistent Replay Debugging for Message Passing Programs. FORTE (2019)
Esra Erdem, Andrea Formisano, Germán Vidal, Fangkai Yang
Introduction to the 35th International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. 19 (5-6) (2019)
Naoki Nishida, Germán Vidal
Characterizing Compatible View Updates in Syntactic Bidirectionalization. RC (2019)
Esra Erdem, Andrea Formisano, Germán Vidal, Fangkai Yang
Introduction to the 35th International Conference on Logic Programming Special Issue. CoRR (2019)
Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal
A theory of reversibility for Erlang. J. Log. Algebraic Methods Program. 100 (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)
Germán Vidal
Specialization of Distributed Actors by Partial Evaluation. SMC (2018)
Germán Vidal
Preface for SCP special issue on Principles and Practice of Declarative Programming. Sci. Comput. Program. 155 (2018)
Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal
A Theory of Reversibility for Erlang. CoRR (2018)
Germán Vidal
Introduction to the special issue on computational logic for verification. Theory Pract. Log. Program. 18 (2) (2018)
Fred Mesnard, Étienne Payet, Germán Vidal
Selective unification in constraint logic programming. PPDP (2017)
José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada
Relative Termination via Dependency Pairs. J. Autom. Reason. 58 (3) (2017)
Naoki Nishida, Adrián Palacios, Germán Vidal
Reversible Computation in Term Rewriting. CoRR (2017)
Fred Mesnard, Étienne Payet, Germán Vidal
On the Completeness of Selective Unification in Concolic Testing of Logic Programs. LOPSTR (2016)
Ginés Moreno, Jaime Penabad, José A. Riaza, Germán Vidal
Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs. LOPSTR (2016)
Naoki Nishida, Adrián Palacios, Germán Vidal
Towards Reversible Computation in Erlang. CoRR (2016)
Fred Mesnard, Étienne Payet, Germán Vidal
On the Completeness of Selective Unification in Concolic Testing of Logic Programs. 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)
Ginés Moreno, Jaime Penabad, Germán Vidal
Tuning Fuzzy Logic Programs with Symbolic Execution. CoRR (2016)
Germán Vidal
Symbolic execution as a basis for termination analysis. Sci. Comput. Program. 102 (2015)
José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada
Reducing Relative Termination to Dependency Pair Problems. CADE (2015)
Fred Mesnard, Étienne Payet, Germán Vidal
Concolic testing in logic programming. Theory Pract. Log. Program. 15 (4-5) (2015)
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)
Fred Mesnard, Étienne Payet, Germán Vidal
Concolic Testing in Logic Programming. CoRR (2015)
Naoki Nishida, Germán Vidal
A framework for computing finite SLD trees. J. Log. Algebraic Methods Program. 84 (2) (2015)
Naoki Nishida, Germán Vidal
Conversion to tail recursion in term rewriting. J. Log. Algebraic Methods Program. 83 (1) (2014)
Germán Vidal
Concolic Execution and Test Case Generation in Prolog. LOPSTR (2014)
Germán Vidal
Towards Symbolic Execution in Erlang. Ershov Memorial Conference (2014)
Michael Leuschel, Germán Vidal
Fast offline partial evaluation of logic programs. Inf. Comput. 235 (2014)
Naoki Nishida, Germán Vidal
A Finite Representation of the Narrowing Space. LOPSTR (2013)
Germán Vidal
Towards Erlang Verification by Term Rewriting. LOPSTR (2013)
Germán Vidal
Annotation of logic programs for independent AND-parallelism by partial evaluation. Theory Pract. Log. Program. 12 (4-5) (2012)
Germán Vidal
Annotation of Logic Programs for Independent AND-Parallelism by Partial Evaluation CoRR (2012)
Germán Vidal
Closed Symbolic Execution for Verifying Program Termination. SCAM (2012)
Naoki Nishida, Germán Vidal
Computing More Specific Versions of Conditional Rewriting Systems. LOPSTR (2012)
Matthias Blume, Germán Vidal
Preface. Theor. Comput. Sci. 435 (2012)
Julia Lawall, Germán Puebla, Germán Vidal
Editorial. High. Order Symb. Comput. 24 (1-2) (2011)
Naoki Nishida, Germán Vidal
Program Inversion for Tail Recursive Functions. RTA (2011)
Naoki Nishida, Germán Vidal
Termination of narrowing via termination of rewriting. Appl. Algebra Eng. Commun. Comput. 21 (3) (2010)
Germán Vidal, Neng-Fa Zhou
Proceedings of CICLOPS-WLPE 2010 CoRR (2010)
Germán Vidal
A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs. LOPSTR (2010)
Michael Leuschel, Salvador Tamarit, Germán Vidal
Improving Size-Change Analysis in Offline Partial Evaluation CoRR (2009)
José Iborra, Naoki Nishida, Germán Vidal
Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing. LOPSTR (2009)
Germán Vidal
Towards Scalable Partial Evaluation of Declarative Programs. LOPSTR (2009)
Michael Leuschel, Salvador Tamarit, Germán Vidal
Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation. WFLP (2009)
Michael Leuschel, Germán Vidal
Fast Offline Partial Evaluation of Large Logic Programs. LOPSTR (2008)
Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs. LOPSTR (2008)
Germán Vidal
Termination of Narrowing in Left-Linear Constructor Systems. FLOPS (2008)
Germán Vidal
Trace Analysis for Predicting the Effectiveness of Partial Evaluation. ICLP (2008)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit, Germán Vidal
Dynamic Slicing Techniques for Petri Nets. Electron. Notes Theor. Comput. Sci. 223 (2008)
Claudio Ochoa, Josep Silva, Germán Vidal
Dynamic slicing of lazy functional programs based on redex trails. High. Order Symb. Comput. 21 (1-2) (2008)
Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal
Lazy call-by-value evaluation. ICFP (2007)
Josep Silva, Germán Vidal
Forward slicing of functional logic programs by partial evaluation. Theory Pract. Log. Program. 7 (1-2) (2007)
J. Guadalupe Ramos, Josep Silva, Germán Vidal
Ensuring the quasi-termination of needed narrowing computations. Inf. Process. Lett. 101 (5) (2007)
Diego Cheda, Josep Silva, Germán Vidal
Static Slicing of Rewrite Systems. Electron. Notes Theor. Comput. Sci. 177 (2007)
Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. LOPSTR (2007)
Germán Vidal
Quasi-terminating logic programs for ensuring the termination of partial evaluation. PEPM (2007)
Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal
Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs. LOPSTR (2006)
Jesús Manuel Almendros-Jiménez, Germán Vidal
Automatic Partial Inversion of Inductively Sequential Functions. IFL (2006)
Claudio Ochoa, Josep Silva, Germán Vidal
A Slicing Tool for Lazy Functional Logic Programs. JELIA (2006)
Josep Silva, Germán Vidal
Forward slicing of functional logic programs by partial evaluation CoRR (2006)
Claudio Ochoa, Josep Silva, Germán Vidal
Lightweight program specialization via dynamic slicing. WCFLP (2005)
María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal
Specialization of functional logic programs based on needed narrowing. Theory Pract. Log. Program. 5 (3) (2005)
Michael Leuschel, Germán Vidal
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering. ESOP (2005)
J. Guadalupe Ramos, Josep Silva, Germán Vidal
Fast narrowing-driven partial evaluation for inductively sequential programs. ICFP (2005)
J. Guadalupe Ramos, Josep Silva, Germán Vidal
An offline partial evaluator for curry programs. WCFLP (2005)
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
Operational semantics for declarative multi-paradigm languages. J. Symb. Comput. 40 (1) (2005)
Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal
A semantics for tracing declarative multi-paradigm programs. PPDP (2004)
Claudio Ochoa, Josep Silva, Germán Vidal
Dynamic slicing based on redex trails. PEPM (2004)
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
Rules + strategies for transforming lazy functional logic programs. Theor. Comput. Sci. 311 (1-3) (2004)
Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal
Run-Time Profiling of Functional Logic Programs. LOPSTR (2004)
María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal
Specialization of Functional Logic Programs Based on Needed Narrowing CoRR (2004)
Germán Vidal
Cost-Augmented Partial Evaluation of Functional Logic Programs. High. Order Symb. Comput. 17 (1-2) (2004)

Germán Vidal.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Germán Vidal