Larsen, P. G., Macedo, H. D., Fitzgerald, J., Pfeifer, H., Benedikt, M., Tonetta, S., Marguglio, A., Veneziano, G., Sutton, L., Gusmeroli, S. & Suciu, G. (2022).
HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems. In M. S. Obaidat, T. Oren & F. D. Rango (Eds.),
Simulation and Modeling Methodologies, Technologies and Applications. SIMULTECH 2020 (pp. 90-110). Springer.
https://doi.org/10.1007/978-3-030-84811-8_5
Gomes, C., Oakes, B. J., Moradi, M., Torres Gamiz, A., Mendo, J. C., Dutre, S., Denil, J. & Vangheluwe, H. (2019).
HintCO - Hint-Based Configuration of Co-Simulations. In
SIMULTECH 2019 - Proceedings of the 9th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (pp. 57-68)
http://msdl.cs.mcgill.ca/people/bentley/research/HintCO.pdf
Oakes, B. J.
, Gomes, C., Holzinger, F. R., Benedikt, M., Denil, J. & Vangheluwe, H. (2021).
Hint-based configuration of co-simulations with algebraic loops. In M. S. Obaidat, M. S. Obaidat, M. S. Obaidat, T. Ören & H. Szczerbicka (Eds.),
Simulation and Modeling Methodologies, Technologies and Applications - 9th International Conference, SIMULTECH 2019, Revised Selected Papers (pp. 1-28). Springer.
https://doi.org/10.1007/978-3-030-55867-3_1
Boudjadar, J., Hyun Kim, J., Thi Xuan Phan, L., Lee, I., G. Larsen, K. & Nyman, U. M. (2018).
Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. In
Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018: Proceedings (pp. 51-58). Article 8421146 IEEE.
https://doi.org/10.1109/ISORC.2018.00015
Gomes, C., Thule, C., Lúcio, L., Vangheluwe, H.
& Larsen, P. G. (2020).
Generation of Co-simulation Algorithms Subject to Simulator Contracts. In J. Camara & M. Steffen (Eds.),
Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers (pp. 34-49). Springer.
https://doi.org/10.1007/978-3-030-57506-9_4
Saleem, B., Badar, R., Manzoor, A., Judge, M. A.
, Boudjadar, J. & Islam, S. U. (2022).
Fully Adaptive Recurrent Neuro-Fuzzy Control for Power System Stability Enhancement in Multi Machine System.
IEEE Access,
10, 36464-36476.
https://doi.org/10.1109/ACCESS.2022.3164455
Hallerstede, S., Hasanagic, M., Krings, S.
, Larsen, P. G. & Leuschel, M. (2018).
From Software Specifications to Constraint Programming. In E. Broch Johnsen & I. Schafer (Eds.),
Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Proceedings: 16th International Conference, SEFM 2018, Proceedings (pp. 21-36). Springer.
https://doi.org/10.1007/978-3-319-92970-5_2
Li, W., Miyazawa, A., Ribeiro, P., Cavalcanti, A. L. C.
, Woodcock, J. & Timmis, J. (2018).
From Formalised State Machines to Implementations of Robotic Controllers. In
Springer Proceedings in Advanced Robotics (pp. 517-529). Springer.
https://doi.org/10.1007/978-3-319-73008-0_36
Ubys, L., Vancea, V. N.
, Kulik, T., Larsen, P. G., Boudjadar, J. & Aranha, D. F. (2022).
Formal Model In-The-Loop for Secure Industrial Control Networks. In
Formal Aspects of Component Software - 18th International Conference, FACS 2022, Proceedings (pp. 74-89). Springer.
https://doi.org/10.1007/978-3-031-20872-0_5
Hasanagic, M., Tran-Jørgensen, P. W. V., Lausdahl, K. G. & Larsen, P. G. (2016).
Formalising and Validating the Interface Description in the FMI standard. In J. Fitzgerald, C. Heitmeyer, S. Gnesi & A. Philippou (Eds.),
FM 2016: Formal Methods - 21st International Symposium, Proceedings (Vol. 9995, pp. 344-351). Springer.
https://doi.org/10.1007/978-3-319-48989-6_21
Larsen, P. G., Fitzgerald, J.
, Woodcock, J., Gamble, C., Payne, R. & Pierce, K. (2018).
Features of Integrated Model-Based Co-modelling and Co-simulation Technology. In A. Cerone & M. Roveri (Eds.),
Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (pp. 377-390). Springer.
https://doi.org/10.1007/978-3-319-74781-1_26
Larsen, P. G., Fitzgerald, J. S., Woodcock, J., Gamble, C., Payne, R. & Pierce, K. (2017).
Features of Integrated Model-based Co-modelling and Co-simulation Technology. Paper presented at 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italy.
https://drive.google.com/open?id=0B2ej7mC7hWVrMEM0bjNqbWc1a0k
Larsen, P. G., Fitzgerald, J., Woodcock, J., Gamble, C., Payne, R. & Pierce, K. (2018).
Features of integrated model-based co-modelling and co-simulation technology. In A. Cerone & M. Roveri (Eds.),
Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (Vol. 10729, pp. 377-390). Springer.
https://doi.org/10.1007/978-3-319-74781-1_26
Frasheri, M., Thule, C., Macedo, H. D., Lausdahl, K., Larsen, P. G. & Esterle, L. (2021).
Fault Injecting Co-simulations for Safety. 6-13. Paper presented at 5th International Conference on System Reliability and Safety, Palermo, Italy.
https://doi.org/10.1109/ICSRS53853.2021.9660728