HOME

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
outcomes:publications [2018/07/03 10:46]
nour.assy [2018]
outcomes:publications [2018/07/03 12:26] (current)
nour.assy [2018]
Line 2: Line 2:
  
 ===== 2018 ===== ===== 2018 =====
 +
 +  * Ji Qi, Cong Liu, Bram C.M. Cappers and Huub van de Wetering. **[[http://​dx.doi.org/​10.2312/​eurovisshort.20181074 |Visual Analysis of Parallel Interval Events]]**. //In EuroVis 2018 - Short Papers// <fc #​ff0000>​(Best paper award)</​fc>​
  
   * Marcus Gerhold, Arnd Hartmanns, MariĆ«lle Stoelinga. **[[https://​doi.org/​10.1007/​978-3-319-77935-5_15|Model-Based Testing for General Stochastic Time]]**, //In 10th NASA Formal Methods Symposium, Newport News, VA, USA, April 17-19, 2018//   * Marcus Gerhold, Arnd Hartmanns, MariĆ«lle Stoelinga. **[[https://​doi.org/​10.1007/​978-3-319-77935-5_15|Model-Based Testing for General Stochastic Time]]**, //In 10th NASA Formal Methods Symposium, Newport News, VA, USA, April 17-19, 2018//