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 Both sides next revision
outcomes:publications [2018/07/03 10:44]
nour.assy [2018]
outcomes:publications [2018/07/03 10:46]
nour.assy [2018]
Line 2: Line 2:
  
 ===== 2018 ===== ===== 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//
  
   * Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans. **[[https://​pure.tudelft.nl/​portal/​en/​publications/​modelbased-mutant-equivalence-detection-using-automata-language-equivalence-and-simulations(a4008f16-7867-42e8-8dea-6dd2f1b6e9ae).html|Model-based mutant equivalence detection using automata language equivalence and simulations]]**,​ //In Journal of Systems and Software, Vol. 141, 2018, p. 1-15//   * Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans. **[[https://​pure.tudelft.nl/​portal/​en/​publications/​modelbased-mutant-equivalence-detection-using-automata-language-equivalence-and-simulations(a4008f16-7867-42e8-8dea-6dd2f1b6e9ae).html|Model-based mutant equivalence detection using automata language equivalence and simulations]]**,​ //In Journal of Systems and Software, Vol. 141, 2018, p. 1-15//
Line 15: Line 17:
   * Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. ** [[https://​doi.org/​10.1007/​978-3-319-89963-3_19|Multi-Cost Bounded Reachability in MDP]]**, // In 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Thessaloniki,​ Greece, April 14-20, 2018//   * Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. ** [[https://​doi.org/​10.1007/​978-3-319-89963-3_19|Multi-Cost Bounded Reachability in MDP]]**, // In 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Thessaloniki,​ Greece, April 14-20, 2018//
  
-  * Carlos E. Budde, Pedro R. D'​Argenio,​ Arnd Hartmanns, Sean Sedwards. ** A Statistical Model Checker for Nondeterminism and Rare Events**, //In TACAS 2018: to appear//+  * Carlos E. Budde, Pedro R. D'​Argenio,​ Arnd Hartmanns, Sean Sedwards. ** [[https://​doi.org/​10.1007/​978-3-319-89963-3_20 |A Statistical Model Checker for Nondeterminism and Rare Events]]**, //In 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Thessaloniki,​ Greece, April 14-20, ​2018//
  
   * Cong Liu, Boudewijn van Dongen, Nour Assy, Wil M. P. van der Aalst. **   * Cong Liu, Boudewijn van Dongen, Nour Assy, Wil M. P. van der Aalst. **