×
Compute Distance To:
Author ID: duran.francisco Recent zbMATH articles by "Durán, Francisco"
Published as: Durán, Francisco; Durán, F.; Duran, Francisco; Duran, F.
External Links: ORCID
Documents Indexed: 39 Publications since 1998, including 1 Book
Co-Authors: 39 Co-Authors with 36 Joint Publications
433 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 451 times in 290 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
157
2007
Maude: specification and programming in rewriting logic. Zbl 1001.68059
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.
69
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
44
2003
Proving operational termination of membership equational programs. Zbl 1192.68154
Durán, Francisco; Lucas, Salvador; Marché, Claude; Meseguer, José; Urbain, Xavier
26
2008
MTT: The Maude termination tool. (System description). Zbl 1165.68360
Durán, Francisco; Lucas, Salvador; Meseguer, José
19
2008
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Zbl 1272.03139
Durán, Francisco; Meseguer, José
17
2012
Metalevel computation in Maude. Zbl 0917.68024
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Meseguer, J.
13
1998
Termination modulo combinations of equational theories. Zbl 1193.68145
Durán, Francisco; Lucas, Salvador; Meseguer, José
12
2009
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
Maude’s module algebra. Zbl 1116.68047
Durán, Francisco; Meseguer, José
8
2007
The extensibility of Maude’s module algebra. Zbl 0983.68522
Durán, Francisco
7
2000
Programming and symbolic computation in Maude. Zbl 07161317
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn
7
2020
Structured theories and institutions. Zbl 1070.68090
Durán, Francisco; Meseguer, José
6
2003
A Church-Rosser checker tool for conditional order-sorted equational Maude specifications. Zbl 1306.68065
Durán, Francisco; Meseguer, José
6
2010
Methods for proving termination of rewriting-based programming languages by transformation. Zbl 1337.68067
Durán, Francisco; Lucas, Salvador; Meseguer, José
5
2009
An extensible module algebra for Maude. Zbl 0919.68076
Durán, Francisco; Meseguer, José
5
1998
A Maude coherence checker tool for conditional order-sorted rewrite theories. Zbl 1306.68066
Durán, Francisco; Meseguer, José
5
2010
Built-in variant generation and unification, and their applications in Maude 2.7. Zbl 1475.68046
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
4
2016
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
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
A generic framework for \(n\)-protocol compatibility checking. Zbl 1245.68028
Durán, Francisco; Ouederni, Meriem; Salaün, Gwen
3
2012
Amalgamation of domain specific languages with behaviour. Zbl 1353.68028
Durán, Francisco; Moreno-Delgado, Antonio; Orejas, Fernando; Zschaler, Steffen
2
2017
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
Ground confluence of order-sorted conditional specifications modulo axioms. Zbl 07161326
Durán, Francisco; Meseguer, José; Rocha, Camilo
2
2020
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
Structured theories and institutions. Zbl 0966.68130
Durán, Francisco; Meseguer, José
1
1999
Behaviour protection in modular rule-based system specifications. Zbl 1394.68073
Durán, Francisco; Orejas, Fernando; Zschaler, Steffen
1
2013
Error estimation for low-order adaptive finite element approximations for fluid flow problems. Zbl 1433.76065
Allendes, Alejandro; Durán, Francisco; Rankin, Richard
1
2016
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
Programming and symbolic computation in Maude. Zbl 07161317
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn
7
2020
Ground confluence of order-sorted conditional specifications modulo axioms. Zbl 07161326
Durán, Francisco; Meseguer, José; Rocha, Camilo
2
2020
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
2
2017
Built-in variant generation and unification, and their applications in Maude 2.7. Zbl 1475.68046
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
4
2016
Error estimation for low-order adaptive finite element approximations for fluid flow problems. Zbl 1433.76065
Allendes, Alejandro; Durán, Francisco; Rankin, Richard
1
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é
17
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é
12
2009
Methods for proving termination of rewriting-based programming languages by transformation. Zbl 1337.68067
Durán, Francisco; Lucas, Salvador; Meseguer, José
5
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
26
2008
MTT: The Maude termination tool. (System description). Zbl 1165.68360
Durán, Francisco; Lucas, Salvador; Meseguer, José
19
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
157
2007
Maude’s module algebra. Zbl 1116.68047
Durán, Francisco; Meseguer, José
8
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
44
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.
69
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
7
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é
1
1999
Metalevel computation in Maude. Zbl 0917.68024
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Meseguer, J.
13
1998
An extensible module algebra for Maude. Zbl 0919.68076
Durán, Francisco; Meseguer, José
5
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 347 Authors

65 Meseguer Guaita, José
24 Lucas, Salvador
24 Martí-Oliet, Narciso
20 Alpuente, María
18 Escobar, Santiago
16 Durán, Francisco
16 Roşu, Grigore
14 Lucanu, Dorel
13 Talcott, Carolyn L.
12 Verdejo, Alberto
11 Ballis, Demis
11 Sapiña, Julia
9 Olveczky, Peter Csaba
9 Rusu, Vlad
8 Owe, Olaf
8 Riesco, Adrián
7 Eker, Steven
7 Palomino, Miguel
6 Arusoaie, Andrei
6 Clavel, Manuel
6 Frechina, Francisco
6 Futatsugi, Kokichi
6 Gutiérrez, Raúl
6 Johnsen, Einar Broch
6 Ogata, Kazuhiro
6 Rocha, Camilo
6 Şerbănuţă, Traian Florin
5 Pita, Isabel
5 Stehr, Mark-Oliver
5 Wirsing, Martin
4 Bruni, Roberto
4 Ciobanu, Gabriel
4 Diaconescu, Răzvan
4 Mossakowski, Till
4 Skeirik, Stephen
3 Alarcón, Beatriz
3 Andrei, Oana
3 Caballero, Rafael E.
3 Caltais, Georgiana
3 Colvin, Robert J.
3 Falaschi, Moreno
3 Gaĭnă, Daniel
3 Genet, Thomas
3 Goriac, Eugen-Ioan
3 Kirchner, Hélène
3 Lincoln, Patrick D.
3 Marché, Claude
3 Meadows, Catherine A.
3 Rubio, Rubén
3 Schlatte, Rudolf
2 Aguirre, Luis Antonio
2 Arbab, Farhad
2 Asăvoae, Irina Măriuca
2 Bae, Kyungmin
2 Basin, David A.
2 Bjørner, Dines
2 Boronat, Artur
2 Cervesato, Iliano
2 Cuenca-Ortega, Angel
2 Dundua, Besik
2 Ellison, Chucky
2 Espert, Javier
2 Gadducci, Fabio
2 Gmeiner, Karl
2 Gramlich, Bernhard
2 Grigoraş, Gheorghe
2 Kahramanoğulları, Ozan
2 Katelman, Michael
2 Kitzelmann, Emanuel
2 Kutsia, Temur
2 Liu, Zhiqiang
2 Lluch Lafuente, Alberto
2 Lynch, Christopher A.
2 Marin, Mircea
2 Martín, Óscar
2 Moreau, Pierre-Etienne
2 Mosses, Peter D.
2 Muñoz, César A.
2 Nigam, Vivek
2 Ojeda, Pedro
2 Orejas, Fernando
2 Ramezanifarkhani, Toktam
2 Ren, Shangping
2 Rodriguez, Dilia E.
2 Romero, Daniel M.
2 Rutle, Adrian
2 Rutten, Jan J. M. M.
2 Salaün, Gwen
2 Scedrov, Andre
2 Tapia Tarifa, Silvia Lizeth
2 Tarlecki, Andrzej
2 Thati, Prasanna
2 Urbain, Xavier
2 Villanueva, Alicia
2 Winkler, Sarah
2 Wolter, Uwe E.
2 Zschaler, Steffen
1 Aceto, Luca
1 Agrigoroaiei, Oana
1 Aguilera, Gabriel
...and 247 more Authors

Citations by Year