Login / Signup
Oussama Khlifi
Publication Activity (10 Years)
Years Active: 2015-2017
Publications (10 Years): 4
Top Topics
Automated Verification
Implementation Details
Model Checking
Distributed Systems
Top Venues
ICSOFT
ICINCO (1)
ICSOFT (Selected Papers)
ICSOFT-EA
</>
Publications
</>
Oussama Khlifi
,
Olfa Mosbahi
,
Mohamed Khalgui
,
Georg Frey
New Verification Approach for Reconfigurable Distributed Systems.
ICSOFT
(2017)
Oussama Khlifi
,
Christian Siegwart
,
Olfa Mosbahi
,
Mohamed Khalgui
,
Georg Frey
From Specification to Implementation of an Automotive Transport System.
ICSOFT (Selected Papers)
(2017)
Oussama Khlifi
,
Christian Siegwart
,
Olfa Mosbahi
,
Mohamed Khalgui
,
Georg Frey
Specification Approach using GR-TNCES: Application to an Automotive Transport System.
ICSOFT
(2017)
Oussama Khlifi
,
Christian Siegwart
,
Olfa Mosbahi
,
Mohamed Khalgui
,
Georg Frey
Modeling and Simulation of an Energy Efficient Skid Conveyor using ZIZO.
ICINCO (1)
(2016)
Oussama Khlifi
,
Olfa Mosbahi
,
Mohamed Khalgui
,
Georg Frey
GR-TNCES: New Extensions of R-TNCES for Modelling and Verification of Flexible Systems under Energy and Memory Constraints.
ICSOFT-EA
(2015)