Edit Profile Meseguer Guaita, José Compute Distance To: Compute Author ID: meseguer.jose Published as: Meseguer, J.; Meseguer, Jose; Meseguer, José Homepage: http://formalmethods.web.engr.illinois.edu/meseguer/ External Links: MGP · ORCID · ResearchGate · dblp · GND Documents Indexed: 245 Publications since 1975, including 11 Books Biographic References: 2 Publications all top 5 Co-Authors 23 single-authored 26 Martí-Oliet, Narciso 25 Escobar, Santiago 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 Bruni, Roberto 9 Sols, Ignacio 8 Palomino, Miguel 8 Rocha, Camilo 7 Alpuente, Marí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 Meadows, Catherine A. 5 Pfender, Michael 5 Sasse, Ralf 4 Degano, Pierpaolo 4 Farzan, Azadeh 4 Hendrix, Joe 4 Jouannaud, Jean-Pierre 4 Katelman, Michael 4 Stehr, Mark-Oliver 3 Cuenca-Ortega, Angel 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 Iida, Shusaku 1 Keaton, Mark H. 1 Knapp, Alexander 1 Kumar, Nirman 1 Liu, Zhiqiang 1 Lynch, Christopher A. 1 Mégrelis, Aristide 1 Mühlbauer, Tobias 1 Narendran, Paliath 1 Naumov, Pavel G. 1 Ogata, Kazuhiro 1 Pratt, Vaughan R. 1 Quesada, José F. 1 Rubio, Rubén 1 Santhanam, Keshav 1 Sen, Koushik 1 Sha, Lui 1 Sharykin, Raman 1 Smolka, Gert 1 Strømme, Stein Arild 1 Sun, Mu ...and 5 more Co-Authors all top 5 Serials 19 Theoretical Computer Science 9 Journal of Logical and Algebraic Methods in Programming 8 Information and Computation 6 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 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 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Fundamenta Informaticae 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 all top 5 Fields 229 Computer science (68-XX) 68 Mathematical logic and foundations (03-XX) 25 Category theory; homological algebra (18-XX) 15 General algebraic systems (08-XX) 11 Information and communication theory, circuits (94-XX) 7 General and overarching topics; collections (00-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 3 History and biography (01-XX) 2 Algebraic geometry (14-XX) 2 Biology and other natural sciences (92-XX) 1 Manifolds and cell complexes (57-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 218 Publications have been cited 2,543 times in 817 Documents Cited by ▼ Year ▼ Conditional rewriting logic as a unified model of concurrency. Zbl 0758.68043Meseguer, José 177 1992 All about Maude – a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. Zbl 1115.68046Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn 153 2007 Membership algebra as a logical framework for equational specification. Zbl 0903.08009Meseguer, José 104 1998 Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056Goguen, Joseph A.; Meseguer, José 96 1992 Petri nets are monoids. Zbl 0711.68077Meseguer, José; Montanari, Ugo 65 1990 Initiality, induction, and computability. Zbl 0571.68004Meseguer, José; Goguen, Joseph A. 52 1985 The Maude 2.0 system. Zbl 1038.68559Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn 51 2003 Specification and proof in membership equational logic. Zbl 0938.68057Bouhoula, A.; Jouannaud, J.-P.; Meseguer, J. 49 2000 Universal realization, persistent interconnection and implementation of abstract modules. Zbl 0493.68014Goguen, J.; Meseguer, J. 44 1982 Completeness of many-sorted equational logic. Zbl 0498.03018Goguen, J. A.; Meseguer, J. 41 1982 Semantic foundations for generalized rewrite theories. Zbl 1097.68051Bruni, Roberto; Meseguer, José 39 2006 General logics. Zbl 0691.03001Meseguer, José 32 1989 Completeness of many-sorted equational logic. Zbl 0602.08004Goguen, J. A.; Meseguer, J. 32 1985 Proving operational termination of membership equational programs. Zbl 1192.68154Durán, Francisco; Lucas, Salvador; Marché, Claude; Meseguer, José; Urbain, Xavier 30 2008 Operational termination of conditional term rewriting systems. Zbl 1185.68374Lucas, Salvador; Marché, Claude; Meseguer, José 30 2005 Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Zbl 1115.68079Meseguer, José; Thati, Prasanna 28 2007 Principles of Maude. Zbl 0912.68095Clavel, M.; Eker, S.; Lincoln, P.; Meseguer, J. 28 1996 Models and equality for logical programming. Zbl 0626.68032Goguen, Joseph A.; Meseguer, José 27 1987 Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091Goguen, Joseph A.; Meseguer, José 27 1984 The rewriting logic semantics project. Zbl 1111.68068Meseguer, José; Roşu, Grigore 25 2007 Rewriting logic: Roadmap and bibliography. Zbl 1027.68613Martí-Oliet, Narciso; Meseguer, José 25 2002 Rewriting logic as a logical and semantic framework. Zbl 0912.68096Martí-Oliet, Narciso; Meseguer, José 24 1996 Twenty years of rewriting logic. Zbl 1267.03043Meseguer, José 23 2012 Semantics and pragmatics of real-time maude. Zbl 1115.68095Ölveczky, Peter Csaba; Meseguer, José 23 2007 Folding variant narrowing and optimal variant termination. Zbl 1291.68217Escobar, Santiago; Sasse, Ralf; Meseguer, José 22 2012 Maude-NPA: cryptographic protocol analysis modulo equational properties. Zbl 1252.94061Escobar, Santiago; Meadows, Catherine; Meseguer, José 22 2009 Specification of real-time and hybrid systems in rewriting logic. Zbl 1001.68061Ölveczky, Peter Csaba; Meseguer, José 22 2002 Metalevel computation in Maude. Zbl 0917.68024Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Meseguer, J. 22 1998 On the semantics of place/transition Petri nets. Zbl 0876.68072Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 21 1997 Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Zbl 0796.68144Meseguer, José; Goguen, Joseph A. 21 1993 Rewriting logic semantics: from language specifications to formal analysis tools. Zbl 1126.68464Meseguer, José; Roşu, Grigore 20 2004 Operational semantics for order-sorted algebra. Zbl 0591.68041Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José 20 1985 Order-sorted unification. Zbl 0691.03002Meseguer, José; Goguen, Joseph A.; Smolka, Gert 19 1989 Axiomatizing net computations and processes. Zbl 0722.68085Degano, Pierpaolo; Meseguer, José; Montanari, Ugo 18 1989 MTT: The Maude termination tool. (System description). Zbl 1165.68360Durán, Francisco; Lucas, Salvador; Meseguer, José 17 2008 Symbolic model checking of infinite-state systems using narrowing. Zbl 1203.68097Escobar, Santiago; Meseguer, José 17 2007 Axiomatizing the algebra of net computations and processes. Zbl 0849.68087Degano, Pierpaolo; Meseguer, José; Montanari, Ugo 17 1996 Operational semantics of OBJ-3. Zbl 0649.68028Kirchner, Claude; Kirchner, Hélène; Meseguer, José 17 1988 A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties. Zbl 1153.94375Escobar, Santiago; Meadows, Catherine; Meseguer, José 16 2006 Formal analysis of Java programs in JavaFAN. Zbl 1103.68611Farzan, Azadeh; Chen, Feng; Meseguer, José; Roşu, Grigore 16 2004 Rewriting logic as a unifying framework for Petri nets. Zbl 1017.68080Stehr, Mark-Oliver; Meseguer, José; Ölveczky, Peter Csaba 16 2001 Rewriting modulo SMT and open system analysis. Zbl 1367.68151Rocha, Camilo; Meseguer, José; Muñoz, César 15 2014 Abstract logical model checking of infinite-state systems using narrowing. Zbl 1356.68140Bae, Kyungmin; Escobar, Santiago; Meseguer, José 15 2011 The Maude LTL model checker. Zbl 1272.68243Eker, Steven; Meseguer, José; Sridharanarayanan, Ambarish 15 2004 Reflection in conditional rewriting logic. Zbl 1001.68060Clavel, Manuel; Meseguer, José 15 2002 May I borrow your logic? (Transporting logical structures along maps). Zbl 0901.68186Cerioli, Maura; Meseguer, José 15 1997 From Petri nets to linear logic. Zbl 0746.03057Martí-Oliet, Narciso; Meseguer, José 15 1991 On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Zbl 1272.03139Durán, Francisco; Meseguer, José 14 2012 Semantic models for distributed object reflection. Zbl 1049.68815Meseguer, José; Talcott, Carolyn 14 2002 Reflection and strategies in rewriting logic. Zbl 0917.68107Clavel, Manuel; Meseguer, José 14 1996 Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. Zbl 0993.68058Bruni, Roberto; Meseguer, José; Montanari, Ugo 13 2002 An introduction to OBJ 3. Zbl 0666.68010Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide 13 1988 What is a multi-modeling language? Zbl 1253.68225Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin 12 2009 A rewriting logic approach to operational semantics. Zbl 1165.68041Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José 12 2009 Equational abstractions. Zbl 1155.68050Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso 12 2008 Generalized rewrite theories. Zbl 1039.03020Bruni, Roberto; Meseguer, José 12 2003 Mapping tile logic into rewriting logic. Zbl 0903.08010Meseguer, José; Montanari, Ugo 12 1998 A modular order-sorted equational generalization algorithm. Zbl 1314.68169Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José 11 2014 The temporal logic of rewriting: A gentle introduction. Zbl 1143.68459Meseguer, José 11 2008 Modular rewriting semantics of programming languages. Zbl 1108.68401Meseguer, José; Braga, Christiano 11 2004 Order completion monads. Zbl 0522.18005Meseguer, J. 11 1983 Varieties of chain-complete algebras. Zbl 0445.18008Meseguer, Jose 11 1980 Strict coherence of conditional rewriting modulo axioms. Zbl 1386.68080Meseguer, José 10 2017 Operational termination of membership equational programs: the order-sorted way. Zbl 1347.68198Lucas, Salvador; Meseguer, José 10 2009 Variant narrowing and equational unification. Zbl 1347.68194Escobar, Santiago; Meseguer, José; Sasse, Ralf 10 2009 Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Zbl 1111.03034Clavel, Manuel; Meseguer, José; Palomino, Miguel 10 2007 Formal JVM code analysis in JavaFAN. Zbl 1108.68382Farzan, Azadeh; Meseguer, José; Roşu, Grigore 10 2004 Process versus unfolding semantics for Place/Transition Petri nets. Zbl 0872.68130Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 10 1996 On the axiomatization of “if-then-else”. Zbl 0628.68032Guessarian, Irène; Meseguer, José 10 1987 Proving safety properties of rewrite theories. Zbl 1344.68142Rocha, Camilo; Meseguer, José 9 2011 Order-sorted generalization. Zbl 1347.68193Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro 9 2009 A rewriting semantics for Maude strategies. Zbl 1347.68199Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto 9 2009 Abstraction and completeness for real-time Maude. Zbl 1279.68218Ölveczky, Peter Csaba; Meseguer, José 9 2007 Deduction, strategies, and rewriting. Zbl 1277.68241Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto 9 2007 Maude’s module algebra. Zbl 1116.68047Durán, Francisco; Meseguer, José 9 2007 The HOL/NuPRL proof translator. A practical approach to formal interoperability. Zbl 1005.68542Naumov, Pavel; Stehr, Mark-Oliver; Meseguer, José 9 2001 Functorial models for Petri nets. Zbl 1005.68102Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 9 2001 Towards Maude 2. 0. Zbl 0962.68108Clavel, M.; Duran, F.; Eker, S.; Lincoln, P.; Marti-Oliet, N.; Meseguer, J.; Quesada, J. F. 9 2000 Internal strategies in a rewriting implementation of tile systems. Zbl 0917.68104Bruni, R.; Meseguer, J.; Montanari, U. 9 1998 Variant-based satisfiability in initial algebras. Zbl 1396.68074Meseguer, José 8 2016 Normal forms and normal theories in conditional rewriting. Zbl 1356.68124Lucas, Salvador; Meseguer, José 8 2016 A rewriting-based model checker for the linear temporal logic of rewriting. Zbl 1291.68244Bae, Kyungmin; Meseguer, José 8 2012 Termination modulo combinations of equational theories. Zbl 1193.68145Durán, Francisco; Lucas, Salvador; Meseguer, José 8 2009 Specification and analysis of distributed object-based stochastic hybrid systems. Zbl 1178.68350Meseguer, José; Sharykin, Raman 8 2006 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 Modular rewriting semantics in practice. Zbl 1272.68168Braga, Christiano; Meseguer, José 8 2005 A sufficient completeness reasoning tool for partial specifications. Zbl 1078.68668Hendrix, Joe; Clavel, Manuel; Meseguer, José 8 2005 Rewriting semantics of meta-objects and composable distributed services. Zbl 0962.68081Denker, G.; Meseguer, J.; Talcott, C. 8 2000 Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems. Zbl 0962.68109Olveczky, Peter Csaba; Meseguer, Jose 8 2000 Rewriting logic and maude: A wide-spectrum semantic framework for object-based distributed systems. Zbl 0968.68079Meseguer, José 8 2000 On order-complete universal algebra and enriched functorial semantics. Zbl 0368.18006Meseguer, J. 8 1977 Order-sorted equational unification revisited. Zbl 1291.68220Hendrix, Joe; Meseguer, José 7 2012 An algebraic semantics for MOF. Zbl 1213.68358Boronat, Artur; Meseguer, José 7 2010 Algebraic simulations. Zbl 1184.68300Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso 7 2010 A modular equational generalization algorithm. Zbl 1185.68219Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro 7 2009 Effectively checking the finite variant property. Zbl 1145.68444Escobar, Santiago; Meseguer, José; Sasse, Ralf 7 2008 Partial order reduction for rewriting semantics of programming languages. Zbl 1279.68207Farzan, Azadeh; Meseguer, José 7 2007 Reflective metalogical frameworks. Zbl 1407.03045Basin, David; Clavel, Manuel; Meseguer, José 7 2004 An extensible module algebra for Maude. Zbl 0919.68076Durán, Francisco; Meseguer, José 7 1998 Representation theorems for Petri nets. Zbl 0885.68115Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 7 1997 \({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance. Zbl 07169105Alpuente, María; Ballis, Demis; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José 1 2019 A constructor-based reachability logic for rewrite theories. Zbl 06932831Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José 5 2018 Metalevel algorithms for variant satisfiability. Zbl 1430.68423Skeirik, Stephen; Meseguer, José 4 2018 Symbolic reasoning methods in rewriting logic and Maude. Zbl 06958305Meseguer, José 2 2018 Variant-based decidable satisfiability in initial algebras with predicates. Zbl 06932837Gutiérrez, Raúl; Meseguer, José 1 2018 The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors. Zbl 1393.68088Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl 1 2018 Strict coherence of conditional rewriting modulo axioms. Zbl 1386.68080Meseguer, José 10 2017 Dependency pairs for proving termination properties of conditional term rewriting systems. Zbl 1353.68155Lucas, Salvador; Meseguer, José 5 2017 Partial evaluation of order-sorted equational programs modulo axioms. Zbl 06791216Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José 3 2017 Equational formulas and pattern operations in initial order-sorted algebras. Zbl 1362.68054Meseguer, José; Skeirik, Stephen 3 2017 Rewriting modulo SMT and open system analysis. Zbl 1353.68156Rocha, Camilo; Meseguer, José; Muñoz, César 3 2017 Variant-based satisfiability in initial algebras. Zbl 1396.68074Meseguer, José 8 2016 Normal forms and normal theories in conditional rewriting. Zbl 1356.68124Lucas, Salvador; Meseguer, José 8 2016 Order-sorted rewriting and congruence closure. Zbl 06591838Meseguer, José 3 2016 Built-in variant generation and unification, and their applications in maude 2.7. Zbl 06623261Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn 2 2016 Modeling and analyzing mobile ad hoc networks in Real-Time Maude. Zbl 1356.68123Liu, Si; Ölveczky, Peter Csaba; Meseguer, José 1 2016 Metalevel algorithms for variant satisfiability. Zbl 1367.68256Skeirik, Stephen; Meseguer, José 1 2016 Extending the 2D dependency pair framework for conditional term rewriting systems. Zbl 06488533Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl 4 2015 Executable rewriting logic semantics of Orc and formal analysis of Orc programs. Zbl 1329.68169AlTurki, Musab A.; Meseguer, José 4 2015 Equational formulas and pattern operations in initial order-sorted algebras. Zbl 1362.68053Meseguer, José; Skeirik, Stephen 3 2015 Localized operational termination in general logics. Zbl 1453.68053Lucas, Salvador; Meseguer, José 3 2015 Formal analysis of leader election in MANETs using Real-Time Maude. Zbl 06448714Liu, Si; Ölveczky, Peter Csaba; Meseguer, José 2 2015 Symbolic protocol analysis with disequality constraints modulo equational theories. Zbl 1437.94060Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia 1 2015 Rewriting modulo SMT and open system analysis. Zbl 1367.68151Rocha, Camilo; Meseguer, José; Muñoz, César 15 2014 A modular order-sorted equational generalization algorithm. Zbl 1314.68169Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José 11 2014 2D dependency pairs for proving operational termination of CTRSs. Zbl 1367.68145Lucas, Salvador; Meseguer, José 5 2014 Infinite-state model checking of LTLR formulas using narrowing. Zbl 1366.68162Bae, Kyungmin; Meseguer, José 5 2014 State space reduction in the Maude-NRL protocol analyzer. Zbl 1360.94307Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia 4 2014 Strong and weak operational termination of order-sorted rewrite theories. Zbl 1367.68144Lucas, Salvador; Meseguer, José 3 2014 A framework for mobile ad hoc networks in Real-Time Maude. Zbl 1356.68122Liu, Si; Ölveczky, Peter Csaba; Meseguer, José 2 2014 ACUOS: a system for modular ACU generalization with subtyping and inheritance. Zbl 1432.68422Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José 2 2014 Predicate abstraction of rewrite theories. Zbl 1416.68118Bae, Kyungmin; Meseguer, José 2 2014 Mechanical analysis of reliable communication in the alternating bit protocol using the Maude invariant analyzer tool. Zbl 1407.68302Rocha, Camilo; Meseguer, José 1 2014 The rewriting logic semantics project: a progress report. Zbl 1435.68188Meseguer, José; Roşu, Grigore 4 2013 Statistical model checking for composite actor systems. Zbl 1394.68228Eckhardt, Jonas; Mühlbauer, Tobias; Meseguer, José; Wirsing, Martin 4 2013 Asymmetric unification: a new unification paradigm for cryptographic protocol analysis. Zbl 1381.68264Erbatur, Serdar; Escobar, Santiago; Kapur, Deepak; Liu, Zhiqiang; Lynch, Christopher A.; Meadows, Catherine; Meseguer, José; Narendran, Paliath; Santiago, Sonia; Sasse, Ralf 2 2013 Twenty years of rewriting logic. Zbl 1267.03043Meseguer, José 23 2012 Folding variant narrowing and optimal variant termination. Zbl 1291.68217Escobar, Santiago; Sasse, Ralf; Meseguer, José 22 2012 On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Zbl 1272.03139Durán, Francisco; Meseguer, José 14 2012 A rewriting-based model checker for the linear temporal logic of rewriting. Zbl 1291.68244Bae, Kyungmin; Meseguer, José 8 2012 Order-sorted equational unification revisited. Zbl 1291.68220Hendrix, Joe; Meseguer, José 7 2012 Formalization and correctness of the PALS architectural pattern for distributed real-time systems. Zbl 1284.68073Meseguer, José; Ölveczky, Peter Csaba 4 2012 Model checking LTLR formulas under localized fairness. Zbl 1367.68180Bae, Kyungmin; Meseguer, José 3 2012 Rewriting semantics of production rule sets. Zbl 1279.68188Katelman, Michael; Keller, Sean; Meseguer, José 2 2012 Order-sorted equality enrichments modulo axioms. Zbl 1366.68185Gutiérrez, Raúl; Meseguer, José; Rocha, Camilo 1 2012 Abstract logical model checking of infinite-state systems using narrowing. Zbl 1356.68140Bae, Kyungmin; Escobar, Santiago; Meseguer, José 15 2011 Proving safety properties of rewrite theories. Zbl 1344.68142Rocha, Camilo; Meseguer, José 9 2011 The rewriting logic semantics project: a progress report. Zbl 1342.68198Meseguer, José; Roşu, Grigore 6 2011 Variants, unification, narrowing, and symbolic reachability in Maude 2.6. Zbl 1236.68180Duran, Francisco; Eker, Steven; Escobar, Santiago; Meseguer, Jose; Talcott, Carolyn 4 2011 vlogsl: a strategy language for simulation-based verification of hardware. Zbl 1325.68150Katelman, Michael; Meseguer, José 3 2011 An algebraic semantics for MOF. Zbl 1213.68358Boronat, Artur; Meseguer, José 7 2010 Algebraic simulations. Zbl 1184.68300Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso 7 2010 A Church-Rosser checker tool for conditional order-sorted equational Maude specifications. Zbl 1306.68065Durán, Francisco; Meseguer, José 6 2010 A dependency pair framework for \(A \vee C\)-termination. Zbl 1306.68060Alarcón, Beatriz; Lucas, Salvador; Meseguer, José 6 2010 Constructors, sufficient completeness, and deadlock freedom of rewrite theories. Zbl 1306.68087Rocha, Camilo; Meseguer, José 5 2010 A Maude coherence checker tool for conditional order-sorted rewrite theories. Zbl 1306.68066Durán, Francisco; Meseguer, José 5 2010 The linear temporal logic of rewriting Maude model checker. Zbl 1306.68099Bae, Kyungmin; Meseguer, José 4 2010 Concurrent rewriting semantics and analysis of asynchronous digital circuits. Zbl 1306.68078Katelman, Michael; Keller, Sean; Meseguer, José 4 2010 Folding variant narrowing and optimal variant termination. Zbl 1306.68069Escobar, Santiago; Sasse, Ralf; Meseguer, José 4 2010 Twenty years of rewriting logic. Zbl 1306.68082Meseguer, José 2 2010 Coverset induction with partiality and subsorts: a powerlist case study. Zbl 1291.68346Hendrix, Joe; Kapur, Deepak; Meseguer, José 2 2010 A formal pattern architecture for safe medical systems. Zbl 1306.68090Sun, Mu; Meseguer, José; Sha, Lui 1 2010 Maude-NPA: cryptographic protocol analysis modulo equational properties. Zbl 1252.94061Escobar, Santiago; Meadows, Catherine; Meseguer, José 22 2009 What is a multi-modeling language? Zbl 1253.68225Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin 12 2009 A rewriting logic approach to operational semantics. Zbl 1165.68041Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José 12 2009 Operational termination of membership equational programs: the order-sorted way. Zbl 1347.68198Lucas, Salvador; Meseguer, José 10 2009 Variant narrowing and equational unification. Zbl 1347.68194Escobar, Santiago; Meseguer, José; Sasse, Ralf 10 2009 Order-sorted generalization. Zbl 1347.68193Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro 9 2009 A rewriting semantics for Maude strategies. Zbl 1347.68199Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto 9 2009 Termination modulo combinations of equational theories. Zbl 1193.68145Durán, Francisco; Lucas, Salvador; Meseguer, José 8 2009 A modular equational generalization algorithm. Zbl 1185.68219Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro 7 2009 Order-sorted parameterization and induction. Zbl 1253.68215Meseguer, José 5 2009 Methods for proving termination of rewriting-based programming languages by transformation. Zbl 1337.68067Durán, Francisco; Lucas, Salvador; Meseguer, José 4 2009 Proving operational termination of membership equational programs. Zbl 1192.68154Durán, Francisco; Lucas, Salvador; Marché, Claude; Meseguer, José; Urbain, Xavier 30 2008 MTT: The Maude termination tool. (System description). Zbl 1165.68360Durán, Francisco; Lucas, Salvador; Meseguer, José 17 2008 Equational abstractions. Zbl 1155.68050Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso 12 2008 The temporal logic of rewriting: A gentle introduction. Zbl 1143.68459Meseguer, José 11 2008 Effectively checking the finite variant property. Zbl 1145.68444Escobar, Santiago; Meseguer, José; Sasse, Ralf 7 2008 Theorem proving modulo based on Boolean equational procedures. Zbl 1139.03010Rocha, Camilo; Meseguer, José 3 2008 Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Zbl 1137.68003Degano, Pierpaolo (ed.); De Nicola, Rocco (ed.); Meseguer, José (ed.) 1 2008 Termination of just/fair computations in term rewriting. Zbl 1146.68040Lucas, 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.68046Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn 153 2007 Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Zbl 1115.68079Meseguer, José; Thati, Prasanna 28 2007 The rewriting logic semantics project. Zbl 1111.68068Meseguer, José; Roşu, Grigore 25 2007 Semantics and pragmatics of real-time maude. Zbl 1115.68095Ölveczky, Peter Csaba; Meseguer, José 23 2007 Symbolic model checking of infinite-state systems using narrowing. Zbl 1203.68097Escobar, Santiago; Meseguer, José 17 2007 Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Zbl 1111.03034Clavel, Manuel; Meseguer, José; Palomino, Miguel 10 2007 Abstraction and completeness for real-time Maude. Zbl 1279.68218Ölveczky, Peter Csaba; Meseguer, José 9 2007 Deduction, strategies, and rewriting. Zbl 1277.68241Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto 9 2007 Maude’s module algebra. Zbl 1116.68047Durán, Francisco; Meseguer, José 9 2007 Partial order reduction for rewriting semantics of programming languages. Zbl 1279.68207Farzan, Azadeh; Meseguer, José 7 2007 A rewriting semantics for ABEL with applications to hardware/software co-design and analysis. Zbl 1279.68189Katelman, Michael; Meseguer, José 6 2007 On the completeness of context-sensitive order-sorted specifications. Zbl 1203.68098Hendrix, Joe; Meseguer, José 6 2007 Narrowing and rewriting logic: from foundations to applications. Zbl 1279.68205Escobar, Santiago; Meseguer, José; Thati, Prasanna 4 2007 A rewriting logic approach to operational semantics (extended abstract). Zbl 1278.68147Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José 1 2007 Semantic foundations for generalized rewrite theories. Zbl 1097.68051Bruni, Roberto; Meseguer, José 39 2006 A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties. Zbl 1153.94375Escobar, Santiago; Meadows, Catherine; Meseguer, José 16 2006 Specification and analysis of distributed object-based stochastic hybrid systems. Zbl 1178.68350Meseguer, José; Sharykin, Raman 8 2006 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 The rewriting logic semantics project. Zbl 1273.68211Meseguer, José; Roşu, Grigore 5 2006 ...and 118 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 896 Authors 90 Meseguer Guaita, José 28 Lucas, Salvador 27 Montanari, Ugo G. 25 Martí-Oliet, Narciso 23 Corradini, Andrea 23 Diaconescu, Răzvan 22 Roşu, Grigore 21 Escobar, Santiago 20 Alpuente, María 18 Bruni, Roberto 18 Lucanu, Dorel 17 Kirchner, Hélène 17 Talcott, Carolyn L. 16 Tarlecki, Andrzej 15 Olveczky, Peter Csaba 14 Durán, Francisco 13 Verdejo, Alberto 12 Baldan, Paolo 12 Futatsugi, Kokichi 12 Gadducci, Fabio 12 Mossakowski, Till 12 Sannella, Donald T. 11 Ehrig, Hartmut 11 Goguen, Joseph Amadee 11 Wirsing, Martin 10 Ballis, Demis 10 Ogata, Kazuhiro 10 Rusu, Vlad 9 Gutiérrez, Raúl 9 Orejas, Fernando 9 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 Owe, Olaf 7 Clavel, Manuel 7 Jouannaud, Jean-Pierre 7 Kutsia, Temur 7 Palomino, Miguel 7 Riesco, Adrián 7 Sapiña, Julia 6 Andrei, Oana 6 Arusoaie, Andrei 6 Fernández, Maribel 6 Frechina, Francisco 6 Gallier, Jean H. 6 Meadows, Catherine A. 6 Nishida, Naoki 6 Rocha, Camilo 6 Scedrov, Andre 6 Stehr, Mark-Oliver 5 Alarcón, Beatriz 5 Bidoit, Michel 5 Falaschi, Moreno 5 Iborra, José 5 Meinke, Karl 5 Mosses, Peter D. 5 Padawitz, Peter 5 Sobociński, Paweł 5 van Glabbeek, Robert Jan 5 Vidal, Germán 4 Arbab, Farhad 4 Cervesato, Iliano 4 Erné, Marcel 4 Gorrieri, Roberto 4 Gramlich, Bernhard 4 Kanovich, Max Iosifovich 4 Knapp, Alexander 4 Kohlhase, Michael 4 König, Barbara 4 Lincoln, Patrick D. 4 Melgratti, Hernán 4 Oriat, C. 4 Parisi-Presicce, Francesco 4 Ringeissen, Christophe 4 Sassone, Vladimiro 4 Skeirik, Stephen 4 Thati, Prasanna 4 Ţuţu, Ionuţ 3 Adámek, Jiří 3 Aït-Kaci, Hassan 3 Astesiano, Egidio 3 Bae, Kyungmin 3 Baez, John C. 3 Borovanský, Peter 3 Bouhoula, Adel 3 Breazu-Tannen, Val 3 Caballero, Rafael E. 3 Caltais, Georgiana 3 Ciobâcă, Ştefan 3 Ciobanu, Gabriel 3 Clarke, Dave 3 Degano, Pierpaolo 3 Dershowitz, Nachum 3 Gnaedig, Isabelle 3 Goriac, Eugen-Ioan 3 Heckel, Reiko ...and 796 more Authors all top 5 Cited in 70 Serials 171 Theoretical Computer Science 40 Information and Computation 33 Journal of Logical and Algebraic Methods in Programming 24 Formal Aspects of Computing 22 Journal of Symbolic Computation 21 The Journal of Logic and Algebraic Programming 16 Journal of Computer and System Sciences 16 MSCS. Mathematical Structures in Computer Science 14 Journal of Automated Reasoning 13 Acta Informatica 13 Information Processing Letters 10 Cybernetics and Systems Analysis 8 Higher-Order and Symbolic Computation 7 Algebra Universalis 7 Journal of Pure and Applied Algebra 7 Science of Computer Programming 7 Annals of Pure and Applied Logic 6 Artificial Intelligence 6 Fuzzy Sets and Systems 6 Applied Categorical Structures 6 Theory and Practice of Logic Programming 5 Formal Methods in System Design 5 Logica Universalis 5 Logical Methods in Computer Science 4 Diagrammes 4 Annals of Mathematics and Artificial Intelligence 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 Applied Mathematics and Computation 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 Journal of Mathematical Analysis and Applications 1 Reviews in Mathematical Physics 1 Journal of Geometry and Physics 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 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 all top 5 Cited in 28 Fields 755 Computer science (68-XX) 198 Mathematical logic and foundations (03-XX) 81 Category theory; homological algebra (18-XX) 34 General algebraic systems (08-XX) 25 Information and communication theory, circuits (94-XX) 20 Order, lattices, ordered algebraic structures (06-XX) 9 Biology and other natural sciences (92-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 History and biography (01-XX) 3 Combinatorics (05-XX) 3 Group theory and generalizations (20-XX) 3 Systems theory; control (93-XX) 2 Partial differential equations (35-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Statistics (62-XX) 2 Numerical analysis (65-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Nonassociative rings and algebras (17-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) 1 General topology (54-XX) 1 Manifolds and cell complexes (57-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Mathematics education (97-XX) Citations by Year