×

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: 240 Publications since 1975, including 4 Books
9 Contributions as Editor
Biographic References: 2 Publications
Co-Authors: 104 Co-Authors with 220 Joint Publications
1,778 Co-Co-Authors
all top 5

Co-Authors

27 single-authored
27 Escobar, Santiago
26 Martí-Oliet, Narciso
20 Durán, Francisco
17 Goguen, Joseph Amadee
17 Lucas, Salvador
16 Olveczky, Peter Csaba
14 Montanari, Ugo G.
12 Clavel, Manuel
12 Roşu, Grigore
12 Talcott, Carolyn L.
11 Eker, Steven
9 Alpuente, María
9 Bruni, Roberto
9 Sols, Ignacio
8 Palomino, Miguel
8 Rocha, Camilo
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 Meadows, Catherine A.
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
2 Agha, Gul A.
2 Basin, David A.
2 Boronat, Artur
2 Braga, Christiano
2 Cerioli, Maura
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 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 Casley, Ross
1 Chen, Feng
1 Coglio, Alessandro
1 Crew, Roger F.
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 Pratt, Vaughan R.
1 Quesada, José F.
1 Rubio, Rubén
1 Santhanam, Keshav
1 Sapiña, Julia
1 Sen, Koushik
...and 8 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

223 Publications have been cited 2,586 times in 840 Documents Cited by Year
Conditional rewriting logic as a unified model of concurrency. Zbl 0758.68043
Meseguer, José
193
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
156
2007
Membership algebra as a logical framework for equational specification. Zbl 0903.08009
Meseguer, José
108
1998
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056
Goguen, Joseph A.; Meseguer, José
101
1992
Petri nets are monoids. Zbl 0711.68077
Meseguer, José; Montanari, Ugo
61
1990
Specification and proof in membership equational logic. Zbl 0938.68057
Bouhoula, A.; Jouannaud, J.-P.; Meseguer, J.
55
2000
Initiality, induction, and computability. Zbl 0571.68004
Meseguer, José; Goguen, Joseph A.
50
1985
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
Universal realization, persistent interconnection and implementation of abstract modules. Zbl 0493.68014
Goguen, J.; Meseguer, J.
41
1982
Semantic foundations for generalized rewrite theories. Zbl 1097.68051
Bruni, Roberto; Meseguer, José
41
2006
Completeness of many-sorted equational logic. Zbl 0498.03018
Goguen, J. A.; Meseguer, J.
38
1982
Completeness of many-sorted equational logic. Zbl 0602.08004
Goguen, J. A.; Meseguer, J.
34
1985
Operational termination of conditional term rewriting systems. Zbl 1185.68374
Lucas, Salvador; Marché, Claude; Meseguer, José
32
2005
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Zbl 1115.68079
Meseguer, José; Thati, Prasanna
31
2007
Folding variant narrowing and optimal variant termination. Zbl 1291.68217
Escobar, Santiago; Sasse, Ralf; Meseguer, José
30
2012
Twenty years of rewriting logic. Zbl 1267.03043
Meseguer, José
29
2012
Maude-NPA: cryptographic protocol analysis modulo equational properties. Zbl 1252.94061
Escobar, Santiago; Meadows, Catherine; Meseguer, José
27
2009
Principles of Maude. Zbl 0912.68095
Clavel, M.; Eker, S.; Lincoln, P.; Meseguer, J.
26
1996
The rewriting logic semantics project. Zbl 1111.68068
Meseguer, José; Roşu, Grigore
26
2007
Rewriting logic: Roadmap and bibliography. Zbl 1027.68613
Martí-Oliet, Narciso; Meseguer, José
26
2002
Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091
Goguen, Joseph A.; Meseguer, José
26
1984
Proving operational termination of membership equational programs. Zbl 1192.68154
Durán, Francisco; Lucas, Salvador; Marché, Claude; Meseguer, José; Urbain, Xavier
26
2008
Semantics and pragmatics of real-time maude. Zbl 1115.68095
Ölveczky, Peter Csaba; Meseguer, José
25
2007
General logics. Zbl 0691.03001
Meseguer, José
23
1989
Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Zbl 0796.68144
Meseguer, José; Goguen, Joseph A.
22
1993
Specification of real-time and hybrid systems in rewriting logic. Zbl 1001.68061
Ölveczky, Peter Csaba; Meseguer, José
22
2002
Rewriting logic as a logical and semantic framework. Zbl 0912.68096
Martí-Oliet, Narciso; Meseguer, José
21
1996
Rewriting logic semantics: from language specifications to formal analysis tools. Zbl 1126.68464
Meseguer, José; Roşu, Grigore
20
2004
Symbolic model checking of infinite-state systems using narrowing. Zbl 1203.68097
Escobar, Santiago; Meseguer, José
20
2007
On the semantics of place/transition Petri nets. Zbl 0876.68072
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
20
1997
The Maude LTL model checker. Zbl 1272.68243
Eker, Steven; Meseguer, José; Sridharanarayanan, Ambarish
20
2004
Abstract logical model checking of infinite-state systems using narrowing. Zbl 1356.68140
Bae, Kyungmin; Escobar, Santiago; Meseguer, José
20
2011
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
18
1989
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Zbl 1272.03139
Durán, Francisco; Meseguer, José
17
2012
Rewriting logic as a unifying framework for Petri nets. Zbl 1017.68080
Stehr, Mark-Oliver; Meseguer, José; Ölveczky, Peter Csaba
17
2001
Formal analysis of Java programs in JavaFAN. Zbl 1103.68611
Farzan, Azadeh; Chen, Feng; Meseguer, José; Roşu, Grigore
16
2004
A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties. Zbl 1153.94375
Escobar, Santiago; Meadows, Catherine; Meseguer, José
16
2006
Models and equality for logical programming. Zbl 0626.68032
Goguen, Joseph A.; Meseguer, José
15
1987
Reflection in conditional rewriting logic. Zbl 1001.68060
Clavel, Manuel; Meseguer, José
15
2002
A modular order-sorted equational generalization algorithm. Zbl 1314.68169
Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José
15
2014
From Petri nets to linear logic. Zbl 0746.03057
Martí-Oliet, Narciso; Meseguer, José
15
1991
May I borrow your logic? (Transporting logical structures along maps). Zbl 0901.68186
Cerioli, Maura; Meseguer, José
15
1997
Rewriting modulo SMT and open system analysis. Zbl 1367.68151
Rocha, Camilo; Meseguer, José; Muñoz, César
15
2014
Semantic models for distributed object reflection. Zbl 1049.68815
Meseguer, José; Talcott, Carolyn
14
2002
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
What is a multi-modeling language? Zbl 1253.68225
Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin
13
2009
Strict coherence of conditional rewriting modulo axioms. Zbl 1386.68080
Meseguer, José
13
2017
Variant-based satisfiability in initial algebras. Zbl 1396.68074
Meseguer, José
13
2016
Operational semantics for order-sorted algebra. Zbl 0591.68041
Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José
13
1985
Generalized rewrite theories. Zbl 1039.03020
Bruni, Roberto; Meseguer, José
13
2003
Equational abstractions. Zbl 1155.68050
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
13
2008
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
12
2007
Normal forms and normal theories in conditional rewriting. Zbl 1356.68124
Lucas, Salvador; Meseguer, José
12
2016
Modular rewriting semantics of programming languages. Zbl 1108.68401
Meseguer, José; Braga, Christiano
12
2004
Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. Zbl 0993.68058
Bruni, Roberto; Meseguer, José; Montanari, Ugo
12
2002
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
Mapping tile logic into rewriting logic. Zbl 0903.08010
Meseguer, José; Montanari, Ugo
12
1998
Operational semantics of OBJ-3. Zbl 0649.68028
Kirchner, Claude; Kirchner, Hélène; Meseguer, José
11
1988
Order completion monads. Zbl 0522.18005
Meseguer, J.
11
1983
Variant narrowing and equational unification. Zbl 1347.68194
Escobar, Santiago; Meseguer, José; Sasse, Ralf
11
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
Varieties of chain-complete algebras. Zbl 0445.18008
Meseguer, Jose
11
1980
A rewriting logic approach to operational semantics. Zbl 1165.68041
Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José
11
2009
On the axiomatization of “if-then-else”. Zbl 0628.68032
Guessarian, Irène; Meseguer, José
10
1987
Axiomatizing net computations and processes. Zbl 0722.68085
Degano, Pierpaolo; Meseguer, José; Montanari, Ugo
10
1989
Functorial models for Petri nets. Zbl 1005.68102
Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
10
2001
The HOL/NuPRL proof translator. A practical approach to formal interoperability. Zbl 1005.68542
Naumov, Pavel; Stehr, Mark-Oliver; Meseguer, José
10
2001
Process versus unfolding semantics for Place/Transition Petri nets. Zbl 0872.68130
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
10
1996
Formal JVM code analysis in JavaFAN. Zbl 1108.68382
Farzan, Azadeh; Meseguer, José; Roşu, Grigore
10
2004
Internal strategies in a rewriting implementation of tile systems. Zbl 0917.68104
Bruni, R.; Meseguer, J.; Montanari, U.
9
1998
An introduction to OBJ 3. Zbl 0666.68010
Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide
9
1988
Proving safety properties of rewrite theories. Zbl 1344.68142
Rocha, Camilo; Meseguer, José
9
2011
Abstraction and completeness for real-time Maude. Zbl 1279.68218
Ölveczky, Peter Csaba; 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
A modular equational generalization algorithm. Zbl 1185.68219
Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro
9
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 rewriting-based model checker for the linear temporal logic of rewriting. Zbl 1291.68244
Bae, Kyungmin; Meseguer, José
8
2012
Order-sorted equational unification revisited. Zbl 1291.68220
Hendrix, Joe; Meseguer, José
8
2012
A rewriting semantics for Maude strategies. Zbl 1347.68199
Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
8
2009
Modular rewriting semantics in practice. Zbl 1272.68168
Braga, Christiano; Meseguer, José
8
2005
Deduction, strategies, and rewriting. Zbl 1277.68241
Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
8
2007
A sufficient completeness reasoning tool for partial specifications. Zbl 1078.68668
Hendrix, Joe; Clavel, Manuel; Meseguer, José
8
2005
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
On order-complete universal algebra and enriched functorial semantics. Zbl 0368.18006
Meseguer, J.
8
1977
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.
8
2006
Reflective metalogical frameworks. Zbl 1407.03045
Basin, David; Clavel, Manuel; Meseguer, José
8
2004
Research directions in rewriting logic. Zbl 0940.68069
Meseguer, José
7
1999
From Petri nets to linear logic through categories: A survey. Zbl 0766.68100
Martí-Oliet, Narciso; Meseguer, José
7
1991
An algebraic semantics for MOF. Zbl 1213.68358
Boronat, Artur; Meseguer, José
7
2010
On the completeness of context-sensitive order-sorted specifications. Zbl 1203.68098
Hendrix, Joe; Meseguer, José
7
2007
Representation theorems for Petri nets. Zbl 0885.68115
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
7
1997
Partial order reduction for rewriting semantics of programming languages. Zbl 1279.68207
Farzan, Azadeh; Meseguer, José
7
2007
Rewriting semantics of meta-objects and composable distributed services. Zbl 0962.68081
Denker, G.; Meseguer, J.; Talcott, C.
7
2000
Effectively checking the finite variant property. Zbl 1145.68444
Escobar, Santiago; Meseguer, José; Sasse, Ralf
7
2008
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
6
2020
Generalized rewrite theories, coherence completion, and symbolic methods. Zbl 07161316
Meseguer, José
4
2020
A partial evaluation framework for order-sorted equational programs modulo axioms. Zbl 07161321
Alpuente, M.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J.
4
2020
Ground confluence of order-sorted conditional specifications modulo axioms. Zbl 07161326
Durán, Francisco; Meseguer, José; Rocha, Camilo
2
2020
Order-sorted homeomorphic embedding modulo combinations of associativity and/or commutativity axioms. Zbl 07350035
Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José
2
2020
A constructor-based reachability logic for rewrite theories. Zbl 1471.68076
Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José
1
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
1
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é
4
2019
Metalevel algorithms for variant satisfiability. Zbl 1430.68423
Skeirik, Stephen; Meseguer, José
6
2018
A constructor-based reachability logic for rewrite theories. Zbl 1471.68075
Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José
4
2018
Symbolic reasoning methods in rewriting logic and Maude. Zbl 06958305
Meseguer, José
4
2018
Variant-based decidable satisfiability in initial algebras with predicates. Zbl 06932837
Gutiérrez, Raúl; Meseguer, José
2
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
2
2018
Strict coherence of conditional rewriting modulo axioms. Zbl 1386.68080
Meseguer, José
13
2017
Dependency pairs for proving termination properties of conditional term rewriting systems. Zbl 1353.68155
Lucas, Salvador; Meseguer, José
6
2017
Equational formulas and pattern operations in initial order-sorted algebras. Zbl 1362.68054
Meseguer, José; Skeirik, Stephen
4
2017
Partial evaluation of order-sorted equational programs modulo axioms. Zbl 06791216
Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José
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é
13
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
4
2016
Order-sorted rewriting and congruence closure. Zbl 1475.68142
Meseguer, José
4
2016
Modeling and analyzing mobile ad hoc networks in Real-Time Maude. Zbl 1356.68123
Liu, Si; Ölveczky, Peter Csaba; Meseguer, José
1
2016
Metalevel algorithms for variant satisfiability. Zbl 1367.68256
Skeirik, Stephen; Meseguer, José
1
2016
Executable rewriting logic semantics of Orc and formal analysis of Orc programs. Zbl 1329.68169
AlTurki, Musab A.; Meseguer, José
4
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
Equational formulas and pattern operations in initial order-sorted algebras. Zbl 1362.68053
Meseguer, José; Skeirik, Stephen
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
Symbolic protocol analysis with disequality constraints modulo equational theories. Zbl 1437.94060
Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia
1
2015
A modular order-sorted equational generalization algorithm. Zbl 1314.68169
Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José
15
2014
Rewriting modulo SMT and open system analysis. Zbl 1367.68151
Rocha, Camilo; Meseguer, José; Muñoz, César
15
2014
Infinite-state model checking of LTLR formulas using narrowing. Zbl 1366.68162
Bae, Kyungmin; Meseguer, José
5
2014
2D dependency pairs for proving operational termination of CTRSs. Zbl 1367.68145
Lucas, Salvador; Meseguer, José
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
State space reduction in the Maude-NRL protocol analyzer. Zbl 1360.94307
Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia
3
2014
Strong and weak operational termination of order-sorted rewrite theories. Zbl 1367.68144
Lucas, Salvador; Meseguer, José
3
2014
Predicate abstraction of rewrite theories. Zbl 1416.68118
Bae, Kyungmin; Meseguer, José
2
2014
A framework for mobile ad hoc networks in Real-Time Maude. Zbl 1356.68122
Liu, Si; Ölveczky, Peter Csaba; 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é
30
2012
Twenty years of rewriting logic. Zbl 1267.03043
Meseguer, José
29
2012
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Zbl 1272.03139
Durán, Francisco; Meseguer, José
17
2012
A rewriting-based model checker for the linear temporal logic of rewriting. Zbl 1291.68244
Bae, Kyungmin; Meseguer, José
8
2012
Order-sorted equational unification revisited. Zbl 1291.68220
Hendrix, Joe; 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é
20
2011
Proving safety properties of rewrite theories. Zbl 1344.68142
Rocha, Camilo; Meseguer, José
9
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
An algebraic semantics for MOF. Zbl 1213.68358
Boronat, Artur; Meseguer, José
7
2010
Algebraic simulations. Zbl 1184.68300
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
7
2010
A dependency pair framework for \(A \vee C\)-termination. Zbl 1306.68060
Alarcón, Beatriz; Lucas, Salvador; 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
Constructors, sufficient completeness, and deadlock freedom of rewrite theories. Zbl 1306.68087
Rocha, Camilo; Meseguer, José
5
2010
Folding variant narrowing and optimal variant termination. Zbl 1306.68069
Escobar, Santiago; Sasse, Ralf; Meseguer, José
4
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é
27
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
Variant narrowing and equational unification. Zbl 1347.68194
Escobar, Santiago; Meseguer, José; Sasse, Ralf
11
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é
3
2008
Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Zbl 1137.68003
1
2008
Termination of just/fair computations in term rewriting. Zbl 1146.68040
Lucas, Salvador; Meseguer, José
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
156
2007
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Zbl 1115.68079
Meseguer, José; Thati, Prasanna
31
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é
25
2007
Symbolic model checking of infinite-state systems using narrowing. Zbl 1203.68097
Escobar, Santiago; Meseguer, José
20
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
12
2007
Abstraction and completeness for real-time Maude. Zbl 1279.68218
Ölveczky, Peter Csaba; Meseguer, José
9
2007
Maude’s module algebra. Zbl 1116.68047
Durán, Francisco; Meseguer, José
8
2007
Deduction, strategies, and rewriting. Zbl 1277.68241
Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
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
A rewriting semantics for ABEL with applications to hardware/software co-design and analysis. Zbl 1279.68189
Katelman, Michael; Meseguer, José
6
2007
...and 123 more Documents
all top 5

Cited by 887 Authors

91 Meseguer Guaita, José
28 Lucas, Salvador
28 Martí-Oliet, Narciso
27 Montanari, Ugo G.
26 Escobar, Santiago
24 Alpuente, María
24 Corradini, Andrea
22 Roşu, Grigore
20 Diaconescu, Răzvan
18 Bruni, Roberto
18 Lucanu, Dorel
18 Talcott, Carolyn L.
17 Kirchner, Hélène
16 Tarlecki, Andrzej
16 Verdejo, Alberto
15 Durán, Francisco
15 Olveczky, Peter Csaba
13 Baldan, Paolo
13 Gadducci, Fabio
12 Futatsugi, Kokichi
12 Mossakowski, Till
12 Sannella, Donald T.
11 Ballis, Demis
11 Goguen, Joseph Amadee
11 Rusu, Vlad
11 Sapiña, Julia
11 Wirsing, Martin
10 Ehrig, Hartmut
10 Ogata, Kazuhiro
10 Rabe, Florian
9 Şerbănuţă, Traian Florin
8 Eker, Steven
8 Gaĭnă, Daniel
8 Hennicker, Rolf
8 Johnsen, Einar Broch
8 Kirchner, Claude
8 Kutsia, Temur
8 Orejas, Fernando
8 Owe, Olaf
7 Clavel, Manuel
7 Gutiérrez, Raúl
7 Jouannaud, Jean-Pierre
7 Nishida, Naoki
7 Palomino, Miguel
7 Riesco, Adrián
7 Rocha, Camilo
7 Stehr, Mark-Oliver
6 Andrei, Oana
6 Arusoaie, Andrei
6 Fernández, Maribel
6 Frechina, Francisco
6 Gallier, Jean H.
6 Meadows, Catherine A.
6 Pita, Isabel
6 Ringeissen, Christophe
5 Bidoit, Michel
5 Kohlhase, Michael
5 Meinke, Karl
5 Mosses, Peter D.
5 Padawitz, Peter
5 Scedrov, Andre
5 Sobociński, Paweł
5 van Glabbeek, Robert Jan
5 Vidal, Germán
4 Arbab, Farhad
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 Kanovich, Max Iosifovich
4 Knapp, Alexander
4 König, Barbara
4 Lincoln, Patrick D.
4 Marin, Mircea
4 Melgratti, Hernán
4 Oriat, C.
4 Rubio, Rubén
4 Sassone, Vladimiro
4 Skeirik, Stephen
4 Thati, Prasanna
4 Winkler, Sarah
3 Adámek, Jiří
3 Aït-Kaci, Hassan
3 Alarcón, Beatriz
3 Albert, Elvira
3 Bae, Kyungmin
3 Baez, John C.
3 Borovanský, Peter
3 Bouhoula, Adel
3 Buro, Samuele
3 Caballero, Rafael E.
3 Ciobâcă, Ştefan
3 Clarke, Dave
3 Dershowitz, Nachum
3 Erbatur, Serdar
3 Gnaedig, Isabelle
...and 787 more Authors
all top 5

Cited in 72 Serials

165 Theoretical Computer Science
42 Information and Computation
41 Journal of Logical and Algebraic Methods in Programming
26 Formal Aspects of Computing
23 Journal of Symbolic Computation
20 The Journal of Logic and Algebraic Programming
17 Journal of Automated Reasoning
16 Journal of Computer and System Sciences
16 MSCS. Mathematical Structures in Computer Science
13 Acta Informatica
10 Information Processing Letters
10 Cybernetics and Systems Analysis
8 Algebra Universalis
8 Higher-Order and Symbolic Computation
7 Science of Computer Programming
7 Annals of Pure and Applied Logic
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
5 Formal Methods in System Design
5 Annals of Mathematics and Artificial Intelligence
5 Logica Universalis
5 Logical Methods in Computer Science
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