Author:
Dragule Swaib,Meyers Bart,Pelliccione Patrizio
Publisher
Springer International Publishing
Reference24 articles.
1. Autili, M., Grunske, L., Lumpe, M., Pelliccione, P., Tang, A.: Aligning qualitative, real-time, and probabilistic property specification patterns using a structured english grammar. IEEE Trans. Softw. Eng. 41(7), 620–638 (2015). http://dx.doi.org/10.1109/TSE.2015.2398877
2. Bozhinoski, D., Bucchiarone, A., Malavolta, I., Marconi, A., Pelliccione, P.: Leveraging collective run-time adaptation for UAV-based systems. In: 2016 42nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pp. 214–221 (2016). http://ieeexplore.ieee.org/document/7592799/
3. Bozhinoski, D., Di Ruscio, D., Malavolta, I., Pelliccione, P., Tivoli, M.: FLYAQ: enabling non-expert users to specify and generate missions of autonomous multicopters. In: Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, pp. 801–806 (2015)
4. Ciccozzi, F., Di Ruscio, D., Malavolta, I., Pelliccione, P.: Adopting MDE for specifying and executing civilian missions of mobile multi-robot systems. IEEE Access 3536(c), 1 (2016). http://ieeexplore.ieee.org/document/7576686/
5. Cohen, D., Feather, M.S., Narayanaswamy, K., Fickas, S.: Automatic monitoring of software requirements. In: Adrion, W.R., Fuggetta, A., Taylor, R.N., Wasserman, A.I. (eds.) Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, 17–23 May 1997, pp. 602–603. ACM (1997). http://doi.acm.org/10.1145/253228.253493
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Coordinating and programming multiple ROS-based robots with X-KLAIM;International Journal on Software Tools for Technology Transfer;2023-11-02
2. Model-driven design space exploration for multi-robot systems in simulation;Software and Systems Modeling;2022-10-08
3. Programming Multi-robot Systems with X-KLAIM;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022
4. Model-Driven Simulation-Based Analysis for Multi-Robot Systems;2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS);2021-10
5. A survey of Model Driven Engineering in robotics;Journal of Computer Languages;2021-02