Saddek Bensalem

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 Mohamad Jaber 0001

> Home > Persons > Saddek Bensalem

Publications

2018
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/AttieBBJSZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/AttieBBJSZ18
Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket:
Global and Local Deadlock Freedom in BIP. ACM Trans. Softw. Eng. Methodol. 26(3): 9:1-9:48 (2018)
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/FalconeNJBB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/FalconeNJBB18
Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem:
Tracing Distributed Component-Based Systems, a Brief Overview. RV 2018: 417-425
2017
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/NazarpourFJBB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NazarpourFJBB17
Hosein Nazarpour, Yliès Falcone, Mohamad Jaber, Saddek Bensalem, Marius Bozga:
Monitoring Distributed Component-Based Systems. CoRR abs/1705.05242 (2017)
2015
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/FalconeJNBB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/FalconeJNBB15
Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem:
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Softw. Syst. Model. 14(1): 173-199 (2015)
2013
[c51]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/AttieBBJSZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AttieBBJSZ13
Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket:
An Abstract Framework for Deadlock Prevention in BIP. FMOODS/FORTE 2013: 161-177
2011
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/software/BasuBBCJNS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/BasuBBCJNS11
Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis:
Rigorous Component-Based System Design Using the BIP Framework. IEEE Softw. 28(3): 41-48 (2011)
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/FalconeJNBB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/FalconeJNBB11
Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem:
Runtime Verification of Component-Based Systems. SEFM 2011: 204-220

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.