Results
Found 584 publication records. Showing 584 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | Ulrike Lechner, Beat F. Schmid |
Logic for Media - The Computational Media Metaphor. |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
Labelled Deductive System, Multi Agent System, Rewriting Logic, Medium |
24 | Carlos Castro |
COLETTE, Prototyping CSP Solvers Using a Rule-Based Language. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
Constraint Satisfaction Problems, Rewriting Logic |
23 | Adrián Riesco 0001, Alberto Verdejo, Rafael Caballero 0001, Narciso Martí-Oliet |
Declarative Debugging of Rewriting Logic Specifications. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Carlos Morra, João M. P. Cardoso, Jürgen Becker 0001 |
Using Rewriting Logic to Match Patterns of Instructions from a Compiler Intermediate Form to Coarse-Grained Processing Elements. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo |
Playing with Maude. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Using Maude. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
A Sampler of Application Areas. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
23 | L. J. Steggles |
Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time. |
ICATPN |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Peter D. Mosses |
Logical Specification of Operational Semantics. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Mauricio Ayala-Rincón, Thomas Mailleux Santana |
SAEPTUM: verification of ELAN hardware specifications using the proof assistant PVS. |
SBCCI |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf |
Modeling Workflows with Recursive ECATNets. |
SYNASC |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Klaus Havelund, Grigore Rosu |
Monitoring Programs Using Rewriting. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Dorel Lucanu, Vlad Rusu, Andrei Arusoaie, David Nowak |
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications. |
Logic, Rewriting, and Concurrency |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer 0001, T. S. E. Maibaum |
A Verification Logic for Rewriting Logic. |
J. Log. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Mohamed Larbi Rebaiaia, Jihad Mohamad Al Ja'am, Ahmad Hasnah |
An efficient model checker based on the axiomatization of propositional temporal logic in rewriting logic. |
ICECS |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Mark-Oliver Stehr |
Towards a unified language based on equational logic, rewriting logic, and type theory. (PDF / PS) |
|
2002 |
RDF |
|
19 | Miguel Palomino Tarjuelo |
Comparing Meseguer's Rewriting Logic with the Logic CRWL. |
WFLP |
2001 |
DBLP DOI BibTeX RDF |
|
19 | José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer 0001, Isabel Pita |
Towards a Verification Logic for Rewriting Logic. |
WADT |
1999 |
DBLP DOI BibTeX RDF |
|
19 | José Meseguer 0001, Ugo Montanari |
Mapping tile logic into rewriting logic. |
WADT |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo |
A Higher Order Rewriting Logic for Functional Logic Programming. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
19 | José Meseguer 0001 |
Multiparadigm Logic Programming. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Rafael del Vado Vírseda |
A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
19 | H. J. Sander Bruggink |
Residuals in Higher-Order Rewriting. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Thomas Noll 0001 |
On Coherence Properties in Team Rewriting Models of Concurrency. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Michele Baggi, Demis Ballis, Moreno Falaschi |
Quantitative Pathway Logic for Computational Biology. |
CMSB |
2009 |
DBLP DOI BibTeX RDF |
|
16 | 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 |
16 | Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur |
Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
Recursive Petri nets, Time-constrained Flexible workflows, Time Petri nets, Rewriting logic |
16 | Peter Csaba Ölveczky, José Meseguer 0001 |
Semantics and pragmatics of Real-Time Maude. |
High. Order Symb. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Simulation, Real-time systems, Model checking, Formal analysis, Rewriting logic, Object-oriented specification |
16 | Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001 |
A rewriting-based inference system for the NRL protocol analyzer: grammar generation. |
FMSE |
2005 |
DBLP DOI BibTeX RDF |
formal methods, protocol verification, rewriting logic |
16 | Federico Balaguer |
Model checking the behavior of frameworks extended with other frameworks. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
object-oriented, frameworks, temporal logic, rewriting logic |
16 | David A. Basin, Manuel Clavel, José Meseguer 0001 |
Reflective metalogical frameworks. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
metalogics, reflection, rewriting logic, Membership equational logic |
15 | Carolyn L. Talcott |
Symbolic modeling of signal transduction in pathway logic. |
WSC |
2006 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
15 | José Meseguer 0001 |
The Temporal Logic of Rewriting: A Gentle Introduction. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Chafia Bouanaka, Faiza Belala |
Towards a mobile architecture description language. |
AICCSA |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Wolfgang Ahrendt, Andreas Roth 0002, Ralf Sasse |
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Peter Csaba Ölveczky, José Meseguer 0001 |
Specification and Analysis of Real-Time Systems Using Real-Time Maude. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
The Maude 2.0 System. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001, 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 |
|
15 | Nasreddine Aoumeur, Gunter Saake |
Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems. |
CAiSE |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Marian Vittek |
A Compiler for Nondeterministic Term Rewriting Systems. |
RTA |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Jaime Arias 0001, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci |
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia |
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo |
Model checking strategy-controlled systems in rewriting logic. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Francisco Durán 0001, Nicolás Pozas, Camilo Rocha |
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring. |
J. Log. Algebraic Methods Program. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet |
Compositional Verification in Rewriting Logic. |
Theory Pract. Log. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet |
Compositional Verification in Rewriting Logic. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Carlos Olarte, Elaine Pimentel, Camilo Rocha |
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. |
J. Log. Algebraic Methods Program. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo |
QMaude: Quantitative Specification and Verification in Rewriting Logic. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ammar Boucherit, Kamel Barkaoui, Mohammed Lamine Lamouri |
A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics. |
ICNSC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Francisco Durán 0001 |
Rewriting Logic and Maude for the Formalization and Analysis of DSMLs, and the Prototyping of MDSE Tools. |
J. Object Technol. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Alejandro Rodríguez 0006, Francisco Durán 0001, Lars Michael Kristensen |
Simulation and analysis of MultEcore multilevel models based on rewriting logic. |
Softw. Syst. Model. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo |
Model checking strategy-controlled systems in rewriting logic. |
Autom. Softw. Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Carlos Olarte, Camilo Rocha, Daniel Osorio |
A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Irina Mariuca Asavoae, Ramtine Tofighi-Shirazi, Adrián Riesco 0001, Uemura Yasuyoshi |
Hardware Trojan detection via rewriting logic. |
J. Log. Algebraic Methods Program. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Abdelouahab Fortas, Elhillali Kerkouche, Allaoua Chaoui |
Formal verification of IoT applications using rewriting logic: An MDE-based approach. |
Sci. Comput. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | María Alpuente, Santiago Escobar 0001, Julia Sapiña, Demis Ballis |
Symbolic Specialization of Rewriting Logic Theories with Presto. |
Theory Pract. Log. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jaime Arias 0001, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming |
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata. |
FTSCS |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Lorenzo Capra |
Rewriting Logic and Petri Nets: A Natural Model for Reconfigurable Distributed Systems. |
ICDCIT |
2022 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
|
15 | Simon Thrane Hansen, Peter Csaba Ölveczky |
Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
|
15 | Sebastian Mödersheim |
Rewriting Privacy. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
|
15 | 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 |
|
15 | 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 |
|
15 | 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 |
|
15 | Rubén Rubio |
An Overview of the Maude Strategy Language and its Applications. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001 |
Checking Sufficient Completeness by Inductive Theorem Proving. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001, Stephen Skeirik |
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Peter Csaba Ölveczky |
Teaching Formal Methods to Undergraduate Students Using Maude. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Rubén Rubio |
Maude as a Library: An Efficient All-Purpose Programming Interface. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Vivek Nigam, Carolyn L. Talcott |
Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
15 | María Alpuente, Demis Ballis, Santiago Escobar 0001, Julia Sapiña |
Symbolic Specialization of Rewriting Logic Theories with Presto. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Carlos Olarte, Elaine Pimentel, Camilo Rocha |
A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Ammar Boucherit, Kamel Barkaoui, Osman Hasan |
An Enhanced Rewriting Logic Based Semantics for High Level Petri nets. |
PNSE@Petri Nets |
2021 |
DBLP BibTeX RDF |
|
15 | Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan |
Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems. |
Multiagent Grid Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Elhillali Kerkouche, Khaled Khalfaoui, Allaoua Chaoui |
A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach. |
Int. J. Comput. Aided Eng. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet |
Compositional Specification in Rewriting Logic. |
Theory Pract. Log. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
|
15 | Vivek Nigam, Carolyn L. Talcott |
Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications. |
WRLA@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Stephen Skeirik, José Meseguer 0001, Camilo Rocha |
Verification of the IBOS Browser Security Properties in Reachability Logic. |
WRLA@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Thierry Boy de la Tour, Rachid Echahed |
Combining Parallel Graph Rewriting and Quotient Graphs. |
WRLA@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
|
15 | José Meseguer 0001, Stephen Skeirik |
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification. |
WRLA@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001 |
Variant Satisfiability of Parameterized Strings. |
WRLA@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
|
15 | Xiaohong Chen 0002, Dorel Lucanu, Grigore Rosu |
Connecting Constrained Constructor Patterns and Matching Logic. |
WRLA@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001 |
Variants in the Infinitary Unification Wonderland. |
WRLA@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Mircea Marin, Besik Dundua, Temur Kutsia |
A Rule-Based System for Computation and Deduction in Mathematica. |
WRLA@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
|
15 | Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet |
Compositional specification in rewriting logic. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Miguel Romero 0005, Sergio Ramírez, Camilo Rocha, Frank Valencia |
A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Francisco Durán 0001, Camilo Rocha, Gwen Salaün |
A rewriting logic approach to resource allocation analysis in business process models. |
Sci. Comput. Program. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Peter Csaba Ölveczky |
Design and Validation of Cloud Storage Systems Using Rewriting Logic. |
SYNASC |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Ammar Boucherit, Abdallah Khababa, Laura M. Castro |
Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets. |
Multiagent Grid Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
|
15 | Francisco Durán 0001, Camilo Rocha, Gwen Salaün |
Stochastic analysis of BPMN with time in rewriting logic. |
Sci. Comput. Program. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001 |
Symbolic Reasoning Methods in Rewriting Logic and Maude. |
WoLLIC |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Md. Imran Alam, Raju Halder, Harshita Goswami, Jorge Sousa Pinto |
K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework. |
ENASE |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 584 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ >>] |