sysml activity diagrams
Recently Published Documents

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verifying SysML activity diagrams using formal transformation to Petri nets

2019 ◽  
Vol 23 (1) ◽  
pp. 118-135 ◽  
Author(s):  
Edward Huang ◽  
Leon F. McGinnis ◽  
Steven W. Mitchell
Keyword(s):  
Petri Nets ◽  
Activity Diagrams ◽  
Sysml Activity Diagrams

scholarly journals Validation and Verification of SYSML Activity Diagrams Using HOARE Logic

2018 ◽  
Vol 9 (4) ◽  
pp. 101-117
Author(s):  
Yufei Yin ◽  
Shaoying Liu ◽  
Yixiang Chen
Keyword(s):  
Hoare Logic ◽  
Validation And Verification ◽  
Activity Diagrams ◽  
Sysml Activity Diagrams

scholarly journals TBFV-M: Testing Based Formal Verification for Sysml Activity Diagrams

2018 ◽  
Author(s):  
Yufei Yin ◽  
Shaoying Liu ◽  
Yixiang Chen
Keyword(s):  
Formal Verification ◽  
Activity Diagrams ◽  
Sysml Activity Diagrams

Towards code generation for ARM Cortex-M MCUs from SysML activity diagrams

2016 ◽  
Author(s):  
MohammadHossein AskariHemmat ◽  
Otmane Ait Mohamed ◽  
Mounir Boukadoum
Keyword(s):  
Code Generation ◽  
Activity Diagrams ◽  
Sysml Activity Diagrams

scholarly journals A quantitative verification framework of SysML activity diagrams under time constraints

2015 ◽  
Vol 42 (21) ◽  
pp. 7493-7510 ◽  
Author(s):  
Abdelhakim Baouya ◽  
Djamal Bennouar ◽  
Otmane Ait Mohamed ◽  
Samir Ouchani
Keyword(s):  
Time Constraints ◽  
Activity Diagrams ◽  
Quantitative Verification ◽  
Sysml Activity Diagrams

scholarly journals Generating attacks in SysML activity diagrams by detecting attack surfaces

2015 ◽  
Vol 6 (3) ◽  
pp. 361-373 ◽  
Author(s):  
Samir Ouchani ◽  
Gabriele Lenzini
Keyword(s):  
Activity Diagrams ◽  
Attack Surfaces ◽  
Sysml Activity Diagrams

Quantitative and qualitative analysis of SysML activity diagrams

2014 ◽  
Vol 16 (4) ◽  
pp. 399-419 ◽  
Author(s):  
Yosr Jarraya ◽  
Mourad Debbabi
Keyword(s):  
Qualitative Analysis ◽  
Activity Diagrams ◽  
Sysml Activity Diagrams

A formal verification framework for SysML activity diagrams

2014 ◽  
Vol 41 (6) ◽  
pp. 2713-2728 ◽  
Author(s):  
Samir Ouchani ◽  
Otmane Aït Mohamed ◽  
Mourad Debbabi
Keyword(s):  
Formal Verification ◽  
Activity Diagrams ◽  
Sysml Activity Diagrams
Load More ...
Sign in / Sign up

Export Citation Format

Share Document