Franois Siewe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2003–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | COMPSAC | Towards a Formal Verification of IoT System Models Designed in the Cisco Packet Tracer Tool. | Franois Siewe |
| 2023 | COMPSAC | Towards the Formal Analysis of UML Activity Diagrams in a Calculus of Context-aware Ambients. | Franois Siewe |
| 2020 | COMPSAC | Analysing Petri Nets in a Calculus of Context-Aware Ambients. | Franois Siewe, Vasileios Germanos, Wen Zeng |
| 2015 | ANT | A Privacy Type System for Context-aware Mobile Ambients. | Franois Siewe |
| 2009 | AINA | CCA: A Calculus of Context-Aware Ambients. | Franois Siewe, Antonio Cau, Hussein Zedan |
| 2003 | CCS | A compositional framework for access control policies enforcement. | Franois Siewe, Antonio Cau, Hussein Zedan |