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}
}