 | Up a level |
Kreikemeyer, Justin N. and Hillston, Jane and Uhrmacher, Adelinde M. (2020) Probing the Performance of the Edinburgh Bike Sharing System using SSTL. In: ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS 2020), 15-17 Jun 2020, Miami, Florida, USA. Proceedings, published by ACM, New York, USA, pp. 141-152.
Wilsdorf, Pia and Pierce, Maria E. and Hillston, Jane and Uhrmacher, Adelinde M. (2019) Round-based Super-Individuals - Balancing Speed and Accuracy. In: ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS 2019), 03-05 Jun 2019, Chicago, IL, USA. Proceedings, published by ACM, New York, USA, pp. 95-98.
Batt, Grégory and Bradley, Jeremy T. and Ewald, Roland and Fages, François and Hermanns, Holger and Hillston, Jane and Kemper, Peter and Martens, Alke and Mosterman, Pieter J. and Nielson, Flemming and Sokolsky, Oleg and Uhrmacher, Adelinde M. (2006) 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. In: Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006.
