Francisco Durán - researchr profile

researchr

You are not signed in
Sign in
Sign up

-

:

Universidad de Málaga

On the modularity and reusability of the rule-based specification of QoS properties of systemsFrancisco Durán, Steffen Zschaler. In Preliminary Proc. 21st Int'l Workshop on Algebraic Development Techniques (WADT'2012) -- Technical Report Universidad Complutense de Madrid #TR-08/12 . 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]

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

The Third Rewrite Engines CompetitionFrancisco Durán, Manuel Roldán, Jean-Christophe Bach, Emilie Balland, Mark G. J. van den Brand, James R. Cordy, Steven Eker, Luc Engelen, Maartje de Jonge, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Eelco Visser. WRLA 2010: 243-261 [doi]

On the Behavioral Semantics of Real-Time Domain Specific Visual LanguagesJosé Eduardo Rivera, Francisco Durán, Antonio Vallecillo. WRLA 2010: 174-190 [doi]

A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite TheoriesFrancisco Durán, José Meseguer. WRLA 2010: 86-103 [doi]

runs on WebDSL