| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing |
Stable Availability under Denial of Service Attacks through Formal Patterns.  |
FASE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem |
The SynchAADL2Maude Tool. |
FASE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Boronat, José Meseguer |
Automated Model Synchronization: A Case Study on UML with Maude. |
ECEASST |
2011 |
DBLP BibTeX RDF |
|
| 1 | Santiago Escobar, Catherine Meadows, José Meseguer |
State Space Reduction in the Maude-NRL Protocol Analyzer |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | José Meseguer |
Maude. |
Encyclopedia of Parallel Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer |
Synchronous AADL and Its Formal Analysis in Real-Time Maude. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer |
Verification of microarchitectural refinements in rule-based systems. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer, Grigore Rosu |
The Rewriting Logic Semantics Project: A Progress Report. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott |
Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. |
RTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Schernhammer, José Meseguer |
Incremental checking of well-founded recursive specifications modulo axioms. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse |
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gul Agha, Olivier Danvy, José Meseguer (eds.) |
Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday |
Formal Modeling: Actors, Open Systems, Biological Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyungmin Bae, José Meseguer |
State/Event-Based LTL Model Checking under Parametric Generalized Fairness. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Camilo Rocha, José Meseguer |
Proving Safety Properties of Rewrite Theories. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Musab AlTurki, José Meseguer |
PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Boronat, José Meseguer |
An algebraic semantics for MOF. |
Formal Asp. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer, Miguel Palomino, Narciso Martí-Oliet |
Algebraic simulations. |
J. Log. Algebr. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mu Sun, José Meseguer |
Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control |
RTRTS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Musab AlTurki, José Meseguer |
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis |
RTRTS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Katelman, José Meseguer |
Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures |
RTRTS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, José Meseguer |
Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family |
RTRTS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, Artur Boronat, José Meseguer |
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer, Peter Csaba Ölveczky |
Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick O'Neil Meredith, Michael Katelman, José Meseguer, Grigore Rosu |
A formal executable semantics of Verilog. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Camilo Rocha, José Meseguer |
Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer |
Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. |
STM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joe Hendrix, Deepak Kapur, José Meseguer |
Coverset Induction with Partiality and Subsorts: A Powerlist Case Study. |
ITP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Katelman, José Meseguer |
vlogsl: A Strategy Language for Simulation-Based Verification of Hardware. |
Haifa Verification Conference |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mu Sun, José Meseguer, Lui Sha |
A Formal Pattern Architecture for Safe Medical Systems. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, José Meseguer |
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer |
Twenty Years of Rewriting Logic. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, Ralf Sasse, José Meseguer |
Folding Variant Narrowing and Optimal Variant Termination. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Beatriz Alarcón, Salvador Lucas, José Meseguer |
A Dependency Pair Framework for A OR C-Termination. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Katelman, Sean Keller, José Meseguer |
Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, José Meseguer |
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyungmin Bae, José Meseguer |
The Linear Temporal Logic of Rewriting Maude Model Checker. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago |
Sequential Protocol Composition in Maude-NPA. |
ESORICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Traian-Florin Serbanuta, Grigore Rosu, José Meseguer |
A rewriting logic approach to operational semantics. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Narciso Martí-Oliet, José Meseguer, Alberto Verdejo |
A Rewriting Semantics for Maude Strategies. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, José Meseguer, Ralf Sasse |
Variant Narrowing and Equational Unification. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda |
Order-Sorted Generalization. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Musab AlTurki, José Meseguer, Carl A. Gunter |
Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine Meadows, José Meseguer |
A Graphical User Interface for Maude-NPA. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Salvador Lucas, José Meseguer |
Methods for Proving Termination of Rewriting-based Programming Languages by Transformation. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Salvador Lucas, José Meseguer, Francisco Gutiérrez |
Web Services and Interoperability for the Maude Termination Tool. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvador Lucas, José Meseguer |
Operational Termination of Membership Equational Programs: the Order-Sorted Way. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Boronat, José Meseguer |
Algebraic Semantics of OCL-Constrained Metamodel Specifications. |
TOOLS |
2009 |
DBLP DOI BibTeX RDF |
OCL invariants, MOF metamodel, static and dynamic analysis of models, Membership equational logic |
| 1 | Artur Boronat, Reiko Heckel, José Meseguer |
Rewriting Logic Semantics and Verification of Model Transformations. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
Model and graph transformations, LTL model checking, reachability analysis, rewriting logic, MOF, QVT, Maude |
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Unification and Narrowing in Maude 2.4. |
RTA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Salvador Lucas, José Meseguer |
Termination Modulo Combinations of Equational Theories. |
FroCos |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer |
Order-Sorted Parameterization and Induction. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Boronat, José Meseguer |
MOMENT2: EMF Model Transformations in Maude. |
JISBD |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ravinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, José Meseguer |
Model-Checking DoS Amplification for VoIP Session Initiation. |
ESORICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer, Miguel Palomino, Narciso Martí-Oliet |
Equational abstractions. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvador Lucas, José Meseguer |
Termination of just/fair computations in term rewriting. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Musab AlTurki, José Meseguer |
Reduction Semantics and Formal Analysis of Orc Programs. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Narciso Martí-Oliet, José Meseguer, Miguel Palomino |
Algebraic Stuttering Simulations. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain |
Proving operational termination of membership equational programs. |
Higher-Order and Symbolic Computation |
2008 |
DBLP DOI BibTeX RDF |
Conditional term rewriting, Operational termination, Declarative rule-based languages, Program transformation, Membership equational logic |
| 1 | Lui Sha, José Meseguer |
Design of Complex Cyber Physical Systems with Formalized Architectural Patterns. |
Software-Intensive Systems and New Computing Paradigms |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan |
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Katelman, José Meseguer, Jennifer C. Hou |
Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Katelman, José Meseguer, Santiago Escobar |
Directed-Logical Testing for Functional Verification of Microprocessors. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Salvador Lucas, José Meseguer |
MTT: The Maude Termination Tool (System Description). |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, José Meseguer |
The Real-Time Maude Tool. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer, Grigore Rosu (eds.) |
Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings |
AMAST |
2008 |
DBLP BibTeX RDF |
|
| 1 | Artur Boronat, José Meseguer |
An Algebraic Semantics for MOF. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
metamodeling semantics, reflection, model-driven development, MOF, membership equational logic |
| 1 | Camilo Rocha, José Meseguer |
Theorem Proving Modulo Based on Boolean Equational Procedures. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing |
What Is a Multi-modeling Language? |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, José Meseguer, Ralf Sasse |
Effectively Checking the Finite Variant Property. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvador Lucas, José Meseguer |
Order-sorted dependency pairs. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
program analysis, termination, term rewriting |
| 1 | José Meseguer |
The Temporal Logic of Rewriting: A Gentle Introduction. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Pierpaolo Degano, José Meseguer |
Ugo Montanari in a Nutshell. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.) |
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday |
Concurrency, Graphs and Models |
2008 |
DBLP BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda |
A Modular Equational Generalization Algorithm. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, Catherine Meadows, José Meseguer |
State Space Reduction in the Maude-NRL Protocol Analyzer. |
ESORICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, José Meseguer |
Maude's module algebra. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, José Meseguer, Miguel Palomino |
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer, Grigore Rosu |
The rewriting logic semantics project. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Sasse, José Meseguer |
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, José Meseguer, Prasanna Thati |
Narrowing and Rewriting Logic: from Foundations to Applications. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Katelman, José Meseguer |
A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo |
Deduction, Strategies, and Rewriting. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, José Meseguer |
Recent Advances in Real-Time Maude. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, Catherine Meadows, José Meseguer |
Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Azadeh Farzan, José Meseguer |
Partial Order Reduction for Rewriting Semantics of Programming Languages. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Traian-Florin Serbanuta, Grigore Rosu, José Meseguer |
A Rewriting Logic Approach to Operational Semantics (Extended Abstract). |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, José Meseguer |
Abstraction and Completeness for Real-Time Maude. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Camilo Rocha, José Meseguer |
A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements. |
Revista Colombiana de Computación |
2007 |
DBLP BibTeX RDF |
|
| 1 | José Meseguer, Prasanna Thati |
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. |
Higher-Order and Symbolic Computation |
2007 |
DBLP DOI BibTeX RDF |
Rewrite theories, Security protocols, Reachability, Narrowing |
| 1 | Peter Csaba Ölveczky, José Meseguer |
Semantics and pragmatics of Real-Time Maude. |
Higher-Order and Symbolic Computation |
2007 |
DBLP DOI BibTeX RDF |
Simulation, Real-time systems, Model checking, Formal analysis, Rewriting logic, Object-oriented specification |
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
A Hierarchy of Data Types: From Trees to Sets. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott (eds.) |
All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic |
All About Maude |
2007 |
DBLP BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
User Interfaces and Metalanguage Applications. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Complete List of Maude Commands. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Using Maude. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Full Maude: Extending Core Maude. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Object-Oriented Modules. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Module Operations. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Introduction. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo |
Mobile Maude. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")