Oussama Khlifi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2015–2017
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ICSoft | New Verification Approach for Reconfigurable Distributed Systems. | Oussama Khlifi, Olfa Mosbahi, Mohamed Khalgui, Georg Frey |
| 2017 | ICSoft | Specification Approach using GR-TNCES: Application to an Automotive Transport System. | Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey |
| 2017 | ICSoft | From Specification to Implementation of an Automotive Transport System. | Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey |
| 2016 | ICINCO | Modeling and Simulation of an Energy Efficient Skid Conveyor using ZIZO. | Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey |
| 2015 | ICSoft | GR-TNCES: New Extensions of R-TNCES for Modelling and Verification of Flexible Systems under Energy and Memory Constraints. | Oussama Khlifi, Olfa Mosbahi, Mohamed Khalgui, Georg Frey |