M. Alpuente, D. Ballis, J. Espert & D. Romero (2011):
Backward Trace Slicing for Rewriting Logic Theories.
In: The 23rd International Conference on Automated Deduction CADE 2011,
Lecture Notes in Computer Science.
Springer-Verlag.
To appear..
M. Alpuente, D. Ballis, J. Espert & D.l Romero (2010):
Model-checking Web Applications with Web-TLR.
In: 8th Int'l Symp. on Automated Technology for Verification and Analysis ATVA 2010,
Lecture Notes in Computer Science 6252.
Springer.Verlag,
pp. 341–346.
Available at http://dx.doi.org/10.1007/978-3-642-15643-4_25.
M. Alpuente, D. Ballis & D. Romero (2009):
Specification and Verification of Web Applications in Rewriting Logic.
In: Formal Methods, Second World Congress FM 2009,
Lecture Notes in Computer Science 5850.
Springer.Verlag,
pp. 790–805.
Available at http://dx.doi.org/10.1007/978-3-642-05089-3_50.
M. Alpuente, D. Ballis, J. Espert & D. Romero (2011):
Dynamic Backward Slicing of Rewriting Logic Computations.
CoRR abs/1105.2665.
Available at http://arxiv.org/abs/1105.2665.
K. Bae & J. Meseguer (2008):
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting.
In: Proc. of the 9th International Workshop on Rule-Based Programming (RULE'08),
Electronic Notes in Theoretical Computer Science.
Elsevier.
M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Mart\'ı-Oliet, J. Meseguer & C. Talco (2009):
Maude Manual (Version 2.4).
Technical Report.
SRI International, Computer Science Laboratory.
Available at http://maude.cs.uiuc.edu/maude2-manual/.
M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Mart\'ı-Oliet, J. Meseguer & C. Talcott (2007):
All About Maude: A High-Performance Logical Framework.
Lecture Notes in Computer Science 4350.
Springer-Verlag.
Available at http://dx.doi.org/10.1007/978-3-540-71999-1.
S. Eker, J. Meseguer & A. Sridharanarayanan (2003):
The Maude LTL model checker and its implementation.
In: Model Checking Software: Proc. 10 th Intl. SPIN Workshop,
Lecture Notes in Computer Science 2648.
Springer,
pp. 230–234.
Available at http://dx.doi.org/10.1007/3-540-44829-2_16.
T. R. Fielding & R. N. Taylor (2002):
Principled Design of the Modern Web Architecture.
ACM Transactions on Internet Technology 2(2),
pp. 115–150.
N. Mart\'ı-Oliet & J. Meseguer (2002):
Rewriting Logic: Roadmap and Bibliography.
Theoretical Computer Science 285(2),
pp. 121–154.
J. Meseguer (2008):
The Temporal Logic of Rewriting: A Gentle Introduction.
In: Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of his 65th Birthday 5065.
Springer-Verlag,
Berlin, Heidelberg,
pp. 354–382.
Available at http://dx.doi.org/10.1007/978-3-540-68679-8_22.
J. Meseguer S. Escobar, C. Meadows (2006):
A Rewriting-Based Inference System for the NRL Protocol Analyzer and its Meta-Logical Properties.
Theoretical Computer Science 367(1-2),
pp. 162–202.
Available at http://dx.doi.org/10.1016/j.tcs.2006.08.035.
F. Weitl, S. Nakajima & B. Freitag (2010):
From Counterexamples to Incremental Interactive Tracing of Errors (Schrittweise Fehleranalyse auf der Grundlage von Model-Checking).
it - Information Technology 52(5),
pp. 295–297.
Available at http://dx.doi.org/10.1524/itit.2010.0606.
eptcs@eptcs.org