The Maude 2.0 System

By M. Clavel, F. Durán, S. Eker, Patrick Lincoln, N. Martí-Oliet, J. Meseguer, C. Talcott. International Conference on Rewriting Techniques and Applications, 2003

318 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications

View Paper: https://www.semanticscholar.org/paper/041a3a9c001a4d87e36f2e68ee183438ac75a42a

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Ludovic Piètre-Cambacédès
2. Marc Bouissou
3. Siwar Kriaa
4. Yoran Halgand

In Computational Theory and Mathematics

1. Ludovic Piètre-Cambacédès

In Computer Networks and Communications

1. Ludovic Piètre-Cambacédès

Citations in the corpus

• A survey of approaches combining safety and security for industrial control systems (2015, methodology): “[37] proposed a framework for detecting safety and security conflicts using the Maude rewriting logic language [100].”