Search results for "maude"

Hits ?▲	Authors	Title	Venue	Year	Link
18	Jon Grov, Peter Csaba Ölveczky	Formal Modeling and Analysis of Google's Megastore in Real-Time Maude.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Francisco Durán 0001, Manuel Roldán, Antonio Moreno-Delgado, José María Álvarez 0002	Dynamic Validation of Maude Prototypes of UML Models.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Camilo Rocha, José Meseguer 0001	Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001, Sonia Santiago	A rewriting-based forwards semantics for Maude-NPA.	HotSoS	2014	DBLP DOI BibTeX RDF
18	Zakaria Benzadri, Chafia Bouanaka, Faïza Belala	Verifying Cloud Systems using a Bigraphical Maude-based Model Checker.	ESaaSA@CLOSER	2014	DBLP DOI BibTeX RDF
18	Sonia Santiago, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001	A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA.	STM	2014	DBLP DOI BibTeX RDF
18	Adrián Riesco 0001	Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging.	FLOPS	2014	DBLP DOI BibTeX RDF
18	Antonio Moreno-Delgado, Francisco Durán 0001	The Movie Database Case: A Solution Using the Maude-based e-Motions Tool.	TTC@STAF	2014	DBLP BibTeX RDF
18	Narciso Martí-Oliet, Francisco Durán 0001, Alberto Verdejo	Equational Abstractions in Rewriting Logic and Maude.	SBMF	2014	DBLP DOI BibTeX RDF
18	Antonio González-Burgueño, Sonia Santiago, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001	Analysis of the IBM CCA Security API Protocols in Maude-NPA.	SSR	2014	DBLP DOI BibTeX RDF
18	Nissreen A. S. El-Saber, Artur Boronat	BPMN Formalization and Verification using Maude.	BM-FA	2014	DBLP DOI BibTeX RDF
18	Yehia Abd Alrahman, Marina Andric, Alessandro Beggiato, Alberto Lluch-Lafuente	Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?	WRLA	2014	DBLP DOI BibTeX RDF
18	Peter Csaba Ölveczky	Real-Time Maude and Its Applications.	WRLA	2014	DBLP DOI BibTeX RDF
18	Massimo Bartoletti, Maurizio Murgia 0001, Alceste Scalas, Roberto Zunino	Modelling and Verifying Contract-Oriented Systems in Maude.	WRLA	2014	DBLP DOI BibTeX RDF
18	Adrián Riesco 0001	An Integration of CafeOBJ into Full Maude.	WRLA	2014	DBLP DOI BibTeX RDF
18	Si Liu 0003, Peter Csaba Ölveczky, José Meseguer 0001	A Framework for Mobile Ad hoc Networks in Real-Time Maude.	WRLA	2014	DBLP DOI BibTeX RDF
18	Luis Aguirre 0001, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita	Conditional Narrowing Modulo in Rewriting Logic and Maude.	WRLA	2014	DBLP DOI BibTeX RDF
18	Zakaria Benzadri, Chafia Bouanaka, Faiza Belala	BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis.	ICAASE	2014	DBLP BibTeX RDF
18	Sahar Smaali, Aïcha Choutri, Faïza Belala	K-Maude Definition of Dynamic Software Architecture.	ICAASE	2014	DBLP BibTeX RDF
18	Vlad Rusu	Embedding domain-specific modelling languages in Maude specifications.	Softw. Syst. Model.	2013	DBLP DOI BibTeX RDF
18	Camilo Rocha	Automatic Proof-Search Heuristics in the Maude Invariant Analyzer Tool.	Rev. Colomb. de Computación	2013	DBLP DOI BibTeX RDF
18	Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir	Meta SOS - A Maude Based SOS Meta-Theory Framework.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
18	Farid Mokhati, Yahia Menassel	Towards formalising use case maps in Maude strategy language: application to multi-agent systems.	Int. J. Comput. Appl. Technol.	2013	DBLP DOI BibTeX RDF
18	Scibor Sobieski, Bartosz Zielinski 0002	Using maude rewriting system to modularize and extend SQL.	SAC	2013	DBLP DOI BibTeX RDF
18	Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, Ehsan Khamespanah	Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude.	FTSCS	2013	DBLP DOI BibTeX RDF
18	Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu 0005	Linking the Semantics of BPEL Using Maude.	APSEC (1)	2013	DBLP DOI BibTeX RDF
18	Fabrizio Pecoraro, Daniela Luzi	Detecting Software Failures in the MAUDE Database: A Preliminary Analysis.	MedInfo	2013	DBLP DOI BibTeX RDF
18	Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem	Formalizing SIMBA RTMAS Models using Real-time Maude.	ICAART (1)	2013	DBLP BibTeX RDF
18	Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky	A Timed CTL Model Checker for Real-Time Maude.	CALCO	2013	DBLP DOI BibTeX RDF
18	Muhammad Fadlisyah, Peter Csaba Ölveczky	The HI-Maude Tool.	CALCO	2013	DBLP DOI BibTeX RDF
18	Longfei Zhu, Peng Liu, Jianqi Shi, Zheng Wang, Huibiao Zhu	A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude.	TASE	2013	DBLP DOI BibTeX RDF
18	Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu 0005	Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude.	ICECCS	2013	DBLP DOI BibTeX RDF
18	Kyungmin Bae, Joshua Krisiloff, José Meseguer 0001, Peter Csaba Ölveczky	PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude	FTSCS	2012	DBLP DOI BibTeX RDF
18	Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis	Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
18	Isabel Pita, María-Inés Fernández-Camacho	Formal Specification of the Kademlia and the Kad Routing Tables in Maude.	WADT	2012	DBLP DOI BibTeX RDF
18	Adrián Riesco 0001	Using Semantics Specified in Maude to Generate Test Cases.	ICTAC	2012	DBLP DOI BibTeX RDF
18	Huibiao Zhu, Peng Liu, Jifeng He 0001, Shengchao Qin	Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude.	UTP	2012	DBLP DOI BibTeX RDF
18	Leila Jalali, Carolyn L. Talcott, Nalini Venkatasubramanian, Sharad Mehrotra	Formal specification of multisimulations using Maude.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
18	Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer 0001	Design and Analysis of Cloud-Based Architectures with KLAIM and Maude.	WRLA	2012	DBLP DOI BibTeX RDF
18	Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky	Timed CTL Model Checking in Real-Time Maude.	WRLA	2012	DBLP DOI BibTeX RDF
18	Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám	Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude.	WRLA	2012	DBLP DOI BibTeX RDF
18	Roberto Bruni, Andrea Corradini 0001, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin	Modelling and Analyzing Adaptive Self-assembly Strategies with Maude.	WRLA	2012	DBLP DOI BibTeX RDF
18	Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Grigore Rosu	Making Maude Definitions More Interactive.	WRLA	2012	DBLP DOI BibTeX RDF
18	Adrián Riesco 0001	Using Narrowing to Test Maude Specifications.	WRLA	2012	DBLP DOI BibTeX RDF
18	José Meseguer 0001	Maude.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
18	Isabel Pita, Adrián Riesco 0001	A Tool for Testing Data Type Implementations from Maude Algebraic Specifications.	PROLE	2011	DBLP DOI BibTeX RDF
18	Gregory Blanc, Youki Kadobayashi	A Step towards Static Script Malware Abstraction: Rewriting Obfuscated Script with Maude.	IEICE Trans. Inf. Syst.	2011	DBLP DOI BibTeX RDF
18	Malika Benammar, Faiza Belala, Kamel Barkaoui	Implémentation orientée objet d'ABAReL en Maude.	Tech. Sci. Informatiques	2011	DBLP DOI BibTeX RDF
18	Vlad Rusu	Embedding domain-specific modelling languages in maude specifications.	ACM SIGSOFT Softw. Eng. Notes	2011	DBLP DOI BibTeX RDF
18	Artur Boronat, José Meseguer 0001	Automated Model Synchronization: A Case Study on UML with Maude.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2011	DBLP DOI BibTeX RDF
18	Andrea Vandin, Alberto Lluch-Lafuente	Towards a Maude Tool for Model Checking Temporal Graph Properties.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2011	DBLP DOI BibTeX RDF
18	Alberto Verdejo, Narciso Martí-Oliet	Basic completion strategies as another application of the Maude strategy language	WRS	2011	DBLP DOI BibTeX RDF
18	Peter Csaba Ölveczky	Formal Model Engineering for Embedded Systems Using Real-Time Maude	AMMSE	2011	DBLP DOI BibTeX RDF
18	Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001	State Space Reduction in the Maude-NRL Protocol Analyzer	CoRR	2011	DBLP BibTeX RDF
18	Francisco Durán 0001, Martin Gogolla, Manuel Roldán	Tracing Properties of UML and OCL Models with Maude	AMMSE	2011	DBLP DOI BibTeX RDF
18	Francisco Durán 0001, Francisco Gutiérrez, Pablo López, Ernesto Pimentel 0001	On the Formal Analysis of P2P Algorithms with aSMoL and Maude.	CIbSE	2011	DBLP BibTeX RDF
18	Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer 0001	Synchronous AADL and Its Formal Analysis in Real-Time Maude.	ICFEM	2011	DBLP DOI BibTeX RDF
18	Francisco Durán 0001, Camilo Rocha, José María Álvarez 0002	Towards a Maude Formal Environment.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
18	Peter Csaba Ölveczky	Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
18	Santiago Escobar 0001, Deepak Kapur, Christopher Lynch, Catherine Meadows 0001, José Meseguer 0001, Paliath Narendran, Ralf Sasse	Protocol analysis in Maude-NPA using unification modulo homomorphic encryption.	PPDP	2011	DBLP DOI BibTeX RDF
18	Roberto Bruni, Alberto Lluch-Lafuente	Evaluating the Performance of Model Transformation Styles in Maude.	FACS	2011	DBLP DOI BibTeX RDF
18	Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, José Meseguer 0001, Carolyn L. Talcott	Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6.	RTA	2011	DBLP DOI BibTeX RDF
18	Anduo Wang, Carolyn L. Talcott, Limin Jia 0001, Boon Thau Loo, Andre Scedrov	Analyzing BGP Instances in Maude.	FMOODS/FORTE	2011	DBLP DOI BibTeX RDF
18	Scibor Sobieski, Bartosz Zielinski 0002	Modularisation in Maude of Parametrized RBAC for Row Level Access Control.	ADBIS	2011	DBLP DOI BibTeX RDF
18	Francisco Durán 0001, Camilo Rocha, José María Álvarez 0002	Tool Interoperability in the Maude Formal Environment.	CALCO	2011	DBLP DOI BibTeX RDF
18	Rafael Caballero 0001, Adrián Riesco 0001, Alberto Verdejo, Narciso Martí-Oliet	Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees.	LOPSTR	2011	DBLP DOI BibTeX RDF
18	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
18	Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher, Mohamed Tahar Kimour	A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude.	J. Object Technol.	2010	DBLP DOI BibTeX RDF
18	Martin Wirsing, Sebastian S. Bauer, Andreas Schroeder 0001	Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude	RTRTS	2010	DBLP DOI BibTeX RDF
18	Kyungmin Bae, Peter Csaba Ölveczky	Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models	RTRTS	2010	DBLP DOI BibTeX RDF
18	Daniela Lepri, Peter Csaba Ölveczky, Erika Ábrahám	Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications	RTRTS	2010	DBLP DOI BibTeX RDF
18	Narciso Martí-Oliet	An Introduction to Maude and Some of Its Applications.	PADL	2010	DBLP DOI BibTeX RDF
18	Adrián Riesco 0001	Test-Case Generation for Maude Functional Modules.	WADT	2010	DBLP DOI BibTeX RDF
18	Adrián Riesco 0001, Alberto Verdejo, Narciso Martí-Oliet	A Complete Declarative Debugger for Maude.	AMAST	2010	DBLP DOI BibTeX RDF
18	Mihai Codescu, Till Mossakowski, Adrián Riesco 0001, Christian Maeder	Integrating Maude into Hets.	AMAST	2010	DBLP DOI BibTeX RDF
18	Marc Boyer	NC-Maude: A Rewriting Tool to Play with Network Calculus.	ISoLA (1)	2010	DBLP DOI BibTeX RDF
18	Hamza Merouani, Farid Mokhati, Hassina Seridi-Bouchelaghem	Towards formalizing web service composition in Maude's strategy language.	ISWSA	2010	DBLP DOI BibTeX RDF
18	Ralf Sasse, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001	Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA.	STM	2010	DBLP DOI BibTeX RDF
18	Adrián Riesco 0001, Alberto Verdejo, Narciso Martí-Oliet	Declarative Debugging of Missing Answers for Maude.	RTA	2010	DBLP DOI BibTeX RDF
18	Peter Csaba Ölveczky, Artur Boronat, José Meseguer 0001	Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude.	FMOODS/FORTE	2010	DBLP DOI BibTeX RDF
18	Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001, Sonia Santiago	Sequential Protocol Composition in Maude-NPA.	ESORICS	2010	DBLP DOI BibTeX RDF
18	Francisco Durán 0001, José Meseguer 0001	A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories.	WRLA	2010	DBLP DOI BibTeX RDF
18	Kyungmin Bae, José Meseguer 0001	The Linear Temporal Logic of Rewriting Maude Model Checker.	WRLA	2010	DBLP DOI BibTeX RDF
18	Adrián Riesco 0001, Alberto Verdejo, Narciso Martí-Oliet	Enhancing the Debugging of Maude Specifications.	WRLA	2010	DBLP DOI BibTeX RDF
18	Francisco Durán 0001, José Meseguer 0001	A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications.	WRLA	2010	DBLP DOI BibTeX RDF
18	Traian-Florin Serbanuta, Grigore Rosu	K-Maude: A Rewriting Based Tool for Semantics of Programming Languages.	WRLA	2010	DBLP DOI BibTeX RDF
18	José Eduardo Rivera, Francisco Durán 0001, Antonio Vallecillo	Formal Specification and Analysis of Domain Specific Models Using Maude.	Simul.	2009	DBLP DOI BibTeX RDF
18	Sonia Santiago, Carolyn L. Talcott, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001	A Graphical User Interface for Maude-NPA.	PROLE	2009	DBLP DOI BibTeX RDF
18	Francisco Durán 0001, Meriem Ouederni, Gwen Salaün	Checking Protocol Compatibility using Maude.	FOCLASA	2009	DBLP DOI BibTeX RDF
18	Adrián Riesco 0001, Juan Rodríguez-Hortalá	A Natural Implementation of Plural Semantics in Maude.	LDTA	2009	DBLP DOI BibTeX RDF
18	Farid Mokhati, Mourad Badri	Generating Maude Specifications From UML Use Case Diagrams.	J. Object Technol.	2009	DBLP DOI BibTeX RDF
18	Peter Csaba Ölveczky, Stian Thorvaldsen	Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
18	Manuel Roldán, Francisco Durán 0001, Antonio Vallecillo	Invariant-driven specifications in Maude.	Sci. Comput. Program.	2009	DBLP DOI BibTeX RDF
18	Martin Hofmann 0008, Emanuel Kitzelmann, Ute Schmid	Porting IgorII from Maude to Haskell.	AAIP	2009	DBLP DOI BibTeX RDF
18	Fabio Martinelli, Marinella Petrocchi	Executable Specification of Cryptofraglets in Maude for Security Verification.	BIONETICS	2009	DBLP DOI BibTeX RDF
18	Artur Boronat, José Meseguer 0001	MOMENT2: EMF Model Transformations in Maude.	JISBD	2009	DBLP BibTeX RDF
18	Francisco Durán 0001, Salvador Lucas, José Meseguer 0001, Francisco Gutiérrez	Web Services and Interoperability for the Maude Termination Tool.	PROLE	2008	DBLP DOI BibTeX RDF
18	Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001, Pedro Ojeda, Daniel Romero 0001	A Tool for Automated Certification of Java Source Code in Maude.	PROLE	2008	DBLP DOI BibTeX RDF
18	Rafael Caballero 0001, Narciso Martí-Oliet, Adrián Riesco 0001, Alberto Verdejo	A Declarative Debugger for Maude Functional Modules.	WRLA	2008	DBLP DOI BibTeX RDF
18	Bjarne Holen, Einar Broch Johnsen, Arild Waaler	Proof Search for the First-Order Connection Calculus in Maude.	WRLA	2008	DBLP DOI BibTeX RDF