Some Results on the Expressive Power and Complexity of LSCs-Reference-Cited by-同舟云学术

Some Results on the Expressive Power and Complexity of LSCs

Published: Issue: Volume: Page:351-366
ISSN:
Container-title:Pillars of Computer Science
language:
Short-container-title:

Author:

Harel David,Maoz Shahar,Segall Itai

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-78127-1_19.pdf

Reference36 articles.

1. Bontemps, Y.: Relating Inter-Agent and Intra-Agent Specifications (The Case of Live Sequence Charts). PhD thesis, Facultés Universitaires Notre-Dame de la Paix, Institut d’Informatique (University of Namur, Computer Science Dept) (April 2005)

2. Lecture Notes in Computer Science;Y. Bontemps,2005

3. Bontemps, Y., Schobbens, P.-Y.: The Computational Complexity of Scenario-Based Agent Verification and Design. J. Applied Logic 5(2), 252–276 (2007)

4. Bontemps, Y., Schobbens, P.-Y., Löding, C.: Synthesis of Open Reactive Systems from Scenario-Based Specifications. Fundam. Inform. 62(2), 139–169 (2004)

5. Lecture Notes in Computer Science;M. Brill,2004

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

1. Runtime verification of train control systems with parameterized modal live sequence charts;Journal of Systems and Software;2021-07

2. Monitoring with Parametrized Extended Life Sequence Charts;Fundamenta Informaticae;2017-06-16

3. Model-based test generation using extended symbolic grammars;International Journal on Software Tools for Technology Transfer;2014-04-26

4. Semantically Configurable Analysis of Scenario-Based Specifications;Fundamental Approaches to Software Engineering;2014

5. Monitoring Systems with Extended Live Sequence Charts;Runtime Verification;2014