Vafamand, N.
, Khooban, M. H., Dragicevic, T., Blaabjerg, F.
& Boudjadar, J. (2019).
Robust Non-Fragile Fuzzy Control of Uncertain DC Microgrids Feeding Constant Power Loads.
IEEE Transactions on Power Electronics,
34(11), 11300-11308.
https://doi.org/10.1109/TPEL.2019.2896019
Khooban, M. H., Gheisarnejad, M., Vafamand, N., Jafari, M., Mobayen, S., Dragicevic, T.
& Boudjadar, J. (2019).
Robust Frequency Regulation in Mobile Microgrids: HIL Implementation.
IEEE Systems Journal,
13(4), 4281-4291.
https://doi.org/10.1109/JSYST.2019.2911210
Tola, D., Gonçalves Gomes, C. Â., Schultz, C. P. L., Schlette, C., Hansen, C.
& Esterle, L. (2021).
RoboCIM: Towards a Domain Model for Industrial Robot System Configurators. In A. Soylu, A. T. Nezhad, N. Nikolov, I. Toma, A. Fensel & J. Vennekens (Eds.),
Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021 CEUR-WS.org.
http://ceur-ws.org/Vol-2956/paper12.pdf
Tola, D., Gomes, C., Schultz, C., Schlette, C.
, Hansen, C. & Esterle, L. (2021).
RoboCIM: Towards a domain model for industrial robot system configurators.
CEUR Workshop Proceedings,
2956.
Heiji Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C., Timmis, J. I.
& Woodcock, J. (2019).
RoboChart: modelling and verification of the functional behaviour of robotic applications.
Software and Systems Modeling,
18(5), 3097–3149.
https://doi.org/10.1007/s10270-018-00710-z
Lukina, A., Tiwari, A., Smolka, S. A.
, Esterle, L., Yang, J. & Grosu, R. (2018).
Resilient control and safety for cyber-physical systems.
-, 16-17.
https://doi.org/10.1109/MT-CPS.2018.00015
Hallerstede, S. & Hoang, T. S. (2012).
Refinement by interface instantiation. In J. Derrick, J. Fitzgerald, S. Gnesi, S. Khurshid, M. Leuschel, S. Reeves & E. Riccobene (Eds.),
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (pp. 223-237). Springer.
https://doi.org/10.1007/978-3-642-30885-7_16
Divakaran, S., D’Souza, D., Kushwah, A., Sampath, P., Sridhar, N.
& Woodcock, J. (2015).
Refinement-Based Verification of the FreeRTOS Scheduler in VCC. In M. Butler, S. Conchon & F. Zaïdi (Eds.),
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings (pp. 170-186). Springer.
https://doi.org/10.1007/978-3-319-25423-4_11
Abrial, J.-R. (Ed.), Butler, M. J. (Ed.), Joshi, R. (Ed.), Troubitsyna, E.
& Woodcock, J. (Ed.) (2009).
Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. In
Dagstuhl Seminar Proceedings, Schloss Dagstuhl https://researchr.org/publication/dagstuhl-2009P9381/authors
Hallerstede, S., Leuschel, M. & Plagge, D. (2010).
Refinement-Animation for Event-B - Towards a Method of Validation. In M. Frappier, U. Glässer, S. Khurshid, R. Laleau & S. Reeves (Eds.),
Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010. Proceedings (pp. 287-301). Springer.
https://doi.org/10.1007/978-3-642-11811-1_22
Oda, T., Araki, K., Sahara, S., Chang, H.-M.
& Larsen, P. G. (2021).
Refactoring for Exploratory Specification in VDM-SL. In H. D. Macedo, C. Thule & K. Pierce (Eds.),
Proceedings of the 19th International Overture Workshop (pp. 21-35)
https://arxiv.org/abs/2110.09371
Hyun Kim, J.
, Boudjadar, J., Nyman, U. M., Mikucionis, M., G. Larsen, K., Skou, A., Lee, I. & Thi Xuan Phan, L. (2015).
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. In
Component-Based Software Engineering (CBSE), 2015 18th International ACM SIGSOFT Symposium on (pp. 91-100). IEEE.
https://doi.org/10.1145/2737166.2737170 .
Murtaza, F., Akhunzada, A., Islam, S. U.
, Boudjadar, J. & Buyya, R. (2020).
QoS-Aware Service Provisioning in Fog Computing.
Journal of Network and Computer Applications,
165, Article 102674.
https://doi.org/10.1016/j.jnca.2020.102674
Kontio, J., Heikkenen, K., Georgsson, F.
, Bennedsen, J., Clark, R., Matthiasdottir, A., Hernon, P., Rouvrais, S. & Karhu, M. (2015).
QA and Enhancement Marketplace for HEIs – An Erasmus+ project. In
Proceedings CDIO 2015: 11th international CDIO conference Conceive Design Implement Operate: Collaboration and Extension http://rick.sellens.ca/CDIO2015/final/103/103_Paper.pdf
Vafamand, N., Mardani, M. M.
, Khooban, M. H., Blaabjerg, F.
& Boudjadar, J. (2019).
Pulsed power load effect mitigation in DC shipboard microgrids: A constrained model predictive approach.
IET Power Electronics,
12(9), 2155-2160.
https://doi.org/10.1049/iet-pel.2018.6159
Kakavandi, F., de Reus, R.
, Gomes, C., Heidari, N., Iosifidis, A. & Larsen, P. G. (2022).
Product Quality Control in Assembly Machine under Data Restricted Settings. In
2022 IEEE 20th International Conference on Industrial Informatics, INDIN 2022 (pp. 735-741). IEEE.
https://doi.org/10.1109/INDIN51773.2022.9976173