Oussama Khlifi

According to our database, Oussama Khlifi authored at least 6 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Modeling and formal verification of probabilistic reconfigurable systems.

Oussama Khlifi

PhD thesis, 2020

2017

From Specification to Implementation of an Automotive Transport System.

Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey

Proceedings of the Software Technologies - 12th International Joint Conference, 2017

Specification Approach using GR-TNCES: Application to an Automotive Transport System.

Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey

Proceedings of the 12th International Conference on Software Technologies, 2017

New Verification Approach for Reconfigurable Distributed Systems.

Oussama Khlifi, Olfa Mosbahi, Mohamed Khalgui, Georg Frey

Proceedings of the 12th International Conference on Software Technologies, 2017

2016

Modeling and Simulation of an Energy Efficient Skid Conveyor using ZIZO.

Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey

Proceedings of the 13th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2016), 2016

2015

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

Proceedings of the ICSOFT-EA 2015, 2015