Zaraket F, Jaber M, Noureddine M and Falcone Y. (2019). From high-level modeling toward efficient and trustworthy circuits. International Journal on Software Tools for Technology Transfer (STTT). 21:2. (143-163). Online publication date: 1-Apr-2019.

https://doi.org/10.1007/s10009-017-0462-5

Arun B, Peluso S, Palmieri R, Losa G and Ravindran B. Taming the Contention in Consensus-based Distributed Systems. IEEE Transactions on Dependable and Secure Computing. 10.1109/TDSC.2020.2970186. (1-1).

https://ieeexplore.ieee.org/document/8978472/

Castañeda A, Rajsbaum S and Raynal M. (2018). Unifying Concurrent Objects and Distributed Tasks. Journal of the ACM. 65:6. (1-42). Online publication date: 26-Nov-2018.

https://doi.org/10.1145/3266457

Safieddine M, Zaraket F, Jaber M, Kanj R and Saghir M. (2016). Automated FPGA implementations of BIP designs 2016 11th IEEE Symposium on Industrial Embedded Systems (SIES). 10.1109/SIES.2016.7509424. 978-1-5090-2282-3. (1-6).

http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=7509424

Peluso S, Turcu A, Palmieri R, Losa G and Ravindran B. (2016). Making Fast Consensus Generally Faster 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). 10.1109/DSN.2016.23. 978-1-4673-8891-7. (156-167).

http://ieeexplore.ieee.org/document/7579738/

Qiang W and Bliudze S. (2016). Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction. Trustworthy Global Computing. 10.1007/978-3-319-28766-9_10. (147-162).

http://link.springer.com/10.1007/978-3-319-28766-9_10

Safieddine M, Kanj R, Zaraket F, Elzein A and Jaber M. (2015). Separation of concerns for hardware components of embedded systems in BIP 2015 16th International Symposium on Quality Electronic Design (ISQED). 10.1109/ISQED.2015.7085449. 978-1-4799-7581-5. (337-344).

http://ieeexplore.ieee.org/document/7085449/

Madhavan R and Kuncak V. Symbolic Resource Bound Inference for Functional Programs. Proceedings of the 16th International Conference on Computer Aided Verification - Volume 8559. (762-778).

https://doi.org/10.1007/978-3-319-08867-9_51

Dubois S and Guerraoui R. Introducing speculation in self-stabilization. Proceedings of the 2013 ACM symposium on Principles of distributed computing. (290-298).

https://doi.org/10.1145/2484239.2484246

Alistarh D, Guerraoui R, Kuznetsov P and Losa G. On the cost of composing shared-memory algorithms. Proceedings of the twenty-fourth annual ACM symposium on Parallelism in algorithms and architectures. (298-307).

https://doi.org/10.1145/2312005.2312057