|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16 occurrences of 14 keywords
|
|
|
|
|
Results
Found 84 publication records. Showing 84 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Francisco Durán, Meriem Ouederni, Gwen Salaün |
A generic framework for n-protocol compatibility checking.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Roldán, Francisco Durán |
Dynamic Validation of OCL Constraints with mOdCL. |
ECEASST |
2011 |
DBLP BibTeX RDF |
|
| 1 | Francisco Durán, Vlad Rusu (eds.) |
Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering |
AMMSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Martin Gogolla, Manuel Roldán |
Tracing Properties of UML and OCL Models with Maude |
AMMSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Peter Csaba Ölveczky, José Eduardo Rivera |
Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies |
AMMSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott |
Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. |
RTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Camilo Rocha, José M. Álvarez |
Towards a Maude Formal Environment. |
Formal Modeling: Actors, Open Systems, Biological Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Camilo Rocha, José M. Álvarez |
Tool Interoperability in the Maude Formal Environment. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | José Eduardo Rivera, Francisco Durán, Antonio Vallecillo |
On the Behavioral Semantics of Real-Time Domain Specific Visual Languages. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, José Meseguer |
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Manuel Roldán, Jean-Christophe Bach, Emilie Balland, Mark van den Brand, James R. Cordy, Steven Eker, Luc Engelen, Maartje de Jonge, Karl Trygve Kalleberg |
The Third Rewrite Engines Competition. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, José Meseguer |
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Roldán, Francisco Durán, Antonio Vallecillo |
Invariant-driven specifications in Maude. |
Sci. Comput. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | José Eduardo Rivera, Francisco Durán, Antonio Vallecillo |
Formal Specification and Analysis of Domain Specific Models Using Maude. |
Simulation |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Manuel Roldán, Emilie Balland, Mark van den Brand, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Ruslan Schevchenko, Eelco Visser |
The Second Rewrite Engines Competition. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Meriem Ouederni, Gwen Salaün |
Checking Protocol Compatibility using Maude. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Peter Csaba Ölveczky |
A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Salvador Lucas, José Meseguer |
Methods for Proving Termination of Rewriting-based Programming Languages by Transformation. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Salvador Lucas, José Meseguer, Francisco Gutiérrez |
Web Services and Interoperability for the Maude Termination Tool. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | José Eduardo Rivera, Francisco Durán, Antonio Vallecillo |
A graphical approach for modeling time-dependent behavior of DSLs. |
VL/HCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Unification and Narrowing in Maude 2.4. |
RTA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Salvador Lucas, José Meseguer |
Termination Modulo Combinations of Equational Theories. |
FroCos |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain |
Proving operational termination of membership equational programs. |
Higher-Order and Symbolic Computation |
2008 |
DBLP DOI BibTeX RDF |
Conditional term rewriting, Operational termination, Declarative rule-based languages, Program transformation, Membership equational logic |
| 1 | Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel |
A formalization of the SMEPP model in Maude. |
MobiQuitous |
2008 |
DBLP DOI BibTeX RDF |
peer-to-peer systems, formal semantics, automated verification, service-oriented models |
| 1 | Francisco Durán, Salvador Lucas, José Meseguer |
MTT: The Maude Termination Tool (System Description). |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cabot, Francisco Durán, Nathalie Moreno, Antonio Vallecillo, José Raúl Romero |
From programming to modeling: our experience with a distributed software engineering course. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
education, component-based software development, uml, virtual university, odp, distributed software engineering |
| 1 | Francisco Durán, José Meseguer |
Maude's module algebra. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | José Raúl Romero, José Eduardo Rivera, Francisco Durán, Antonio Vallecillo |
Formal and Tool Support for Model Driven Engineering with Maude. |
Journal of Object Technology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Adrián Riesco, Alberto Verdejo |
A Distributed Implementation of Mobile Maude. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | José Raúl Romero, Antonio Vallecillo, Francisco Durán |
Writing and executing ODP computational viewpoint specifications using Maude. |
Computer Standards & Interfaces |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
A Hierarchy of Data Types: From Trees to Sets. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott (eds.) |
All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic |
All About Maude |
2007 |
DBLP BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
User Interfaces and Metalanguage Applications. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Complete List of Maude Commands. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Using Maude. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Full Maude: Extending Core Maude. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Object-Oriented Modules. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Module Operations. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Introduction. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo |
Mobile Maude. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo |
Playing with Maude. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Reflection, Metalevel Computation, and Strategies. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Syntax and Basic Parsing. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Model Checking Invariants Through Search. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Metaprogramming Applications. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
LTL Model Checking. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
A Sampler of Application Areas. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Functional Modules. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
System Modules. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo |
Specifying Parameterized Data Structures in Maude. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Predefined Data Modules. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Object-Based Programming. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo |
Some Tools. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Core Maude Grammar. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Debugging and Troubleshooting. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky |
The Maude Formal Tool Environment. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | José Eduardo Rivera, Francisco Durán, Antonio Vallecillo, José Raúl Romero |
Maudeling: Herramienta de gestión de modelos usando Maude. |
JISBD |
2007 |
DBLP BibTeX RDF |
|
| 1 | Francisco Durán, Santiago Escobar, Salvador Lucas |
New Evaluation Commands for Maude Within Full Maude. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Santiago Escobar, Salvador Lucas |
On-demand Evaluation for Maude. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán |
Maude's Internal Strategies. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Manuel Roldán, Antonio Vallecillo |
Invariant-Driven Strategies for Maude. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Manuel Roldán, Antonio Vallecillo |
Using Maude to write and execute ODP information viewpoint specifications. |
Computer Standards & Interfaces |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain |
Proving termination of membership equational programs. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
program transformation, termination, term rewriting, membership equational logic |
| 1 | Francisco Durán, José Meseguer |
Structured theories and institutions. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Antonio Vallecillo |
Formalizing ODP enterprise specifications in Maude. |
Computer Standards & Interfaces |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Javier Herrador, Antonio Vallecillo |
Using UML and Maude for Writing and Reasoning about ODP Policies. |
POLICY |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
The Maude 2.0 System. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada |
Maude: specification and programming in rewriting logic. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Alberto Verdejo |
A Conference Reviewing System in Mobile Maude. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Antonio Vallecillo |
Writing ODP Enterprise Specifications in Maude. |
WOODPECKER |
2001 |
DBLP BibTeX RDF |
|
| 1 | Antonio Albarrán, Francisco Durán, Antonio Vallecillo |
From Maude Specifications to SOAP Distributed Implementations: A Smooth Transition. |
JISBD |
2001 |
DBLP BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Narciso Martí-Oliet |
Polytypic Programming in Maude. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, José Meseguer |
Parameterized Theories and Views in Full Maude 2.0. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada |
Towards Maude 2.0. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán |
The Extensibility of Maude's Module Algebra. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Steven Eker, Patrick Lincoln, José Meseguer |
Principles of Mobile Maude. |
ASA/MA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada |
Using Maude. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán |
The Reflective Design of Maude's Module Algebra. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Francisco Durán, José Meseguer |
Structured Theories and Institutions. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada |
The Maude System. |
RTA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr |
Maude as a Formal Meta-tool. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, José Meseguer |
An extensible module algebra for Maude. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada |
Maude as a metalanguage. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer |
Metalevel computation in Maude. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #84 of 84 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")