Germán Vidal | DeepAI

AI Chat

Featured Co-authors

Bart Bogaerts
25 publications
Esra Erdem
21 publications
Fangkai Yang
19 publications
Andrea Formisano
11 publications
Ivan Lanese
9 publications
Daniela Inclezan
9 publications
Paul Fodor
8 publications
Naoki Nishida
7 publications
Giovambattista Ianni
6 publications
Marina De Vos
6 publications
Wim Vanhoof
6 publications

∙ 09/09/2023

From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs

The reliability of concurrent and distributed systems often depends on s...

0 Germán Vidal, et al. ∙

∙ 10/06/2022

Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives

Message-passing concurrency is a popular computation model that underlie...

0 Germán Vidal, et al. ∙

∙ 10/06/2022

Explanations as Programs in Probabilistic Logic Programming

The generation of comprehensible explanations is an essential feature of...

0 Germán Vidal, et al. ∙

∙ 12/23/2021

A Lightweight Approach to Computing Message Races with an Application to Causal-Consistent Reversible Debugging

This paper presents a lightweight formalism (a trace) to model message-p...

0 Juan José González-Abril, et al. ∙

∙ 08/26/2021

A Program Instrumentation for Prefix-Based Tracing in Message-Passing Concurrency

The execution of concurrent programs generally involves some degree of n...

0 Juan José González-Abril, et al. ∙

∙ 08/02/2020

Concolic Testing in CLP

Concolic testing is a popular software verification technique based on a...

0 Fred Mesnard, et al. ∙

∙ 07/31/2020

Reversible Debugging in Logic Programming

Reversible debugging is becoming increasingly popular for locating the s...

0 Germán Vidal, et al. ∙

∙ 02/17/2020

An SMT-Based Concolic Testing Tool for Logic Programs

Concolic testing mixes symbolic and concrete execution to generate test ...

0 Sophie Fortz, et al. ∙

∙ 09/17/2019

Proceedings 35th International Conference on Logic Programming (Technical Communications)

Since the first conference held in Marseille in 1982, ICLP has been the ...

0 Bart Bogaerts, et al. ∙

∙ 08/10/2019

Introduction to the 35th International Conference on Logic Programming Special Issue

We are proud to introduce this special issue of Theory and Practice of L...

0 Esra Erdem, et al. ∙

∙ 09/12/2018

Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis

Many Program Verification and Synthesis problems of interest can be mode...

0 Temesghen Kahsai, et al. ∙

∙ 06/19/2018

A Theory of Reversibility for Erlang

In a reversible language, any forward computation can be undone by a fin...

0 Ivan Lanese, et al. ∙

∙ 10/08/2017

Reversible Computation in Term Rewriting

Essentially, in a reversible programming language, for each forward comp...

0 Naoki Nishida, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world