From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts.

A. Sandro, G. Selim, R. Salay, T. Viger, M. Chechik, и S. Kokaly. MoDELS (Companion), стр. 15:1-15:5. ACM, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

K M Heinroth

Gehan Eltanany

Elisabeth Gehann

Hans-George Gehann

Ada Beate Gehann

Другие публикации лиц с тем же именем

Formal Verification of Graph-Based Model Transformations.G. Selim. Queen's University at Kingston, Ontario, Canada, (2015)MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts.A. Sandro, G. Selim, R. Salay, T. Viger, M. Chechik, и S. Kokaly. MoDELS (Companion), стр. 15:1-15:5. ACM, (2020)SyVOLT: Full Model Transformation Verification Using Contracts.L. Lúcio, B. Oakes, C. Gomes, G. Selim, J. Dingel, J. Cordy, и H. Vangheluwe. P&D@MoDELS, том 1554 из CEUR Workshop Proceedings, стр. 24-27. CEUR-WS.org, (2015)SL2SF: Refactoring Simulink to Stateflow.S. Wynn-Williams, Z. Diskin, V. Pantelic, M. Lawford, G. Selim, C. Milo, M. Diab, и F. Weslati. FASE, том 11424 из Lecture Notes in Computer Science, стр. 264-281. Springer, (2019)Model Transformations for Migrating Legacy Models: An Industrial Case Study.G. Selim, S. Wang, J. Cordy, и J. Dingel. ECMFA, том 7349 из Lecture Notes in Computer Science, стр. 90-101. Springer, (2012)How is ATL Really Used? Language Feature Use in the ATL Zoo.G. Selim, J. Cordy, и J. Dingel. MoDELS, стр. 34-44. IEEE Computer Society, (2017)Specification and Verification of Graph-Based Model Transformation Properties.G. Selim, L. Lucio, J. Cordy, J. Dingel, и B. Oakes. ICGT, том 8571 из Lecture Notes in Computer Science, стр. 113-129. Springer, (2014)Towards Requirements Specification for Machine-learned Perception Based on Human Performance.B. Hu, R. Salay, K. Czarnecki, M. Rahimi, G. Selim, и M. Chechik. AIRE@RE, стр. 48-51. IEEE, (2020)Just Enough Formality in Assurance Argument Structures.T. Viger, R. Salay, G. Selim, и M. Chechik. SAFECOMP, том 12234 из Lecture Notes in Computer Science, стр. 34-49. Springer, (2020)Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report.G. Selim, J. Cordy, J. Dingel, L. Lucio, и B. Oakes. AMT@MoDELS, том 1500 из CEUR Workshop Proceedings, стр. 26-35. CEUR-WS.org, (2015)

BibSonomy

Disambiguation