Functorial models for petri nets
Information and Computation
Compositional SOS and beyond: a coalgebraic view of open systems
Theoretical Computer Science
Dynamic connectors for concurrency
Theoretical Computer Science
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Reflection in conditional rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Logical foundations of cafeOBJ
Theoretical Computer Science - Rewriting logic and its applications
Comparing logics for rewriting: rewriting logic, action calculi and tile logic
Theoretical Computer Science - Rewriting logic and its applications
Specification of real-time and hybrid systems in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Actor theories in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
A formal approach to object-oriented software engineering
Theoretical Computer Science - Rewriting logic and its applications
Normal forms for algebras of connections
Theoretical Computer Science
Relating CASL with other specification languages: the institution level
Theoretical Computer Science
Normal Forms for Partitions and Relations
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Hierarchical Heterogeneous Specifications
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
A Comparison of Petri Net Semantics under the Collective Token Philosophy
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
The Extensibility of Maude's Module Algebra
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
A Total Approach to Partial Algebraic Specification
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
A Partial Order Event Model for Concurrent Objects
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Rewriting Logic as a Metalogical Framework
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Component-Based Algebraic Specification and Verification in CafeOBJ
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Logical Specification of Operational Semantics
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Tile Transition Systems as Structured Coalgebras
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Formalizing ODP enterprise specifications in Maude
Computer Standards & Interfaces
Certifying Domain-Specific Policies
Proceedings of the 16th IEEE international conference on Automated software engineering
Monitoring Programs Using Rewriting
Proceedings of the 16th IEEE international conference on Automated software engineering
Revisiting the algebra of Petri net processes under the collective token philosophy
Fundamenta Informaticae - Concurrency specification and programming
Structured theories and institutions
Theoretical Computer Science
An Overview of the Runtime Verification Tool Java PathExplorer
Formal Methods in System Design
Herbrand theorems in arbitrary institutions
Information Processing Letters
Concurrent models for Linda with transactions
Mathematical Structures in Computer Science
Reflective metalogical frameworks
ACM Transactions on Computational Logic (TOCL)
Proving termination of membership equational programs
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Rewriting-Based Techniques for Runtime Verification
Automated Software Engineering
Operational termination of conditional term rewriting systems
Information Processing Letters
A rewriting-based inference system for the NRL protocol analyzer: grammar generation
Proceedings of the 2005 ACM workshop on Formal methods in security engineering
Prototyping 3APL in the Maude term rewriting language
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Semantic foundations for generalized rewrite theories
Theoretical Computer Science
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
Formal Methods in System Design
A rewriting-based inference system for the NRL Protocol analyzer and its meta-logical properties
Theoretical Computer Science - Automated reasoning for security protocol analysis
A comparison between two logical formalisms for rewriting
Theory and Practice of Logic Programming
The rewriting logic semantics project
Theoretical Computer Science
Writing and executing ODP computational viewpoint specifications using Maude
Computer Standards & Interfaces
Semantics and pragmatics of Real-Time Maude
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
Science of Computer Programming
Recent Advances in Real-Time Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Narrowing and Rewriting Logic: from Foundations to Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Real-time rewriting semantics of orc
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Abstraction and Completeness for Real-Time Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Algebraic Stuttering Simulations
Electronic Notes in Theoretical Computer Science (ENTCS)
Reduction Semantics and Formal Analysis of Orc Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Proving operational termination of membership equational programs
Higher-Order and Symbolic Computation
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Theoretical Computer Science
Computational Logical Frameworks and Generic Program Analysis Technologies
Verified Software: Theories, Tools, Experiments
Declarative Debugging of Membership Equational Logic Specifications
Concurrency, Graphs and Models
Effectively Checking the Finite Variant Property
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
MTT: The Maude Termination Tool (System Description)
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
State Space Reduction in the Maude-NRL Protocol Analyzer
ESORICS '08 Proceedings of the 13th European Symposium on Research in Computer Security: Computer Security
Theoretical Computer Science
A semantic approach to interpolation
Theoretical Computer Science
A rewriting logic approach to operational semantics
Information and Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
A Modular Equational Generalization Algorithm
Logic-Based Program Synthesis and Transformation
Rewriting Logic Semantics and Verification of Model Transformations
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Formal Specification and Analysis of Timing Properties in Software Systems
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
Electronic Notes in Theoretical Computer Science (ENTCS)
Strategy-Based Proof Calculus for Membrane Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A Declarative Debugger for Maude Functional Modules
Electronic Notes in Theoretical Computer Science (ENTCS)
Variant Narrowing and Equational Unification
Electronic Notes in Theoretical Computer Science (ENTCS)
Operational Termination of Membership Equational Programs: the Order-Sorted Way
Electronic Notes in Theoretical Computer Science (ENTCS)
Invariant-driven specifications in Maude
Science of Computer Programming
Web Services and Interoperability for the Maude Termination Tool
Electronic Notes in Theoretical Computer Science (ENTCS)
Methods for Proving Termination of Rewriting-based Programming Languages by Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Using Maude to write and execute ODP information viewpoint specifications
Computer Standards & Interfaces
Checking Protocol Compatibility using Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Teaching Formal Methods Based on Rewriting Logic and Maude
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
A Rewriting Semantics for a Software Architecture Description Language
Electronic Notes in Theoretical Computer Science (ENTCS)
A Tutorial on Specifying Data Structures in Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Modular Rewriting Semantics in Practice
Electronic Notes in Theoretical Computer Science (ENTCS)
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
The Rewriting Logic Semantics Project
Electronic Notes in Theoretical Computer Science (ENTCS)
An Abstract Way to Define Rewriting Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Operational termination of conditional term rewriting systems
Information Processing Letters
Prototyping 3APL in the Maude term rewriting language
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Reasoning support for CASL with automated theorem proving systems
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Conceptual data modeling with constraints in maude
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Algebraic models of simultaneous multithreaded and multi-core processors
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Formal modeling and analysis of the OGDC wireless sensor network algorithm in real-time maude
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Symbolic model checking of infinite-state systems using narrowing
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
On the completeness of context-sensitive order-sorted specifications
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
An algebraic semantics for MOF
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Order-sorted parameterization and induction
Semantics and algebraic specification
Sequential protocol composition in maude-NPA
ESORICS'10 Proceedings of the 15th European conference on Research in computer security
Combining theorem proving and narrowing for rewriting-logic specifications
TAP'10 Proceedings of the 4th international conference on Tests and proofs
Formal modeling and analysis of wireless sensor network algorithms in real-time maude
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Embedding domain-specific modelling languages in maude specifications
ACM SIGSOFT Software Engineering Notes
Fostering proof scores in CafeOBJ
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
The rewriting logic semantics project: a progress report
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
Proving safety properties of rewrite theories
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Modularisation in maude of parametrized RBAC for row level access control
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
Probabilistic real-time rewrite theories and their expressive power
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Protocol analysis modulo combination of theories: a case study in Maude-NPA
STM'10 Proceedings of the 6th international conference on Security and trust management
Parameterized metareasoning in membership equational logic
Formal modeling
An introduction to maude and some of its applications
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Formal real-time model transformations in MOMENT2
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Functorial semantics of rewrite theories
Formal Methods in Software and Systems Modeling
Theoroidal maps as algebraic simulations
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
A sufficient completeness reasoning tool for partial specifications
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Localized fairness: a rewriting semantics
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Bireachability and final multialgebras
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Simulation and verification of synchronous set relations in rewriting logic
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Algebraic specification of a model transformation engine
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Formal simulation and analysis of the CASH scheduling algorithm in real-time maude
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Datalog-Based program analysis with BES and RWL
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
A generic framework for n-protocol compatibility checking
Science of Computer Programming
Formalization and correctness of the PALS architectural pattern for distributed real-time systems
Theoretical Computer Science
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
Science of Computer Programming
A probabilistic framework for object-oriented modeling and analysis of distributed systems
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Principles of proof scores in CafeOBJ
Theoretical Computer Science
Order-Sorted equality enrichments modulo axioms
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Order-sorted Equational Unification Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)
Interpolation in logics with constructors
Theoretical Computer Science
Formal Modeling and Verification of Security Property in Handel C Program
International Journal of Secure Software Engineering
Institutional semantics for many-valued logics
Fuzzy Sets and Systems
Using maude rewriting system to modularize and extend SQL
Proceedings of the 28th Annual ACM Symposium on Applied Computing
The rewriting logic semantics project: A progress report
Information and Computation
Embedding domain-specific modelling languages in Maude specifications
Software and Systems Modeling (SoSyM)
Taming distributed system complexity through formal patterns
Science of Computer Programming
Hi-index | 0.01 |