Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Initiality, induction, and computability
Algebraic methods in semantics
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Information and Computation - Semantics of Data Types
Programming in Martin-Lo¨f's type theory: an introduction
Programming in Martin-Lo¨f's type theory: an introduction
The C programming language
Handbook of theoretical computer science (vol. B)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
A logical theory of concurrent objects and its realization in the Maude language
Research directions in concurrent object-oriented programming
From λσ to λν: a journey through calculi of explicit substitutions
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An efficient incremental algorithm for solving systems of linear Diophantine equations
Information and Computation
Computation and reasoning: a type theory for computer science
Computation and reasoning: a type theory for computer science
Closure under alpha-conversion
TYPES '93 Proceedings of the international workshop on Types for proofs and programs
General logics and logical frameworks
What is a logical system?
A formal semantics for the ODP computational model
Computer Networks and ISDN Systems - Special issue on ISO reference model for open distributed processing
Ropes: an alternative to strings
Software—Practice & Experience
Modeling and verification of randomized distributed real-time systems
Modeling and verification of randomized distributed real-time systems
An object-oriented modeling method for algebraic specifications in CafeOBJ
ICSE '97 Proceedings of the 19th international conference on Software engineering
Computational models for open distributed systems
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Purely functional data structures
Purely functional data structures
Seven good reasons for mobile agents
Communications of the ACM
Mobile agents and the future of the internet
ACM SIGOPS Operating Systems Review
Tile formats for located and mobile systems
Information and Computation - Special issue on EXPRESS 1997
Specification and proof in membership equational logic
Theoretical Computer Science - Trees in algebra and programming
Model checking
Higher order unification via explicit substitutions
Information and Computation
Proof, language, and interaction
Formally modeling UML and its evolution: a holistic approach
Fourth International Conference on Formal methods for open object-based distributed systems IV
Seamless formalizing the UML semantics through metamodels
Unified modeling language
Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications
Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications
Data Structures and Problem Solving Using Java
Data Structures and Problem Solving Using Java
Markov Decision Processes: Discrete Stochastic Dynamic Programming
Markov Decision Processes: Discrete Stochastic Dynamic Programming
Communication and Concurrency
Language Prototyping: An Algebraic Specification Approach: Vol. V
Language Prototyping: An Algebraic Specification Approach: Vol. V
Algorithms; A Functional Programming Approach
Algorithms; A Functional Programming Approach
Computer-Aided Reasoning: An Approach
Computer-Aided Reasoning: An Approach
A causal semantics for CCS via rewriting logic
Theoretical Computer Science
Context-sensitive rewriting strategies
Information and Computation
Composable Semantic Models for Actor Theories
Higher-Order and Symbolic Computation
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
ELAN from a rewriting logic point of view
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
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
A Maude specification of an object-oriented model for telecommunication networks
Theoretical Computer Science - Rewriting logic and its applications
Actor theories in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Equational rules for 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
Executable Tile Specifications for Process Calculi
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Composable Semantic Models for Actor Theories
TACS '97 Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software
Membership algebra as a logical framework for equational specification
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Mapping tile logic into rewriting logic
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Semantic Models for Distributed Object Reflection
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
FORTE/PSTV 2000 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX)
A Symbolic Semantics and Bisimulation for Full LOTOS
FORTE '01 Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems
Building Tools for LOTOS Symbolic Semantics in Maude
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Operational Semantics for Order-Sorted Algebra
Proceedings of the 12th Colloquium on Automata, Languages and Programming
A Semantically Sound Actor Tranlsation
ICALP '97 Proceedings of the 24th International Colloquium on Automata, Languages and Programming
Rewriting: An Effective Model of Concurrency
PARLE '94 Proceedings of the 6th International PARLE Conference on Parallel Architectures and Languages Europe
Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Rewriting Logic and Maude: Concepts and Applications
RTA '00 Proceedings of the 11th International Conference on Rewriting Techniques and Applications
Minimal Solutions of Linear Diophantine Systems: Bounds and Algorithms
RTA '91 Proceedings of the 4th International Conference on Rewriting Techniques and Applications
An Object-Oriented Algebraic Steam-Boiler Control Specification
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
ASA/MA 2000 Proceedings of the Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Axiomatizing Permutation Equivalence in the Lambda-Calculus
Proceedings of the Third International Conference on Algebraic and Logic Programming
A Mechanizable Induction Principle for Equational Specifications
Proceedings of the 9th International Conference on Automated Deduction
Essentials of Constraint Programming
Essentials of Constraint Programming
Essentials of Constraint Programming
Essentials of Constraint Programming
Formalizing ODP enterprise specifications in Maude
Computer Standards & Interfaces
A Meta-Notation for Protocol Analysis
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
A Formal Analysis of Some Properties of Kerberos 5 Using MSR
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
On the role of generalized semi-Markov processes in simulation output analysis
WSC '83 Proceedings of the 15th conference on Winter simulation - Volume 1
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Testing Linear Temporal Logic Formulae on Finite Execution Traces
Testing Linear Temporal Logic Formulae on Finite Execution Traces
Process and Term Tile Logic
Journal of Automated Reasoning
Structured theories and institutions
Theoretical Computer Science
HOL-λσ: an intentional first-order expression of higher-order logic
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
Exploring adaptability of secure group communication using formal prototyping techniques
ARM '04 Proceedings of the 3rd workshop on Adaptive and reflective middleware
Formal prototyping in early stages of protocol design
WITS '05 Proceedings of the 2005 workshop on Issues in the theory of security
A rewriting-based inference system for the NRL protocol analyzer: grammar generation
Proceedings of the 2005 ACM workshop on Formal methods in security engineering
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
Formal Methods in System Design
Two case studies of semantics execution in Maude: CCS and LOTOS
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
Semantics and pragmatics of Real-Time Maude
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
Science of Computer Programming
Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer
Electronic Notes in Theoretical Computer Science (ENTCS)
Abstraction and Completeness for Real-Time Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Partial Order Reduction for Rewriting Semantics of Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Proving operational termination of membership equational programs
Higher-Order and Symbolic Computation
Using Maude to write and execute ODP information viewpoint specifications
Computer Standards & Interfaces
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)
Formal Checklists for Remote Agent Dependability
Electronic Notes in Theoretical Computer Science (ENTCS)
New Evaluation Commands for Maude Within Full Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Modular Rewriting Semantics in Practice
Electronic Notes in Theoretical Computer Science (ENTCS)
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Strategy Language for Maude
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)
Typed Mobile Ambients in Maude
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
Strategies and simulations in a semantic framework
Journal of Algorithms
Reduction Semantics and Formal Analysis of Orc Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Verification of Websites
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Theoretical Computer Science
Model-checking agent refinement
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Graph-Based Design and Analysis of Dynamic Software Architectures
Concurrency, Graphs and Models
Declarative Debugging of Membership Equational Logic Specifications
Concurrency, Graphs and Models
The Temporal Logic of Rewriting: A Gentle Introduction
Concurrency, Graphs and Models
A Declarative Debugger for Maude
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
MTT: The Maude Termination Tool (System Description)
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
Applications of Graph Transformations with Industrial Relevance
Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
A Semantic Web Reasoner for Rules, Equations and Constraints
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Design of Complex Cyber Physical Systems with Formalized Architectural Patterns
Software-Intensive Systems and New Computing Paradigms
A Verification Framework for Normative Multi-Agent Systems
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
A rewriting logic approach to operational semantics
Information and Computation
Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures
Electronic Notes in Theoretical Computer Science (ENTCS)
Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol
Electronic Notes in Theoretical Computer Science (ENTCS)
A Formal Semantics for a Quality of Service Contract Language
Electronic Notes in Theoretical Computer Science (ENTCS)
A Modular Equational Generalization Algorithm
Logic-Based Program Synthesis and Transformation
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude
Software Language Engineering
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
Strategy-Based Proof Calculus for Membrane Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Hierarchical Design Rewriting with Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
A Declarative Debugger for Maude Functional Modules
Electronic Notes in Theoretical Computer Science (ENTCS)
Patterns for Maude Metalanguage Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
A Rewriting Semantics for Maude Strategies
Electronic Notes in Theoretical Computer Science (ENTCS)
Combining Techniques to Reduce State Space and Prove Strong Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
The Second Rewrite Engines Competition
Electronic Notes in Theoretical Computer Science (ENTCS)
A course on algorithms and data structures using on-line judging
ITiCSE '09 Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in computer science education
Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
A Fully Abstract Semantics for Constructor Systems
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
Unification and Narrowing in Maude 2.4
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
Rapid-Prototyping of Adaptive Component-Based Systems Using Runtime Aspectual Interactions
RSP '09 Proceedings of the 2009 IEEE/IFIP International Symposium on Rapid System Prototyping
A Tool for Automated Certification of Java Source Code in Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer
Electronic Notes in Theoretical Computer Science (ENTCS)
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)
A formalization of the SMEPP model in Maude
Proceedings of the 5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services
Proceedings of the 8th international workshop on Specification and verification of component-based systems
Rewriting Agent Societies Strategically
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Efficient Monitoring of Parametric Context-Free Patterns
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
Correct Execution of Reconfiguration for Stateful Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Specification and Verification of Web Applications in Rewriting Logic
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Circular Coinduction with Special Contexts
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A fold/unfold transformation framework for rewrite theories extended to CCT
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Programming with singular and plural non-deterministic functions
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Data constraints for validation of real-time software
SE '08 Proceedings of the IASTED International Conference on Software Engineering
The maude formal tool environment
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
A probabilistic formal analysis approach to cross layer optimization in distributed embedded systems
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
CNL4DSA: a controlled natural language for data sharing agreements
Proceedings of the 2010 ACM Symposium on Applied Computing
Symbolic model checking of infinite-state systems using narrowing
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Combining formal verification with observed system execution behavior to tune system parameters
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Theorem proving modulo based on Boolean equational procedures
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
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
Service oriented architectural design
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Automatic certification of Java source code in rewriting logic
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
A reduced complexity design pattern for distributed hierarchical command and control system
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
Context-sensitive dependency pairs
Information and Computation
Order-sorted parameterization and induction
Semantics and algebraic specification
A constructive semantics for basic aspect constructs
Semantics and algebraic specification
On the specification and verification of model transformations
Semantics and algebraic specification
Circular coinduction: a proof theoretical foundation
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Constructor-based institutions
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Model-checking DoS amplification for VoIP session initiation
ESORICS'09 Proceedings of the 14th European conference on Research in computer security
Tool support for generation and validation of traces between requirements and architecture
Proceedings of the 6th ECMFA Traceability Workshop
Strategic executions of choreographed timed normative multi-agent systems
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Understanding signalling networks as collections of signal transduction pathways
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
A Natural Implementation of Plural Semantics in Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
An integrated framework for the diagnosis and correction of rule-based programs
Theoretical Computer Science
Towards formalizing web service composition in Maude's strategy language
Proceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications
Towards a rewriting logic semantics for ATL
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Simulating domain specific visual models by observation
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Transformation and debugging of functional logic programs
A 25-year perspective on logic programming
A formalisation of adaptable pervasive flows
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
JCoBox: generalizing active objects to concurrent components
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Combining theorem proving and narrowing for rewriting-logic specifications
TAP'10 Proceedings of the 4th international conference on Tests and proofs
Embedding domain-specific modelling languages in maude specifications
ACM SIGSOFT Software Engineering Notes
Coinduction for preordered algebra
Information and Computation
Model-checking web applications with web-TLR
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
A Church-Rosser checker tool for conditional order-sorted equational Maude specifications
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
A Maude coherence checker tool for conditional order-sorted rewrite theories
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
K-Maude: a rewriting based tool for semantics of programming languages
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Concurrent rewriting semantics and analysis of asynchronous digital circuits
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
A formal pattern architecture for safe medical systems
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
On the behavioral semantics of real-time domain specific visual languages
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
The linear temporal logic of rewriting Maude model checker
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Enhancing the debugging of Maude specifications
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
The third rewrite engines competition
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Rewriting logic approach to modeling and analysis of client behavior in open systems
SEUS'10 Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Abstract certification of global non-interference in rewriting logic
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Formalization and correctness of the PALS architectural pattern for distributed real-time systems
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
A combination of forward and backward reachability analysis methods
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
Matching logic: an alternative to hoare/floyd logic
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Proving termination properties with MU-TERM
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
A complete declarative debugger for Maude
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
A decision procedure for bisimilarity of generalized regular expressions
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
Action semantics for defining dynamic semantics of modeling languages
Proceedings of the Third Workshop on Behavioural Modelling
Incremental checking of well-founded recursive specifications modulo axioms
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Symbolic analysis of network security policies using rewrite systems
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
A transformation contract to generate aspects from access control policies
Software and Systems Modeling (SoSyM)
Models of Rate Restricted Communication for Concurrent Objects
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Simulating concurrent behaviors with worst-case cost bounds
FM'11 Proceedings of the 17th international conference on Formal methods
Analyzing BGP instances in Maude
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
An approach for effective design space exploration
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Towards a framework for modelling and verification of relay interlocking systems
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Lightweight testing of communication networks with e-motions
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Backward trace slicing for rewriting logic theories
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Efficient general unification for XOR with homomorphism
CADE'11 Proceedings of the 23rd international conference on Automated deduction
State/event-based LTL model checking under parametric generalized fairness
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
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
PREG axiomatizer: a ground bisimilarity checker for GSOS with predicates
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Tool interoperability in the Maude formal environment
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
A unifying formal basis for the SENSORIA approach: a white paper
Rigorous software engineering for service-oriented systems
Advances in model transformations by graph transformation: specification, execution and analysis
Rigorous software engineering for service-oriented 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
Honoring Carolyn Talcott's contributions to science
Formal modeling
A formal methodology for compositional cross-layer optimization
Formal modeling
Towards a system model for ensembles
Formal modeling
Fast sort computations for order-sorted matching and unification
Formal modeling
Towards a Maude formal environment
Formal modeling
Computational biology: a programming perspective
Formal modeling
Applications of pathway logic modeling to target identification
Formal modeling
A Deterministic Interpreter Simulating A Distributed real time system using VDM
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Synchronous AADL and its formal analysis in real-time Maude
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Object-oriented formal modeling and analysis of interacting hybrid systems in HI-maude
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
An executable formal semantics of C with applications
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Towards an automated assistant for clinical investigations
Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
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
Using rewrite strategies for testing BUpL agents
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
Defining datalog in rewriting logic
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
Exploiting the hierarchical structure of rule-based specifications for decision planning
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Formal semantics and analysis of behavioral AADL models in real-time maude
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
The refinement of choreographed multi-agent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Termination of context-sensitive rewriting with built-in numbers and collection data structures
WFLP'09 Proceedings of the 18th international conference on Functional and Constraint Logic Programming
Simulation and verification of synchronous set relations in rewriting logic
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Coverset induction with partiality and subsorts: a powerlist case study
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
Datalog-Based program analysis with BES and RWL
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Building a modal interface theory for concurrency and data
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
A new strategy for distributed compensations with interruption in long-running transactions
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Combining graph transformation and algebraic specification into model transformation
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Test-Case generation for maude functional modules
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
ABS: a core language for abstract behavioral specification
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Formal specification and validation of security policies
FPS'11 Proceedings of the 4th Canada-France MITACS conference on Foundations and Practice of Security
A design phase for data sharing agreements
DPM'11 Proceedings of the 6th international conference, and 4th international conference on Data Privacy Management and Autonomous Spontaneus Security
A distributed logic for networked cyber-physical systems
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
A Tool for Testing Data Type Implementations from Maude Algebraic Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Stable availability under denial of service attacks through formal patterns
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Reduction-based formal analysis of BGP instances
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Formal foundation of consistent EMF model transformations by algebraic graph transformation
Software and Systems Modeling (SoSyM)
RLSRunner: linking rascal with k for program analysis
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Formal specification of multisimulations using Maude
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
xTune: A formal methodology for cross-layer tuning of mobile embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
On abstractions for timing analysis in the K framework
FOPARA'11 Proceedings of the Second international conference on Foundational and Practical Aspects of Resource Analysis
Simplifying questions in maude declarative debugger by transforming proof trees
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
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
A formal model of user-defined resources in resource-restricted deployment scenarios
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
A K-based formal framework for domain-specific modelling languages
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Viewpoint co-evolution through coarse-grained changes and coupled transformations
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
MULE-Based wireless sensor networks: probabilistic modeling and quantitative analysis
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
A formal interactive verification environment for the plan execution interchange language
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Model-driven performance analysis of rule-based domain specific visual models
Information and Software Technology
Using semantics specified in maude to generate test cases
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
S-Narrowing for constructor systems
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
Compositional reasoning about shared futures
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Program analysis scenarios in rascal
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Design and analysis of cloud-based architectures with KLAIM and maude
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Making maude definitions more interactive
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Model checking LTLR formulas under localized fairness
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Modelling and analyzing adaptive self-assembly strategies with maude
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Formal modeling and analysis of human body exposure to extreme heat in HI-Maude
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Order-Sorted equality enrichments modulo axioms
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Timed CTL model checking in real-time maude
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Using narrowing to test maude specifications
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic inference of specifications using matching logic
PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
User-defined schedulers for real-time concurrent objects
Innovations in Systems and Software Engineering
Institutional semantics for many-valued logics
Fuzzy Sets and Systems
Achieving resilience of heterogeneous networks through predictive, formal analysis
Proceedings of the 2nd ACM international conference on High confidence networked systems
Towards formalising use case maps in Maude strategy language: application to multi-agent systems
International Journal of Computer Applications in Technology
Automating the analysis of NCL documents with a model-driven approach
Proceedings of the 19th Brazilian symposium on Multimedia and the web
Structured reasoning about actor systems
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
The rewriting logic semantics project: A progress report
Information and Computation
Using conditional trace slicing for improving Maude programs
Science of Computer Programming
Embedding domain-specific modelling languages in Maude specifications
Software and Systems Modeling (SoSyM)
Domain-specific discrete event modelling and simulation using graph transformation
Software and Systems Modeling (SoSyM)
Taming distributed system complexity through formal patterns
Science of Computer Programming
Specification and simulation of queuing network models using Domain-Specific Languages
Computer Standards & Interfaces
Hi-index | 0.00 |