Concepedia

Francisco Durán

FD

42

Publications

1.8K

Citations

22

H-Index

1998

Active since

Affiliations

Universidad de Málaga(Current)

SRI International

University of Illinois Urbana-Champaign

Universidad Complutense de Madrid

Francisco Durán is an author at Universidad de Málaga specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisSoftware AnalysisSoftware EngineeringSoftware DesignSystems Engineering

Publications per year

1998–2024

42

Publications

42

Maude: specification and programming in rewriting logic

Manuel Clavel, Francisco Durán, Steven Eker et al. · Theoretical Computer Science · 2002 · 737 citations

Engineering, Automated Reasoning, Regulated Rewriting +5

Proving operational termination of membership equational programs

Francisco Durán, Salvador Lucas, Claude Marché et al. · LISP and Symbolic Computation · 2008 · 69 citations · Full text

Formal and Tool Support for Model Driven Engineering with Maude.

José Raúl Romero, José E. Rivera, Francisco Durán et al. · The Journal of Object Technology · 2007 · 66 citations · Full text

On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories

Francisco Durán, José Meseguer · The Journal of Logic and Algebraic Programming · 2012 · 62 citations

Order Theory, Engineering, Automated Reasoning +6

Formal Specification and Analysis of Domain Specific Models Using Maude

José E. Rivera, Francisco Durán, Antonio Vallecillo · SIMULATION · 2009 · 58 citations

Model-driven Software Development, Engineering, Modeling Notation +21

Rows per page

1–5 of 42