The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for maude with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1973-1996 (16) 1997-1999 (15) 2000 (24) 2001-2002 (27) 2003 (18) 2004 (31) 2005 (26) 2006 (34) 2007 (61) 2008 (48) 2009 (27) 2010 (26) 2011 (26) 2012 (16) 2013 (21) 2014 (34) 2015 (25) 2016 (21) 2017 (18) 2018 (32) 2019 (24) 2020 (24) 2021 (21) 2022 (30) 2023 (26) 2024 (6)
Publication types (Num. hits)
article(166) book(2) data(1) incollection(27) inproceedings(474) phdthesis(6) proceedings(1)
Venues (Conferences, Journals, ...)
WRLA(58) All About Maude(25) CoRR(18) J. Log. Algebraic Methods Prog...(12) RTA(11) WRLA@ETAPS(11) FASE(10) Sci. Comput. Program.(9) AMAST(8) CALCO(7) WADT(7) ICFEM(6) J. Object Technol.(6) JISBD(6) PROLE(6) FMOODS(5) More (+10 of total 332)
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
335Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott Full Maude: Extending Core Maude. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
173Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott Using Maude. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
138M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer Prototyping 3APL in the Maude Term Rewriting Language. Search on Bibsonomy CLIMA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
124Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem Formalizing ARTIS Agent Model Using RT-Maude. Search on Bibsonomy MATES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ARTIS Agent, Real-Time Maude, Formal specification, Validation
119Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott Object-Oriented Modules. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
119Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott Metaprogramming Applications. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
114Manuel Clavel, Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott Unification and Narrowing in Maude 2.4. Search on Bibsonomy RTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
113Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo Specifying Parameterized Data Structures in Maude. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
101Manuel 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. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
95Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott A Sampler of Application Areas. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
95Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott Module Operations. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
95Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles 0001, Joaquín Salvachúa, Luis Llana, Margarita Bradley Transforming Information in RDF to Rewriting Logic. Search on Bibsonomy FMOODS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Semantic Web, formal methods, RDF, rewriting logic, Maude
90Steven Eker, José Meseguer 0001, Ambarish Sridharanarayanan The Maude LTL Model Checker and Its Implementation. Search on Bibsonomy SPIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
89Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott Core Maude Grammar. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
88Alberto Verdejo, Narciso Martí-Oliet Two Case Studies of Semantics Execution in Maude: CCS and LOTOS. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF executable semantic framework, internal strategies, Hennessy-Milner modal logic, symbolic semantics for LOTOS, ACT ONE, rewriting logic, CCS, Maude
83Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo Some Tools. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
83Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott Object-Based Programming. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
83Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott Reflection, Metalevel Computation, and Strategies. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
83Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott Predefined Data Modules. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
83Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott LTL Model Checking. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
83Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott Model Checking Invariants Through Search. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
83Rafael Caballero 0001, Narciso Martí-Oliet, Adrián Riesco 0001, Alberto Verdejo Declarative Debugging of Membership Equational Logic Specifications. Search on Bibsonomy Concurrency, Graphs and Models The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Maude, functional modules, membership equational logic, declarative debugging
78Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001 State Space Reduction in the Maude-NRL Protocol Analyzer. Search on Bibsonomy ESORICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
78Peter Csaba Ölveczky, Stian Thorvaldsen Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude. Search on Bibsonomy FMOODS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
78Peter Csaba Ölveczky, José Meseguer 0001, Carolyn L. Talcott Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Real-time systems, Active networks, Formal analysis, Rewriting logic, Object-oriented specification, Multicast protocols
78Peter Csaba Ölveczky, Marco Caccamo Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude. Search on Bibsonomy FASE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
78Kazuhiro Ogata 0001, Kokichi Futatsugi Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker. Search on Bibsonomy APSEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF lockout freedom property, mutual exclusion property, model checking, rewriting logic, counterexample
78Peter Csaba Ölveczky, Mark Keaton, José Meseguer 0001, Carolyn L. Talcott, Steve Zabele Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude. Search on Bibsonomy FASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
71Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott A Hierarchy of Data Types: From Trees to Sets. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
71Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott Syntax and Basic Parsing. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
71Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott User Interfaces and Metalanguage Applications. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
66Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
66Manuel Clavel, Francisco Durán 0001, Joe Hendrix, Salvador Lucas, José Meseguer 0001, Peter Csaba Ölveczky The Maude Formal Tool Environment. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
65Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott Complete List of Maude Commands. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
65Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott, Adrián Riesco 0001, Alberto Verdejo Mobile Maude. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
64Adrián Riesco 0001, Alberto Verdejo Distributed Applications Implemented in Maude with Parameterized Skeletons. Search on Bibsonomy FMOODS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF distributed applications, parameterization, Maude, Algorithmic skeletons
64Alberto Verdejo Building Tools for LOTOS Symbolic Semantics in Maude. Search on Bibsonomy FORTE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Full LOTOS, symbolic semantics, rewriting logic, Maude, meta-language
59Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott Functional Modules. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
59Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott Debugging and Troubleshooting. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
59Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott Introduction. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
59Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott System Modules. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
59Klaus Havelund, Grigore Rosu An Overview of the Runtime Verification Tool Java PathExplorer. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude
59Ulrike Lechner, Christian Lengauer, Friederike Nickl, Martin Wirsing (Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly. Search on Bibsonomy ECOOP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Concurrent rewriting, parallelism, reusability, Maude, inheritance anomaly
54André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante An Implementation of Object-Oriented Action Semantics in Maude. Search on Bibsonomy Semantics and Algebraic Specification The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
54Francisco Durán 0001, Francisco Gutiérrez, Pablo López, Ernesto Pimentel 0001 A formalization of the SMEPP model in Maude. Search on Bibsonomy MobiQuitous The full citation details ... 2008 DBLP  DOI  BibTeX  RDF peer-to-peer systems, formal semantics, automated verification, service-oriented models
54José Eduardo Rivera, Esther Guerra, Juan de Lara, Antonio Vallecillo Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude. Search on Bibsonomy SLE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
54Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification. Search on Bibsonomy ITNG The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
54Peter Csaba Ölveczky, José Meseguer 0001 Semantics and pragmatics of Real-Time Maude. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Simulation, Real-time systems, Model checking, Formal analysis, Rewriting logic, Object-oriented specification
54Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001 Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. Search on Bibsonomy FOSAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
54Peter Csaba Ölveczky, Stian Thorvaldsen Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude. Search on Bibsonomy IPDPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
54Noura Boudiaf, Farid Mokhati, Mourad Badri, Linda Badri Specifying DIMA Multi-agents Models Using Maude. Search on Bibsonomy PRIMA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
54José Raúl Romero, Antonio Vallecillo Formalizing ODP Computational Viewpoint Specifications in Maude. Search on Bibsonomy EDOC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
54Peter Csaba Ölveczky, José Meseguer 0001 Specification and Analysis of Real-Time Systems Using Real-Time Maude. Search on Bibsonomy FASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
54Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott The Maude 2.0 System. Search on Bibsonomy RTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Francisco Durán 0001, Javier Herrador, Antonio Vallecillo Using UML and Maude for Writing and Reasoning about ODP Policies. Search on Bibsonomy POLICY The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
53Tim Maude, Derwent Maude Hardware Protection Against Software Piracy. Search on Bibsonomy Commun. ACM The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
48Oana Andrei, Gabriel Ciobanu, Dorel Lucanu Executable Specifications of P Systems. Search on Bibsonomy Workshop on Membrane Computing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
47Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott (eds.) All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
47Artur Boronat, Reiko Heckel, José Meseguer 0001 Rewriting Logic Semantics and Verification of Model Transformations. Search on Bibsonomy FASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Model and graph transformations, LTL model checking, reachability analysis, rewriting logic, MOF, QVT, Maude
47Ulrike Lechner Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages. Search on Bibsonomy FASE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Concurrency, Object orientation, Reuse, Interpretation, Rewriting, ?-calculus, Maude, Inheritance Anomaly
42Peter Csaba Ölveczky Teaching Formal Methods Based on Rewriting Logic and Maude. Search on Bibsonomy TFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
42Leon Bendiksen, Peter Csaba Ölveczky The Priced-Timed Maude Tool. Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
42Peter Csaba Ölveczky, José Meseguer 0001 The Real-Time Maude Tool. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
42José Meseguer 0001 From OBJ to Maude and Beyond. Search on Bibsonomy Essays Dedicated to Joseph A. Goguen The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer Prototyping 3APL in the Maude term rewriting language. Search on Bibsonomy AAMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF prototyping, term rewriting, agent programming languages
42Jeffrey Van Baalen, Thomas Böhne Automated Protocol Analysis in Maude. Search on Bibsonomy FAABS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
42Neal A. Harman Verifying a Simple Pipelined Microprocessor Using Maude. Search on Bibsonomy WADT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
42Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer 0001, Peter D. Mosses Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. Search on Bibsonomy AMAST The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
42Francisco Durán 0001 The Extensibility of Maude's Module Algebra. Search on Bibsonomy AMAST The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
42José Meseguer 0001 Rewriting Logic and Maude: Concepts and Applications. Search on Bibsonomy RTA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
40Gustavo Santos-García, Miguel Palomino, Alberto Verdejo Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude. Search on Bibsonomy DCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Neural networks, strategies, rewriting logic, Maude, executability
36Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001 Automated Certification of Non-Interference in Rewriting Logic. Search on Bibsonomy FMICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001 Automatic Certification of Java Source Code in Rewriting Logic. Search on Bibsonomy FMICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Carolyn L. Talcott A semantic model for safe protocol interaction. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Piotr Kosiuczenko Time in Message Sequence Charts: A Formal Approach (Extended Abstract). Search on Bibsonomy Euro-Par The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
36Francisco Durán 0001, Peter Csaba Ölveczky A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude. Search on Bibsonomy WRLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Francisco Durán 0001, Santiago Escobar 0001, Salvador Lucas New Evaluation Commands for Maude Within Full Maude. Search on Bibsonomy WRLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Adrián Riesco 0001, Juan Rodríguez-Hortalá Programming with singular and plural non-deterministic functions. Search on Bibsonomy PEPM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF non-deterministic functions, semantics, program transformation, term rewriting, maude
34José Eduardo Rivera, Antonio Vallecillo Representing and Operating with Model Differences. Search on Bibsonomy TOOLS (46) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model difference, Model-driven software development, Maude, object matching, model evolution, model comparison
34Musab AlTurki, José Meseguer 0001 Real-time rewriting semantics of orc. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF orc, orchestration theory, real-time, formal analysis, rewriting logic, structural operational semantics, maude
34Kazuhiro Ogata 0001, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi Induction-Guided Falsification. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF observational transition system (OTS), invariant, induction, counterexample, Maude, CafeOBJ
34Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Tree identify protocol, Rewriting logic, Maude, Object-oriented specifications, IEEE 1394
34Nirman Kumar, Koushik Sen, José Meseguer 0001, Gul Agha A Rewriting Based Model for Probabilistic Distributed Object Systems. Search on Bibsonomy FMOODS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Rewrite theory, probability, nondeterminism, actors, Maude
30Adrián Riesco 0001, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero 0001 A Declarative Debugger for Maude. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Peter Csaba Ölveczky, Pavithra Prabhakar, Xue Liu Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude. Search on Bibsonomy IPDPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Francisco Durán 0001, Salvador Lucas, José Meseguer 0001 MTT: The Maude Termination Tool (System Description). Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Peter Csaba Ölveczky Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude. Search on Bibsonomy SNPD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF formal modeling and analysis, object-oriented real-time systems, embedded medical devices, rewriting logic, metric temporal logic
30Peter Csaba Ölveczky, Martin Grimeland Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude. Search on Bibsonomy IPDPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi Hierarchical Verification in Maude of L f P Software Architectures. Search on Bibsonomy ECSA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Scott Alexander Conceptual Data Modeling with Constraints in Maude. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Steven Eker, Keith Laderoute, Patrick Lincoln, M. G. Sriram, Carolyn L. Talcott Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude. Search on Bibsonomy CMSB The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30José 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. Search on Bibsonomy DANCE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
30Manuel Clavel, Francisco Durán 0001, Steven Eker, José Meseguer 0001, Mark-Oliver Stehr Maude as a Formal Meta-tool. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
30Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Jose F. Quesada The Maude System. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Michael Rizvi, Maude Lizaire, Clara Lacroce, Guillaume Rabusseau Simulating Weighted Automata over Sequences and Trees with Transformers. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
27Michael Rizvi-Martel, Maude Lizaire, Clara Lacroce, Guillaume Rabusseau Simulating weighted automata over sequences and trees with transformers. Search on Bibsonomy AISTATS The full citation details ... 2024 DBLP  BibTeX  RDF
27Ali Shahaab, Imtiaz A. Khan, Ross Maude, Chaminda Hewage, Yingli Wang Public service operational efficiency and blockchain - A case study of Companies House, UK. Search on Bibsonomy Gov. Inf. Q. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Maude Beauchemin, Marc-André Ménard, Jonathan Gaudreault, Nadia Lehoux, Stéphane Agnard, Claude-Guy Quimper Dynamic allocation of human resources: case study in the metal 4.0 manufacturing industry. Search on Bibsonomy Int. J. Prod. Res. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Shokoufeh Naderi, Maude J. Blondin A Mapping and State-of-the-Art Survey on Multi-Objective Optimization Methods for Multi-Agent Systems. Search on Bibsonomy IEEE Access The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Robert P. Gauthier, Catherine Pelletier, Laurie-Ann Carrier, Maude Dionne, Ève Dubé, Samantha Meyer, James R. Wallace Agency and Amplification: A Comparison of Manual and Computational Thematic Analyses by Public Health Researchers. Search on Bibsonomy Proc. ACM Hum. Comput. Interact. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 677 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license