Search results for "Maude"

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