Search results for "Maude"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	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
4	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
4	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
4	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
4	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
3	Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem	Formalizing ARTIS Agent Model Using RT-Maude.	MATES	2009	DBLP DOI BibTeX RDF	ARTIS Agent, Real-Time Maude, Formal specification, Validation
3	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
3	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
3	Adrián Riesco, Alberto Verdejo	Distributed Applications Implemented in Maude with Parameterized Skeletons.	FMOODS	2007	DBLP DOI BibTeX RDF	distributed applications, parameterization, Maude, Algorithmic skeletons
3	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
3	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
3	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
3	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
3	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
3	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
3	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
3	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
3	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
3	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
3	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
3	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
3	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
3	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
3	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
3	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
3	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
3	Alberto Verdejo, Narciso Martí-Oliet	Two Case Studies of Semantics Execution in Maude: CCS and LOTOS.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	executable semantic framework, internal strategies, Hennessy-Milner modal logic, symbolic semantics for LOTOS, ACT ONE, rewriting logic, CCS, Maude
3	Alberto Verdejo	Building Tools for LOTOS Symbolic Semantics in Maude.	FORTE	2002	DBLP DOI BibTeX RDF	Full LOTOS, symbolic semantics, rewriting logic, Maude, meta-language
2	Adrián Riesco, Juan Rodríguez-Hortalá	Programming with singular and plural non-deterministic functions.	PEPM	2010	DBLP DOI BibTeX RDF	non-deterministic functions, semantics, program transformation, term rewriting, maude
2	Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis	Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude.	ICFEM	2009	DBLP DOI BibTeX RDF
2	Peter Csaba Ölveczky	Teaching Formal Methods Based on Rewriting Logic and Maude.	TFM	2009	DBLP DOI BibTeX RDF
2	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
2	André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante	An Implementation of Object-Oriented Action Semantics in Maude.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
2	Leon Bendiksen, Peter Csaba Ölveczky	The Priced-Timed Maude Tool.	CALCO	2009	DBLP DOI BibTeX RDF
2	Artur Boronat, Reiko Heckel, José Meseguer	Rewriting Logic Semantics and Verification of Model Transformations.	FASE	2009	DBLP DOI BibTeX RDF	Model and graph transformations, LTL model checking, reachability analysis, rewriting logic, MOF, QVT, Maude
2	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
2	Francisco Durán, Salvador Lucas, José Meseguer	MTT: The Maude Termination Tool (System Description).	IJCAR	2008	DBLP DOI BibTeX RDF
2	Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake	Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification.	ITNG	2008	DBLP DOI BibTeX RDF
2	Peter Csaba Ölveczky, José Meseguer	The Real-Time Maude Tool.	TACAS	2008	DBLP DOI BibTeX RDF
2	Peter Csaba Ölveczky	Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude.	SNPD	2008	DBLP DOI BibTeX RDF	formal modeling and analysis, object-oriented real-time systems, embedded medical devices, rewriting logic, metric temporal logic
2	Peter Csaba Ölveczky, Pavithra Prabhakar, Xue Liu	Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude.	IPDPS	2008	DBLP DOI BibTeX RDF
2	Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero	A Declarative Debugger for Maude.	AMAST	2008	DBLP DOI BibTeX RDF
2	José Eduardo Rivera, Esther Guerra, Juan de Lara, Antonio Vallecillo	Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude.	SLE	2008	DBLP DOI BibTeX RDF
2	Gustavo Santos-García, Miguel Palomino, Alberto Verdejo	Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude.	DCAI	2008	DBLP DOI BibTeX RDF	Neural networks, strategies, rewriting logic, Maude, executability
2	Santiago Escobar, Catherine Meadows, José Meseguer	State Space Reduction in the Maude-NRL Protocol Analyzer.	ESORICS	2008	DBLP DOI BibTeX RDF
2	Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo	Declarative Debugging of Membership Equational Logic Specifications.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF	Maude, functional modules, membership equational logic, declarative debugging
2	José Eduardo Rivera, Antonio Vallecillo	Representing and Operating with Model Differences.	TOOLS	2008	DBLP DOI BibTeX RDF	model difference, Model-driven software development, Maude, object matching, model evolution, model comparison
2	Peter Csaba Ölveczky, José Meseguer	Semantics and pragmatics of Real-Time Maude.	Higher-Order and Symbolic Computation	2007	DBLP DOI BibTeX RDF	Simulation, Real-time systems, Model checking, Formal analysis, Rewriting logic, Object-oriented specification
2	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
2	Peter Csaba Ölveczky, Stian Thorvaldsen	Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude.	FMOODS	2007	DBLP DOI BibTeX RDF
2	Chadlia Jerad, Kamel Barkaoui, Amel Grissa-Touzi	Hierarchical Verification in Maude of L f P Software Architectures.	ECSA	2007	DBLP DOI BibTeX RDF
2	Peter Csaba Ölveczky, Martin Grimeland	Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude.	IPDPS	2007	DBLP DOI BibTeX RDF
2	Santiago Escobar, Catherine Meadows, José Meseguer	Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties.	FOSAD	2007	DBLP DOI BibTeX RDF
2	Scott Alexander	Conceptual Data Modeling with Constraints in Maude.	CALCO	2007	DBLP DOI BibTeX RDF
2	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
2	Musab AlTurki, José Meseguer	Real-time rewriting semantics of orc.	PPDP	2007	DBLP DOI BibTeX RDF	orc, orchestration theory, real-time, formal analysis, rewriting logic, structural operational semantics, maude
2	Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott	Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Real-time systems, Active networks, Formal analysis, Rewriting logic, Object-oriented specification, Multicast protocols
2	M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer	Prototyping 3APL in the Maude Term Rewriting Language.	CLIMA	2006	DBLP DOI BibTeX RDF
2	Peter Csaba Ölveczky, Stian Thorvaldsen	Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude.	IPDPS	2006	DBLP DOI BibTeX RDF
2	Peter Csaba Ölveczky, Marco Caccamo	Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude.	FASE	2006	DBLP DOI BibTeX RDF
2	José Meseguer	From OBJ to Maude and Beyond.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
2	M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer	Prototyping 3APL in the Maude term rewriting language.	AAMAS	2006	DBLP DOI BibTeX RDF	prototyping, term rewriting, agent programming languages
2	Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi	Induction-Guided Falsification.	ICFEM	2006	DBLP DOI BibTeX RDF	observational transition system (OTS), invariant, induction, counterexample, Maude, CafeOBJ
2	Kazuhiro Ogata, Kokichi Futatsugi	Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker.	APSEC	2005	DBLP DOI BibTeX RDF	lockout freedom property, mutual exclusion property, model checking, rewriting logic, counterexample
2	Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley	Transforming Information in RDF to Rewriting Logic.	FMOODS	2005	DBLP DOI BibTeX RDF	Semantic Web, formal methods, RDF, rewriting logic, Maude
2	Peter Csaba Ölveczky, José Meseguer	Specification and Analysis of Real-Time Systems Using Real-Time Maude.	FASE	2004	DBLP DOI BibTeX RDF
2	José Raúl Romero, Antonio Vallecillo	Formalizing ODP Computational Viewpoint Specifications in Maude.	EDOC	2004	DBLP DOI BibTeX RDF
2	Noura Boudiaf, Farid Mokhati, Mourad Badri, Linda Badri	Specifying DIMA Multi-agents Models Using Maude.	PRIMA	2004	DBLP DOI BibTeX RDF
2	Klaus Havelund, Grigore Rosu	An Overview of the Runtime Verification Tool Java PathExplorer.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude
2	Francisco Durán, Javier Herrador, Antonio Vallecillo	Using UML and Maude for Writing and Reasoning about ODP Policies.	POLICY	2003	DBLP DOI BibTeX RDF
2	Steven Eker, José Meseguer, Ambarish Sridharanarayanan	The Maude LTL Model Checker and Its Implementation.	SPIN	2003	DBLP DOI BibTeX RDF
2	Steven Eker, Keith Laderoute, Patrick Lincoln, M. G. Sriram, Carolyn L. Talcott	Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude.	CMSB	2003	DBLP DOI BibTeX RDF
2	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
2	Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha	A Rewriting Based Model for Probabilistic Distributed Object Systems.	FMOODS	2003	DBLP DOI BibTeX RDF	Rewrite theory, probability, nondeterminism, actors, Maude
2	Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet	Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Tree identify protocol, Rewriting logic, Maude, Object-oriented specifications, IEEE 1394
2	José Meseguer, Peter Csaba Ölveczky, Mark-Oliver Stehr, Carolyn L. Talcott	Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks.	DANCE	2002	DBLP DOI BibTeX RDF
2	Jeffrey Van Baalen, Thomas Böhne	Automated Protocol Analysis in Maude.	FAABS	2002	DBLP DOI BibTeX RDF
2	Peter Csaba Ölveczky, Mark Keaton, José Meseguer, Carolyn L. Talcott, Steve Zabele	Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.	FASE	2001	DBLP DOI BibTeX RDF
2	Neal A. Harman	Verifying a Simple Pipelined Microprocessor Using Maude.	WADT	2001	DBLP DOI BibTeX RDF
2	Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses	Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic.	AMAST	2000	DBLP DOI BibTeX RDF
2	José Meseguer	Rewriting Logic and Maude: Concepts and Applications.	RTA	2000	DBLP DOI BibTeX RDF
2	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
2	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
2	Ulrike Lechner	Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages.	FASE	1998	DBLP DOI BibTeX RDF	Concurrency, Object orientation, Reuse, Interpretation, Rewriting, ?-calculus, Maude, Inheritance Anomaly
2	Ulrike Lechner, Christian Lengauer, Friederike Nickl, Martin Wirsing	(Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly.	ECOOP	1996	DBLP DOI BibTeX RDF	Concurrent rewriting, parallelism, reusability, Maude, inheritance anomaly
2	Tim Maude, Derwent Maude	Hardware Protection Against Software Piracy.	Commun. ACM	1984	DBLP DOI BibTeX RDF
1	Andrea Vandin, Alberto Lluch-Lafuente	Towards a Maude Tool for Model Checking Temporal Graph Properties.	ECEASST	2011	DBLP BibTeX RDF
1	Artur Boronat, José Meseguer	Automated Model Synchronization: A Case Study on UML with Maude.	ECEASST	2011	DBLP BibTeX RDF
1	Gregory Blanc, Youki Kadobayashi	A Step towards Static Script Malware Abstraction: Rewriting Obfuscated Script with Maude.	IEICE Transactions	2011	DBLP BibTeX RDF
1	Alberto Verdejo, Narciso Martí-Oliet	Basic completion strategies as another application of the Maude strategy language	WRS	2011	DBLP DOI BibTeX RDF
1	Santiago Escobar, Catherine Meadows, José Meseguer	State Space Reduction in the Maude-NRL Protocol Analyzer	CoRR	2011	DBLP 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	Peter Csaba Ölveczky	Formal Model Engineering for Embedded Systems Using Real-Time Maude	AMMSE	2011	DBLP DOI BibTeX RDF
1	Malika Benammar, Faiza Belala, Kamel Barkaoui	Implémentation orientée objet d'ABAReL en Maude.	Technique et Science Informatiques	2011	DBLP BibTeX RDF
1	Vlad Rusu	Embedding domain-specific modelling languages in maude specifications.	ACM SIGSOFT Software Engineering Notes	2011	DBLP DOI BibTeX RDF
1	José Meseguer	Maude.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1	Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov	Analyzing BGP Instances in Maude.	FMOODS/FORTE	2011	DBLP DOI BibTeX RDF
1	Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer	Synchronous AADL and Its Formal Analysis in Real-Time Maude.	ICFEM	2011	DBLP DOI BibTeX RDF
1	Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám	Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude.	SEFM	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