Items where authors include "Simons, A."

Article

Simons, A. orcid.org/0000-0002-5925-7148 and Lefticaru, R. (2020) A verified and optimized Stream X-Machine testing method, with application to cloud service certification. Software Testing, Verification and Reliability, 30 (3). e1729. ISSN 0960-0833

Kiran, M. and Simons, A. orcid.org/0000-0002-5925-7148 (2016) Testing software services in cloud ecosystems. International Journal of Cloud Applications and Computing, 6 (1). pp. 42-58. ISSN 2156-1834

Proceedings Paper

Simons, A. orcid.org/0000-0002-5925-7148 (2025) ReMoDeL: a pure functional object-oriented concept language for models, metamodels and model transformation. In: Ciccozzi, F., Ferreira Pires, L. and Bordeleau, F., (eds.) Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering MODELSWARD. 13th International Conference on Model-Based Software and Systems Engineering (MODELSWARD 2025), 26-28 Feb 2025, Porto, Portugal. SCITEPRESS - Science and Technology Publications , pp. 242-249. ISBN 978-989-758-729-0