> Simona Bernardi – Grupo de I+D en Computación Distribuida (DisCo)

Home » Personal » Simona Bernardi

Simona Bernardi

Web personal.

Publicaciones:

Articles

  • [DOI] S. Bernardi, S. Marrone, J. Merseguer, R. Nardone, and V. Vittorini, “Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism,” Software & Systems Modeling, pp. 1-24, 2018.
    [Bibtex]
    @article{BMMNV18,
    author = {Simona Bernardi and Stefano Marrone and Jos\'e Merseguer and
    Robero Nardone and Valeria Vittorini},
    year = {2018},
    title = {Towards a model-driven engineering approach for the assessment of
    non-functional properties using multi-formalism},
    journal = {Software \& Systems Modeling},
    issn = {1619-1366},
    doi = {10.1007/s10270-018-0663-8},
    month = {2},
    pages = {1--24}
    }
  • [DOI] S. Bernardi, J. L. Domínguez, A. Gómez, C. Joubert, J. Merseguer, D. Perez-Palacin, J. I. Requeno, and A. Romeu, “A Systematic Approach for Performance Assessment Using Process Mining. An Industrial Experience Report,” Empirical Software Engineering, 2018.
    [Bibtex]
    @article{BDGJMPRR18,
    title = {{A Systematic Approach for Performance Assessment Using Process Mining. An
    Industrial Experience Report}},
    author = {Simona Bernardi and Juan Lucas Dom\'{\i}nguez and Abel G\'omez and Christophe Joubert and
    Jos\'e Merseguer and Diego Perez-Palacin and Jos\'e Ignacio Requeno and Alberto Romeu},
    year = {2018},
    journal = {Empirical Software Engineering},
    doi = {10.1007/s10664-018-9606-9},
    note = {In press}
    }
  • U. Gentile, S. Bernardi, S. Marrone, J. Merseguer, and V. Vittorini, “A model driven approach for assessing survivability requirements of critical infrastructures,” J. High Speed Networks, vol. 23, iss. 2, pp. 175-186, 2017.
    [Bibtex]
    @article{GBMMV17,
    author = {Ugo Gentile and Simona Bernardi and Stefano Marrone and Jos{\'{e}} Merseguer and
    Valeria Vittorini},
    title = {A model driven approach for assessing survivability requirements of
    critical infrastructures},
    journal = {J. High Speed Networks},
    volume = {23},
    number = {2},
    pages = {175--186},
    year = {2017}
    }
  • [DOI] S. Bernardi, L. Dranca, and J. Merseguer, “A model-driven approach to survivability requirement assessment for critical systems,” Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, vol. 230, iss. 5, pp. 485-501, 2016.
    [Bibtex]
    @article{BDM16,
    author = {Simona Bernardi and Lacramioara Dranca and José Merseguer},
    title = {A model-driven approach to survivability requirement assessment for critical systems},
    journal = {Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability},
    volume = {230},
    number = {5},
    pages = {485-501},
    year = {2016},
    doi = {10.1177/1748006X15626017}
    }
  • [DOI] R. J. Rodríguez, J. Merseguer, and S. Bernardi, “Modelling Security of Critical Infrastructures: A Survivability Assessment,” Comput. J., vol. 58, iss. 10, pp. 2313-2327, 2015.
    [Bibtex]
    @article{RMB15,
    author = {Ricardo J. Rodr{\'{\i}}guez and Jos{\'{e}} Merseguer and Simona Bernardi},
    title = {Modelling Security of Critical Infrastructures: {A} Survivability
    Assessment},
    journal = {Comput. J.},
    volume = {58},
    number = {10},
    pages = {2313--2327},
    year = {2015},
    doi = {10.1093/comjnl/bxu096}
    }
  • [DOI] S. Bernardi, F. Flammini, S. Marrone, N. Mazzocca, J. Merseguer, R. Nardone, and V. Vittorini, “Enabling the usage of UML in the verification of railway systems: The DAM-rail approach,” Rel. Eng. & Sys. Safety, vol. 120, pp. 112-126, 2013.
    [Bibtex]
    @article{BFMMMNV13,
    author = {Simona Bernardi and Francesco Flammini and Stefano Marrone and Nicola Mazzocca and
    Jos{\'{e}} Merseguer and Roberto Nardone and Valeria Vittorini},
    title = {Enabling the usage of {UML} in the verification of railway systems:
    The DAM-rail approach},
    journal = {Rel. Eng. {\&} Sys. Safety},
    volume = {120},
    pages = {112--126},
    year = {2013},
    doi = {10.1016/j.ress.2013.06.032}
    }
  • [DOI] S. Bernardi and J. Campos, “A Min-Max Problem for the Computation of the Cycle Time Lower Bound in Interval-Based Time Petri Nets,” IEEE Trans. Systems, Man, and Cybernetics: Systems, vol. 43, iss. 5, pp. 1167-1181, 2013.
    [Bibtex]
    @article{BC13,
    author = {Simona Bernardi and Javier Campos},
    title = {A Min-Max Problem for the Computation of the Cycle Time Lower Bound
    in Interval-Based Time Petri Nets},
    journal = {{IEEE} Trans. Systems, Man, and Cybernetics: Systems},
    volume = {43},
    number = {5},
    pages = {1167--1181},
    year = {2013},
    doi = {10.1109/TSMCA.2012.2226442}
    }
  • [DOI] S. Bernardi, J. Merseguer, and D. C. Petriu, “Dependability Modeling and Assessment in UML-Based Software Development,” The Scientific World Journal, vol. 2012, 2012.
    [Bibtex]
    @article{BMP12a,
    author = {Simona Bernardi and Jos{\'{e}} Merseguer and Dorina C. Petriu},
    title = "{Dependability Modeling and Assessment in UML-Based Software Development}",
    journal = "{The Scientific World Journal}",
    volume = {2012},
    year = {2012},
    doi = {10.1100/2012/614635}
    }
  • [DOI] S. Bernardi, J. Merseguer, and D. C. Petriu, “Dependability modeling and analysis of software systems specified with UML,” ACM Comput. Surv., vol. 45, iss. 1, p. 2:1–2:48, 2012.
    [Bibtex]
    @article{BMP12b,
    author = {Simona Bernardi and Jos{\'{e}} Merseguer and Dorina C. Petriu},
    title = {Dependability modeling and analysis of software systems specified
    with {UML}},
    journal = {{ACM} Comput. Surv.},
    volume = {45},
    number = {1},
    pages = {2:1--2:48},
    year = {2012},
    doi = {10.1145/2379776.2379778}
    }
  • [DOI] J. Merseguer and S. Bernardi, “Dependability analysis of DES based on MARTE and UML state machines models,” Discrete Event Dynamic Systems, vol. 22, iss. 2, pp. 163-178, 2012.
    [Bibtex]
    @article{MB12,
    author = {Jos{\'{e}} Merseguer and Simona Bernardi},
    title = {Dependability analysis of {DES} based on {MARTE} and {UML} state machines
    models},
    journal = {Discrete Event Dynamic Systems},
    volume = {22},
    number = {2},
    pages = {163--178},
    year = {2012},
    doi = {10.1007/s10626-011-0111-1}
    }
  • [DOI] S. Bernardi, J. Merseguer, and D. C. Petriu, “A dependability profile within MARTE,” Software and System Modeling, vol. 10, iss. 3, pp. 313-336, 2011.
    [Bibtex]
    @article{BMP11,
    author = {Simona Bernardi and Jos{\'{e}} Merseguer and Dorina C. Petriu},
    title = {A dependability profile within {MARTE}},
    journal = {Software and System Modeling},
    volume = {10},
    number = {3},
    pages = {313--336},
    year = {2011},
    doi = {10.1007/s10270-009-0128-1}
    }
  • [DOI] S. Bernardi, J. Campos, and J. Merseguer, “Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques,” IEEE Trans. Industrial Informatics, vol. 7, iss. 1, pp. 90-104, 2011.
    [Bibtex]
    @article{BCM11,
    author = {Simona Bernardi and Javier Campos and Jos{\'{e}} Merseguer},
    title = {Timing-Failure Risk Assessment of {UML} Design Using Time Petri Net
    Bound Techniques},
    journal = {{IEEE} Trans. Industrial Informatics},
    volume = {7},
    number = {1},
    pages = {90--104},
    year = {2011},
    doi = {10.1109/TII.2010.2098415}
    }
  • [DOI] S. Bernardi and J. Campos, “Computation of Performance Bounds for Real-Time systems using Time Petri Nets,” IEEE Trans. Industrial Informatics, vol. 5, iss. 2, pp. 168-180, 2009.
    [Bibtex]
    @article{BC09,
    author = {Simona Bernardi and Javier Campos},
    title = "{Computation of Performance Bounds for Real-Time systems using Time
    Petri Nets}",
    journal = {{IEEE} Trans. Industrial Informatics},
    volume = {5},
    number = {2},
    pages = {168--180},
    year = {2009},
    doi = {10.1109/TII.2009.2017201}
    }
  • [DOI] S. Bernardi and J. Merseguer, “Performance evaluation of UML design with Stochastic Well-formed Nets,” Journal of Systems and Software, vol. 80, iss. 11, pp. 1843-1865, 2007.
    [Bibtex]
    @article{BM07a,
    author = {Simona Bernardi and Jos{\'{e}} Merseguer},
    title = {Performance evaluation of {UML} design with Stochastic Well-formed Nets},
    journal = {Journal of Systems and Software},
    volume = {80},
    number = {11},
    pages = {1843--1865},
    year = {2007},
    doi = {10.1016/j.jss.2007.02.029}
    }
  • [DOI] S. Bernardi and J. Merseguer, “QoS Assessment via Stochastic Analysis,” IEEE Internet Computing, vol. 10, iss. 3, pp. 32-42, 2006.
    [Bibtex]
    @article{BM06,
    author = {Simona Bernardi and Jos{\'{e}} Merseguer},
    title = {QoS Assessment via Stochastic Analysis},
    journal = {{IEEE} Internet Computing},
    volume = {10},
    number = {3},
    pages = {32--42},
    year = {2006},
    doi = {10.1109/MIC.2006.63}
    }
  • [DOI] S. Bernardi, A. Bobbio, and S. Donatelli, “Petri Nets and Dependability,” Lectures on Concurrency and Petri Nets, Advances in Petri Nets, pp. 125-179, 2004.
    [Bibtex]
    @article{BBD04,
    author = {Simona Bernardi and Andrea Bobbio and Susanna Donatelli},
    title = {Petri Nets and Dependability},
    journal = {Lectures on Concurrency and Petri Nets, Advances in Petri Nets},
    pages = {125--179},
    year = {2004},
    doi = {10.1007/978-3-540-27755-2_4}
    }
  • [DOI] S. Bernardi, S. Donatelli, and A. Horváth, “Implementing compositionality for stochastic Petri nets,” STTT, vol. 3, iss. 4, pp. 417-430, 2001.
    [Bibtex]
    @article{BDH01,
    author = {Simona Bernardi and Susanna Donatelli and Andr{\'{a}}s Horv{\'{a}}th},
    title = "{Implementing compositionality for stochastic Petri nets}",
    journal = {{STTT}},
    volume = {3},
    number = {4},
    pages = {417--430},
    year = {2001},
    doi = {10.1007/s100090100065}
    }

Books

  • S. Bernardi, J. Merseguer, and D. C. Petriu, Model-Driven Dependability Assessment of Software Systems, Springer, 2013. [Publisher URL]
    [Bibtex]
    @book{BMP13,
    author = {Simona Bernardi and Jos{\'{e}} Merseguer and Dorina C. Petriu},
    title = {Model-Driven Dependability Assessment of Software Systems},
    publisher = {Springer},
    year = {2013},
    url = {http://www.springer.com/gp/book/9783642395116},
    isbn = {978-3-642-39511-6}
    }

In Books

  • [DOI] S. Bernardi, L. Dranca, and J. Merseguer, “Modelling and Verification of Survivability Requirements for Critical Systems” in Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops, Grenoble, France, September 1-2, 2014, Revised Selected Papers, Springer International Publishing, 2015, pp. 86-100.
    [Bibtex]
    @Inbook{BDM15,
    author="Bernardi, Simona and Dranca, Lacramioara and Merseguer, Jos{\'e}",
    title="Modelling and Verification of Survivability Requirements for Critical Systems",
    bookTitle="Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops,
    Grenoble, France, September 1-2, 2014, Revised Selected Papers",
    year="2015",
    publisher="Springer International Publishing",
    pages="86--100",
    isbn="978-3-319-15201-1",
    doi="10.1007/978-3-319-15201-1_6"
    }

In Proceedings

  • J. I. Requeno, J. Merseguer, and S. Bernardi, “Performance Analysis of Apache Storm Applications using Stochastic Petri Nets,” in Proceedings of the 5th. International IEEE Workshop on Formal Methods Integration (FMi), 4-6 August, San Diego (CA, USA), 2017.
    [Bibtex]
    @inproceedings{RMB17,
    author = {Jos\'e Ignacio Requeno and Jos\'e Merseguer and Simona Bernardi},
    title = "{Performance Analysis of Apache Storm Applications using Stochastic Petri Nets}",
    booktitle = {Proceedings of the 5th. International IEEE Workshop on Formal Methods Integration (FMi),
    4-6 August, San Diego (CA, USA)},
    year = {2017}
    }
  • S. Bernardi, R. Piracés-Alastuey, and R. Trillo-Lado, “Using Process Mining and Model-Driven Engineering to Enhance Security of Web Information Systems,” in 2017 IEEE European Symposium on Security and Privacy Workshops, EuroS&P Workshops 2017, Paris, France, April 26-28, 2017, pp. 160-166.
    [Bibtex]
    @inproceedings{BPT17,
    author = {Simona Bernardi and Ra\'ul Pirac\'es-Alastuey and Raquel Trillo-Lado},
    title = "{Using Process Mining and Model-Driven Engineering to Enhance Security
    of Web Information Systems}",
    booktitle = {2017 {IEEE} European Symposium on Security and Privacy Workshops,
    EuroS{\&}P Workshops 2017, Paris, France, April 26-28},
    pages = {160--166},
    year = {2017}
    }
  • S. Bernardi, R. Piracés-Alastuey, A. Solanas-Bonilla, and R. Trillo-Lado, “Towards a Systematic Model-driven Approach for the Detection of Web Threats and Use Cases,” in Proceedings of the International Workshop on Petri Net and Software Engineering (PNSE), 26-27 June, Zaragoza (Spain), 2017, pp. 229-230.
    [Bibtex]
    @inproceedings{BPST17,
    author = {Simona Bernardi and Ra\'ul Pirac\'es-Alastuey and Alejandro Solanas-Bonilla and Raquel Trillo-Lado},
    title = "{Towards a Systematic Model-driven Approach for the Detection of Web Threats and Use Cases}",
    booktitle = "{Proceedings of the International Workshop on Petri Net and Software Engineering (PNSE),
    26-27 June, Zaragoza (Spain)}",
    volume = {1846},
    pages = {229-230},
    year = {2017}
    }
  • [DOI] D. Ardagna, S. Bernardi, E. Gianniti, S. K. Aliabadi, D. P. -, and J. I. Requeno, “Modeling Performance of Hadoop Applications: A Journey from Queueing Networks to Stochastic Well Formed Nets,” in Algorithms and Architectures for Parallel Processing – 16th International Conference, ICA3PP, Granada, Spain, December 14-16, Proceedings, 2016, pp. 599-613.
    [Bibtex]
    @inproceedings{ABGAPR16,
    author = {Danilo Ardagna and Simona Bernardi and Eugenio Gianniti and Soroush Karimian Aliabadi and
    Diego Perez{-}Palacin and Jos{\'{e}} Ignacio Requeno},
    title = "{Modeling Performance of Hadoop Applications: {A} Journey from Queueing
    Networks to Stochastic Well Formed Nets}",
    booktitle = {Algorithms and Architectures for Parallel Processing - 16th International
    Conference, {ICA3PP}, Granada, Spain, December 14-16, Proceedings},
    pages = {599--613},
    year = {2016},
    doi = {10.1007/978-3-319-49583-5_47}
    }
  • [DOI] S. Bernardi, J. I. Requeno, C. Joubert, and A. Romeu, “A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study,” in Proceedings of the 2nd International Workshop on Quality-Aware DevOps, QUDOS@ISSTA 2016, Saarbrücken, Germany, July 21, 2016, pp. 24-29.
    [Bibtex]
    @inproceedings{BRJR16,
    author = {Simona Bernardi and Jos{\'{e}} Ignacio Requeno and Christophe Joubert and Alberto Romeu},
    title = {A systematic approach for performance evaluation using process mining:
    the {POSIDONIA} operations case study},
    booktitle = {Proceedings of the 2nd International Workshop on Quality-Aware DevOps,
    QUDOS@ISSTA 2016, Saarbr{\"{u}}cken, Germany, July 21},
    pages = {24--29},
    year = {2016},
    doi = {10.1145/2945408.2945413}
    }
  • R. Piracés-Alastuey, S. Bernardi, and R. Trillo-Lado, “Minería de procesos para la mejora de la seguridad de sistemas de información Web,” in Actas del IV Congreso Nacional de I+D en Defensa y Seguridad (DESEi+d), 16-18 Noviembre, San Javier (Murcia), 2016, pp. 1045-1052.
    [Bibtex]
    @inproceedings{PBT16,
    author = {Ra\'ul Pirac\'es-Alastuey and Simona Bernardi and Raquel Trillo-Lado},
    title = {Miner\'{\i}a de procesos para la mejora de la seguridad de sistemas de información {W}eb},
    booktitle = "{Actas del IV Congreso Nacional de I+D en Defensa y Seguridad (DESEi+d), 16-18 Noviembre, San Javier (Murcia)}",
    year = {2016},
    pages = {1045--1052},
    isbn = {978-84-946021-3-9}
    }
  • [DOI] S. Bernardi, J. M. Colom, J. Albareda, and C. Mahulea, “A model-based approach for the specification and verification of clinical guidelines,” in Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19, 2014, pp. 1-8.
    [Bibtex]
    @inproceedings{BCAM14,
    author = {Simona Bernardi and Jos{\'{e}} Manuel Colom and Jorge Albareda and Cristian Mahulea},
    title = {A model-based approach for the specification and verification of clinical
    guidelines},
    booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation,
    {ETFA} 2014, Barcelona, Spain, September 16-19},
    pages = {1--8},
    year = {2014},
    doi = {10.1109/ETFA.2014.7005058}
    }
  • [DOI] S. Bernardi, L. Dranca, and J. Merseguer, “Modelling and Verification of Survivability Requirements for Critical Systems,” in Software Engineering and Formal Methods – SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers, 2014, pp. 86-100.
    [Bibtex]
    @inproceedings{BDM14,
    author = {Simona Bernardi and Lacramioara Dranca and Jos{\'{e}} Merseguer},
    title = {Modelling and Verification of Survivability Requirements for Critical
    Systems},
    booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
    HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
    1-2, 2014, Revised Selected Papers},
    pages = {86--100},
    year = {2014},
    doi = {10.1007/978-3-319-15201-1_6}
    }
  • S. Bernardi, L. Dranca, and J. Merseguer, “Un enfoque guiado por el modelado para la obtención y análisis de requisitos de supervivencia de C2IS,” in Actas del Congreso Nacional de I+D en Defensa y Seguridad (DESEi+d), 6-7 Noviembre, Madrid, 2013, pp. 575-582.
    [Bibtex]
    @inproceedings{BDM13,
    author = {Simona Bernardi and Lacramioara Dranca and José Merseguer},
    title = {Un enfoque guiado por el modelado para la obtenci\'on y an\'alisis de requisitos de supervivencia de {C2IS}},
    booktitle = "{Actas del Congreso Nacional de I+D en Defensa y Seguridad (DESEi+d), 6-7 Noviembre, Madrid}",
    year = {2013},
    pages = {575--582},
    isbn = {978-84-7402-399-2}
    }
  • [DOI] S. Bernardi, F. Flammini, S. Marrone, J. Merseguer, C. Papa, and V. Vittorini, “Model-Driven Availability Evaluation of Railway Control Systems,” in Computer Safety, Reliability, and Security – 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22. Proceedings, 2011, pp. 15-28.
    [Bibtex]
    @inproceedings{BFMMPV11,
    author = {Simona Bernardi and Francesco Flammini and Stefano Marrone and Jos{\'{e}} Merseguer and Camilla Papa and
    Valeria Vittorini},
    title = {Model-Driven Availability Evaluation of Railway Control Systems},
    booktitle = {Computer Safety, Reliability, and Security - 30th International Conference,
    {SAFECOMP} 2011, Naples, Italy, September 19-22. Proceedings},
    pages = {15--28},
    year = {2011},
    doi = {10.1007/978-3-642-24270-0_2}
    }
  • [DOI] S. Bernardi, J. Merseguer, and R. R. Lutz, “Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile,” in Eighth European Dependable Computing Conference, EDCC-8 2010, Valencia, Spain, 28-30 April, 2010, pp. 95-104.
    [Bibtex]
    @inproceedings{BML10,
    author = {Simona Bernardi and Jos{\'{e}} Merseguer and Robyn R. Lutz},
    title = {Reliability and Availability Requirements Engineering within the Unified
    Process Using a Dependability Analysis and Modeling Profile},
    booktitle = {Eighth European Dependable Computing Conference, {EDCC-8} 2010, Valencia,
    Spain, 28-30 April},
    pages = {95--104},
    year = {2010},
    doi = {10.1109/EDCC.2010.21}
    }
  • [DOI] D. P. -, J. Merseguer, and S. Bernardi, “Performance aware open-world software in a 3-layer architecture,” in Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, San Jose, California, USA, January 28-30, 2010, pp. 49-56.
    [Bibtex]
    @inproceedings{PMB10,
    author = {Diego Perez{-}Palacin and Jos{\'{e}} Merseguer and Simona Bernardi},
    title = {Performance aware open-world software in a 3-layer architecture},
    booktitle = {Proceedings of the first joint {WOSP/SIPEW} International Conference
    on Performance Engineering, San Jose, California, USA, January 28-30},
    pages = {49--56},
    year = {2010},
    doi = {10.1145/1712605.1712614}
    }
  • [DOI] R. J. Rodríguez, J. Merseguer, and S. Bernardi, “Modelling and Analysing Resilience As a Security Issue Within UML,” in Proceedings of the 2Nd International Workshop on Software Engineering for Resilient Systems, New York, NY, USA, 2010, pp. 42-51.
    [Bibtex]
    @inproceedings{RMB10,
    author = {Rodr\'{\i}guez, Ricardo J. and Merseguer, Jos{\'e} and Bernardi, Simona},
    title = {Modelling and Analysing Resilience As a Security Issue Within UML},
    booktitle = {Proceedings of the 2Nd International Workshop on Software Engineering for Resilient Systems},
    series = {SERENE'10},
    year = {2010},
    isbn = {978-1-4503-0289-0},
    location = {London, United Kingdom},
    pages = {42--51},
    doi = {10.1145/2401736.2401741},
    publisher = {ACM},
    address = {New York, NY, USA}
    }
  • L. Berardinelli, S. Bernardi, V. Cortellessa, and J. Merseguer, “UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance,” in Proceedings of the 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages NFPinDSML2009 Affiliated with the 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009) Denver, Colorado, October 4., 2009.
    [Bibtex]
    @inproceedings{BBCM09,
    author = {Luca Berardinelli and Simona Bernardi and Vittorio Cortellessa and Jos{\'{e}} Merseguer},
    title = {{UML} Profiles for Non-functional Properties at Work: Analyzing Reliability,
    Availability and Performance},
    booktitle = {Proceedings of the 2nd International Workshop on Non-functional System
    Properties in Domain Specific Modeling Languages NFPinDSML2009 Affiliated
    with the 12th International Conference on Model Driven Engineering
    Languages and Systems (MoDELS 2009) Denver, Colorado, October 4.},
    year = {2009}
    }
  • [DOI] E. P. Naumovich and S. Bernardi, “Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality,” in QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, 2009, pp. 285-286.
    [Bibtex]
    @inproceedings{PB09,
    author = {Elina Pacini Naumovich and Simona Bernardi},
    title = "{Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound:
    {A} New Import Functionality}",
    booktitle = {{QEST} 2009, Sixth International Conference on the Quantitative Evaluation
    of Systems, Budapest, Hungary, 13-16 September 2009},
    pages = {285--286},
    year = {2009},
    doi = {10.1109/QEST.2009.39}
    }
  • [DOI] E. P. Naumovich, S. Bernardi, and M. Gribaudo, “ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets,” in Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, York, UK, March 22-29. Proceedings, 2009, pp. 50-53.
    [Bibtex]
    @inproceedings{PBG09,
    author = {Elina Pacini Naumovich and Simona Bernardi and Marco Gribaudo},
    title = "{ITPN-PerfBound: {A} Performance Bound Tool for Interval Time Petri
    Nets}",
    booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
    15th International Conference, {TACAS}, Held as Part of the Joint
    European Conferences on Theory and Practice of Software, {ETAPS},
    York, UK, March 22-29. Proceedings},
    pages = {50--53},
    year = {2009},
    doi = {10.1007/978-3-642-00768-2_5}
    }
  • [DOI] S. Bernardi, J. Merseguer, and D. C. Petriu, “Adding Dependability Analysis Capabilities to the MARTE Profile,” in Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 – October 3. Proceedings, 2008, pp. 736-750.
    [Bibtex]
    @inproceedings{BMP08,
    author = {Simona Bernardi and Jos{\'{e}} Merseguer and Dorina C. Petriu},
    title = {Adding Dependability Analysis Capabilities to the {MARTE} Profile},
    booktitle = {Model Driven Engineering Languages and Systems, 11th International
    Conference, MoDELS 2008, Toulouse, France, September 28 - October
    3. Proceedings},
    pages = {736--750},
    year = {2008},
    doi = {10.1007/978-3-540-87875-9_51}
    }
  • [DOI] S. Bernardi and J. Merseguer, “A UML profile for dependability analysis of real-time embedded systems,” in Proceedings of the 6th International Workshop on Software and Performance, WOSP 2007, Buenos Aires, Argentina, February 5-8, 2007, pp. 115-124.
    [Bibtex]
    @inproceedings{BM07b,
    author = {Simona Bernardi and Jos{\'{e}} Merseguer},
    title = {A {UML} profile for dependability analysis of real-time embedded systems},
    booktitle = {Proceedings of the 6th International Workshop on Software and Performance,
    {WOSP} 2007, Buenos Aires, Argentina, February 5-8},
    pages = {115--124},
    year = {2007},
    doi = {10.1145/1216993.1217012}
    }
  • [DOI] S. Bernardi, S. Donatelli, and G. Dondossola, “Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems,” in Joint International Conferences on Formal Modelling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTF), Grenoble, France, September 22-24, Proceedings, 2004, pp. 36-51.
    [Bibtex]
    @inproceedings{BDD04b,
    author = {Simona Bernardi and Susanna Donatelli and Giovanna Dondossola},
    title = {Towards a Methodological Approach to Specification and Analysis of
    Dependable Automation Systems},
    booktitle = {Joint International Conferences on Formal Modelling and Analysis
    of Timed Systems (FORMATS) and Formal Techniques in Real-Time
    and Fault-Tolerant Systems (FTRTF), Grenoble, France, September
    22-24, Proceedings},
    pages = {36--51},
    year = {2004},
    doi = {10.1007/978-3-540-30206-3_5}
    }
  • S. Bernardi, S. Donatelli, and G. Dondossola, “A class Diagram framework for collecting dependability requirements in automation systems,” in International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 – November 2, Paphos, Cyprus. Preliminary proceedings, 2004, pp. 276-283.
    [Bibtex]
    @inproceedings{BDD04a,
    author = {Simona Bernardi and Susanna Donatelli and Giovanna Dondossola},
    title = {A class Diagram framework for collecting dependability requirements
    in automation systems},
    booktitle = {International Symposium on Leveraging Applications of Formal Methods,
    ISoLA 2004, October 30 - November 2, Paphos, Cyprus. Preliminary
    proceedings},
    pages = {276--283},
    year = {2004}
    }
  • [DOI] S. Bernardi and S. Donatelli, “Stochastic Petri Nets and Inheritance for Dependability Modelling,” in 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 3-5 March, Papeete, Tahiti, 2004, pp. 363-372.
    [Bibtex]
    @inproceedings{BD04,
    author = {Simona Bernardi and Susanna Donatelli},
    title = {Stochastic Petri Nets and Inheritance for Dependability Modelling},
    booktitle = {10th {IEEE} Pacific Rim International Symposium on Dependable Computing
    {(PRDC} 2004), 3-5 March, Papeete, Tahiti},
    pages = {363--372},
    year = {2004},
    doi = {10.1109/PRDC.2004.1276592}
    }
  • [DOI] S. Bernardi and J. Campos, “On Performance Bounds for Interval Time Petri Nets,” in 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September, Enschede, The Netherlands, 2004, pp. 50-59.
    [Bibtex]
    @inproceedings{BC04,
    author = {Simona Bernardi and Javier Campos},
    title = "{On Performance Bounds for Interval Time Petri Nets}",
    booktitle = {1st International Conference on Quantitative Evaluation of Systems
    {(QEST} 2004), 27-30 September, Enschede, The Netherlands},
    pages = {50--59},
    year = {2004},
    doi = {10.1109/QEST.2004.1348019}
    }
  • [DOI] S. Bernardi and S. Donatelli, “Building Petri net scenarios for dependable automation systems,” in Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003, pp. 72-81.
    [Bibtex]
    @inproceedings{BD03,
    author = {Simona Bernardi and Susanna Donatelli},
    title = {Building Petri net scenarios for dependable automation systems},
    booktitle = {Proceedings of the 10th International Workshop on Petri Nets and Performance
    Models, {PNPM} 2003, Urbana-Champaign, IL, USA, September 2-5},
    pages = {72--81},
    year = {2003},
    doi = {10.1109/PNPM.2003.1231544}
    }
  • [DOI] P. Ballarini, S. Bernardi, and S. Donatelli, “Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization,” in 2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June, Bethesda, MD, USA, Proceedings, 2002, pp. 773-784.
    [Bibtex]
    @inproceedings{BBD02,
    author = {Paolo Ballarini and Simona Bernardi and Susanna Donatelli},
    title = {Validation and Evaluation of a Software Solution for Fault Tolerant
    Distributed Synchronization},
    booktitle = {2002 International Conference on Dependable Systems and Networks {(DSN}
    2002), 23-26 June, Bethesda, MD, USA, Proceedings},
    pages = {773--784},
    year = {2002},
    doi = {10.1109/DSN.2002.1029023}
    }
  • [DOI] S. Bernardi, S. Donatelli, and J. Merseguer, “From UML sequence diagrams and statecharts to analysable petrinet models,” in Workshop on Software and Performance, 2002, pp. 35-45.
    [Bibtex]
    @inproceedings{BDM02,
    author = {Simona Bernardi and Susanna Donatelli and Jos{\'{e}} Merseguer},
    title = {From {UML} sequence diagrams and statecharts to analysable petrinet
    models},
    booktitle = {Workshop on Software and Performance},
    pages = {35--45},
    year = {2002},
    doi = {10.1145/584369.584376}
    }
  • [DOI] J. Merseguer, J. Campos, S. Bernardi, and S. Donatelli, “A compositional semantics for UML state machines aimed at performance evaluation,” in Sixth International Workshop on Discrete Event Systems. Proceedings., 2002, pp. 295-302.
    [Bibtex]
    @INPROCEEDINGS{MCBD02,
    author={J. Merseguer and J. Campos and S. Bernardi and S. Donatelli},
    booktitle={Sixth International Workshop on Discrete Event Systems. Proceedings.},
    title={A compositional semantics for UML state machines aimed at performance evaluation},
    year={2002},
    pages={295-302},
    doi={10.1109/WODES.2002.1167702}
    }
  • [DOI] S. Bernardi and S. Donatelli, “Performance Validation of Fault-Tolerance Software: A Compositional Approach,” in 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 1-4 July, Göteborg, Sweden, Proceedings, 2001, pp. 379-388.
    [Bibtex]
    @inproceedings{BD01,
    author = {Simona Bernardi and Susanna Donatelli},
    title = {Performance Validation of Fault-Tolerance Software: {A} Compositional
    Approach},
    booktitle = {2001 International Conference on Dependable Systems and Networks {(DSN}
    2001) (formerly: FTCS), 1-4 July, G{\"{o}}teborg, Sweden, Proceedings},
    pages = {379--388},
    year = {2001},
    doi = {10.1109/DSN.2001.941422}
    }
  • [DOI] S. Bernardi and G. Balbo, “Concurrent Generalized Petri Nets: Regenerative Conditions,” in Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, 2001, pp. 125-134.
    [Bibtex]
    @inproceedings{BB01,
    author = {Simona Bernardi and Gianfranco Balbo},
    title = {Concurrent Generalized Petri Nets: Regenerative Conditions},
    booktitle = {Proceedings of the 9th International Workshop on Petri Nets and Performance
    Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
    pages = {125--134},
    year = {2001},
    doi = {10.1109/PNPM.2001.953362}
    }

Dissertations

  • S. Bernardi, “Building Stochastic Petri Net models for the verification of complex software systems,” PhD Thesis, 2003.
    [Bibtex]
    @phdthesis{B03,
    author = {Simona Bernardi},
    title = "{Building Stochastic Petri Net models for the verification of complex software systems}",
    school = "{Dipartimento di Informatica, Universit\`a degli Studi di Torino (Italia)}",
    month = {April},
    year = {2003}
    }

Proceedings

  • Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29, 2013CEUR-WS.org, 2013.
    [Bibtex]
    @proceedings{BBM13,
    editor = {Simona Bernardi and Marko Boskovic and Jos{\'{e}} Merseguer},
    title = {Proceedings of the 5th International Workshop Non-functional Properties
    in Modeling: Analysis, Languages and Processes co-located with 16th
    International Conference on Model Driven Engineering Languages and
    Systems {(MODELS} 2013), Miami, USA, September 29, 2013},
    series = {{CEUR} Workshop Proceedings},
    volume = {1074},
    publisher = {CEUR-WS.org},
    year = {2013},
    url = {http://ceur-ws.org/Vol-1074}
    }

Unpublished

  • M. Berenguer, S. Bernardi, and J. Merseguer, The MASDES Toolset, 2014.
    [Bibtex]
    @unpublished{MASDES14,
    author = {Mar\'{\i}a Berenguer and Simona Bernardi and Jos\'e Merseguer},
    title = {The {MASDES} {T}oolset},
    note = {\url{https://bitbucket.org/masdesgroup/survreq/wiki/Home} -- \'Ultimo acceso: 2/7/2017},
    year = {2014}
    }
  • E. P. Naumovich, S. Bernardi, and M. Gribaudo, The ITPN-PerfBound tool, 2009.
    [Bibtex]
    @unpublished{ITPNperfBound09,
    author = {Elina Pacini Naumovich and Simona Bernardi and Marco Gribaudo},
    title = {The {ITPN-PerfBound} tool},
    note = {\url{https://sites.google.com/site/itpnperfbound/} -- \'Ultimo acceso: 2/7/2017},
    year = {2009}
    }
  • S. Bernardi and D. C. Petriu, Comparting two UML Profile for Non-functional Requiment Annotations: the SPW and QoS Profiles, 2004.
    [Bibtex]
    @unpublished{BP04,
    author = {Simona Bernardi and Dorina C. Petriu},
    title ="{Comparting two UML Profile for Non-functional Requiment Annotations: the SPW and QoS Profiles}",
    note = {International Workshop on Specification and Validation of UML models for Real Time and Embedded
    Systems (SVERTS), within the 7th International Conference on the Unified Modeling Language (UML'04),
    Lisbon (Portugal), October 11st},
    year = {2004}
    }