Publications

  • C. D. Nascimento Damasceno, M. R. Mousavi, and A. da Silva Simao, “Learning by sampling: learning behavioral family models from software product lines,” Empirical Software Engineering, vol. 26, iss. 4, 2021.
    [Bibtex]
    @article{Diego2021,
    title = "Learning by sampling: learning behavioral family models from software product lines",
    author = "Nascimento Damasceno, Carlos Diego and Mousavi, Mohammad Reza and da Silva Simao, Adenilso",
    journal = "{Empirical Software Engineering}",
    volume = "26",
    number = "4",
    year = "2021"
    }
  • [DOI] M. Fisher, V. Mascardi, K. Y. Rozier, Bernd-Holger, M. Winikoff, and N. Yorke-Smith, “Towards a Framework for Certification of Reliable Autonomous Systems,” Autonomous Agents and Multi Agent Systems, vol. 35, iss. 8, 2021.
    [Bibtex]
    @article{FisherMRSWY21,
    author = {Michael Fisher and
    Viviana Mascardi and
    Kristin Yvonne Rozier and
    {Bernd-Holger} Schlingloff and
    Michael Winikoff and
    Neil {Yorke-Smith}},
    title = "{Towards a Framework for Certification of Reliable Autonomous Systems}",
    journal = "{Autonomous Agents and Multi Agent Systems}",
    volume = {35},
    number = {8},
    year = 2021,
    doi = {10.1007/s10458-020-09487-2},
    url = {https://doi.org/10.1007/s10458-020-09487-2}
    }
  • [DOI] H. Araujo, T. Hoenselaar, M. R. Mousavi, and A. Vinel, “Connected automated driving: a model-based approach to the analysis of basic awareness services,” in 2020 ieee 31st annual international symposium on personal, indoor and mobile radio communications, 2020, pp. 1-7.
    [Bibtex]
    @INPROCEEDINGS{Araujo2020,
    author={H. {Araujo} and T. {Hoenselaar} and M. R. {Mousavi} and A. {Vinel}},
    booktitle={2020 IEEE 31st Annual International Symposium on Personal, Indoor and Mobile Radio Communications},
    title={Connected Automated Driving: A Model-Based Approach to the Analysis of Basic Awareness Services},
    year={2020},
    volume={},
    number={},
    pages={1-7},
    doi={10.1109/PIMRC48278.2020.9217142}
    }
  • [DOI] I. Y. Tyukin, D. J. Higham, and A. N. Gorban, “On adversarial examples and stealth attacks in artificial intelligence systems,” in 2020 International Joint Conference on Neural Networks (IJCNN), 2020, pp. 1-6.
    [Bibtex]
    @INPROCEEDINGS{9207472,
    author={I. Y. {Tyukin} and D. J. {Higham} and A. N. {Gorban}},
    booktitle="{2020 International Joint Conference on Neural Networks (IJCNN)}",
    title={On Adversarial Examples and Stealth Attacks in Artificial Intelligence Systems},
    year={2020},
    volume={},
    number={},
    pages={1-6},
    doi={10.1109/IJCNN48605.2020.9207472}
    }
  • [DOI] A. Miyazawa, P. Ribeiro, W. Li, A. L. C. Cavalcanti, J. Timmis, and J. C. P. Woodcock, “RoboChart: modelling and verification of the functional behaviour of robotic applications,” Software & systems modeling, vol. 18, iss. 5, pp. 3097-3149, 2019.
    [Bibtex]
    @article{MRLCTW19,
    year = {2019},
    volume = {18},
    number = {5},
    journal = {Software \& Systems Modeling},
    title = {{RoboChart: modelling and verification of the functional behaviour of robotic applications}},
    publisher = {Springer},
    author = {Miyazawa, A. and Ribeiro, P and Li, W. and Cavalcanti, A. L. C. and Timmis, J. and Woodcock, J. C. P.},
    pages = {3097-3149},
    doi = {https://doi.org/10.1007/s10270-018-00710-z},
    url = {https://rdcu.be/bh7dI}
    }
  • S. Foster, J. Baxter, A. Cavalcanti, J. Woodcock, and F. Zeyda, “Unifying semantic foundations for automated verification tools in isabelle/utp,” Corr, vol. abs/1905.05500, 2019.
    [Bibtex]
    @article{FosterBCWoodcockZ2019,
    author = {Simon Foster and James Baxter and Ana Cavalcanti and Jim Woodcock and Frank Zeyda},
    title = {Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP},
    journal = {CoRR},
    volume = {abs/1905.05500},
    year = {2019},
    url = {http://arxiv.org/abs/1905.05500},
    archivePrefix = {arXiv},
    eprint = {1905.05500},
    }
  • [DOI] L. A. Dennis, M. Fisher, N. K. Lincoln, A. Lisitsa, and S. M. Veres, “Practical verification of decision-making in agent-based autonomous systems,” Automated software engineering, vol. 23, iss. 3, p. 305–359, 2016.
    [Bibtex]
    @article{Dennis2016,
    Author = {Dennis, Louise A. and Fisher, Michael and Lincoln, Nicholas K. and Lisitsa, Alexei and Veres, Sandor M.},
    Doi = {10.1007/s10515-014-0168-9},
    Isbn = {1573-7535},
    Journal = {Automated Software Engineering},
    Number = {3},
    Pages = {305--359},
    Title = {Practical verification of decision-making in agent-based autonomous systems},
    Url = {https://doi.org/10.1007/s10515-014-0168-9},
    Volume = {23},
    Year = {2016}
    }