Francisco Durán
Titel
Zitiert von
Zitiert von
Jahr
All About Maude, A High-Performance Logical Framework
M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott
Lecture Notes in Computer Science 4350, 2007
1390*2007
Maude: Specification and programming in rewriting logic
M Clavel, F Durán, S Eker, P Lincoln, N Marti-Oliet, J Meseguer, ...
Theoretical Computer Science 285 (2), 187-243, 2002
10142002
Maude 2.0 Manual
M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott
Available in http://maude. cs. uiuc. edu, 2003
388*2003
The Maude 2.0 System
M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott
International Conference on Rewriting Techniques and Applications (RTA), 76-87, 2003
3822003
Building equational proving tools by reflection in rewriting logic
M Clavel, F Durán, S Eker, J Meseguer
CAFE: An Industrial-Strength Algebraic Formal Method, 1-31, 2000
1112000
Maude as a formal meta-tool
M Clavel, F Durán, S Eker, J Meseguer, MO Stehr
Formal Methods (FM'99), 1684-1703, 1999
1101999
A reflective module algebra with applications to the Maude language
F Durán
PhDThesis, University of Mlaga, 1999
1061999
The Maude system
M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, ...
10th International Conference on Rewriting Techniques and Applications (RTA …, 1999
1041999
Formal and Tool Support for Model Driven Engineering with Maude
JR Romero, JE Rivera, F Durán, A Vallecillo
Journal of Object Technology 6 (9), 187-207, 2007
982007
Proving operational termination of membership equational programs
F Durán, S Lucas, C Marché, J Meseguer, X Urbain
Higher-Order and Symbolic Computation 21 (1-2), 59-88, 2008
952008
Formal specification and analysis of domain specific models using Maude
JE Rivera, F Durán, A Vallecillo
Simulation 85 (11-12), 778-792, 2009
762009
A graphical approach for modeling time-dependent behavior of DSLs
JE Rivera, F Duran, A Vallecillo
2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2009
722009
A Church-Rosser checker tool for conditional order-sorted equational Maude specifications
F Durán, J Meseguer
International Workshop on Rewriting Logic and its Applications, 69-85, 2010
642010
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
F Durán, J Meseguer
The Journal of Logic and Algebraic Programming 81 (7-8), 816-850, 2012
602012
MTT: The Maude termination tool (system description)
F Durán, S Lucas, J Meseguer
International Joint Conference on Automated Reasoning, 313-319, 2008
592008
Proving termination of membership equational programs
F Durán, S Lucas, J Meseguer, C Marché, X Urbain
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004
592004
Principles of Mobile Maude
F Durán, S Eker, P Lincoln, J Meseguer
Agent Systems, Mobile Agents, and Applications, 73-85, 2000
582000
The Maude formal tool environment
M Clavel, F Durán, J Hendrix, S Lucas, J Meseguer, P Ölveczky
International Conference on Algebra and Coalgebra in Computer Science, 173-178, 2007
552007
A maude tutorial
M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, ...
Computer Science Laboratory, SRI International, 2000
542000
On the behavioral semantics of real-time domain specific visual languages
JE Rivera, F Durán, A Vallecillo
International Workshop on Rewriting Logic and its Applications, 174-190, 2010
522010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20