Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
outcomes:publications [2018/07/03 10:43] nour.assy [2018] |
outcomes:publications [2018/07/03 12:24] 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 13: | Line 17: | ||
* Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards. ** [[https://doi.org/10.1007/978-3-319-89366-2_21 |A Hierarchy of Scheduler Classes for Stochastic Automata]]**, //In 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Thessaloniki, Greece, April 14-20, 2018// | * Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards. ** [[https://doi.org/10.1007/978-3-319-89366-2_21 |A Hierarchy of Scheduler Classes for Stochastic Automata]]**, //In 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Thessaloniki, Greece, April 14-20, 2018// | ||
- | * Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. ** Multi-Cost Bounded Reachability in MDP**, // in TACAS 2018: to appear// | + | * 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. ** |