Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
outcomes:publications [2018/07/03 10:44] nour.assy [2018] |
outcomes:publications [2018/07/03 12:26] 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// | ||
| * 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 19: | ||
| * 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. ** | ||
