If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference article
2012

Enhancing safety and security of distributed systems through formal patterns

Eckhardt, J., M̈uhlbauer, T., Meseguer, J. & Wirsing, M., Dec 1 2012, In : CEUR Workshop Proceedings. 834, p. 35-40 6 p.

Research output: Contribution to journalConference article

PALS-based analysis of an airplane multirate control system in real-time maude

Bae, K., Krisiloff, J., Meseguer, J. & Ölveczky, P. C., Dec 29 2012, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 105, p. 5-21 17 p.

Research output: Contribution to journalConference article

Open Access

Security Policies and Security Models

Goguen, J. A. & Meseguer, J., Jul 6 2012, In : Proceedings - IEEE Symposium on Security and Privacy. 2012-July, July, p. 11-20 10 p., 6234468.

Research output: Contribution to journalConference article

Unwinding and Inference Control

Goguen, J. A. & Meseguer, J., Jul 6 2012, In : Proceedings - IEEE Symposium on Security and Privacy. 2012-July, July, p. 75-86 12 p., 6234812.

Research output: Contribution to journalConference article

2009

A modular equational generalization algorithm

Alpuente, M., Escobar, S., Meseguer, J. & Ojeda, P., Apr 6 2009, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5438 LNCS, p. 24-39 16 p.

Research output: Contribution to journalConference article

2008

A Rewriting semantics for Maude strategies

Martí-Oliet, N., Meseguer, J. & Verdejo, A., Dec 1 2008, In : Electronic Notes in Theoretical Computer Science. p. 207-226 20 p.

Research output: Contribution to journalConference article

Operational termination of membership equational programs: The order-sorted way

Lucas, S. & Meseguer, J., Dec 1 2008, In : Electronic Notes in Theoretical Computer Science. p. 189-205 17 p.

Research output: Contribution to journalConference article

Variant Narrowing and equational unification

Escobar, S., Meseguer, J. & Sasse, R., Dec 1 2008, In : Electronic Notes in Theoretical Computer Science. p. 91-105 15 p.

Research output: Contribution to journalConference article

2005

A sufficient completeness reasoning tool for partial specifications

Hendrix, J., Clavel, M. & Meseguer, J., Jan 1 2005, In : Lecture Notes in Computer Science. 3467, p. 165-174 10 p.

Research output: Contribution to journalConference article

Complete symbolic reachability analysis using back-and-forth narrowing

Thati, P. & Meseguer, J., Oct 26 2005, In : Lecture Notes in Computer Science. 3629, p. 379-394 16 p.

Research output: Contribution to journalConference article

Localized fairness: A rewriting semantics

Meseguer, J., Jan 1 2005, In : Lecture Notes in Computer Science. 3467, p. 250-263 14 p.

Research output: Contribution to journalConference article

Natural narrowing for general term rewriting systems

Escobar, S., Meseguer, J. & Thati, P., Sep 26 2005, In : Lecture Notes in Computer Science. 3467, p. 279-293 15 p.

Research output: Contribution to journalConference article

Natural rewriting for general term rewriting systems

Escobar, S., Meseguer, J. & Thati, P., Oct 18 2005, In : Lecture Notes in Computer Science. 3573, p. 101-116 16 p.

Research output: Contribution to journalConference article

Theoroidal maps as algebraic simulations

Martí-Oliet, N., Meseguer, J. & Palomino, M., Sep 14 2005, In : Lecture Notes in Computer Science. 3423, p. 126-143 18 p.

Research output: Contribution to journalConference article

2004

Reflection in membership equational logic, many-sorted equational logic, horn logic with equality, and rewriting logic

Clavel, M., Meseguer, J. & Palomino, M., Apr 2004, In : Electronic Notes in Theoretical Computer Science. 71, p. 110-126 17 p.

Research output: Contribution to journalConference article

The maude LTL model checker

Eker, S., Meseguer, J. & Sridharanarayanan, A., Apr 2004, In : Electronic Notes in Theoretical Computer Science. 71, p. 162-187 26 p.

Research output: Contribution to journalConference article

Tiling transactions in rewriting logic

Bruni, R., Meseguer, J. & Montanari, U., Apr 2004, In : Electronic Notes in Theoretical Computer Science. 71, p. 90-109 20 p.

Research output: Contribution to journalConference article

2002

Towards behavioral maude: Behavioral membership equational logic

Meseguer, J. & Roşu, G., Oct 2002, In : Electronic Notes in Theoretical Computer Science. 65, 1, p. 197-253 57 p.

Research output: Contribution to journalConference article

2001

Representation and execution of Petri nets using rewriting logic as a unifying framework

Stehr, M. O., Meseguer, J. & Ölveczky, P. C., Jul 2001, In : Electronic Notes in Theoretical Computer Science. 44, 4, p. 140-162 23 p.

Research output: Contribution to journalConference article

2000

Parameterized theories and views in full Maude 2.0

Durán, F. & Meseguer, J., Dec 1 2000, In : Electronic Notes in Theoretical Computer Science. 36, p. 316-338 23 p.

Research output: Contribution to journalConference article

Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems

Ölveczky, P. C. & Meseguer, J., Dec 1 2000, In : Electronic Notes in Theoretical Computer Science. 36, p. 361-382 22 p.

Research output: Contribution to journalConference article

Rewriting semantics of meta-objects and composable distributed services

Denker, G., Meseguer, J. & Talcott, C., Dec 1 2000, In : Electronic Notes in Theoretical Computer Science. 36, p. 405-425 21 p.

Research output: Contribution to journalConference article

Towards Maude 2.0

Clave, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J. & Quesada, J. F., Dec 1 2000, In : Electronic Notes in Theoretical Computer Science. 36, p. 294-315 22 p.

Research output: Contribution to journalConference article

1999

Functorial semantics for Petri nets under the individual token philosophy

Bruni, R., Meseguer, J., Montanari, U. & Sassone, V., Dec 1 1999, In : Electronic Notes in Theoretical Computer Science. 29, 1 p.

Research output: Contribution to journalConference article

Structured theories and institutions

Durán, F. & Meseguer, J., Dec 1 1999, In : Electronic Notes in Theoretical Computer Science. 29, p. 23-41 19 p.

Research output: Contribution to journalConference article