Differences

This shows you the differences between two versions of the page.

publications [2018/02/05 15:30]
fadi
publications [2018/02/05 15:30] (current)
fadi
Line 31: Line 31:
  * P. Attie, S. Bensalem, M. Bozga, M. Jaber, J. Sifakis, and F. A. Zaraket, Global and Local Deadlock Freedom in BIP. ACM Transactions on Software Engineering and Methodology (TOSEM), Jan. 2018. ([[https://dl.acm.org/citation.cfm?id=3152910 | pdf]]).   * P. Attie, S. Bensalem, M. Bozga, M. Jaber, J. Sifakis, and F. A. Zaraket, Global and Local Deadlock Freedom in BIP. ACM Transactions on Software Engineering and Methodology (TOSEM), Jan. 2018. ([[https://dl.acm.org/citation.cfm?id=3152910 | pdf]]).
-  * Dalal Hammoud, Fadi A. Zaraket, GUICop: Approach and Toolset for Specification-based GUI Testing. Software Testing, Verification and Reliability (2017).  +  * Dalal Hammoud, Fadi A. Zaraket, GUICop: Approach and Toolset for Specification-based GUI Testing. Software Testing, Verification and Reliability (2017).([[http://onlinelibrary.wiley.com/doi/10.1002/stvr.1642/epdf | pdf]]).
-([[http://onlinelibrary.wiley.com/doi/10.1002/stvr.1642/epdf | pdf]]).+
  * Fadi A. Zaraket, Mohamad Jaber, Mohamad Noureddine, Ylie's Falcone, From High-Level Modeling Towards Efficient and Trustworthy Circuits ([[http://arxiv.org/pdf/1409.8146v1.pdf|arxiv]]). Software Tools for Technology Transfer, (STTT) 2016.   * Fadi A. Zaraket, Mohamad Jaber, Mohamad Noureddine, Ylie's Falcone, From High-Level Modeling Towards Efficient and Trustworthy Circuits ([[http://arxiv.org/pdf/1409.8146v1.pdf|arxiv]]). Software Tools for Technology Transfer, (STTT) 2016.
 
publications.txt · Last modified: 2018/02/05 15:30 by fadi
 
Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki