<div class="rug-mask js--requires-cookie-consent-trigger"><div class="rug-warning--overlay rug-hidden rug-theme--content"><span class="rug-icon rug-icon--close rug-absolute rug-absolute--top-right rug-mt-xs rug-mr-xs rug-cursor--pointer js--requires-cookie-consent-close"/><div class="rug-notification--info rug-p js-id--alert"><span class="rug-icon rug-icon--warn rug-icon--xl rug-mr-s" aria-hidden="true"/><p>We need your permission for setting certain cookies to be able to show this content.</p><p>You can <button class="rug-inline-button js--cookie-consent-popup">change your cookie settings</button>.</p></div></div></div>
{
"requiresCookieConsentCheck": "true",
"checkedCookieConsent": "no",
"hasCookieConsent": "no"
}
Degeler, V., Hadadian, M., Karabulut, E., Lazovik, A., Loo, H. V. H., Tello, A. & Truong,
H., 2024, Leveraging
Applications of Formal Methods, Verification and Validation :
Application Areas. Margaria, T. & Steffen, B. (eds.).
Springer International Publishing, Cham, Switzerland,
p. 62-8221
p.
Research output:Chapter in
Book/Report/Conference proceeding ›Chapter› Academic› peer-review
Tello, A., Degeler, V. & Lazovik, A., 23-Apr-2024, 2024 IEEE International
Conference on Pervasive Computing and Communications Workshops and
other Affiliated Events, PerCom Workshops 2024.IEEE, p. 511-5177 p. (2024 IEEE International
Conference on Pervasive Computing and Communications Workshops and
other Affiliated Events, PerCom Workshops 2024).
Research output:Chapter in
Book/Report/Conference proceeding ›Conference contribution› Academic› peer-review
Yousefi, M. H. N., Degeler, V. & Lazovik, A., 12-Oct-2023, Service-Oriented Computing:
17th Symposium and Summer School, SummerSOC 2023 Heraklion, Crete,
Greece, June 25 – July 1, 2023 . Aiello, M., Barzen, J.,
Dustdar, S. & Leymann , F. (eds.). Cham: Springer,
p. 24-4420
p. (Communications in Computer and Information Science; vol.
1847).
Research output:Chapter in
Book/Report/Conference proceeding ›Chapter› Academic› peer-review
Lotfian Delouee, M., Koldehofe, B. & Degeler, V., 29-Mar-2023, 2022 18th International
Conference on Mobility, Sensing and Networking (MSN) .IEEE, p. 571-5755 p.
Research output:Chapter in
Book/Report/Conference proceeding ›Conference contribution› Academic› peer-review
Riesebos, R., Degeler, V. & Tello, A., 22-Oct-2022, 2022 IEEE 18th International
Conference on Automation Science and Engineering, CASE 2022.IEEE, p. 1281-12888 p. (IEEE International Conference on
Automation Science and Engineering; vol. 2022-August).
Research output:Chapter in
Book/Report/Conference proceeding ›Conference contribution› Academic› peer-review
Tello, A. & Degeler, V., 21-Jun-2021, The Digital Transformation: A
Guide for Managers. Baalmans, B. S., Broekhuizen , T. L. J.
& Fabian , N. E. (eds.). Groningen Digital Business
Centre (GDBC), p. 177-20314 p.
Research output:Chapter in
Book/Report/Conference proceeding ›Chapter› Academic› peer-review
