×

zbMATH — the first resource for mathematics

Durán, Francisco

Compute Distance To:
Author ID: duran.francisco Recent zbMATH articles by "Durán, Francisco"
Published as: Duran, F.; Duran, Francisco; Durán, F.; Durán, Francisco
External Links: ORCID
Documents Indexed: 38 Publications since 1998, including 1 Book

Publications by Year

Citations contained in zbMATH Open

30 Publications have been cited 461 times in 294 Documents Cited by Year
All about Maude – a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. Zbl 1115.68046
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
153
2007
Maude: specification and programming in rewriting logic. Zbl 1001.68059
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.
77
2002
The Maude 2.0 system. Zbl 1038.68559
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
51
2003
Proving operational termination of membership equational programs. Zbl 1192.68154
Durán, Francisco; Lucas, Salvador; Marché, Claude; Meseguer, José; Urbain, Xavier
30
2008
Metalevel computation in Maude. Zbl 0917.68024
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Meseguer, J.
22
1998
MTT: The Maude termination tool. (System description). Zbl 1165.68360
Durán, Francisco; Lucas, Salvador; Meseguer, José
17
2008
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Zbl 1272.03139
Durán, Francisco; Meseguer, José
14
2012
Maude’s module algebra. Zbl 1116.68047
Durán, Francisco; Meseguer, José
9
2007
Towards Maude 2. 0. Zbl 0962.68108
Clavel, M.; Duran, F.; Eker, S.; Lincoln, P.; Marti-Oliet, N.; Meseguer, J.; Quesada, J. F.
9
2000
Termination modulo combinations of equational theories. Zbl 1193.68145
Durán, Francisco; Lucas, Salvador; Meseguer, José
8
2009
The extensibility of Maude’s module algebra. Zbl 0983.68522
Durán, Francisco
8
2000
An extensible module algebra for Maude. Zbl 0919.68076
Durán, Francisco; Meseguer, José
7
1998
A Church-Rosser checker tool for conditional order-sorted equational Maude specifications. Zbl 1306.68065
Durán, Francisco; Meseguer, José
6
2010
Structured theories and institutions. Zbl 1070.68090
Durán, Francisco; Meseguer, José
6
2003
A Maude coherence checker tool for conditional order-sorted rewrite theories. Zbl 1306.68066
Durán, Francisco; Meseguer, José
5
2010
Variants, unification, narrowing, and symbolic reachability in Maude 2.6. Zbl 1236.68180
Duran, Francisco; Eker, Steven; Escobar, Santiago; Meseguer, Jose; Talcott, Carolyn
4
2011
On the behavioral semantics of real-time domain specific visual languages. Zbl 1306.68086
Rivera, José E.; Durán, Francisco; Vallecillo, Antonio
4
2010
Methods for proving termination of rewriting-based programming languages by transformation. Zbl 1337.68067
Durán, Francisco; Lucas, Salvador; Meseguer, José
4
2009
Polytypic programming in Maude. Zbl 0962.68030
Clavel, M.; Duran, F.; Marti-Oliet, N.
4
2000
Maude as a metalanguage. Zbl 0917.68106
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Mesaguer, J.; Quesada, J. F.
4
1998
Error estimation for low-order adaptive finite element approximations for fluid flow problems. Zbl 1433.76065
Allendes, Alejandro; Durán, Francisco; Rankin, Richard
3
2016
A generic framework for \(n\)-protocol compatibility checking. Zbl 1245.68028
Durán, Francisco; Ouederni, Meriem; Salaün, Gwen
3
2012
Structured theories and institutions. Zbl 0966.68130
Durán, Francisco; Meseguer, José
3
1999
Built-in variant generation and unification, and their applications in maude 2.7. Zbl 06623261
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
2
2016
Checking protocol compatibility using Maude. Zbl 1364.68282
Durán, Francisco; Ouederni, Meriem; Salaün, Gwen
2
2009
Invariant-driven specifications in Maude. Zbl 1192.68400
Roldán, Manuel; Durán, Francisco; Vallecillo, Antonio
2
2009
Multilevel coupled model transformations for precise and reusable definition of model behaviour. Zbl 1423.68105
Macías, Fernando; Wolter, Uwe; Rutle, Adrian; Durán, Francisco; Rodriguez-Echeverria, Roberto
1
2019
Amalgamation of domain specific languages with behaviour. Zbl 1353.68028
Durán, Francisco; Moreno-Delgado, Antonio; Orejas, Fernando; Zschaler, Steffen
1
2017
Two decades of Maude. Zbl 1321.68007
Clavel, Manuel; Durán, Francisco; Eker, Steven; Escobar, Santiago; Lincoln, Patrick; Martí-Oliet, Narciso; Talcott, Carolyn
1
2015
Behaviour protection in modular rule-based system specifications. Zbl 1394.68073
Durán, Francisco; Orejas, Fernando; Zschaler, Steffen
1
2013
Multilevel coupled model transformations for precise and reusable definition of model behaviour. Zbl 1423.68105
Macías, Fernando; Wolter, Uwe; Rutle, Adrian; Durán, Francisco; Rodriguez-Echeverria, Roberto
1
2019
Amalgamation of domain specific languages with behaviour. Zbl 1353.68028
Durán, Francisco; Moreno-Delgado, Antonio; Orejas, Fernando; Zschaler, Steffen
1
2017
Error estimation for low-order adaptive finite element approximations for fluid flow problems. Zbl 1433.76065
Allendes, Alejandro; Durán, Francisco; Rankin, Richard
3
2016
Built-in variant generation and unification, and their applications in maude 2.7. Zbl 06623261
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
2
2016
Two decades of Maude. Zbl 1321.68007
Clavel, Manuel; Durán, Francisco; Eker, Steven; Escobar, Santiago; Lincoln, Patrick; Martí-Oliet, Narciso; Talcott, Carolyn
1
2015
Behaviour protection in modular rule-based system specifications. Zbl 1394.68073
Durán, Francisco; Orejas, Fernando; Zschaler, Steffen
1
2013
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Zbl 1272.03139
Durán, Francisco; Meseguer, José
14
2012
A generic framework for \(n\)-protocol compatibility checking. Zbl 1245.68028
Durán, Francisco; Ouederni, Meriem; Salaün, Gwen
3
2012
Variants, unification, narrowing, and symbolic reachability in Maude 2.6. Zbl 1236.68180
Duran, Francisco; Eker, Steven; Escobar, Santiago; Meseguer, Jose; Talcott, Carolyn
4
2011
A Church-Rosser checker tool for conditional order-sorted equational Maude specifications. Zbl 1306.68065
Durán, Francisco; Meseguer, José
6
2010
A Maude coherence checker tool for conditional order-sorted rewrite theories. Zbl 1306.68066
Durán, Francisco; Meseguer, José
5
2010
On the behavioral semantics of real-time domain specific visual languages. Zbl 1306.68086
Rivera, José E.; Durán, Francisco; Vallecillo, Antonio
4
2010
Termination modulo combinations of equational theories. Zbl 1193.68145
Durán, Francisco; Lucas, Salvador; Meseguer, José
8
2009
Methods for proving termination of rewriting-based programming languages by transformation. Zbl 1337.68067
Durán, Francisco; Lucas, Salvador; Meseguer, José
4
2009
Checking protocol compatibility using Maude. Zbl 1364.68282
Durán, Francisco; Ouederni, Meriem; Salaün, Gwen
2
2009
Invariant-driven specifications in Maude. Zbl 1192.68400
Roldán, Manuel; Durán, Francisco; Vallecillo, Antonio
2
2009
Proving operational termination of membership equational programs. Zbl 1192.68154
Durán, Francisco; Lucas, Salvador; Marché, Claude; Meseguer, José; Urbain, Xavier
30
2008
MTT: The Maude termination tool. (System description). Zbl 1165.68360
Durán, Francisco; Lucas, Salvador; Meseguer, José
17
2008
All about Maude – a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. Zbl 1115.68046
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
153
2007
Maude’s module algebra. Zbl 1116.68047
Durán, Francisco; Meseguer, José
9
2007
The Maude 2.0 system. Zbl 1038.68559
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
51
2003
Structured theories and institutions. Zbl 1070.68090
Durán, Francisco; Meseguer, José
6
2003
Maude: specification and programming in rewriting logic. Zbl 1001.68059
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.
77
2002
Towards Maude 2. 0. Zbl 0962.68108
Clavel, M.; Duran, F.; Eker, S.; Lincoln, P.; Marti-Oliet, N.; Meseguer, J.; Quesada, J. F.
9
2000
The extensibility of Maude’s module algebra. Zbl 0983.68522
Durán, Francisco
8
2000
Polytypic programming in Maude. Zbl 0962.68030
Clavel, M.; Duran, F.; Marti-Oliet, N.
4
2000
Structured theories and institutions. Zbl 0966.68130
Durán, Francisco; Meseguer, José
3
1999
Metalevel computation in Maude. Zbl 0917.68024
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Meseguer, J.
22
1998
An extensible module algebra for Maude. Zbl 0919.68076
Durán, Francisco; Meseguer, José
7
1998
Maude as a metalanguage. Zbl 0917.68106
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Mesaguer, J.; Quesada, J. F.
4
1998
all top 5

Cited by 357 Authors

67 Meseguer Guaita, José
25 Lucas, Salvador
22 Martí-Oliet, Narciso
18 Alpuente, María
17 Roşu, Grigore
15 Durán, Francisco
15 Escobar, Santiago
14 Lucanu, Dorel
13 Olveczky, Peter Csaba
12 Talcott, Carolyn L.
11 Verdejo, Alberto
10 Ballis, Demis
8 Gutiérrez, Raúl
8 Johnsen, Einar Broch
8 Owe, Olaf
8 Rusu, Vlad
7 Eker, Steven
7 Palomino, Miguel
7 Riesco, Adrián
7 Sapiña, Julia
7 Şerbănuţă, Traian Florin
6 Arusoaie, Andrei
6 Clavel, Manuel
6 Frechina, Francisco
6 Futatsugi, Kokichi
6 Ogata, Kazuhiro
6 Rocha, Camilo
6 Wirsing, Martin
5 Alarcón, Beatriz
5 Bruni, Roberto
5 Mossakowski, Till
4 Diaconescu, Răzvan
4 Falaschi, Moreno
4 Gadducci, Fabio
4 Skeirik, Stephen
4 Stehr, Mark-Oliver
3 Allendes, Alejandro
3 Andrei, Oana
3 Caballero, Rafael E.
3 Cervesato, Iliano
3 Ciobanu, Gabriel
3 Gaĭnă, Daniel
3 Genet, Thomas
3 Goriac, Eugen-Ioan
3 Gramlich, Bernhard
3 Iborra, José
3 Kirchner, Hélène
3 Lincoln, Patrick D.
3 Lynch, Christopher A.
3 Marché, Claude
3 Meadows, Catherine A.
3 Montanari, Ugo G.
3 Muñoz, César A.
3 Nigam, Vivek
3 Pita, Isabel
3 Rankin, Richard
3 Scedrov, Andre
3 Schlatte, Rudolf
2 Aguirre, Luis Antonio
2 Arbab, Farhad
2 Bae, Kyungmin
2 Basin, David A.
2 Bjørner, Dines
2 Boronat, Artur
2 Caltais, Georgiana
2 Colvin, Robert J.
2 Ellison, Chucky
2 Espert, Javier
2 Gmeiner, Karl
2 Grigoraş, Gheorghe
2 Kahramanoğulları, Ozan
2 Katelman, Michael
2 Khedri, Ridha
2 Kitzelmann, Emanuel
2 Knapp, Alexander
2 Lämmel, Ralf
2 Liu, Si
2 Liu, Zhiqiang
2 Lluch Lafuente, Alberto
2 Martín, Óscar
2 Mosses, Peter D.
2 Nishida, Naoki
2 Noll, Thomas
2 Ojeda, Pedro
2 Orejas, Fernando
2 Otárola, Enrique
2 Ren, Shangping
2 Rodriguez, Dilia E.
2 Romero, Daniel M.
2 Rutle, Adrian
2 Rutten, Jan J. M. M.
2 Tapia Tarifa, Silvia Lizeth
2 Tarlecki, Andrzej
2 Thati, Prasanna
2 Urbain, Xavier
2 Wolter, Uwe E.
2 Yu, Ingrid Chieh
1 Aceto, Luca
1 Agrigoroaiei, Oana
1 Aguilera, Gabriel
...and 257 more Authors

Citations by Year