Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Samir Ben Ahmed

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Mohamed Khalgui

> Home > Persons > Samir Ben Ahmed

Publications

2016
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/OueslatiMKA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/OueslatiMKA16
Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed:
A Novel R-UML-B Approach for Modeling and Code Generation of Reconfigurable Control Systems. ENASE 2016: 140-147
2015
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/peccs/OueslatiMKA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/peccs/OueslatiMKA15
Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed:
Modeling and Verification of B-based Distributed Reconfigurable Control Systems. PECCS 2015: 124-131
2014
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icinco/OueslatiMKA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icinco/OueslatiMKA14
Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed:
New Solutions for Modeling and Verification of B-based Reconfigurable Control Systems. ICINCO (1) 2014: 749-757
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/peccs/GharsellaouiKA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/peccs/GharsellaouiKA14
Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed:
Preemptive Hard Real-time Scheduling of Reconfigurable OS Tasks on Multiprocessors Embedded Control Systems. PECCS 2014: 192-197
2013
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ijsda/GharsellaouiKA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsda/GharsellaouiKA13
Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed:
Reconfiguration of Synchronous Real-Time Operating System. Int. J. Syst. Dyn. Appl. 2(1): 114-132 (2013)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/GharsellaouiKA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/GharsellaouiKA13
Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed:
An EDF-based Scheduling Algorithm for Real-time Reconfigurable Sporadic Tasks. ICSOFT 2013: 377-388
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/GharbiGKA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/GharbiGKA13
Atef Gharbi, Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed:
Model Checking of Distributed Component-based Control Systems. ICSOFT 2013: 512-519
2012
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ijapuc/GharsellaouiKA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijapuc/GharsellaouiKA12
Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed:
New Optimal Preemptively Scheduling for Real-Time Reconfigurable Sporadic Tasks Based on Earliest Deadline First Algorithm. Int. J. Adv. Pervasive Ubiquitous Comput. 4(2): 65-81 (2012)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ijsda/AliKA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsda/AliKA12
Amen Ben Hadj Ali, Mohamed Khalgui, Samir Ben Ahmed:
UML-Based Design and Validation of Intelligent Agents-Based Reconfigurable Embedded Control Systems. Int. J. Syst. Dyn. Appl. 1(1): 17-38 (2012)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ijsda/GharsellaouiKA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsda/GharsellaouiKA12
Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed:
New Optimal Solutions for Real-Time Reconfigurable Periodic Asynchronous Operating System Tasks with Minimizations of Response Time. Int. J. Syst. Dyn. Appl. 1(4): 88-131 (2012)
2011
[c9]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icsoft/GharbiKZA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/GharbiKZA11
Atef Gharbi, Mohamed Khalgui, Jiafeng Zhang, Samir Ben Ahmed:
Agent-based Fault Management of Embedded Control Systems. ICSOFT (2) 2011: 277-280
2010
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/GharbiKA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/GharbiKA10
Atef Gharbi, Mohamed Khalgui, Samir Ben Ahmed:
Optimal model checking of safe control embedded software components. ETFA 2010: 1-8

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.