|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 204 occurrences of 128 keywords
|
|
|
Results
Found 719 publication records. Showing 677 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|
Displaying result #401 - #500 of 677 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|