PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Bensalem, Saddek"

Author of the publication

copydeleteadd this publication to your clipboard
A Verifiable and Correct-by-Construction Controller for Robot Functional Levels.

, , , and . CoRR, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Bensalem, Saddek
add a person with the name Bensalem, Saddek
 

Other publications of authors with the same name

Generating Path Conditions for Timed Systems., , , and . IFM, volume 3771 of Lecture Notes in Computer Science, page 5-19. Springer, (2005)Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper)., , , , , , and . SEFM, volume 10469 of Lecture Notes in Computer Science, page 401-407. Springer, (2017)A Verifiable and Correct-by-Construction Controller for Robots in Human Environments., , , , and . HRI (Extended Abstracts), page 281. ACM, (2015)Dynamic Deadlock Analysis of Multi-threaded Programs., and . Haifa Verification Conference, volume 3875 of Lecture Notes in Computer Science, page 208-223. Springer, (2005)Knowledge Based Transactional Behavior., , , and . Haifa Verification Conference, volume 7857 of Lecture Notes in Computer Science, page 40-55. Springer, (2012)TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm., , , , and . VECoS, volume 10466 of Lecture Notes in Computer Science, page 171-188. Springer, (2017)Model Construction and Priority Synthesis for Simple Interaction Systems., , , , , and . NASA Formal Methods, volume 6617 of Lecture Notes in Computer Science, page 466-471. Springer, (2011)D-Finder 2: Towards Efficient Correctness of Incremental Design., , , , , and . NASA Formal Methods, volume 6617 of Lecture Notes in Computer Science, page 453-458. Springer, (2011)Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models., , , and . NFM, volume 9058 of Lecture Notes in Computer Science, page 359-374. Springer, (2015)Automatic Generation of Path Conditions for Timed Systems., , , and . ISoLA (Preliminary proceedings), volume TR-2004-6 of Technical Report, page 243-249. Department of Computer Science, University of Cyprus, (2004)