Concepedia

Sihem Mallek

SM

2

Publications

78

Citations

2

H-Index

2012

Active since

Affiliations

IMT Mines Alès(Current)

Sihem Mallek is an author at IMT Mines Alès specializing in verification, formal verification, and software engineering.

Top concepts

EngineeringVerificationFormal VerificationSystems EngineeringSoftware EngineeringDesignAutomationFormal MethodsComplex SystemsProcess Control

Publications per year

2012–2014

2

Publications

2

The application of interoperability requirement specification and verification to collaborative processes in industry

Sihem Mallek, Nicolas Daclin, Vincent Chapurlat · Computers in Industry · 2012 · 54 citations

Industrial Design, Collaborative Business Process, Engineering +15

Enabling model checking for collaborative process analysis: from BPMN to ‘Network of Timed Automata’

Sihem Mallek, Nicolas Daclin, Vincent Chapurlat et al. · Enterprise Information Systems · 2014 · 24 citations

Collaborative Process Analysis, Engineering, Verification +20

Rows per page

1–2 of 2