Francisco Durán - researchr alias

researchr

You are not signed in
Sign in
Sign up

2012

Model-Driven Performance Analysis of Rule-Based Domain Specific Visual ModelsJavier Troya, Antonio Vallecillo, Francisco Durán, Steffen Zschaler. Information and Software Technology, , 2012. [doi]

2011

Tool Interoperability in the Maude Formal EnvironmentFrancisco Durán, Camilo Rocha, José M. Álvarez. calco 2011: 400-406 [doi]

2010

2009

2008

2007

IntroductionManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 1-28 [doi]

User Interfaces and Metalanguage ApplicationsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 523-555 [doi]

Some ToolsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo. maude 2007: 667-693 [doi]

Full Maude: Extending Core MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 559-597 [doi]

A Sampler of Application AreasManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 645-665 [doi]

System ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 131-157 [doi]

Functional ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 61-118 [doi]

Using MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 31-37 [doi]

Mobile MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo. maude 2007: 485-522 [doi]

Metaprogramming ApplicationsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 459-483 [doi]

Playing with MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo. maude 2007: 159-184 [doi]

Module OperationsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 185-230 [doi]

Reflection, Metalevel Computation, and StrategiesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 419-458 [doi]

Debugging and TroubleshootingManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 697-736 [doi]

Complete List of Maude CommandsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 737-749 [doi]

Syntax and Basic ParsingManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 39-59 [doi]

Core Maude GrammarManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 751-756 [doi]

Predefined Data ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 231-305 [doi]

Specifying Parameterized Data Structures in MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo. maude 2007: 307-338 [doi]

A Hierarchy of Data Types: From Trees to SetsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 119-129 [doi]

Model Checking Invariants Through SearchManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 373-384 [doi]

The Maude Formal Tool EnvironmentManuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky. calco 2007: 173-178 [doi]

LTL Model CheckingManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 385-418 [doi]

Object-Oriented ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 599-642 [doi]

Object-Based ProgrammingManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 339-372 [doi]

A Distributed Implementation of Mobile MaudeFrancisco Durán, Adrián Riesco, Alberto Verdejo. ENTCS, 176(4):113-131, 2007. [doi]

Maude s module algebraFrancisco Durán, José Meseguer. SCP, 66(2):125-153, 2007. [doi]

Writing and executing ODP computational viewpoint specifications using MaudeJosé Raúl Romero, Antonio Vallecillo, Francisco Durán. csi, 29(4):481-498, 2007. [doi]

Formal and Tool Support for Model Driven Engineering with MaudeJosé Raúl Romero, José Eduardo Rivera, Francisco Durán, Antonio Vallecillo. jot, 6(9):187-207, 2007. [doi]

2005

Using Maude to write and execute ODP information viewpoint specificationsFrancisco Durán, Manuel Roldán, Antonio Vallecillo. csi, 27(6):597-620, 2005. [doi]

On-demand Evaluation for MaudeFrancisco Durán, Santiago Escobar, Salvador Lucas. ENTCS, 124(1):25-39, 2005. [doi]

New Evaluation Commands for Maude Within Full MaudeFrancisco Durán, Santiago Escobar, Salvador Lucas. ENTCS, 117:263-284, 2005. [doi]

Maude s Internal StrategiesFrancisco Durán. ENTCS, 124(2):11-15, 2005. [doi]

Invariant-Driven Strategies for MaudeFrancisco Durán, Manuel Roldán, Antonio Vallecillo. ENTCS, 124(2):17-28, 2005. [doi]

2004

Proving termination of membership equational programsFrancisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain. PEPM 2004: 147-158 [doi]

2003

2002

Maude: specification and programming in rewriting logicManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada. TCS, 285(2):187-243, 2002. [doi]

A Conference Reviewing System in Mobile MaudeFrancisco Durán, Alberto Verdejo. ENTCS, 71, 2002. [doi]

2001

From Maude Specifications to SOAP Distributed Implementations: A Smooth TransitionAntonio Albarrán, Francisco Durán, Antonio Vallecillo. jisbd 2001: 419-434

Writing ODP Enterprise Specifications in MaudeFrancisco Durán, Antonio Vallecillo. woodpecker 2001: 55-68

2000

1999

1998