Abdelhakim Baouya
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2015–2020
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CRiSIS | Asset-Driven Approach for Security Risk Assessment in IoT Systems. | Salim Chehida, Abdelhakim Baouya, Diego Fernndez Alonso, Paul-Emmanuel Brun, Guillemette Massot, Marius Bozga, Saddek Bensalem |
| 2020 | QUATIC | Applied Statistical Model Checking for a Sensor Behavior Analysis. | Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga |
| 2020 | SoMeT | Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems. | Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga |
| 2015 | SoMeT | On the Probabilistic Verification of Time Constrained SysML State Machines. | Abdelhakim Baouya, Djamal Bennouar, Otmane At Mohamed, Samir Ouchani |