Home » Personal » Simona Bernardi

Simona Bernardi

Web personal.

Publicaciones:

Articles

  • [DOI] S. Bernardi, U. Gentile, S. Marrone, J. Merseguer, and R. Nardone, “Security modelling and formal verification of survivability properties: Application to cyber-physical systems,” Journal of Systems and Software, 2020.
    [Bibtex] 
    @article{BGMMN20,
author = {Simona Bernardi and Ugo Gentile and Stefano Marrone and Jos\'e Merseguer and Robero Nardone},
title = "{Security modelling and formal verification of survivability properties: Application to cyber-physical systems}",
journal = {Journal of Systems and Software},
month = {July},
year = {2020},
doi = {https://doi.org/10.1016/j.jss.2020.110746},
note = {JCR(2019): IF: 2,450; Area: Software Engineering (33/108, Q2).}
}
  • [DOI] S. Bernardi, U. Gentile, R. Nardone, and S. Marrone, “Advancements in knowledge elicitation for computer-based critical systems,” Future Gener. Comput. Syst., vol. 110, pp. 311-313, 2020.
    [Bibtex] 
    @article{BGNM20,
author = {Simona Bernardi and Ugo Gentile and Roberto Nardone and Stefano Marrone},
title = {Advancements in knowledge elicitation for computer-based critical systems},
journal = {Future Gener. Comput. Syst.},
volume = {110},
pages = {311--313},
year = {2020},
url = {https://doi.org/10.1016/j.future.2020.03.035},
doi = {10.1016/j.future.2020.03.035},
note = {JCR(2019): IF: 6,125; Area: Computer Science-Theory \& Methods (8/108, Q1).}
}
  • [DOI] R. J. Rodríguez, S. Bernardi, and A. Zimmermann, “An Evaluation Framework for Comparative Analysis of Generalized Stochastic Petri Net Simulation Techniques,” IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 50, iss. 8,, pp. 2834-2844, 2020.
    [Bibtex] 
    @Article{RBZ20,
author={R. J. Rodr\'iguez and S. Bernardi and A. Zimmermann},
journal={IEEE Transactions on Systems, Man, and Cybernetics: Systems},
title={An Evaluation Framework for Comparative Analysis of Generalized Stochastic Petri Net Simulation Techniques},
year={2020},
volume = {50},
number = {8,},
pages={2834--2844},
doi={10.1109/TSMC.2018.2837643},
note ={JCR(2019): IF 9,309; Area: Computer Science-Cybernetics (2/63, Q1).}
}
  • [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. 2241-2264, 2019.
    [Bibtex] 
    @article{BMMNV19,
author = {Simona Bernardi and Stefano Marrone and Jos\'e Merseguer and
Robero Nardone and Valeria Vittorini},
title = {Towards a model-driven engineering approach for the assessment of
non-functional properties using multi-formalism},
journal = {Software \& Systems Modeling},
year = {2019},
volumne = {18},
issue = {3},
pages = {2241--2264},
doi = {10.1007/s10270-018-0663-8},
note = {JCR(2019): IF 1,876, Area: Software Engineering (45/108, Q2).}
}
  • [DOI] S. Bernardi, C. Mahulea, and J. Albareda, “Toward a decision support system for the clinical pathways assessment,” Discrete Event Dynamic Systems, vol. 29, pp. 91-125, 2019.
    [Bibtex] 
    @article{BMA19,
author={Simona Bernardi and Cristian Mahulea and Jorge Albareda},
journal={Discrete Event Dynamic Systems},
title="{Toward a decision support system for the clinical pathways assessment}",
volume = {29},
issue = {1},
pages={91--125},
year={2019},
doi={10.1007/s10626-019-00279-9},
note = {IF 0,932; Area: Applied Mathematics (170/260, Q3).}
}
  • [DOI] J. I. Requeno, J. Merseguer, S. Bernardi, D. Perez-Palacin, and V. Giotis Giorgosand Papanikolaou, “Quantitative Analysis of Apache Storm Applications: The NewsAsset Case Study,” Information Systems Frontiers, vol. 21, pp. 67-85, 2019.
    [Bibtex] 
    @Article{RMBPGP19,
author="Requeno, Jos{\'e} I. and Merseguer, Jos{\'e} and Bernardi, Simona and Perez-Palacin, Diego
and Giotis, Giorgosand Papanikolaou, Vasilis",
title="Quantitative Analysis of Apache Storm Applications: The NewsAsset Case Study",
journal="Information Systems Frontiers",
year={2019},
month={02},
volume={21},
issue={1},
pages={67--85},
doi={10.1007/s10796-018-9851-x},
note={IF 3,630; Area: Computer Science-Theory & Methods (17/108, Q1).}
}
  • [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, vol. 23, pp. 3394-3441, 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\'inguez and Abel G\'omez and Christophe Joubert and
Jos\'e Merseguer and Diego Perez-Palacin and Jos\'e Ignacio Requeno and Alberto Romeu},
journal = {Empirical Software Engineering},
year = {2018},
volume={23},
issue={6},
pages={3394--3441},
doi = {10.1007/s10664-018-9606-9},
note = {IF 4,457, Area: Software Engineering (8/107,Q1).}
}
  • 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},
note={ JCR: IF 1,084, Area: Engineering Industrial (33/44, Q3)}
}
  • [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\'iguez 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},
note  ={JCR: IF 1,000, Area: Software Engineering (53/106,Q2)}
}
  • [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},
note = {JCR: IF 2,048, Area: Engineering Industrial (6/43,Q1)}
}
  • [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},
note  ={JCR: IF 2,169, Area: Computer Science-Cybernetics (4/24,Q1)}
}
  • [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},
note = {JCR: IF 1,730; Area: Multidisciplinary Sciences (13/56, Q1)}
}
  • [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},
note = {JCR: IF 3,543, Area: Computer Science-Theory \& Methods (3/100,Q1)},
}
  • [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},
note = { JCR: IF 0,711; Area: Applied Mathematics (136/247, Q3)}
}
  • [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},
note = {JCR: IF 1,061; Area: Software Engineering (37/104, Q2)}
}
  • [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},
note = {JCR: IF 2,990; Area: Engineering Industrial (2/43, Q1)}
}
  • [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},
note = {JCR: IF 1,614; Area: Engineering Industrial (5/37, Q1)}
}
  • [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},
note ={JCR: IF 0,799; Area: Software Engineering (43/84, Q3)}
}
  • [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},
note ={JCR: IF 1,935; Area: Software Engineering (5/82, Q1)}
}
  • [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},
note  ={IF 0,513; Area: Computer Science-Theory \& Methods (53/70, Q4)}
}
  • [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 Collections

  • S. Bernardi and J. Merseguer, “A meta-model based approach to the definition of the analysis results of Petri Net models” in Theory and Application of Multi-Formalism Modeling, {IGI Global}, 2013.
    [Bibtex] 
    @incollection{BM13,
author = {Simona Bernardi and Jos\'e Merseguer},
title = "{A meta-model based approach to the definition of the analysis results of Petri Net models}",
booktitle = "{Theory and Application of Multi-Formalism Modeling}",
editors = {Marco Gribaudo and Mauro Iacono},
publisher = "{IGI Global}",
year = {2013}
}

In Proceedings

  • S. Bernardi, R. Trillo-Lado, and J. Merseguer, “Detection of Integrity Attacks to Smart Grids using Process Mining and Time-evolving Graphs,” in Proceedings of the 14th European Dependable Computing Conference (EDCC), 2018, pp. 136-139.
    [Bibtex] 
    @inproceedings{BTM18,
author={Simona Bernardi and Raquel Trillo-Lado and Jos\'e Merseguer},
booktitle="{Proceedings of the 14th European Dependable Computing Conference (EDCC)}",
title="{Detection of Integrity Attacks to Smart Grids using Process Mining and Time-evolving Graphs}",
year={2018},
month={09},
pages={136--139}
}
  • 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, pp. 411-418.
    [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)}",
pages = {411-418},
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\'iguez, 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 Petri Net 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 Petri Net
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 = {04},
year = {2003}
}

Proceedings

  • Dependable Computing – EDCC 2020 Workshops – AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, ProceedingsSpringer, 2020.
    [Bibtex] 
    @proceedings{EDCC-W20,
editor = {Simona Bernardi and
Valeria Vittorini and
Francesco Flammini and
Roberto Nardone and
Stefano Marrone and
Rasmus Adler and
Daniel Schneider and
Philipp Schlei{\ss} and
Nicola Nostro and
Rasmus L{\o}venstein Olsen and
Amleto Di Salle and
Paolo Masci},
title = {Dependable Computing - {EDCC} 2020 Workshops - AI4RAILS, DREAMS, DSOGRI,
{SERENE} 2020, Munich, Germany, September 7, 2020, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1279},
publisher = {Springer},
year = {2020}
}
  • 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\'ia 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}
}