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