|
|
(3 intermediate revisions by 3 users not shown) |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: vlogsl / rank |
| | Normal rank |
| Property / MaRDI profile type |
| | |
| Property / MaRDI profile type: MaRDI publication profile / rank |
| | Normal rank |
| Property / full work available at URL |
| | |
| Property / full work available at URL: https://doi.org/10.1016/j.jlap.2012.06.003 / rank |
| | Normal rank |
| Property / OpenAlex ID |
| | |
| Property / OpenAlex ID: W2006766139 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Context-sensitive dependency pairs / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Abstract Certification of Global Non-interference in Rewriting Logic / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A Modular Equational Generalization Algorithm / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Order-Sorted Generalization / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Executable rewriting logic semantics of Orc and formal analysis of Orc programs / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A theory of timed automata / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Data-driven modeling of Alzheimer disease pathogenesis / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A rewriting logic framework for operational semantics of membrane systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A Port Graph Calculus for Autonomic Computing and Invariant Verification / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Strategy-Based Proof Calculus for Membrane Systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3045455 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Using typed lambda calculus to implement formal systems on a machine / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Term rewriting and applications. 18th international conference, RTA 2007, Paris, France, June 26--28, 2007. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Computer security -- ESORICS 2009. 14th European symposium on research in computer security, Saint-Malo, France, September 21--23, 2009. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: The Linear Temporal Logic of Rewriting Maude Model Checker / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Verifying hierarchical Ptolemy II discrete-event models using real-time maude / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4270055 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4138149 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A rewriting calculus for cyclic higher-order term graphs / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: The gamma model and its discipline of programming / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Formal methods for open object-based distributed systems. 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4--6, 2008. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Reflective metalogical frameworks / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4261732 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3896478 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: The chemical abstract machine / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Sequential and concurrent behaviour in Petri net theory / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Formal methods for open object-based distributed systems. 9th IFIP WG 6.1 international conference FMOODS 2007, Paphos, Cyprus, June 6--8, 2007. Proceedings. / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: What Is a Multi-modeling Language? / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: An algebraic semantics for MOF / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: ELAN from a rewriting logic point of view / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Specification and proof in membership equational logic / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4447221 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4447223 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2863876 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4808751 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2849873 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4449180 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Semantic foundations for generalized rewrite theories / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Symmetric monoidal and cartesian double categories as a semantic framework for tile logic / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2851050 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4222985 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4222997 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Fundamental approaches to software engineering. 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22--29, 2009. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4447234 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2782483 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2769430 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2851046 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2844065 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2734833 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Maude: specification and programming in rewriting logic / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4222853 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Algebraic Methodology and Software Technology / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4222856 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Reflection in conditional rewriting logic / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Term Rewriting and Applications / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: The calculus of constructions / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Generalized Theoroidal Institution Comorphisms / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A causal semantics for CCS via rewriting logic / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Axiomatizing the algebra of net computations and processes / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Proved trees / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2703711 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Automated Deduction – CADE-19 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2715825 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Higher order unification via explicit substitutions / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: HOL-λσ: an intentional first-order expression of higher-order logic / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Theorem proving modulo / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q5150132 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2767191 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Proving operational termination of membership equational programs / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: MTT: The Maude Termination Tool (System Description) / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Methods for Proving Termination of Rewriting-based Programming Languages by Transformation / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Termination Modulo Combinations of Equational Theories / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Maude's module algebra / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2989001 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4447218 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Deduction, Strategies, and Rewriting / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A Rewriting Logic Approach to Type Inference / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: State space reduction in the Maude-NRL protocol analyzer / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Symbolic Model Checking of Infinite-State Systems Using Narrowing / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Effectively Checking the Finite Variant Property / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Narrowing and Rewriting Logic: from Foundations to Applications / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Folding Variant Narrowing and Optimal Variant Termination / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Computer Aided Verification / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: State Space Reduction of Rewrite Theories Using Invisible Transitions / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Partial Order Reduction for Rewriting Semantics of Programming Languages / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Algebraic Methodology and Software Technology / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4698612 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3491030 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2703697 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4409149 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A Sound and Complete Deductive System for CTL* Verification / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2851048 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Term Rewriting and Applications / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Termination of rewriting under strategies / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Institutions: abstract model theory for specification and programming / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Proving Termination in the Context-Sensitive Dependency Pair Framework / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A logic for reasoning about time and reliability / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4471717 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A framework for defining logics / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Term Rewriting and Applications / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Coverset Induction with Partiality and Subsorts: A Powerlist Case Study / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: On the Completeness of Context-Sensitive Order-Sorted Specifications / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Order-sorted Equational Unification Revisited / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Propositional Tree Automata / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Which Soft Constraints do you Prefer? / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Rewriting techniques and applications. 6th international conference, RTA-95, Kaiserslautern, Germany, April 5--7, 1995. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2849872 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Type Fusion / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Algebraic methodology and software technology. 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5--8, 2006. Proceedings. / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Completion of a Set of Rules Modulo a Set of Equations / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3664457 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Rewriting semantics of production rule sets / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: vlogsl: A Strategy Language for Simulation-Based Verification of Hardware / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Formal modeling and analysis of timed systems. 5th international conference, FORMATS 2007, Salzburg, Austria, October 3--5, 2007. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4222980 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2740996 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Combining symbolic constraint solvers on algebraic domains / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4357065 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Timed rewriting logic with an application to object-based specification / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Formal Methods for Open Object-Based Distributed Systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Axiomatizing permutation equivalence / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Timed CTL Model Checking in Real-Time Maude / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2849860 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4259966 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Context-sensitive rewriting strategies / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Operational termination of conditional term rewriting systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Termination of just/fair computations in term rewriting / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Operational Termination of Membership Equational Programs: the Order-Sorted Way / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Correct Hardware Design and Verification Methods / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Modular and incremental proofs of AC-termination / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4698614 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4246796 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Handbook of philosophical logic. Vol. 9 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Rewriting logic: Roadmap and bibliography / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Recent Trends in Algebraic Development Techniques / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A Rewriting Semantics for Maude Strategies / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: The NRL Protocol Analyzer: An Overview / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3032225 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Conditional rewriting logic as a unified model of concurrency / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Conditional rewriting logic: Deduction, models and concurrency / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Rewriting logic as a semantic framework for concurrency: a progress report / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3839051 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4762648 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2723887 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Formal methods in software and systems modeling. Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Theoretical Aspects of Computing – ICTAC 2005 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: The Temporal Logic of Rewriting: A Gentle Introduction / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3839052 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Equational abstractions / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Algebraic simulations / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Automated Reasoning / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: The rewriting logic semantics project / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: The Rewriting Logic Semantics Project: A Progress Report / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Hybrid Systems: Computation and Control / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4270072 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3046721 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2849863 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Formal Methods for Open Object-Based Distributed Systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4790669 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: External rewriting for skeptical proof assistants / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Rewriting techniques and applications. 14th international conference, RTA 2003, Valencia, Spain, June 9--11, 2003. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Solving SAT and SAT Modulo Theories / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Formal Methods for Open Object-Based Distributed Systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2783416 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Rewriting logic and its applications. 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20--21, 2010. Revised selected papers / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2764137 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Formal methods for industrial applications. Specification and programming the Steam Boiler Control / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4222863 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Specification of real-time and hybrid systems in rewriting logic / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Abstraction and Completeness for Real-Time Maude / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Semantics and pragmatics of real-time maude / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Specification and analysis of the AER/NCA active network protocol suite in real-time Maude / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Algebra and Coalgebra in Computer Science / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Recent trends in algebraic development techniques. 12th international workshop, WADT '97, Tarquinia, Italy, June 3--7, 1997. Selected papers / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: SymPLFIED: Symbolic Program-Level Fault Injection and Error Detection Framework / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Isabelle. A generic theorem prover / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Membrane computing. An introduction. / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Complete Sets of Reductions for Some Equational Theories / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3204068 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3696524 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3783524 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4315289 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Algebraic Methodology and Software Technology / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Declarative Debugging of Rewriting Logic Specifications / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: On the Behavioral Semantics of Real-Time Domain Specific Visual Languages / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Theorem Proving Modulo Based on Boolean Equational Procedures / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Proving Safety Properties of Rewrite Theories / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2851056 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Matching Logic: An Alternative to Hoare/Floyd Logic / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: An overview of the K semantic framework / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Tests and proofs. 4th international conference, TAP 2010, Málaga, Spain, July 1--2, 2010. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Characterizing and proving operational termination of deterministic conditional term rewriting systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Computer Aided Verification / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A rewriting logic approach to operational semantics / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Monadic Elementary Formal Systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4222999 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q5472887 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q5472892 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4421726 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4324960 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A Formal Pattern Architecture for Safe Medical Systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Actor theories in rewriting logic / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Transactions on Computational Systems Biology VI / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Complete symbolic reachability analysis using back-and-forth narrowing / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2851059 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4708927 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Analyzing Pathways Using SAT-Based Approaches / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Modular and incremental automated termination proofs / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Language Prototyping: An Algebraic Specification Approach / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4422086 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Two case studies of semantics execution in Maude: CCS and LOTOS / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Executable structural operational semantics in Maude / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4223003 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Equational rules for rewriting logic / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A timed semantics of Orc / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: FM '99. Formal methods. World congress on Formal methods in the development of computing systems. Toulouse, France, September 20--24, 1999. Proceedings. In 2 vols / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A Rewriting Logic Framework for Soft Constraints / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A formal approach to object-oriented software engineering / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Statistical probabilistic model checking with a focus on time-bounded properties / rank |
| | Normal rank |