Askarpour, M., Tsigkanos, C., Menghi, C., Calinescu, R., Pelliccione, P., García, S., Caldas, R., von Oertzen, T. J. V., Wimmer, M., Berardinelli, L., Rossi, M., Bersani, M. M., & Rodrigues, G. S. (in press). RoboMAX: Robotic Mission Adaptation eXemplars. Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Artifact Track.
Boufaied, C., Jukss, M., Bianculli, D., Briand, L., & Yago, I. P. (in press). Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization. Journal of Systems and Software.
Menghi, C., Vigano, E., Bianculli, D., & Briand, L. (in press). Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap. Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021).