Ismal Mendil
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2020–2022
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | APSEC | Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours. | Ismal Mendil, Peter Riviere, Yamine At Ameur, Neeraj Kumar Singh, Dominique Mry, Philippe A. Palanque |
| 2022 | IFM | Empowering the Event-B Method Using External Theories. | Yamine At Ameur, Guillaume Dupont, Ismal Mendil, Dominique Mry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh |
| 2021 | FMICS | Standard Conformance-by-Construction with Event-B. | Ismal Mendil, Yamine At Ameur, Neeraj Kumar Singh, Dominique Mry, Philippe A. Palanque |
| 2021 | SETTA | Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. | Ismal Mendil, Yamine At Ameur, Neeraj Kumar Singh, Dominique Mry, Philippe A. Palanque |
| 2020 | APSEC | An Integrated Framework for the Formal Analysis of Critical Interactive Systems. | Ismal Mendil, Neeraj Kumar Singh, Yamine At Ameur, Dominique Mry, Philippe A. Palanque |