by Bernardeschi, C., Fantechi, A., Gnesi, S.
Published in Reliability engineering & system safety (01.03.2001)

by Fantechi, A., Gnesi, S., Lami, G., Maccari, A.
Published in Requirements engineering (01.08.2003)

by ter Beek, M.H., Massink, M., Latella, D., Gnesi, S., Forghieri, A., Sebastianis, M.
Published in Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005 (2005)

by Bernardeschi, C., Fantechi, A., Gnesi, S.
Published in The Journal of systems and software (01.12.1997)

by Gnesi, S., Latella, D., Massink, M.
Published in Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) (2000)

by Bucchiarone, A., Gnesi, S., Pierini, P.
Published in 13th IEEE International Conference on Requirements Engineering (RE'05) (2005)

by Fabbrini, F., Fusani, M., Gnesi, S., Lami, G.
Published in Proceedings 26th Annual NASA Goddard Software Engineering Workshop (2001)

by Fantechi, A., Gnesi, S., Lami, G., Maccari, A.
Published in Proceedings IEEE Joint International Conference on Requirements Engineering (2002)

by Fiadeiro, J. L., Gnesi, S., Maibaum, T.
Published in Formal aspects of computing (01.03.2012)

by Fiadeiro, J L, Gnesi, S, Maibaum, T
Published in Formal aspects of computing (01.03.2012)

by Fiadeiro, J. L., Gnesi, S., Maibaum, T.
Published in Formal aspects of computing (2012)

by ter Beek, M., Gnesi, S., Koch, N., Mazzanti, F.
Published in 2008 ACM/IEEE 30th International Conference on Software Engineering (01.01.2008)

by Fantechi, A., Gnesi, S.
Published in 2008 12th International Software Product Line Conference (01.09.2008)

by ter Beek, Maurice H., Fantechi, A., Gnesi, S., Mazzanti, F.
Published in Formal Methods for Industrial Critical Systems (2008)

by BERTOLINO, Antonia, BUCCHIARONE, Antonio, GNESI, Stefania, MUCCINI, Henry
Published in Lecture notes in computer science (2005)

by Gnesi, S., Lenzini, G., Latella, D., Abbaneo, C., Amendola, A., Marmo, P.
Published in Proceeding International Conference on Dependable Systems and Networks. DSN 2000 (2000)

by Bucchiarone, A., Gnesi, S., Lami, G., Trentanni, G., Fantechi, A.
Published in 2008 23rd IEEE/ACM International Conference on Automated Software Engineering (01.09.2008)

by Bernardeschi, Cinzia, Fantechi, Alessandro, Gnesi, Stefania
Published in Software testing, verification & reliability (01.12.2002)

by Beek, M., Bucchiarone, A., Gnesi, S.
Published in 2009 35th Euromicro Conference on Software Engineering and Advanced Applications (01.08.2009)

by Gnesi, S.
Published in Electronic notes in theoretical computer science (01.08.2003)