Differences
This shows you the differences between two versions of the page.
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. ** |