×

Meseguer Guaita, José

Compute Distance To:
Author ID: meseguer.jose Recent zbMATH articles by "Meseguer Guaita, José"
Published as: Meseguer, José; Meseguer, J.; Meseguer, Jose
Homepage: http://formalmethods.web.engr.illinois.edu/meseguer/
External Links: MGP · ORCID · ResearchGate · dblp · GND · IdRef · theses.fr
Documents Indexed: 245 Publications since 1975, including 4 Books
9 Contributions as Editor
Biographic References: 2 Publications
Co-Authors: 105 Co-Authors with 225 Joint Publications
1,859 Co-Co-Authors
all top 5

Co-Authors

27 single-authored
30 Escobar, Santiago
28 Martí-Oliet, Narciso
21 Durán, Francisco
17 Goguen, Joseph Amadee
17 Lucas, Salvador
16 Olveczky, Peter Csaba
14 Montanari, Ugo G.
13 Talcott, Carolyn L.
12 Clavel, Manuel
12 Eker, Steven
12 Roşu, Grigore
9 Alpuente, María
9 Bruni, Roberto
9 Sols, Ignacio
8 Palomino, Miguel
8 Rocha, Camilo
7 Meadows, Catherine A.
7 Sassone, Vladimiro
7 Thati, Prasanna
6 Bae, Kyungmin
6 Skeirik, Stephen
5 Gutiérrez, Raúl
5 Kühnel, Wolfgang
5 Lincoln, Patrick D.
5 Liu, Si
5 Pfender, Michael
5 Sasse, Ralf
4 Cuenca-Ortega, Angel
4 Degano, Pierpaolo
4 Farzan, Azadeh
4 Hendrix, Joe
4 Jouannaud, Jean-Pierre
4 Katelman, Michael
4 Stehr, Mark-Oliver
3 Kirchner, Claude
3 Santiago, Sonia
3 Sapiña, Julia
2 Agha, Gul A.
2 Aparicio-Sánchez, Damián
2 Basin, David A.
2 Boronat, Artur
2 Braga, Christiano
2 Casley, Ross
2 Cerioli, Maura
2 Crew, Roger F.
2 De Nicola, Rocco
2 Espert, Javier
2 Fiadeiro, José Luiz
2 Futatsugi, Kokichi
2 Haeusler, Edward Hermann
2 Kapur, Deepak
2 Keller, Sean
2 Kirchner, Hélène
2 Maibaum, Thomas Stephen Edward
2 Marché, Claude
2 Moss, Lawrence S.
2 Mosses, Peter D.
2 Muñoz, César A.
2 Ojeda, Pedro
2 Pita, Isabel
2 Pratt, Vaughan R.
2 Rubio, Rubén
2 Sen Gupta, Indranil
2 Şerbănuţă, Traian Florin
2 Sridharanarayanan, Ambarish
2 Ştefănescu, Andrei
2 Verdejo, Alberto
2 Wirsing, Martin
1 Alarcón, Beatriz
1 AlTurki, Musab A.
1 Ballis, Demis
1 Bouhoula, Adel
1 Chen, Feng
1 Coglio, Alessandro
1 Danvy, Olivier
1 De Braga, Christiano O.
1 de O. Braga, Christiano
1 Denker, Grit
1 Eckhardt, Jonas
1 Erbatur, Serdar
1 Giunchiglia, Fausto
1 Guessarian, Irène
1 Guguen, Joseph A.
1 Guttman, Joshua D.
1 Iida, Shusaku
1 Keaton, Mark H.
1 Knapp, Alexander
1 Kumar, Nirman
1 Landwehr, Carl E.
1 Liu, Zhiqiang
1 Lynch, Christopher A.
1 Mégrelis, Aristide
1 Mödersheim, Sebastian Alexander
1 Mühlbauer, Tobias
1 Narendran, Paliath
1 Naumov, Pavel G.
1 Ogata, Kazuhiro
1 Pavlović, Duško
1 Quesada, José F.
1 Santhanam, Keshav
...and 9 more Co-Authors
all top 5

Serials

19 Theoretical Computer Science
10 Journal of Logical and Algebraic Methods in Programming
8 Information and Computation
8 Lecture Notes in Computer Science
5 The Journal of Logic and Algebraic Programming
4 MSCS. Mathematical Structures in Computer Science
3 Formal Aspects of Computing
3 Journal of Logic and Computation
3 Higher-Order and Symbolic Computation
2 Journal of Computer and System Sciences
2 The Journal of Logic Programming
2 Fundamenta Informaticae
1 Acta Informatica
1 Bulletin of the Australian Mathematical Society
1 Houston Journal of Mathematics
1 Information Processing Letters
1 Algebra Universalis
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 International Journal of Mathematics and Mathematical Sciences
1 Journal of Pure and Applied Algebra
1 SIAM Journal on Computing
1 Science of Computer Programming
1 Journal of Symbolic Computation
1 Journal of Automated Reasoning
1 Bulletin of the European Association for Theoretical Computer Science (EATCS)
1 International Journal of Foundations of Computer Science
1 Comptes Rendus de l’Académie des Sciences. Série I
1 Formal Methods in System Design
1 Annals of Mathematics and Artificial Intelligence
1 Bulletin of the European Association for Theoretical Computer Science EATCS
1 ACM Transactions on Computational Logic
1 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques
1 Electronic Notes in Theoretical Computer Science

Publications by Year

Citations contained in zbMATH Open

226 Publications have been cited 2,752 times in 899 Documents Cited by Year
Conditional rewriting logic as a unified model of concurrency. Zbl 0758.68043
Meseguer, José
214
1992
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
164
2007
Membership algebra as a logical framework for equational specification. Zbl 0903.08009
Meseguer, José
111
1998
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056
Goguen, Joseph A.; Meseguer, José
107
1992
Petri nets are monoids. Zbl 0711.68077
Meseguer, José; Montanari, Ugo
68
1990
Specification and proof in membership equational logic. Zbl 0938.68057
Bouhoula, A.; Jouannaud, J.-P.; Meseguer, J.
58
2000
Initiality, induction, and computability. Zbl 0571.68004
Meseguer, José; Goguen, Joseph A.
52
1985
Universal realization, persistent interconnection and implementation of abstract modules. Zbl 0493.68014
Goguen, J.; Meseguer, J.
46
1982
The Maude 2.0 system. Zbl 1038.68559
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
46
2003
Semantic foundations for generalized rewrite theories. Zbl 1097.68051
Bruni, Roberto; Meseguer, José
42
2006
Completeness of many-sorted equational logic. Zbl 0498.03018
Goguen, J. A.; Meseguer, J.
40
1982
Completeness of many-sorted equational logic. Zbl 0602.08004
Goguen, J. A.; Meseguer, J.
36
1985
Operational termination of conditional term rewriting systems. Zbl 1185.68374
Lucas, Salvador; Marché, Claude; Meseguer, José
35
2005
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Zbl 1115.68079
Meseguer, José; Thati, Prasanna
32
2007
Folding variant narrowing and optimal variant termination. Zbl 1291.68217
Escobar, Santiago; Sasse, Ralf; Meseguer, José
32
2012
Twenty years of rewriting logic. Zbl 1267.03043
Meseguer, José
31
2012
Maude-NPA: cryptographic protocol analysis modulo equational properties. Zbl 1252.94061
Escobar, Santiago; Meadows, Catherine; Meseguer, José
31
2009
Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091
Goguen, Joseph A.; Meseguer, José
28
1984
Rewriting logic: Roadmap and bibliography. Zbl 1027.68613
Martí-Oliet, Narciso; Meseguer, José
27
2002
The rewriting logic semantics project. Zbl 1111.68068
Meseguer, José; Roşu, Grigore
26
2007
Semantics and pragmatics of real-time maude. Zbl 1115.68095
Ölveczky, Peter Csaba; Meseguer, José
26
2007
Principles of Maude. Zbl 0912.68095
Clavel, M.; Eker, S.; Lincoln, P.; Meseguer, J.
26
1996
Proving operational termination of membership equational programs. Zbl 1192.68154
Durán, Francisco; Lucas, Salvador; Marché, Claude; Meseguer, José; Urbain, Xavier
26
2008
General logics. Zbl 0691.03001
Meseguer, José
25
1989
Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Zbl 0796.68144
Meseguer, José; Goguen, Joseph A.
24
1993
Rewriting logic as a logical and semantic framework. Zbl 0912.68096
Martí-Oliet, Narciso; Meseguer, José
24
1996
Specification of real-time and hybrid systems in rewriting logic. Zbl 1001.68061
Ölveczky, Peter Csaba; Meseguer, José
22
2002
Symbolic model checking of infinite-state systems using narrowing. Zbl 1203.68097
Escobar, Santiago; Meseguer, José
21
2007
Abstract logical model checking of infinite-state systems using narrowing. Zbl 1356.68140
Bae, Kyungmin; Escobar, Santiago; Meseguer, José
21
2011
On the semantics of place/transition Petri nets. Zbl 0876.68072
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
21
1997
Rewriting logic semantics: from language specifications to formal analysis tools. Zbl 1126.68464
Meseguer, José; Roşu, Grigore
20
2004
The Maude LTL model checker. Zbl 1272.68243
Eker, Steven; Meseguer, José; Sridharanarayanan, Ambarish
20
2004
MTT: The Maude termination tool. (System description). Zbl 1165.68360
Durán, Francisco; Lucas, Salvador; Meseguer, José
19
2008
Order-sorted unification. Zbl 0691.03002
Meseguer, José; Goguen, Joseph A.; Smolka, Gert
19
1989
Models and equality for logical programming. Zbl 0626.68032
Goguen, Joseph A.; Meseguer, José
18
1987
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Zbl 1272.03139
Durán, Francisco; Meseguer, José
18
2012
Rewriting logic as a unifying framework for Petri nets. Zbl 1017.68080
Stehr, Mark-Oliver; Meseguer, José; Ölveczky, Peter Csaba
17
2001
A modular order-sorted equational generalization algorithm. Zbl 1314.68169
Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José
17
2014
A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties. Zbl 1153.94375
Escobar, Santiago; Meadows, Catherine; Meseguer, José
17
2006
Variant-based satisfiability in initial algebras. Zbl 1396.68074
Meseguer, José
17
2016
Axiomatizing net computations and processes. Zbl 0722.68085
Degano, Pierpaolo; Meseguer, José; Montanari, Ugo
17
1989
From Petri nets to linear logic. Zbl 0746.03057
Martí-Oliet, Narciso; Meseguer, José
16
1991
Formal analysis of Java programs in JavaFAN. Zbl 1103.68611
Farzan, Azadeh; Chen, Feng; Meseguer, José; Roşu, Grigore
16
2004
Rewriting modulo SMT and open system analysis. Zbl 1367.68151
Rocha, Camilo; Meseguer, José; Muñoz, César
15
2014
May I borrow your logic? (Transporting logical structures along maps). Zbl 0901.68186
Cerioli, Maura; Meseguer, José
15
1997
Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. Zbl 0993.68058
Bruni, Roberto; Meseguer, José; Montanari, Ugo
15
2002
Reflection in conditional rewriting logic. Zbl 1001.68060
Clavel, Manuel; Meseguer, José
15
2002
Strict coherence of conditional rewriting modulo axioms. Zbl 1386.68080
Meseguer, José
14
2017
Semantic models for distributed object reflection. Zbl 1049.68815
Meseguer, José; Talcott, Carolyn
14
2002
Operational semantics for order-sorted algebra. Zbl 0591.68041
Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José
14
1985
Variant narrowing and equational unification. Zbl 1347.68194
Escobar, Santiago; Meseguer, José; Sasse, Ralf
13
2009
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Zbl 1111.03034
Clavel, Manuel; Meseguer, José; Palomino, Miguel
13
2007
Reflection and strategies in rewriting logic. Zbl 0917.68107
Clavel, Manuel; Meseguer, José
13
1996
Metalevel computation in Maude. Zbl 0917.68024
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Meseguer, J.
13
1998
Generalized rewrite theories. Zbl 1039.03020
Bruni, Roberto; Meseguer, José
13
2003
Operational semantics of OBJ-3. Zbl 0649.68028
Kirchner, Claude; Kirchner, Hélène; Meseguer, José
13
1988
Equational abstractions. Zbl 1155.68050
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
13
2008
What is a multi-modeling language? Zbl 1253.68225
Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin
13
2009
Normal forms and normal theories in conditional rewriting. Zbl 1356.68124
Lucas, Salvador; Meseguer, José
12
2016
On the axiomatization of “if-then-else”. Zbl 0628.68032
Guessarian, Irène; Meseguer, José
12
1987
Mapping tile logic into rewriting logic. Zbl 0903.08010
Meseguer, José; Montanari, Ugo
12
1998
Modular rewriting semantics of programming languages. Zbl 1108.68401
Meseguer, José; Braga, Christiano
12
2004
Process versus unfolding semantics for Place/Transition Petri nets. Zbl 0872.68130
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
12
1996
Towards Maude 2. 0. Zbl 0962.68108
Clavel, M.; Duran, F.; Eker, S.; Lincoln, P.; Marti-Oliet, N.; Meseguer, J.; Quesada, J. F.
12
2000
An introduction to OBJ 3. Zbl 0666.68010
Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide
12
1988
The temporal logic of rewriting: A gentle introduction. Zbl 1143.68459
Meseguer, José
12
2008
Termination modulo combinations of equational theories. Zbl 1193.68145
Durán, Francisco; Lucas, Salvador; Meseguer, José
12
2009
Proving safety properties of rewrite theories. Zbl 1344.68142
Rocha, Camilo; Meseguer, José
12
2011
Operational termination of membership equational programs: the order-sorted way. Zbl 1347.68198
Lucas, Salvador; Meseguer, José
11
2009
Order-sorted generalization. Zbl 1347.68193
Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro
11
2009
Internal strategies in a rewriting implementation of tile systems. Zbl 0917.68104
Bruni, R.; Meseguer, J.; Montanari, U.
11
1998
Order completion monads. Zbl 0522.18005
Meseguer, J.
11
1983
Varieties of chain-complete algebras. Zbl 0445.18008
Meseguer, Jose
11
1980
The HOL/NuPRL proof translator. A practical approach to formal interoperability. Zbl 1005.68542
Naumov, Pavel; Stehr, Mark-Oliver; Meseguer, José
11
2001
A rewriting logic approach to operational semantics. Zbl 1165.68041
Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José
11
2009
Formal JVM code analysis in JavaFAN. Zbl 1108.68382
Farzan, Azadeh; Meseguer, José; Roşu, Grigore
10
2004
Functorial models for Petri nets. Zbl 1005.68102
Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
10
2001
Abstraction and completeness for real-time Maude. Zbl 1279.68218
Ölveczky, Peter Csaba; Meseguer, José
10
2007
Reflective metalogical frameworks. Zbl 1407.03045
Basin, David; Clavel, Manuel; Meseguer, José
10
2004
Dependency pairs for proving termination properties of conditional term rewriting systems. Zbl 1353.68155
Lucas, Salvador; Meseguer, José
9
2017
Order-sorted equational unification revisited. Zbl 1291.68220
Hendrix, Joe; Meseguer, José
9
2012
A modular equational generalization algorithm. Zbl 1185.68219
Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro
9
2009
Deduction, strategies, and rewriting. Zbl 1277.68241
Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
9
2007
Specification and analysis of the AER/NCA active network protocol suite in real-time Maude. Zbl 1109.68010
Ölveczky, Peter Csaba; Meseguer, José; Talcott, Carolyn L.
9
2006
Algebraic simulations. Zbl 1184.68300
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
9
2010
A rewriting semantics for Maude strategies. Zbl 1347.68199
Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
8
2009
Specification and analysis of distributed object-based stochastic hybrid systems. Zbl 1178.68350
Meseguer, José; Sharykin, Raman
8
2006
Maude’s module algebra. Zbl 1116.68047
Durán, Francisco; Meseguer, José
8
2007
A sufficient completeness reasoning tool for partial specifications. Zbl 1078.68668
Hendrix, Joe; Clavel, Manuel; Meseguer, José
8
2005
Programming and symbolic computation in Maude. Zbl 1494.68109
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn
8
2020
A rewriting-based model checker for the linear temporal logic of rewriting. Zbl 1291.68244
Bae, Kyungmin; Meseguer, José
8
2012
On order-complete universal algebra and enriched functorial semantics. Zbl 0368.18006
Meseguer, J.
8
1977
Rewriting logic and maude: A wide-spectrum semantic framework for object-based distributed systems. Zbl 0968.68079
Meseguer, José
8
2000
Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems. Zbl 0962.68109
Olveczky, Peter Csaba; Meseguer, Jose
8
2000
Modular rewriting semantics in practice. Zbl 1272.68168
Braga, Christiano; Meseguer, José
8
2005
On the completeness of context-sensitive order-sorted specifications. Zbl 1203.68098
Hendrix, Joe; Meseguer, José
7
2007
From Petri nets to linear logic through categories: A survey. Zbl 0766.68100
Martí-Oliet, Narciso; Meseguer, José
7
1991
General logics and logical frameworks. Zbl 0817.03005
Martí-Oliet, Narciso; Meseguer, José
7
1994
Representation theorems for Petri nets. Zbl 0885.68115
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
7
1997
Rewriting logic as a metalogical framework. Zbl 1044.03020
Basin, David; Clavel, Manuel; Meseguer, José
7
2000
Symbolic computation in Maude: some tapas. Zbl 07496639
Meseguer, José
1
2021
Programming and symbolic computation in Maude. Zbl 1494.68109
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn
8
2020
A partial evaluation framework for order-sorted equational programs modulo axioms. Zbl 1494.68048
Alpuente, M.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J.
5
2020
Generalized rewrite theories, coherence completion, and symbolic methods. Zbl 1496.68166
Meseguer, José
4
2020
Order-sorted homeomorphic embedding modulo combinations of associativity and/or commutativity axioms. Zbl 1497.68235
Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José
4
2020
Ground confluence of order-sorted conditional specifications modulo axioms. Zbl 1498.68073
Durán, Francisco; Meseguer, José; Rocha, Camilo
3
2020
A constructor-based reachability logic for rewrite theories. Zbl 1471.68076
Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José
3
2020
The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques. Zbl 1459.68092
Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl
2
2020
\({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance. Zbl 07169105
Alpuente, María; Ballis, Demis; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José
6
2019
Metalevel algorithms for variant satisfiability. Zbl 1430.68423
Skeirik, Stephen; Meseguer, José
7
2018
Symbolic reasoning methods in rewriting logic and Maude. Zbl 06958305
Meseguer, José
6
2018
A constructor-based reachability logic for rewrite theories. Zbl 1471.68075
Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José
5
2018
The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors. Zbl 1393.68088
Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl
5
2018
Variant-based decidable satisfiability in initial algebras with predicates. Zbl 06932837
Gutiérrez, Raúl; Meseguer, José
4
2018
Strict coherence of conditional rewriting modulo axioms. Zbl 1386.68080
Meseguer, José
14
2017
Dependency pairs for proving termination properties of conditional term rewriting systems. Zbl 1353.68155
Lucas, Salvador; Meseguer, José
9
2017
Partial evaluation of order-sorted equational programs modulo axioms. Zbl 1485.68050
Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José
5
2017
Equational formulas and pattern operations in initial order-sorted algebras. Zbl 1362.68054
Meseguer, José; Skeirik, Stephen
4
2017
Rewriting modulo SMT and open system analysis. Zbl 1353.68156
Rocha, Camilo; Meseguer, José; Muñoz, César
3
2017
Variant-based satisfiability in initial algebras. Zbl 1396.68074
Meseguer, José
17
2016
Normal forms and normal theories in conditional rewriting. Zbl 1356.68124
Lucas, Salvador; Meseguer, José
12
2016
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
5
2016
Order-sorted rewriting and congruence closure. Zbl 1475.68142
Meseguer, José
4
2016
Metalevel algorithms for variant satisfiability. Zbl 1367.68256
Skeirik, Stephen; Meseguer, José
1
2016
Modeling and analyzing mobile ad hoc networks in Real-Time Maude. Zbl 1356.68123
Liu, Si; Ölveczky, Peter Csaba; Meseguer, José
1
2016
Executable rewriting logic semantics of Orc and formal analysis of Orc programs. Zbl 1329.68169
AlTurki, Musab A.; Meseguer, José
6
2015
Symbolic protocol analysis with disequality constraints modulo equational theories. Zbl 1437.94060
Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia
3
2015
Equational formulas and pattern operations in initial order-sorted algebras. Zbl 1362.68053
Meseguer, José; Skeirik, Stephen
3
2015
Localized operational termination in general logics. Zbl 1453.68053
Lucas, Salvador; Meseguer, José
3
2015
Extending the 2D dependency pair framework for conditional term rewriting systems. Zbl 1457.68136
Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl
3
2015
Formal analysis of leader election in MANETs using Real-Time Maude. Zbl 1454.68014
Liu, Si; Ölveczky, Peter Csaba; Meseguer, José
2
2015
A modular order-sorted equational generalization algorithm. Zbl 1314.68169
Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José
17
2014
Rewriting modulo SMT and open system analysis. Zbl 1367.68151
Rocha, Camilo; Meseguer, José; Muñoz, César
15
2014
2D dependency pairs for proving operational termination of CTRSs. Zbl 1367.68145
Lucas, Salvador; Meseguer, José
6
2014
Infinite-state model checking of LTLR formulas using narrowing. Zbl 1366.68162
Bae, Kyungmin; Meseguer, José
5
2014
State space reduction in the Maude-NRL protocol analyzer. Zbl 1360.94307
Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia
5
2014
ACUOS: a system for modular ACU generalization with subtyping and inheritance. Zbl 1432.68422
Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José
4
2014
Strong and weak operational termination of order-sorted rewrite theories. Zbl 1367.68144
Lucas, Salvador; Meseguer, José
3
2014
A framework for mobile ad hoc networks in Real-Time Maude. Zbl 1356.68122
Liu, Si; Ölveczky, Peter Csaba; Meseguer, José
2
2014
Predicate abstraction of rewrite theories. Zbl 1416.68118
Bae, Kyungmin; Meseguer, José
2
2014
Mechanical analysis of reliable communication in the alternating bit protocol using the Maude invariant analyzer tool. Zbl 1407.68302
Rocha, Camilo; Meseguer, José
1
2014
Statistical model checking for composite actor systems. Zbl 1394.68228
Eckhardt, Jonas; Mühlbauer, Tobias; Meseguer, José; Wirsing, Martin
5
2013
The rewriting logic semantics project: a progress report. Zbl 1435.68188
Meseguer, José; Roşu, Grigore
4
2013
Asymmetric unification: a new unification paradigm for cryptographic protocol analysis. Zbl 1381.68264
Erbatur, Serdar; Escobar, Santiago; Kapur, Deepak; Liu, Zhiqiang; Lynch, Christopher A.; Meadows, Catherine; Meseguer, José; Narendran, Paliath; Santiago, Sonia; Sasse, Ralf
2
2013
Folding variant narrowing and optimal variant termination. Zbl 1291.68217
Escobar, Santiago; Sasse, Ralf; Meseguer, José
32
2012
Twenty years of rewriting logic. Zbl 1267.03043
Meseguer, José
31
2012
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Zbl 1272.03139
Durán, Francisco; Meseguer, José
18
2012
Order-sorted equational unification revisited. Zbl 1291.68220
Hendrix, Joe; Meseguer, José
9
2012
A rewriting-based model checker for the linear temporal logic of rewriting. Zbl 1291.68244
Bae, Kyungmin; Meseguer, José
8
2012
Formalization and correctness of the PALS architectural pattern for distributed real-time systems. Zbl 1284.68073
Meseguer, José; Ölveczky, Peter Csaba
4
2012
Model checking LTLR formulas under localized fairness. Zbl 1367.68180
Bae, Kyungmin; Meseguer, José
3
2012
Rewriting semantics of production rule sets. Zbl 1279.68188
Katelman, Michael; Keller, Sean; Meseguer, José
2
2012
Order-sorted equality enrichments modulo axioms. Zbl 1366.68185
Gutiérrez, Raúl; Meseguer, José; Rocha, Camilo
1
2012
Abstract logical model checking of infinite-state systems using narrowing. Zbl 1356.68140
Bae, Kyungmin; Escobar, Santiago; Meseguer, José
21
2011
Proving safety properties of rewrite theories. Zbl 1344.68142
Rocha, Camilo; Meseguer, José
12
2011
The rewriting logic semantics project: a progress report. Zbl 1342.68198
Meseguer, José; Roşu, Grigore
6
2011
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
vlogsl: a strategy language for simulation-based verification of hardware. Zbl 1325.68150
Katelman, Michael; Meseguer, José
3
2011
Algebraic simulations. Zbl 1184.68300
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
9
2010
An algebraic semantics for MOF. Zbl 1213.68358
Boronat, Artur; Meseguer, José
7
2010
A dependency pair framework for \(A \vee C\)-termination. Zbl 1306.68060
Alarcón, Beatriz; Lucas, Salvador; Meseguer, José
7
2010
Constructors, sufficient completeness, and deadlock freedom of rewrite theories. Zbl 1306.68087
Rocha, Camilo; Meseguer, José
7
2010
Folding variant narrowing and optimal variant termination. Zbl 1306.68069
Escobar, Santiago; Sasse, Ralf; Meseguer, José
6
2010
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
Concurrent rewriting semantics and analysis of asynchronous digital circuits. Zbl 1306.68078
Katelman, Michael; Keller, Sean; Meseguer, José
4
2010
The linear temporal logic of rewriting Maude model checker. Zbl 1306.68099
Bae, Kyungmin; Meseguer, José
4
2010
Coverset induction with partiality and subsorts: a powerlist case study. Zbl 1291.68346
Hendrix, Joe; Kapur, Deepak; Meseguer, José
2
2010
Twenty years of rewriting logic. Zbl 1306.68082
Meseguer, José
2
2010
A formal pattern architecture for safe medical systems. Zbl 1306.68090
Sun, Mu; Meseguer, José; Sha, Lui
1
2010
Maude-NPA: cryptographic protocol analysis modulo equational properties. Zbl 1252.94061
Escobar, Santiago; Meadows, Catherine; Meseguer, José
31
2009
Variant narrowing and equational unification. Zbl 1347.68194
Escobar, Santiago; Meseguer, José; Sasse, Ralf
13
2009
What is a multi-modeling language? Zbl 1253.68225
Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin
13
2009
Termination modulo combinations of equational theories. Zbl 1193.68145
Durán, Francisco; Lucas, Salvador; Meseguer, José
12
2009
Operational termination of membership equational programs: the order-sorted way. Zbl 1347.68198
Lucas, Salvador; Meseguer, José
11
2009
Order-sorted generalization. Zbl 1347.68193
Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro
11
2009
A rewriting logic approach to operational semantics. Zbl 1165.68041
Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José
11
2009
A modular equational generalization algorithm. Zbl 1185.68219
Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro
9
2009
A rewriting semantics for Maude strategies. Zbl 1347.68199
Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
8
2009
Order-sorted parameterization and induction. Zbl 1253.68215
Meseguer, José
6
2009
Methods for proving termination of rewriting-based programming languages by transformation. Zbl 1337.68067
Durán, Francisco; Lucas, Salvador; Meseguer, José
5
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
Equational abstractions. Zbl 1155.68050
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
13
2008
The temporal logic of rewriting: A gentle introduction. Zbl 1143.68459
Meseguer, José
12
2008
Effectively checking the finite variant property. Zbl 1145.68444
Escobar, Santiago; Meseguer, José; Sasse, Ralf
7
2008
Theorem proving modulo based on Boolean equational procedures. Zbl 1139.03010
Rocha, Camilo; Meseguer, José
5
2008
Termination of just/fair computations in term rewriting. Zbl 1146.68040
Lucas, Salvador; Meseguer, José
1
2008
Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Zbl 1137.68003
1
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
164
2007
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Zbl 1115.68079
Meseguer, José; Thati, Prasanna
32
2007
The rewriting logic semantics project. Zbl 1111.68068
Meseguer, José; Roşu, Grigore
26
2007
Semantics and pragmatics of real-time maude. Zbl 1115.68095
Ölveczky, Peter Csaba; Meseguer, José
26
2007
Symbolic model checking of infinite-state systems using narrowing. Zbl 1203.68097
Escobar, Santiago; Meseguer, José
21
2007
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Zbl 1111.03034
Clavel, Manuel; Meseguer, José; Palomino, Miguel
13
2007
Abstraction and completeness for real-time Maude. Zbl 1279.68218
Ölveczky, Peter Csaba; Meseguer, José
10
2007
Deduction, strategies, and rewriting. Zbl 1277.68241
Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
9
2007
Maude’s module algebra. Zbl 1116.68047
Durán, Francisco; Meseguer, José
8
2007
On the completeness of context-sensitive order-sorted specifications. Zbl 1203.68098
Hendrix, Joe; Meseguer, José
7
2007
Partial order reduction for rewriting semantics of programming languages. Zbl 1279.68207
Farzan, Azadeh; Meseguer, José
7
2007
...and 126 more Documents
all top 5

Cited by 940 Authors

95 Meseguer Guaita, José
31 Lucas, Salvador
31 Martí-Oliet, Narciso
29 Escobar, Santiago
28 Montanari, Ugo G.
25 Corradini, Andrea
24 Alpuente, María
23 Roşu, Grigore
21 Diaconescu, Răzvan
21 Talcott, Carolyn L.
19 Lucanu, Dorel
18 Bruni, Roberto
17 Kirchner, Hélène
17 Tarlecki, Andrzej
17 Verdejo, Alberto
16 Durán, Francisco
15 Olveczky, Peter Csaba
14 Gadducci, Fabio
14 Sannella, Donald T.
13 Baldan, Paolo
13 Goguen, Joseph Amadee
13 Sapiña, Julia
12 Ehrig, Hartmut
12 Futatsugi, Kokichi
12 Mossakowski, Till
11 Ballis, Demis
11 Rusu, Vlad
11 Wirsing, Martin
10 Gutiérrez, Raúl
10 Hennicker, Rolf
10 Ogata, Kazuhiro
10 Rabe, Florian
9 Eker, Steven
9 Kutsia, Temur
9 Orejas, Fernando
9 Şerbănuţă, Traian Florin
8 Gaĭnă, Daniel
8 Johnsen, Einar Broch
8 Kirchner, Claude
8 Meadows, Catherine A.
8 Owe, Olaf
8 Riesco, Adrián
8 Ringeissen, Christophe
8 Rocha, Camilo
7 Clavel, Manuel
7 Jouannaud, Jean-Pierre
7 Nishida, Naoki
7 Palomino, Miguel
7 Pita, Isabel
7 Scedrov, Andre
7 Stehr, Mark-Oliver
6 Andrei, Oana
6 Arusoaie, Andrei
6 Bidoit, Michel
6 Fernández, Maribel
6 Frechina, Francisco
6 Gallier, Jean H.
6 Kanovich, Max Iosifovich
6 Sobociński, Paweł
5 Arbab, Farhad
5 Kohlhase, Michael
5 Lincoln, Patrick D.
5 Meinke, Karl
5 Mosses, Peter D.
5 Oriat, Catherine
5 Padawitz, Peter
5 Rubio, Rubén
5 Sassone, Vladimiro
5 van Glabbeek, Robert Jan
5 Vidal, Germán
4 Caltais, Georgiana
4 Cervesato, Iliano
4 Ciobanu, Gabriel
4 Erné, Marcel
4 Falaschi, Moreno
4 Gramlich, Bernhard
4 Heckel, Reiko
4 Iborra, José
4 Knapp, Alexander
4 König, Barbara
4 Marin, Mircea
4 Melgratti, Hernán
4 Middeldorp, Aart
4 Olarte, Carlos
4 Skeirik, Stephen
4 Smolka, Gert
4 Thati, Prasanna
4 Winkler, Sarah
3 Adámek, Jiří
3 Aït-Kaci, Hassan
3 Alarcón, Beatriz
3 Albert, Elvira
3 Aparicio-Sánchez, Damián
3 Bae, Kyungmin
3 Baez, John C.
3 Borovanský, Peter
3 Bouhoula, Adel
3 Buro, Samuele
3 Caballero, Rafael E.
3 Cerna, David M.
...and 840 more Authors
all top 5

Cited in 72 Serials

166 Theoretical Computer Science
45 Journal of Logical and Algebraic Methods in Programming
42 Information and Computation
26 Formal Aspects of Computing
23 Journal of Symbolic Computation
20 The Journal of Logic and Algebraic Programming
19 Journal of Automated Reasoning
17 MSCS. Mathematical Structures in Computer Science
16 Journal of Computer and System Sciences
13 Acta Informatica
10 Information Processing Letters
10 Cybernetics and Systems Analysis
9 Annals of Pure and Applied Logic
8 Algebra Universalis
8 Higher-Order and Symbolic Computation
7 Science of Computer Programming
6 Artificial Intelligence
6 Fuzzy Sets and Systems
6 Journal of Pure and Applied Algebra
6 Applied Categorical Structures
6 Theory and Practice of Logic Programming
6 Logical Methods in Computer Science
5 Formal Methods in System Design
5 Annals of Mathematics and Artificial Intelligence
5 Logica Universalis
4 Diagrammes
4 Fundamenta Informaticae
3 Cahiers de Topologie et Géométrie Différentielle Catégoriques
3 Studia Logica
3 International Journal of Algebra and Computation
3 RAIRO. Theoretical Informatics and Applications
2 Programming and Computer Software
2 Order
2 Journal of Computer Science and Technology
2 International Journal of Foundations of Computer Science
2 International Journal of Computer Mathematics
2 RAIRO. Informatique Théorique et Applications
2 Applicable Algebra in Engineering, Communication and Computing
2 Theory and Applications of Categories
2 Mathematics in Computer Science
1 Reviews in Mathematical Physics
1 Journal of Geometry and Physics
1 Applied Mathematics and Computation
1 Information Sciences
1 Journal of Soviet Mathematics
1 The Journal of Symbolic Logic
1 Mathematische Zeitschrift
1 Notre Dame Journal of Formal Logic
1 Quaestiones Mathematicae
1 Semigroup Forum
1 Transactions of the American Mathematical Society
1 Topology and its Applications
1 New Generation Computing
1 International Journal of Approximate Reasoning
1 Discrete Event Dynamic Systems
1 Distributed Computing
1 Archive for Mathematical Logic
1 Journal of Logic, Language and Information
1 Journal of Applied Non-Classical Logics
1 Journal of Functional Programming
1 Soft Computing
1 Probability in the Engineering and Informational Sciences
1 Sādhanā
1 Computer Languages, Systems & Structures
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 ACM Transactions on Computational Logic
1 Journal of Applied Logic
1 The Review of Symbolic Logic
1 Advances in Fuzzy Systems
1 Symmetry
1 Journal of Theoretical Biology
1 Journal of Membrane Computing

Citations by Year