A formal verification framework for SysML activity diagrams

Samir Ouchani; Otmane Aït Mohamed; Mourad Debbabi

doi:10.1016/j.eswa.2013.10.064

A formal verification framework for SysML activity diagrams

Expert Systems with Applications ◽

10.1016/j.eswa.2013.10.064 ◽

2014 ◽

Vol 41 (6) ◽

pp. 2713-2728 ◽

Cited By ~ 22

Author(s):

Samir Ouchani ◽

Otmane Aït Mohamed ◽

Mourad Debbabi

Keyword(s):

Formal Verification ◽

Activity Diagrams ◽

Sysml Activity Diagrams

Download Full-text

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

Computer Science & Information Technology ◽

10.5121/csit.2018.80904 ◽

2018 ◽

Author(s):

Yufei Yin ◽

Shaoying Liu ◽

Yixiang Chen

Keyword(s):

Formal Verification ◽

Activity Diagrams ◽

Sysml Activity Diagrams

Download Full-text

On the Meaning of SysML Activity Diagrams

2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems ◽

10.1109/ecbs.2009.25 ◽

2009 ◽

Cited By ~ 13

Author(s):

Yosr Jarraya ◽

Mourad Debbabi ◽

Jamal Bentahar

Keyword(s):

Activity Diagrams ◽

Sysml Activity Diagrams

Download Full-text

Validation and Verification of SYSML Activity Diagrams Using HOARE Logic

International Journal of Software Engineering & Applications ◽

10.5121/ijsea.2018.9407 ◽

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

Download Full-text

Generating attacks in SysML activity diagrams by detecting attack surfaces

Journal of Ambient Intelligence and Humanized Computing ◽

10.1007/s12652-015-0269-8 ◽

2015 ◽

Vol 6 (3) ◽

pp. 361-373 ◽

Cited By ~ 3

Author(s):

Samir Ouchani ◽

Gabriele Lenzini

Keyword(s):

Activity Diagrams ◽

Attack Surfaces ◽

Sysml Activity Diagrams

Download Full-text

Efficient Probabilistic Abstraction for SysML Activity Diagrams

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33826-7_18 ◽

2012 ◽

pp. 263-277 ◽

Cited By ~ 10

Author(s):

Samir Ouchani ◽

Otmane Ait Mohamed ◽

Mourad Debbabi

Keyword(s):

Activity Diagrams ◽

Sysml Activity Diagrams

Download Full-text

A Formal Semantics for SysML Activity Diagrams

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-642-41071-0_13 ◽

2013 ◽

pp. 179-194 ◽

Cited By ~ 2

Author(s):

Lucas Lima ◽

André Didier ◽

Márcio Cornélio

Keyword(s):

Formal Semantics ◽

Activity Diagrams ◽

Sysml Activity Diagrams

Download Full-text

Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams

14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) ◽

10.1109/ecbs.2007.22 ◽

2007 ◽

Cited By ~ 23

Author(s):

Yosr Jarraya ◽

Andrei Soeanu ◽

Mourad Debbabi ◽

Fawzi Hassaine

Keyword(s):

Performance Analysis ◽

Automatic Verification ◽

Activity Diagrams ◽

And Performance ◽

Sysml Activity Diagrams

Download Full-text

Formal Specification and Probabilistic Verification of SysML Activity Diagrams

2012 Sixth International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2012.34 ◽

2012 ◽

Cited By ~ 5

Author(s):

Yosr Jarraya ◽

Mourad Debbabi

Keyword(s):

Formal Specification ◽

Probabilistic Verification ◽

Activity Diagrams ◽

Sysml Activity Diagrams

Download Full-text

Semantic Foundations of SysML Activity Diagrams

Verification and Validation in Systems Engineering ◽

10.1007/978-3-642-15228-3_11 ◽

2010 ◽

pp. 189-203

Author(s):

Mourad Debbabi ◽

Fawzi Hassaïne ◽

Yosr Jarraya ◽

Andrei Soeanu ◽

Luay Alawneh

Keyword(s):

Activity Diagrams ◽

Sysml Activity Diagrams

Download Full-text

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

2016 IEEE International Symposium on Circuits and Systems (ISCAS) ◽

10.1109/iscas.2016.7527404 ◽

2016 ◽

Author(s):

MohammadHossein AskariHemmat ◽

Otmane Ait Mohamed ◽

Mounir Boukadoum

Keyword(s):

Code Generation ◽

Activity Diagrams ◽

Sysml Activity Diagrams

Download Full-text