Search results for "maude"

Hits ?▲	Authors	Title	Venue	Year	Link
18	Rubén Rubio	Maude as a Library: An Efficient All-Purpose Programming Interface.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
18	Lorenzo Capra	A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems.	AppFM@FM	2021	DBLP DOI BibTeX RDF
18	Christiano Braga, Narciso Martí-Oliet	B Maude: A formal executable environment for Abstract Machine Notation Descriptions.	CoRR	2021	DBLP BibTeX RDF
18	Francisco Durán 0001, Camilo Rocha, Gwen Salaün	Resource provisioning strategies for BPMN processes: Specification and analysis using Maude.	J. Log. Algebraic Methods Program.	2021	DBLP DOI BibTeX RDF
18	Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo	Strategies, model checking and branching-time properties in Maude.	J. Log. Algebraic Methods Program.	2021	DBLP DOI BibTeX RDF
18	Lorenzo Capra	An Efficient Maude Formalization of (Rewritable) PT Nets.	SYNASC	2021	DBLP DOI BibTeX RDF
18	Lei Liang, Si Liu	Exploring Design Alternatives for Replicated RAMP Transactions Using Maude.	TASE	2021	DBLP DOI BibTeX RDF
18	María Alpuente, Demis Ballis, Julia Sapiña	Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System.	Math. Comput. Sci.	2020	DBLP DOI BibTeX RDF
18	Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Narciso Martí-Oliet, José Meseguer 0001, Rubén Rubio, Carolyn L. Talcott	Programming and symbolic computation in Maude.	J. Log. Algebraic Methods Program.	2020	DBLP DOI BibTeX RDF
18	Khaled Khebbeb, Nabil Hameurlain, Faiza Belala	A Maude-Based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration.	J. Syst. Archit.	2020	DBLP DOI BibTeX RDF
18	Si Liu 0003, Atul Sandur, José Meseguer 0001, Peter Csaba Ölveczky, Qi Wang 0017	Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs.	NFM	2020	DBLP DOI BibTeX RDF
18	Damián Aparicio-Sánchez, Santiago Escobar 0001, Raúl Gutiérrez, Julia Sapiña	An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA.	ESORICS (2)	2020	DBLP DOI BibTeX RDF
18	Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo	Strategies, Model Checking and Branching-Time Properties in Maude.	WRLA@ETAPS	2020	DBLP DOI BibTeX RDF
18	Francisco Durán 0001, Camilo Rocha, Gwen Salaün	Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude.	WRLA@ETAPS	2020	DBLP DOI BibTeX RDF
18	Souad Marir, Faiza Belala, Nabil Hameurlain	Formal Modeling IoT Systems on the Basis of BiAgents* and Maude.	ICAASE	2020	DBLP DOI BibTeX RDF
18	Samir Ouchani, Khaled Khebbeb, Meriem Hafsi	Towards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach.	AICCSA	2020	DBLP DOI BibTeX RDF
18	José Meseguer 0001	Symbolic Computation in Maude: Some Tapas.	LOPSTR	2020	DBLP DOI BibTeX RDF
18	Antonio Cerone, Diana Murzagaliyeva	Information Retrieval from Semantic Memory: BRDL-Based Knowledge Representation and Maude-Based Computer Emulation.	SEFM	2020	DBLP DOI BibTeX RDF
18	Alejandro Rodríguez 0006, Francisco Durán 0001, Adrian Rutle, Lars Michael Kristensen	Executing Multilevel Domain-Specific Models in Maude.	J. Object Technol.	2019	DBLP DOI BibTeX RDF
18	Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Narciso Martí-Oliet, José Meseguer 0001, Rubén Rubio, Carolyn L. Talcott	Programming and Symbolic Computation in Maude.	CoRR	2019	DBLP BibTeX RDF
18	María Alpuente, Demis Ballis, Santiago Escobar 0001, Julia Sapiña	Symbolic Analysis of Maude Theories with Narval.	CoRR	2019	DBLP BibTeX RDF
18	María Alpuente, Demis Ballis, Julia Sapiña	Static correction of Maude programs with assertions.	J. Syst. Softw.	2019	DBLP DOI BibTeX RDF
18	Sahar Smaali, Aïcha Choutri, Faïza Belala	A formal framework-based K-Maude for modelling scalable software architectures.	Int. J. Comput. Aided Eng. Technol.	2019	DBLP DOI BibTeX RDF
18	María Alpuente, Santiago Escobar 0001, Julia Sapiña, Demis Ballis	Symbolic Analysis of Maude Theories with Narval.	Theory Pract. Log. Program.	2019	DBLP DOI BibTeX RDF
18	Antonio Cerone, Peter Csaba Ölveczky	Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude.	FM Workshops (1)	2019	DBLP DOI BibTeX RDF
18	Khaled Khebbeb, Nabil Hameurlain, Faiza Belala	Formal Modeling and Verification of Cloud Elasticity with Maude and LTL.	MEDI Workshops	2019	DBLP DOI BibTeX RDF
18	Canh Minh Do, Kazuhiro Ogata 0001	A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude.	SOFL+MSVL	2019	DBLP DOI BibTeX RDF
18	Eiichi Muramoto, Kazuhiro Ogata 0001, Yoichi Shinoda	Formal Specification and Model Checking of a Ride-sharing System in Maude.	SOFL+MSVL	2019	DBLP DOI BibTeX RDF
18	Ethan Wang, Hong Kang, Yang Gong	Generating a Health Information Technology Event Database from FDA MAUDE Reports.	MedInfo	2019	DBLP DOI BibTeX RDF
18	Si Liu 0003, Peter Csaba Ölveczky, Min Zhang 0002, Qi Wang 0017, José Meseguer 0001	Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude.	TACAS (2)	2019	DBLP DOI BibTeX RDF
18	Peter Csaba Ölveczky	Teaching Formal Methods for Fun Using Maude.	FMFun	2019	DBLP DOI BibTeX RDF
18	Si Liu 0003	Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude		2019	RDF
18	Fan Yang	Extending the language and applications of Maude-NPA through rewriting semantics		2019	RDF
18	Amel Meliouh, Allaoua Chaoui	Embedded System Verification Using Formal Model an Approach Based on the Combined Use of UML and Maude Language.	Int. J. Concept. Struct. Smart Appl.	2018	DBLP DOI BibTeX RDF
18	Loli Burgueño, Juan Boubeta-Puig, Antonio Vallecillo	Formalizing Complex Event Processing Systems in Maude.	IEEE Access	2018	DBLP DOI BibTeX RDF
18	Antonio González-Burgueño, Damián Aparicio, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001	Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA.	CoRR	2018	DBLP BibTeX RDF
18	Luis Aguirre 0001, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita	Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude.	J. Autom. Reason.	2018	DBLP DOI BibTeX RDF
18	Ulrich Berger 0001, Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger	Verification of the European Rail Traffic Management System in Real-Time Maude.	Sci. Comput. Program.	2018	DBLP DOI BibTeX RDF
18	Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo	Parameterized Strategies Specification in Maude.	WADT	2018	DBLP DOI BibTeX RDF
18	José Meseguer 0001	Symbolic Reasoning Methods in Rewriting Logic and Maude.	WoLLIC	2018	DBLP DOI BibTeX RDF
18	Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001	Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA.	LPAR	2018	DBLP DOI BibTeX RDF
18	Bin Yao, Hong Kang, Ju Wang, Sicheng Zhou, Yang Gong	Exploring Health Information Technology Events from FDA MAUDE Database.	Nursing Informatics	2018	DBLP DOI BibTeX RDF
18	María Alpuente, Demis Ballis, Julia Sapiña	Inferring Safe Maude Programs with ÁTAME.	ICMS	2018	DBLP DOI BibTeX RDF
18	Georgios V. Pitsiladis, Petros S. Stefaneas	Implementation of Privacy Calculus and Its Type Checking in Maude.	ISoLA (2)	2018	DBLP DOI BibTeX RDF
18	May Thu Aung, Tam Thi Thanh Nguyen, Kazuhiro Ogata 0001	Analysis of Two Flawed Versions of A Mutual Exclusion Protocol with Maude and SMGA.	ICSCA	2018	DBLP DOI BibTeX RDF
18	Fan Yang, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001	Modular Verification of Sequential Composition for Private Channels in Maude-NPA.	STM	2018	DBLP DOI BibTeX RDF
18	Wanling Xie, Huibiao Zhu, Min Zhang 0002, Gang Lu, Yucheng Fang	Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude.	COMPSAC (1)	2018	DBLP DOI BibTeX RDF
18	Adrián Riesco 0001	Model Checking Parameterized by the Semantics in Maude.	FLOPS	2018	DBLP DOI BibTeX RDF
18	José Meseguer 0001	Formal Design of Cloud Computing Systems in Maude.	SBMF	2018	DBLP DOI BibTeX RDF
18	Chafika Djaoui, Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui	A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams.	IRI	2018	DBLP DOI BibTeX RDF
18	Santiago Escobar 0001	Multi-paradigm Programming in Maude.	WRLA@ETAPS	2018	DBLP DOI BibTeX RDF
18	Adrián Riesco 0001	MUnit: A Unit Framework for Maude.	WRLA@ETAPS	2018	DBLP DOI BibTeX RDF
18	Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Associative Unification and Symbolic Reasoning Modulo Associativity in Maude.	WRLA@ETAPS	2018	DBLP DOI BibTeX RDF
18	Akram Seghiri, Faïza Belala, Zakaria Benzadri, Nabil Hameurlain	A Maude based Specification for SoS Architecture.	SoSE	2018	DBLP DOI BibTeX RDF
18	Jiaxiang Liu 0001, Min Zhou 0001, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun 0001	Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude.	IEEE Trans. Ind. Electron.	2017	DBLP DOI BibTeX RDF
18	Vlad Rusu, Andrei Arusoaie	Executing and verifying higher-order functional-imperative programs in Maude.	J. Log. Algebraic Methods Program.	2017	DBLP DOI BibTeX RDF
18	Messaoud Bendiaf, Mustapha Bourahla, Malika Boudia, Seidali Rehab	A Model Transformation Approach for Specifying Real-Time Systems and Its Verification Using RT-Maude.	Int. J. Inf. Technol. Web Eng.	2017	DBLP DOI BibTeX RDF
18	María Alpuente, Angel Cuenca-Ortega, Santiago Escobar 0001, Julia Sapiña	Inspecting Maude Variants with GLINTS.	CoRR	2017	DBLP BibTeX RDF
18	María Alpuente, Santiago Escobar 0001, Julia Sapiña, Angel Cuenca-Ortega	Inspecting Maude variants with GLINTS.	Theory Pract. Log. Program.	2017	DBLP DOI BibTeX RDF
18	Adrián Riesco 0001, Kazuhiro Ogata 0001, Kokichi Futatsugi	A Maude environment for CafeOBJ.	Formal Aspects Comput.	2017	DBLP DOI BibTeX RDF
18	Peter Csaba Ölveczky	Designing Reliable Distributed Systems - A Formal Methods Approach Based on Executable Modeling in Maude		2017	DOI RDF
18	Jia She, Xiaoran Zhu, Min Zhang 0002	Algebraic Formalization and Verification of PKMv3 Protocol using Maude.	SEKE	2017	DBLP DOI BibTeX RDF
18	Bartosz Zielinski 0002, Pawel Maslanka	Relational Transition System in Maude.	BDAS	2017	DBLP DOI BibTeX RDF
18	Tam Thi Thanh Nguyen, Kazuhiro Ogata 0001	A Way to Comprehend Counterexamples Generated by the Maude LTL Model Checker.	SATE	2017	DBLP DOI BibTeX RDF
18	Francisco Durán 0001, Gwen Salaün	Verifying Timed BPMN Processes Using Maude.	COORDINATION	2017	DBLP DOI BibTeX RDF
18	Bogdan Aman, Gabriel Ciobanu	Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude.	VECoS	2017	DBLP DOI BibTeX RDF
18	María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña	Debugging Maude programs via runtime assertion checking and trace slicing.	J. Log. Algebraic Methods Program.	2016	DBLP DOI BibTeX RDF
18	Si Liu 0003, Peter Csaba Ölveczky, José Meseguer 0001	Modeling and analyzing mobile ad hoc networks in Real-Time Maude.	J. Log. Algebraic Methods Program.	2016	DBLP DOI BibTeX RDF
18	Sonia Santiago, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001	Effective Sequential Protocol Composition in Maude-NPA.	CoRR	2016	DBLP BibTeX RDF
18	Peter Csaba Ölveczky	Formalizing and Validating the P-Store Replicated Data Store in Maude.	WADT	2016	DBLP DOI BibTeX RDF
18	Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Built-in Variant Generation and Unification, and Their Applications in Maude 2.7.	IJCAR	2016	DBLP DOI BibTeX RDF
18	Antonio Moreno-Delgado, Francisco Durán 0001, José Meseguer 0001	Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications.	WRLA	2016	DBLP DOI BibTeX RDF
18	Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa	A Maude Framework for Cache Coherent Multicore Architectures.	WRLA	2016	DBLP DOI BibTeX RDF
18	Julia Padberg, Alexander Schulz 0003	Model Checking Reconfigurable Petri Nets with Maude.	ICGT	2016	DBLP DOI BibTeX RDF
18	Adrián Riesco 0001, Kazuhiro Ogata 0001, Kokichi Futatsugi	CafeInMaude: A CafeOBJ Interpreter in Maude.	FASE	2016	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.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
18	Zeynab Sabahi-Kaviani, Ramtin Khosravi, Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani	Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
18	Jonas Eckhardt, Tobias Mühlbauer, José Meseguer 0001, Martin Wirsing	Semantics, distributed implementation, and formal analysis of KLAIM models in Maude.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
18	Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám	Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships?	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
18	Isabel Pita, Adrián Riesco 0001	Specifying and Analyzing the Kademlia Protocol in Maude.	ICTAC	2015	DBLP DOI BibTeX RDF
18	Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger	Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude.	FTSCS	2015	DBLP DOI BibTeX RDF
18	Shin Nakajima 0001	Using Real-Time Maude to Model Check Energy Consumption Behavior.	FM	2015	DBLP DOI BibTeX RDF
18	Manuel Clavel, Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott	Two Decades of Maude.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
18	Si Liu 0003, Peter Csaba Ölveczky, José Meseguer 0001	Formal Analysis of Leader Election in MANETs Using Real-Time Maude.	Software, Services, and Systems	2015	DBLP DOI BibTeX RDF
18	María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña	Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
18	Thomas J. Anastasio	Computer Modeling in Neuroscience: From Imperative to Declarative Programming - Maude Modeling in Neuroscience.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
18	Luis Aguirre 0001, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita	Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
18	Sahar Smaali, Aicha Choutri, Faiza Belala	K-based definition of Real Time Distributed Systems: from a meta-model to maude modules.	CFIP/NOTERE	2015	DBLP DOI BibTeX RDF
18	Shin Nakajima 0001	Formal Analysis of Android Application Behavior with Real-Time Maude.	CPSNA	2015	DBLP DOI BibTeX RDF
18	Antonio González-Burgueño, Sonia Santiago, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001	Analysis of the PKCS#11 API Using the Maude-NPA Tool.	SSR	2015	DBLP DOI BibTeX RDF
18	Adrián Riesco 0001, Irina Mariuca Asavoae, Mihail Asavoae	Memory Policy Analysis for Semantics Specifications in Maude.	LOPSTR	2015	DBLP DOI BibTeX RDF
18	Nissreen A. S. El-Saber	CMMI-CM compliance checking of formal BPMN models using Maude.		2015	RDF
18	Regina Frei, Traian-Florin Serbanuta, Giovanna Di Marzo Serugendo	Self-organising assembly systems formally specified in Maude.	J. Ambient Intell. Humaniz. Comput.	2014	DBLP DOI BibTeX RDF
18	Julia Padberg, Alexander Schulz 0003	Towards Model Checking Reconfigurable Petri Nets using Maude.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2014	DBLP DOI BibTeX RDF
18	Meriem Belguidoum, Faiza Belala, Fateh Latreche	A RT-Maude-based framework for component installation.	Int. J. Crit. Comput. Based Syst.	2014	DBLP DOI BibTeX RDF
18	María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero 0001	Using conditional trace slicing for improving Maude programs.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
18	Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001, Sonia Santiago	State space reduction in the Maude-NRL Protocol Analyzer.	Inf. Comput.	2014	DBLP DOI BibTeX RDF
18	Si Liu 0003, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, José Meseguer 0001	Formal Modeling and Analysis of Cassandra in Maude.	ICFEM	2014	DBLP DOI BibTeX RDF
18	Yunja Choi, Min Zhang 0002, Kazuhiro Ogata 0001	Evaluation of Maude as a Test Generation Engine for Automotive Operating Systems.	APSEC (1)	2014	DBLP DOI BibTeX RDF
18	Santiago Escobar 0001	Functional Logic Programming in Maude.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF