المؤلفون: Aichernig, Bernhard K., König, Sandra^{Aff2, Aff3}, Mateis, Cristinel, Pferscher, Andrea^{Aff1, Aff4, IDs10270024011606_cor4}, Tappler, Martin^{Aff1, Aff5}

المصدر: Software and Systems Modeling. 23(3):625-655

المؤلفون: Bloem, Roderick, Larrauri, Alberto, Lengfeldner, Roland, Mateis, Cristinel, Nickovic, Dejan, Ziegler, Bjorn

المصدر: 2022 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) CODES-ISSS Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2022 International Conference on. :21-24 Oct, 2022

Relation: 2022 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)

المؤلفون: Basset, Nicolas, Dang, Thao, Gigler, Felix, Mateis, Cristinel, Nickovic, Dejan

المصدر: 2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) Formal Methods and Models for System Design (MEMOCODE), 2021 19th ACM-IEEE International Conference on. :118-125 Nov, 2021

Relation: 2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

المؤلفون: Bartocci, Ezio, Deshmukh, Jyotirmoy, Mateis, Cristinel, Nesterini, Eleonora, Nickovic, Dejan, Qin, Xin

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2109.11999

المؤلفون: Basset, Nicolas, Dang, Thao, Gigler, Felix, Mateis, Cristinel, Nickovic, Dejan

مصطلحات موضوعية: Computer Science - Computers and Society, Computer Science - Formal Languages and Automata Theory

URL الوصول: http://arxiv.org/abs/2106.11041

المؤلفون: Aguilar, Edgar A.^Aff9, Bartocci, Ezio^Aff10, Mateis, Cristinel^Aff9, Nesterini, Eleonora^{Aff9, Aff10}, Ničković, Dejan^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Katsaros, Panagiotis, editor^Aff7, Nenzi, Laura, editor^Aff8

المصدر: Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings. 14245:86-105

المؤلفون: Wenig, Florian, Klanatsky, Peter, Heschl, Christian, Mateis, Cristinel, Dejan, Nickovic

المصدر: 2017 IEEE 26th International Symposium on Industrial Electronics (ISIE) Industrial Electronics (ISIE), 2017 IEEE 26th International Symposium on. :1507-1512 Jun, 2017

Relation: 2017 IEEE 26th International Symposium on Industrial Electronics (ISIE)

المؤلفون: Bartocci, Ezio, Manjunath, Niveditha, Mariani, Leonardo, Mateis, Cristinel, Ničković, Dejan

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1903.12468

المؤلفون: Aichernig, Bernhard K.^Aff9, König, Sandra^Aff10, Mateis, Cristinel^Aff10, Pferscher, Andrea^Aff9, Schmidt, Dominik^Aff10, Tappler, Martin^{Aff9, Aff11}

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Schlingloff, Bernd-Holger, editor^Aff7, Chai, Ming, editor^Aff8

المصدر: Software Engineering and Formal Methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings. 13550:155-172

المؤلفون: Bartocci, Ezio, Mateis, Cristinel, Nesterini, Eleonora, Nickovic, Dejan

المصدر: In Information and Computation November 2022 289 Part A