Publications
2008
- Automated Analysis of Security-Design Models,
with D. Basin, J. Doser, and M. Egea. Accepted for publication in
Information and Software Technology, Special issue on Model Based Development for Secure Information Systems,
Elsevier, 2008.
- Model-Driven Security in Practice: an Industrial Experience,
with V. da Silva, C. Braga, and M. Egea. Accepted for publication in
Proc. of ECMDA
2008.
- Building an Efficient Component for OCL Evaluation,
with M. Egea and M. A García de Dios. Accepted for publication in
Proc. of 8th OCL Workshop at the UML/MoDELS Conferences. To be published
in the Electronic Communications of the EASST.
2007
- All About Maude: A High-Performance Logical Framework,
with F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott.
Volume 4350 of Lecture Notes in Computer Science,
Springer-Verlag, 2007.
- A Metamodel-Based Approach for Analyzing Security-Design Models,
with D. Basin, J. Doser, and M. Egea. In G. Engels,
B. Opdyke, and
D. C. Schmidt, editors, Model Driven Engineering Languages and Systems, 10th International
Conference, MoDELS 2007, volume 4735 of Lecture Notes in Computer Science,
pp. 420-435, Springer-Verlag, 2007.
- The Maude Formal Tool Environment
with F. Durán, J. Hendrix, S. Lucas, J. Meseguer, and P. Ölveczky, 2007.
In T. Mossakowski, U. Montanari, and M. Haveraaen, editors,
Algebra and Coalgebra in Computer Science, Second International
Conference, CALCO 2007, volume 4624 of Lecture Notes in Computer Science,
pp. 173-178, Springer-Verlag, 2007.
- Reflection in Membership Equational Logic,
Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic ,
with J. Meseguer and M. Palomino. Theoretical Computer Science, 373 (1-2), pp. 70-91, Elsevier, 2007.
2006
2005
- ASIP+ITP: A Verification Tool Based on Algebraic Semantics,
with J. Santa-Cruz. PROLE 2005: V Jornadas sobre Programación y Lenguajes, pp. 149-158,
Thomson, 2005.
- A Quick ITP Tutorial, with M. Palomino. PROLE 2005: V Jornadas
sobre Programación y Lenguajes, pp. 159-172, Thomson, 2005.
- A Sufficient Completeness
Reasoning Tool for Partial Specifications, with J. Hendrix and J. Meseguer.
In J. Giesl, editor, RTA 2005: Term Rewriting and Applications, volume 3467 of Lecture Notes in Computer Science,
pp. 165-174, Springer-Verlag, 2005.
2004
- Reflective metalogical frameworks,
with D. Basin and J. Meseguer. ACM Transactions on Computational Logic 5(3), pp. 528-576, ACM Publications,
New York, 2004.
Formalizing and Proving Semantic Relations between
Specifications by Reflection, with N. Martí-Oliet and M. Palomino.
AMAST 2004: 10th International Conference on Algebraic Methodology and Software Technology, volume 3116 of
Lecture Notes in Computer Science, pp. 72-86, Springer-Verlag, Berlin, Heidelberg, 2004.
- Integrating Decision Procedures in Reflective
Rewriting-Based Theorem Provers, with M. Palominio and J. Santa-Cruz.
In S. Antoy and Y. Toyama, editors, Preliminary Proceedings
of the 4th International Workshop on Reduction Strategies in Rewriting and Programming,
Technical Report AIB-2004-06, pp. 15--24, RWTH Aachen, Department of Computer Science, 2004.
2003
- Strategies and user interfaces in Maude at work.
In B. Gramlich and S. Lucas, editors, Final Proceedings
of the 3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003) , volume 86, issue 4
of Electronic Notes in Theoretical Computer Science, pp. 1-23,
Elsevier, Amsterdam, 2003.
-
The Maude 2.0 system, with F. Durán, S. Eker, P. Lincoln,
N. Martí-Oliet, J. Meseguer, and C. Talcott.
In R. Nieuwenhuis, editor, RTA 2003: Rewriting Techniques and Applications, volume 2706 of
Lecture Notes in Computer Science,
pp. 76-87, Springer-Verlag, 2003.
2002
- Maude: specification and programming in rewriting logic,
with F. Durán, S. Eker, P. Lincoln,
N. Martí-Oliet, J. Meseguer, and J. F. Quesada,
Theoretical Computer Science 285(2), pp. 187-243, Elsevier, Amsterdam, 2002.
- Reflection in conditional rewriting logic, with J. Meseguer.
Theoretical Computer Science 285(2), pp. 245-288, Elsevier, Amsterdam, 2002.
- Reflection in membership equational logic,
Horn logic with equality, and rewriting logic,
with J. Meseguer and M. Palomino.
In F. Gaducci and U. Montanari, editors, Proceedings
of the Fourth International Workshop on Rewriting Logic and Its Applications, volume 71
of Electronic Notes in Theoretical Computer Science, pp. 63-78.
Elsevier, Amsterdam, 2002.
2000
-
Building equational proving tools by reflection in rewriting logic,
with F. Durán, S. Eker, and J. Meseguer.
In K. Futatsugi, A. T. Nakagawa, and T. Tamai, editors, CAFE: An Industrial-Strength
Algebraic Formal Method, pp. 1-31.
Elsevier, Amsterdam, 2000.
-
Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications,
216 p.,
Center for the Study of Language and Information, University of Chicago Press, 2002.
- The ITP tool. In A. Nepomuceno, J. F. Quesada, F. J. Salguero, editors,
Logic, Language and Information. Proceedings of the First Workshop on Logic and Language, pp. 55-62.
Kronos, Sevilla, 2000.
-
Rewriting logic as a metalogical framework, with D. Basin and J. Meseguer.
In S. Kapoor and S. Prasad, editors, FST TCS 2000: Foundations of Software Technology
and Theoretical Computer Science, volume 1974 of Lecture Notes in Computer Science,
pp. 55-80, Springer-Verlag, 2000.
-
Using Maude, with F. Durán, S. Eker, P. Lincoln,
N. Martí-Oliet, J. Meseguer, and J. F. Quesada.
In T. Maibaum, editor, FASE 2000: Fundamental Approaches to Software Engineering, volume 1738 of
Lecture Notes in Computer Science,
pp. 371-374, Springer-Verlag, Berlin, Heidelberg, 2000.
- Polytypic programming in Maude,
with F. Durán and N. Martí-Oliet.
In K. Futatsugi, editor, Proceedings of the Third
International Workshop on Rewriting Logic and its Applications, volume 36 of Electronic
Notes in Theoretical Computer Science, pp. 339-360. Elsevier, Amsterdam, 2000.
- Towards Maude 2.0,
with F. Durán, S. Eker, P. Lincoln,
N. Martí-Oliet, J. Meseguer, and J. F. Quesada.
In K. Futatsugi, editor, Proceedings of the Third
International Workshop on Rewriting Logic and its Applications, volume 36 of Electronic
Notes in Theoretical Computer Science, pp. 297-318. Elsevier, Amsterdam, 2000.
1999
-
Maude as a formal meta-tool, with F. Durán,
S. Eker, J. Meseguer and M.-O. Stehr.
In J. M. Wing, J. Woodcock, and J. Davies, editors, FM'99-Formal Methods: World Congress on Formal
Methods in the Development of Computing Systems, Volume II, volume 1709
of Lecture Notes in Computer Science,
pp. 1684-1703, Springer-Verlag, 1999.
-
The Maude system, with F. Durán, S. Eker, P. Lincoln,
N. Martí-Oliet, J. Meseguer, and J. F. Quesada.
In P. Narendran and M. Rusinowitch, editors, RTA 1999: Rewriting Techniques and Applications, volume 1631 of
Lecture Notes in Computer Science,
pp. 240-243, Springer-Verlag, 1999.
1998
- Reflection in general logics and in rewriting logic, with applications
to the Maude language. Ph.D. Thesis, University of Navarre, 1998. (See book above.)
- Metalevel computation in Maude, with
F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, and J.
Meseguer. In C. Kirchner and H. Kirchner, editors, Proceedings
of the Second International Workshop on Rewriting Logic and its Applications, volume 15
of Electronic Notes in Theoretical Computer Science, pp. 3-24.
Elsevier, Amsterdam, 1998.
- Maude as a metalanguage, with F. Durán,
S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and F. Quesada.
In C. Kirchner and H. Kirchner, editors, Proceedings of the Second
International Workshop on Rewriting Logic and its Applications, volume 15 of Electronic
Notes in Theoretical Computer Science, pp. 237-250. Elsevier, Amsterdam, 1998.
- Reflection in general logics, rewriting logic, and
Maude. In C. Kirchner and H. Kirchner, editors, Proceedings
of the Second International Workshop on Rewriting Logic and its Applications, volume 15
of Electronic Notes in Theoretical Computer Science, pp. 317-327.
Elsevier, Amsterdam, 1998.
1996
- Reflection and strategies in rewriting logic,
with José Meseguer. In José Meseguer, editor, Proceedings
of the First International Workshop on Rewriting Logic and its Applications, volume 4 of
Electronic Notes in Theoretical Computer Science, pp. 125-147.
Elsevier, Amsterdam, 1996.
- Principles of Maude, with Steven Eker, Patrick
Lincoln, and José Meseguer. In José Meseguer, editor, Proceedings
of the First International Workshop on Rewriting Logic and its Applications, volume 4 of
Electronic Notes in Theoretical Computer Science, pp. 65-89. Elsevier, Amsterdam,
1996.
Back to my home page
26 September 2008