Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Narciso Martí-Oliet, José Meseguer 0001, Alberto Verdejo |
A Rewriting Semantics for Maude Strategies. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Adrián Riesco 0001, Alberto Verdejo |
Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras |
Patterns for Maude Metalanguage Applications. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Thomas Anung Basuki, Antonio Cerone, Paolo Milazzo |
Translating Stochastic CLS into Maude. |
MeCBIC |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari |
Hierarchical Design Rewriting with Maude. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Noura Boudiaf, Farid Mokhati, Mourad Badri |
Supporting Formal Verification of DIMA Multi-Agents Models: towards a Framework Based on Maude Model Checking. |
Int. J. Softw. Eng. Knowl. Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi |
On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study. |
BCS Int. Acad. Conf. |
2008 |
DBLP BibTeX RDF |
|
18 | André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante |
Maude Object-Oriented Action Tool. |
LSFA |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Ozan Kahramanogullari |
Maude as a Platform for Designing and Implementing Deep Inference Systems. |
RULE@RDP |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Matteo Casadei, Andrea Omicini, Mirko Viroli |
Prototyping A&A ReSpecT in Maude. |
FOCLASA |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda Badri |
Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols. |
J. Object Technol. |
2007 |
DBLP DOI BibTeX RDF |
|
18 | José Raúl Romero, José Eduardo Rivera, Francisco Durán 0001, Antonio Vallecillo |
Formal and Tool Support for Model Driven Engineering with Maude. |
J. Object Technol. |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
18 | José Raúl Romero, Antonio Vallecillo, Francisco Durán 0001 |
Writing and executing ODP computational viewpoint specifications using Maude. |
Comput. Stand. Interfaces |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Francisco Durán 0001, José Meseguer 0001 |
Maude's module algebra. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
18 | José Eduardo Rivera, Francisco Durán 0001, Antonio Vallecillo, José Raúl Romero |
Maudeling: Herramienta de gestión de modelos usando Maude. |
JISBD |
2007 |
DBLP BibTeX RDF |
|
18 | Alberto Verdejo, Narciso Martí-Oliet |
Executable structural operational semantics in Maude. |
J. Log. Algebraic Methods Program. |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Martin R. Neuhäußer, Thomas Noll 0001 |
Abstraction and Model Checking of Core Erlang Programs in Maude. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Dilia E. Rodríguez |
On Modelling Sensor Networks in Maude. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Matteo Casadei, Luca Gardelli, Mirko Viroli |
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case. |
FOCLASA |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001 |
Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. |
SecReT@ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Francisco Durán 0001, Adrián Riesco 0001, Alberto Verdejo |
A Distributed Implementation of Mobile Maude. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Peter Csaba Ölveczky, José Meseguer 0001 |
Recent Advances in Real-Time Maude. |
RULE@FLoC |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Peter Csaba Ölveczky, José Meseguer 0001 |
Abstraction and Completeness for Real-Time Maude. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Mercedes Hidalgo-Herrero, Alberto Verdejo, Yolanda Ortega-Mallén |
Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. |
WRS@FLoC |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Fabricio Chalub, Christiano Braga |
Maude MSOS Tool. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Farid Mokhati, Noura Boudiaf, Linda Badri, Mourad Badri |
Generating Maude formal specifications from AUML diagrams. |
J. Comput. Methods Sci. Eng. |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Farid Mokhati, Mourad Badri, Patrice Gagnon |
Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
18 | Mohammad Reza Mousavi 0001, Michel A. Reniers |
Prototyping SOS Meta-theory in Maude. |
SOS@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Fernando Rosa-Velardo, Clara Segura, Alberto Verdejo |
Typed Mobile Ambients in Maude. |
RULE@RDP |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Francisco Durán 0001, Manuel Roldán, Antonio Vallecillo |
Using Maude to write and execute ODP information viewpoint specifications. |
Comput. Stand. Interfaces |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Artur Boronat, José Iborra, José A. Carsí, Isidro Ramos, Abel Gómez 0001 |
Utilización de Maude desde Eclipse Modeling Framework para la Gestión de Modelos. |
DSDM |
2005 |
DBLP BibTeX RDF |
|
18 | Artur Boronat, José Iborra, José A. Carsí, Isidro Ramos, Abel Gómez 0001 |
Del método formal a la aplicación industrial en Gestión de Modelos: Maude aplicado a Eclipse Modeling Framework. |
JISBD |
2005 |
DBLP BibTeX RDF |
|
18 | José Raúl Romero, Nathalie Moreno, Antonio Vallecillo |
Transformaciones MDA sobre especificaciones computacionales de UML 2.0 a Maude. |
JISBD |
2005 |
DBLP BibTeX RDF |
|
18 | Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo |
A Tutorial on Specifying Data Structures in Maude. |
PROLE |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Francisco Durán 0001 |
Maude's Internal Strategies. |
WRS |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Narciso Martí-Oliet, José Meseguer 0001, Alberto Verdejo |
Towards a Strategy Language for Maude. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Francisco Durán 0001, Santiago Escobar 0001, Salvador Lucas |
On-demand Evaluation for Maude. |
RULE@RDP |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Ian A. Mason, Carolyn L. Talcott |
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Bow-Yaw Wang |
mu-Calculus Model Checking in Maude. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Miguel Palomino, Isabel Pita |
Proving VLRL Action Properties with the Maude Model Checker. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Peter Csaba Ölveczky, José Meseguer 0001 |
Real-Time Maude 2.1. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Isabel Pita, Miguel Palomino |
Proving Modal Properties of Rewrite Theories Using Maude's Metalevel. |
PROLE |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo |
Playing with Maude. |
RULE@RDP |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Francisco Durán 0001, Manuel Roldán, Antonio Vallecillo |
Invariant-Driven Strategies for Maude. |
WRS |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Manuel Clavel |
Strategies and user interfaces in Maude at work. |
WRS |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Francisco Durán 0001, Antonio Vallecillo |
Formalizing ODP enterprise specifications in Maude. |
Comput. Stand. Interfaces |
2003 |
DBLP DOI BibTeX RDF |
|
18 | M. G. Sriram |
Modelling protein functional domains in signal transduction using Maude. |
Briefings Bioinform. |
2003 |
DBLP DOI BibTeX RDF |
|
18 | José Meseguer 0001, Grigore Rosu |
Towards Behavioral Maude: Behavioral Membership Equational Logic. |
CMCS |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Mark-Oliver Stehr, Carolyn L. Talcott |
Plan in Maude: Specifying an Active Network Programming Language. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Steven Eker, José Meseguer 0001, Ambarish Sridharanarayanan |
The Maude LTL Model Checker. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Alberto Verdejo, Narciso Martí-Oliet |
Implementing CCS in Maude 2. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Francisco Durán 0001, Alberto Verdejo |
A Conference Reviewing System in Mobile Maude. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Prasanna Thati, Koushik Sen, Narciso Martí-Oliet |
An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Dilia E. Rodríguez |
A Secret-Sharing Protocol Modelled in Maude. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Jose F. Quesada |
Maude: specification and programming in rewriting logic. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Isabel Pita, Narciso Martí-Oliet |
A Maude specification of an object-oriented model for telecommunication networks. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Piotr Kosiuczenko, Martin Wirsing |
Towards an Integration of Message sequence Charts and Timed Maude. |
Trans. SDPS |
2001 |
DBLP BibTeX RDF |
|
18 | Antonio Albarrán, Francisco Durán 0001, Antonio Vallecillo |
From Maude Specifications to SOAP Distributed Implementations: A Smooth Transition. |
JISBD |
2001 |
DBLP BibTeX RDF |
|
18 | Francisco Durán 0001, Antonio Vallecillo |
Writing ODP Enterprise Specifications in Maude. |
WOODPECKER |
2001 |
DBLP BibTeX RDF |
|
18 | Dilia E. Rodríguez |
Case Studies in the Specification and Analysis of Protocols in Maude. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Peter Csaba Ölveczky, José Meseguer 0001 |
Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Francisco Durán 0001, José Meseguer 0001 |
Parameterized Theories and Views in Full Maude 2.0. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Manuel Clavel, Francisco Durán 0001, Narciso Martí-Oliet |
Polytypic Programming in Maude. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
18 | David A. Basin, Grit Denker |
Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet |
The Leader Election Protocol of IEEE 1394 in Maude. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Jose F. Quesada |
Towards Maude 2.0. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Ian A. Mason, Carolyn L. Talcott |
Simple Network Protocol Simulation within Maude. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
18 | José Meseguer 0001, Carolyn L. Talcott |
Maude. |
ACM SIGSOFT Softw. Eng. Notes |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Jeffrey Van Baalen, James L. Caldwell, Shivakant Mishra |
Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Francisco Durán 0001 |
The Reflective Design of Maude's Module Algebra. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
18 | José Meseguer 0001 |
Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Francisco Durán 0001, Steven Eker, Patrick Lincoln, José Meseguer 0001 |
Principles of Mobile Maude. |
ASA/MA |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Alberto Verdejo, Narciso Martí-Oliet |
Implementing CCS in Maude. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
18 | Bow-Yaw Wang, José Meseguer 0001, Carl A. Gunter |
Specification and Formal Analysis of a PLAN Algorithm in Maude. |
ICDCS Workshop on Distributed System Validation and Verification |
2000 |
DBLP BibTeX RDF |
|
18 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Jose F. Quesada |
Using Maude. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Marisol Sánchez, Juan Manuel Murillo, Amparo Navasa Martínez, Miguel A. Pérez 0001, Antonio Polo Márquez |
Simulación del comportamiento en entornos de cooperación de objetos activos mediante Maude. |
JISBD |
1999 |
DBLP BibTeX RDF |
|
18 | Manuel Clavel |
Reflection in general logics, rewriting logic, and Maude. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001 |
Metalevel computation in Maude. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Francisco Durán 0001, José Meseguer 0001 |
An extensible module algebra for Maude. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Jose F. Quesada |
Maude as a metalanguage. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Isabel Pita, Narciso Martí-Oliet |
A Maude specification of an object-oriented database model for telecommunication networks. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Ulrike Lechner |
Object-oriented specifications of distributed systems in the mu-Calculus and Maude. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer 0001 |
Principles of Maude. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Ulrike Lechner, Christian Lengauer |
Modal-µ-Maude: Specification and Properties of Concurrent Objects. |
Object Orientation with Parallelism and Persistence |
1995 |
DBLP BibTeX RDF |
|
18 | Ulrike Lechner, Christian Lengauer, Martin Wirsing |
An Object-Oriented Airport: Specification and Refinement in Maude. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Timothy C. Winkler |
Programming in OBJ and Maude. |
Functional Programming, Concurrency, Simulation and Automated Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Grit Denker, Martin Gogolla |
Translating TROLL light Concepts to Maude. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
18 | José Meseguer 0001, Timothy C. Winkler |
Parallel Programmming in Maude. |
Research Directions in High-Level Parallel Programming Languages |
1991 |
DBLP DOI BibTeX RDF |
|
12 | Miroslav Pajic, Zhihao Jiang, Allison Connolly, Sanjay Dixit, Rahul Mangharam |
A platform for implantable medical device validation. |
IPSN |
2010 |
DBLP DOI BibTeX RDF |
real-time systems, validation, cyber-physical systems, medical devices |
12 | María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi |
A fold/unfold transformation framework for rewrite theories extended to CCT. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
code carrying theory, fold/unfold transformation, rewriting logic |
12 | Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte |
Dynamic Symbolic Execution for Testing Distributed Objects. |
TAP@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Rafael del Vado Vírseda, Pablo Fernández, Salvador Muñoz, Antonio Murillo |
An Intelligent Tutoring System for Interactive Learning of Data Structures. |
ICCS (2) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Michele Baggi, Demis Ballis, Moreno Falaschi |
Quantitative Pathway Logic for Computational Biology. |
CMSB |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte |
Dynamic Symbolic Execution of Distributed Concurrent Objects. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Guoqiang Li 0001, Shoji Yuen, Masakazu Adachi |
Environmental Simulation of Real-Time Systems with Nested Interrupts. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Fateh Boutekkouk, Mohamed Benmohammed |
UML Modeling and Formal Verification of Control/Data Driven Embedded Systems. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Nasreddine Aoumeur, Kamel Barkaoui |
Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes. |
ICIW |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Camilo Rocha, José Meseguer 0001 |
Theorem Proving Modulo Based on Boolean Equational Procedures. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente |
Graph-Based Design and Analysis of Dynamic Software Architectures. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|