On Time Actors-Reference-Cited by-同舟云学术

On Time Actors

Published:2016 Issue: Volume: Page:373-392
ISSN:0302-9743
Container-title:Theory and Practice of Formal Methods
language:
Short-container-title:

Author:

Sirjani Marjan,Khamespanah Ehsan

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-30734-3_25

Reference38 articles.

1. Ptolemaeus, C.: System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, Berkeley (2014)

2. Sirjani, M., Movaghar, A., Shali, A., de Boer, F.S.: Modeling and verification of reactive systems using Rebeca. Fundam. Inform. 63(4), 385–410 (2004)

3. Sirjani, M., de Boer, F.S., Movaghar-Rahimabadi, A.: Modular verification of a component-based actor language. J. UCS 11(10), 1695–1717 (2005)

4. Hewitt, C.: Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot. MIT Artificial Intelligence Technical Report 258, Department of Computer Science, MIT, April 1972

5. MIT Press series in artificial intelligence;GA Agha,1990

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. CRYSTAL framework: Cybersecurity assurance for cyber-physical systems;Journal of Logical and Algebraic Methods in Programming;2024-06

2. Formal Verification of Consistency for Systems with Redundant Controllers;Electronic Proceedings in Theoretical Computer Science;2024-03-27

3. Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition system;Journal of Parallel and Distributed Computing;2024-02

4. Actors Upgraded for Variability, Adaptability, and Determinism;Lecture Notes in Computer Science;2024

5. Timed Actors and Their Formal Verification;Electronic Proceedings in Theoretical Computer Science;2023-09-14