|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 42 publication records. Showing 42 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Simon Thrane Hansen, Peter Csaba Ölveczky |
Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude.  |
WRLA@ETAPS  |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán 0001, Daniela Martínez, Camilo Rocha |
Business Processes Analysis with Resource-Aware Machine Learning Scheduling in Rewriting Logic. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán 0001, Yliès Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo |
From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Mödersheim |
Rewriting Privacy. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Raúl López-Rueda, Santiago Escobar 0001 |
Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Canh Minh Do, Adrián Riesco 0001, Santiago Escobar 0001, Kazuhiro Ogata 0001 |
Parallel Maude-NPA for Cryptographic Protocol Analysis. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Alberto Ramírez Restrepo, Jorge A. Pérez 0001 |
Executable Semantics and Type Checking for Session-Based Concurrency in Maude. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Raúl López-Rueda, Santiago Escobar 0001, José Meseguer 0001 |
An Efficient Canonical Narrowing Implementation for Protocol Analysis. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rubén Rubio |
An Overview of the Maude Strategy Language and its Applications. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer 0001 |
Checking Sufficient Completeness by Inductive Theorem Proving. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer 0001, Stephen Skeirik |
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky |
Teaching Formal Methods to Undergraduate Students Using Maude. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyungmin Bae (eds.) |
Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rubén Rubio |
Maude as a Library: An Efficient All-Purpose Programming Interface. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Vivek Nigam, Carolyn L. Talcott |
Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Vivek Nigam, Carolyn L. Talcott |
Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications. |
WRLA@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Skeirik, José Meseguer 0001, Camilo Rocha |
Verification of the IBOS Browser Security Properties in Reachability Logic. |
WRLA@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Boy de la Tour, Rachid Echahed |
Combining Parallel Graph Rewriting and Quotient Graphs. |
WRLA@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | José Meseguer 0001, Stephen Skeirik |
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification. |
WRLA@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar 0001, Narciso Martí-Oliet (eds.) |
Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers |
WRLA@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer 0001 |
Variant Satisfiability of Parameterized Strings. |
WRLA@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitsuhiro Okada, Yuta Takahashi |
A Simplified Application of Howard's Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems. |
WRLA@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaohong Chen 0002, Dorel Lucanu, Grigore Rosu |
Connecting Constrained Constructor Patterns and Matching Logic. |
WRLA@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer 0001 |
Variants in the Infinitary Unification Wonderland. |
WRLA@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mircea Marin, Besik Dundua, Temur Kutsia |
A Rule-Based System for Computation and Deduction in Mathematica. |
WRLA@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet |
Parameterized Programming for Compositional System Specification. |
WRLA@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Olarte, Elaine Pimentel, Camilo Rocha |
Proving Structural Properties of Sequent Systems in Rewriting Logic. |
WRLA@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar 0001 |
Multi-paradigm Programming in Maude. |
WRLA@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco 0001 |
MUnit: A Unit Framework for Maude. |
WRLA@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán 0001, José Meseguer 0001, Camilo Rocha |
Proving Ground Confluence of Equational Specifications Modulo Axioms. |
WRLA@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán 0001, Camilo Rocha, Gwen Salaün |
Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT. |
WRLA@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer 0001 |
Generalized Rewrite Theories and Coherence Completion. |
WRLA@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Mohammad-Ali Tabikh, Imad-Seddik Arrada |
Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages - The 4th Rewrite Engines Competition. |
WRLA@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Si Liu 0003, Peter Csaba Ölveczky, Qi Wang 0017, José Meseguer 0001 |
Formal Modeling and Analysis of the Walter Transactional Data Store. |
WRLA@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Vlad Rusu (eds.) |
Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings |
WRLA@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Yohan Boichut, Vivien Pelletier, Pierre Réty |
Approximating Any Logic Program by a CS-Program. |
WRLA@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Ramírez, Miguel Romero 0005, Camilo Rocha, Frank Valencia |
Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming. |
WRLA@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Genet, Tristan Gillard, Timothée Haudebourg, Sébastien Lê Cong |
Extending Timbuk to Verify Functional Programs. |
WRLA@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Downen, Philip Johnson-Freyd, Zena M. Ariola |
Uniform Strong Normalization for Multi-discipline Calculi. |
WRLA@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #42 of 42 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license