Tool-supported enhancement of diagnosis in model-driven verification-Reference-Cited by-同舟云学术

Tool-supported enhancement of diagnosis in model-driven verification

Published:2009-07-28 Issue:3 Volume:5 Page:211-228
ISSN:1614-5046
Container-title:Innovations in Systems and Software Engineering
language:en
Short-container-title:Innovations Syst Softw Eng

Author:

Bakera Marco,Margaria Tiziana,Renner Clemens D.,Steffen Bernhard

Publisher

Springer Science and Business Media LLC

Subject

Software

Link

http://link.springer.com/content/pdf/10.1007/s11334-009-0091-6.pdf

Reference23 articles.

1. Bakera M, Margaria T, Renner CD, Steffen B (2007) Property-driven functional healing: playing against undesired behavior. In: Proceedings of CONQUEST 2007, 10th international conference on quality engineering in software technology

2. Ben-Ari M, Amir Pnueli, Manna Z (1983) The temporal logic of branching time. Acta Informatica 20: 207–226

3. Berry G, Gonthier G (1992) The ESTEREL synchronous programming language: design, semantics, implementation. Sci Comput Programming 19: 87–152

4. Bormann G, Joudrier L, Kapellos K (2004) FORMID: a formal specification and verification Environment for DREAMS. In: Proceedings of 8th ESA ASTRA workshop

5. Burch JR, Clarke EM, McMillan KL, Dill DL, Hwang LJ (1990) Symbolic model checking: 1020 states and beyond. In: LICS, IEEE Computer Society, pp 428–439

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

1. Edge IoT Prototyping Using Model-Driven Representations: A Use Case for Smart Agriculture;Sensors;2024-01-12

2. Efficient Model-Driven Prototyping for Edge Analytics;Electronics;2023-09-14

3. Active Behavior Mining for Digital Twins Extraction;IT Professional;2022-07-01

4. Evolution of the Historian Data Entry Application: Supporting Transcribathons in the Digital Humanities through MDD;2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC);2022-06

5. Towards Continuous Quality Control in the Context of Language-Driven Engineering;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022