Concepedia

Francisco Frechina

FF

3

Publications

56

Citations

3

H-Index

2013

Active since

Affiliations

University of Udine(Current)

Universitat Politècnica de València

Francisco Frechina is an author at University of Udine specializing in formal methods, formal verification, and computer science.

Top concepts

Publications per year

2013–2016

3

Publications

3

Using conditional trace slicing for improving Maude programs

Marı́a Alpuente, Demis Ballis, Francisco Frechina et al. · Science of Computer Programming · 2013 · 21 citations · Full text

, , +8

Debugging Maude programs via runtime assertion checking and trace slicing

Marı́a Alpuente, Demis Ballis, Francisco Frechina et al. · Journal of Logical and Algebraic Methods in Programming · 2016 · 19 citations · Full text

, , +13

Exploring conditional rewriting logic computations

Marı́a Alpuente, Demis Ballis, Francisco Frechina et al. · Journal of Symbolic Computation · 2014 · 16 citations · Full text

, , +6

Rows per page

1–3 of 3