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)
.