1975 …2019
If you made any changes in Pure, your changes will be visible here soon.

Research Output 1975 2019

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

Quality of service

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
Aircraft
Control systems
Hybrid systems
Systems analysis
Distributed parameter control systems

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

Computer systems
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

Axioms
Modulo
Maude
Equational Theory
Null set or empty set
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

Maude
Rewriting
Semantics
Requirements
Nondeterminism

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

Termination
Equational Logic
Rewriting
Logic Programs
Axioms

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

Unification
Modulo
Union
Symbolic Analysis
Reachability Analysis
2005

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

Symbolic Analysis
Reachability Analysis
Concurrent Systems
Decision Procedures
Acoustic waves

Localized fairness: A rewriting semantics

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

Research output: Contribution to journalConference article

Rewriting
Fairness
Semantics
Thread
Standard Model

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

Term Rewriting Systems
Symbolic Model Checking
Functional programming
Theorem proving
Functional Programming

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

Rewriting Logic
Simulation
Mathematical models
Fairness
Categorical
2004

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

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

Research output: Contribution to journalConference article

Equational Logic
Rewriting Logic
Equality
Logic
Specifications
Rewriting Logic
Specification languages
Formal Analysis
Specification Languages
Semantics

The maude LTL model checker

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

Research output: Contribution to journalConference article

Maude
Model checking
Model Checking
Cytology
Rewriting Logic

Tiling transactions in rewriting logic

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

Research output: Contribution to journalConference article

Rewriting Logic
Tile
Tiling
Transactions
Specifications
2002

Towards behavioral maude: Behavioral membership equational logic

Meseguer, J. & Rosu, G., Jan 1 2002, In : Electronic Notes in Theoretical Computer Science. 65, 1, p. 197-253 57 p.

Research output: Contribution to journalConference article

Equational Logic
Maude
Specification languages
Semantics
Specification Languages
2001

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

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

Research output: Contribution to journalConference article

Rewriting Logic
Petri nets
Petri Nets
Rewriting
Semantics
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

Maude
Semantics
Module
Algebra
Specifications

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

Maude
Real time systems
Hybrid systems
Hybrid Systems
Rewriting Logic

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

Rewriting
Semantics
Communication
Rewriting Logic
Fault tolerance

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

Maude
Internet
Module
Computer programming
Programming
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

Petri nets
Petri Nets
Semantics
Equational Logic
Algebraic Semantics

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

Algebra
Si
Specifications
Chemical analysis
Specification