Nghia Duong-Trung; Xia Wang; Rahul Rajkumar Bhoyar; Angelin Mary Jose; Silke Elisabeth Wrede; Lars van Rijn; Theresa Panse; Claudia de Witt; Niels Pinkwart
In: Two Decades of TEL. From Lessons Learnt to Challenges Ahead. European Conference on Technology Enhanced Learning (EC-TEL-2025), 20th European Conference on Technology Enhanced Learning, located at EC-TEL 2025, September 15-19, United Kingdom, Pages 138-152, ISBN 978-3-032-03870-8, Springer Nature Switzerland, 9/2025.
In: Samson Lasaulce; Dieter Fiems; Pete Harrison; Luc Vandendorpe (Hrsg.). VALUETOOLS '11: Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools. International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS-2011), May 16-20, Paris, France, Pages 186-196, ISBN 978-1-936968-09-1, ACM, 5/2011.
In: Antti Valmari (Hrsg.). Model Checking Software. International Symposium on Model Checking Software (SPIN-2006), 13th International SPIN Workshop, March 30 - April 1, Vienna, Austria, Pages 71-88, ISBN 9783540331032, Springer Berlin Heidelberg, Heidelberg, 3/2006.