by Poplavko, Peter, Socci, Dario, Bourgos, Paraskevas, Bensalem, Saddek, Bozga, Marius
Published in 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2015)

by Giannopoulou, Georgia, Poplavko, Peter, Socci, Dario, Huang, Pengcheng, Stoimenov, Nikolay, Bourgos, Paraskevas, Thiele, Lothar, Bozga, Marius, Bensalem, Saddek, Girbal, Sylvain, Faugere, Madeleine, Soulat, Romain, de Dinechin, Benoît Dupont
Published in Design automation for embedded systems (01.06.2018)

by Basu, Ananda, Bensalem, Saddek, Bozga, Marius, Bourgos, Paraskevas, Sifakis, Joseph
Published in Mathematical and Engineering Methods in Computer Science (2012)

by Basu, Ananda, Bensalem, Saddek, Bozga, Marius, Bourgos, Paraskevas, Maheshwari, Mayur, Sifakis, Joseph
Published in Formal Methods for Components and Objects (2013)

by Kretsis, Aristotelis, Kokkinos, Panagiotis, Soumplis, Polyzois, Olmos, Juan Jose Vegas, Feher, Marcell, Sipos, Marton, Lucani, Daniel E., Khabi, Dmitry, Masouros, Dimosthenis, Siozios, Kostas, Bourgos, Paraskevas, Tsekeridou, Sofia, Zyulkyarov, Ferad, Karanastasis, Efstathios, Chondrogiannis, Efthymios, Andronikou, Vassiliki, Gomez, Aitor Fernandez, Panica, Silviu, Iuhasz, Gabriel, Nanos, Anastassios, Chalios, Charalampos, Varvarigos, Manos
Published in 2021 IEEE International Mediterranean Conference on Communications and Networking (MeditCom) (07.09.2021)

by Socci, Dario, Poplavko, Peter, Bensalem, Saddek, Bozga, Marius, Bourgos, Paraskevas
Published in 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (01.04.2015)

by Lekidis, Alexios, Bourgos, Paraskevas, Djoko-Djoko, Simplice, Bozga, Marius, Bensalem, Saddek
Published in 2015 IEEE Sensors Applications Symposium (SAS) (01.04.2015)

by Bourgos, P., Basu, A., Bozga, M., Bensalem, S., Sifakis, J., Huang, K.
Published in Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) (01.07.2011)