Algebraic specifications of computable and semicomputable data types
Theoretical Computer Science
Information and Computation
Real-Time Systems
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Theoretical Computer Science
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Category theory for computing science, 2nd ed.
Category theory for computing science, 2nd ed.
Timed rewriting logic with an application to object-based specification
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
Distributed Algorithms
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
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
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
Deductive Verification of Hybrid Systems Using STeP
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
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).
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Process Control
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Interval Timed Coloured Petri Nets and their Analysis
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Deductive Verification of Real-Time Systems Using STeP
ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
Clocked Transition Systems
A Formal Model for SDL Specifications Based on Timed Rewriting Logic
Automated Software Engineering
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
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
Decidability of Safety Properties of Timed Multiset Rewriting
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
Formal Methods in System Design
Writing and executing ODP computational viewpoint specifications using Maude
Computer Standards & Interfaces
Semantics and pragmatics of Real-Time Maude
Higher-Order and Symbolic Computation
Science of Computer Programming
Recent Advances in Real-Time 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
Abstraction and Completeness for Real-Time Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
On Modelling Sensor Networks in Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Reduction Semantics and Formal Analysis of Orc Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
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
An Object-Oriented Component Model for Heterogeneous Nets
Formal Methods for Components and Objects
Theoretical Computer Science
Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
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
Quantitative Pathway Logic for Computational Biology
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol
Electronic Notes in Theoretical Computer Science (ENTCS)
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)
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
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
The rewriting logic semantics project: a progress report
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
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
Formal real-time model transformations in MOMENT2
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
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 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
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 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
Timed CTL model checking in real-time maude
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
User-defined schedulers for real-time concurrent objects
Innovations in Systems and Software Engineering
Performance evaluation of sensor networks by statistical modeling and euclidean model checking
ACM Transactions on Sensor Networks (TOSN)
The rewriting logic semantics project: A progress report
Information and Computation
Hi-index | 0.00 |
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be specified as ordinary rewrite theories, and show that a wide range of real-time and hybrid system models, including object-oriented systems, timed automata, hybrid automata, timed and phase transition systems, and timed extensions of Petri nets, can indeed be expressed in rewriting logic quite naturally and directly. Since rewriting logic is executable and is supported by several language implementations, our approach complements property-oriented methods and tools less well suited for execution purposes, and can be used as the basis for symbolic simulation and formal analysis of real-time and hybrid systems. The relationships with the timed rewriting logic approach of Kosiuczenko and Wirsing are also studied.