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 (ICSOFT-EA, 2015)

Modeling and Simulation of an Energy Efficient Skid Conveyor using ZIZO. - Oussama Khlifi; Christian Siegwart; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (ICINCO (1), 2016)

New Verification Approach for Reconfigurable Distributed Systems. - Oussama Khlifi; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (ICSOFT, 2017)

Specification Approach using GR-TNCES: Application to an Automotive Transport System. - Oussama Khlifi; Christian Siegwart; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (ICSOFT, 2017)

From Specification to Implementation of an Automotive Transport System. - Oussama Khlifi; Christian Siegwart; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (ICSOFT (Selected Papers), 2017)

Modeling and formal verification of probabilistic reconfigurable systems. - Oussama Khlifi (2020)