Rask, J. K., Madsen, F. P., Battle, N.
, Macedo, H. D. & Larsen, P. G. (2021).
The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions. I J. Proença & A. Paskevich (red.),
Proceedings of the 6th Workshop on Formal Integrated Development Environment (Bind 338, s. 3-18). Open Publishing Association.
https://doi.org/10.4204/EPTCS.338.3
Rask, J. K., Madsen, F. P., Battle, N., Freitas, L.
, Macedo, H. D. & Larsen, P. G. (2022).
Advanced VDM Support in Visual Studio Code. I H. D. Macedo & K. Pierce (red.),
Proceedings of the 20th International Overture Workshop (s. 34-49)
https://doi.org/10.48550/arXiv.2208.10233
Racz, P., Syfuss, L.
, Schultz, C. P. L., van Buiten, M., olde Scholtenhuis, L., Vahdatikhati, F. & Doree, A. (2017).
Decision Support for Test Trench Location Selection with 3D Semantic Subsurface Utility Models. I
ASCE International Workshop on Computing in Civil Engineering 2017 American Society of Civil Engineers (ASCE).
http://ascelibrary.org/doi/10.1061/9780784480847.009
Piechottaa, C., Olsen, M. G., Jensen, A. E., Colemann , J. W.
& Larsen, P. G. (2016).
A secure dynamic collaboration environment in a cloud context.
Future Generation Computer Systems - The International Journal of eScience,
55(February), 165–175.
https://doi.org/10.1016/j.future.2015.07.018
Pedersen, N.
, Lausdahl, K. G., Vidal, E. S.
, Larsen, P. G. & Madsen, J. (2017).
Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS. I
SIMULTECH 2017 - Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications: Simultech 2017 (Bind 1, s. 73-82). SCITEPRESS Digital Library.
https://doi.org/10.5220/0006412700730082
Pedersen, N.
, Lausdahl, K. G., Vidal, E. S.
, Thule, C., Larsen, P. G. & Madsen, J. (2019).
Distributed Co-simulation of Embedded Control Software Using INTO-CPS. I M. S. Obaidat, T. Ören & F. De Rango (red.),
Simulation and Modeling Methodologies, Technologies and Applications - 7th International Conference, SIMULTECH 2017, Revised Selected Papers: SIMULTECH 2017, Revised Selected Papers (s. 33-54). Springer.
https://doi.org/10.1007/978-3-030-01470-4_3
Paredis, R.
, Gomes, C. & Vangheluwe, H. (2023).
A Family of Digital T Workflows and Architectures: Exploring Two Cases. I A. Smirnov, H. Panetto & K. Madani (red.),
Innovative Intelligent Industrial Production and Logistics: First International Conference, IN4PL 2020, Virtual Event, November 2-4, 2020, and Second International Conference, IN4PL 2021, Virtual Event, October 25-27, 2021, Revised Selected Papers (s. 93-109). Springer.
https://doi.org/10.1007/978-3-031-37228-5_6
Ouy, J., Lecomte, T.
, Christiansen, M. P., Vill Henriksen, A.
, Hallerstede, S., Larsen, P. G., Jæger, C. D., Basagiannis, S., Couto, L. D., El-din Mady, A., Ridouanne, H., Moner Poy, H., Valverde Alcala, J., König, C. & Balcu, N. (2016).
INtegrated TOol chain for model-based design of CPSs: D1.2 - Case Studies 2.
http://projects.au.dk/fileadmin/D1.2a_Case_Studies.pdf
Oda, T., Yamamoto, Y., Nakakoji, K., Araki, K.
& Larsen, P. G. (2015).
VDM Animation for a Wider Range of Stakeholders. I
Proceedings of the 13th Overture Workshop (Bind Grace-TR 2015-06, s. 18-32). National Institute of Informatics, Tokyo.
http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf
Oda, T., Keijiro, A., Yamamoto, Y., Nakakoji, K., Hiroshi, S., Chang, H.-M.
& Larsen, P. G. (2019).
ViennaDoc: An Animatable and Testable Specication Documentation Tool. I C. Gamble & L. Diogo Couto (red.),
Proceedings of the 17th Overture Workshop (s. 76-90). Newcastle University.
Oda, T., Akari, K., Yamamoto, Y., Nakakoji, K., Sako, H., Chang, H.-M.
& Larsen, P. G. (2020).
ViennaDoc: An Animatable and Testable Specification Documentation Tool. I E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (red.),
Formal Methods: FM 2019 International Workshops (Bind Revised Selected Papers, Part II, s. 289-302). Springer.
https://doi.org/10.1007/978-3-030-54997-8
Oda, T., Araki, K., Yamamoto, Y., Nakakoji, K., Sako, H., Chang, H. M.
& Larsen, P. G. (2020).
ViennaDoc: An animatable and testable specification documentation tool. I E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (red.),
Formal Methods. FM 2019 International Workshops (s. 289-302). Springer.
https://doi.org/10.1007/978-3-030-54997-8_19
Oda, T., Akari, K., Yamamoto, Y., Nakakoji, K., Chang, H.-M.
& Larsen, P. G. (2021).
Specifying Abstract User Interface in VDM-SL. I J. Fitzgerald, T. Oda & H. D. Macedo (red.),
Proceedings of the 18th International Overture Workshop (s. 5-20)
https://arxiv.org/pdf/2101.07261.pdf
Oda, T., Araki, K., Sahara, S., Chang, H.-M.
& Larsen, P. G. (2021).
Refactoring for Exploratory Specification in VDM-SL. I H. D. Macedo, C. Thule & K. Pierce (red.),
Proceedings of the 19th International Overture Workshop (s. 21-35)
https://arxiv.org/abs/2110.09371
Oakes, B. J.
, Gomes, C., Holzinger, F. R., Benedikt, M., Denil, J. & Vangheluwe, H. (2021).
Hint-based configuration of co-simulations with algebraic loops. I M. S. Obaidat, M. S. Obaidat, M. S. Obaidat, T. Ören & H. Szczerbicka (red.),
Simulation and Modeling Methodologies, Technologies and Applications - 9th International Conference, SIMULTECH 2019, Revised Selected Papers (s. 1-28). Springer.
https://doi.org/10.1007/978-3-030-55867-3_1
Oakes, B. J.
, Gomes, C., Larsen, P. G., Denil, J., Deantoni, J., Cambeiro, J. & Fitzgerald, J. (2023).
Examining Model Qualities and Their Impact on Digital Twins. I M. J. Blas & G. Alvarez (red.),
2023 Annual Modeling and Simulation Conference (ANNSIM) (s. 220-232). IEEE.
https://ieeexplore.ieee.org/document/10155350
Nielsen, C. B., Larsen, P. G., Fitzgerald, J.
, Woodcock, J. & Peleska, J. (2015).
Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions.
A C M Computing Surveys,
48(2).
https://doi.org/10.1145/2794381
Neghina, M., Zamfirescu, C.-B.
, Larsen, P. G., Lausdahl, K. G. & Pierce, K. (2017).
A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems. I J. S. Fitzgerald, P. W. V. Tran-Jørgensen & T. Oda (red.),
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering: Proceedings (s. 116-129). Newcastle University.
Neghina, M., Zamfirescu, C.-B.
, Larsen, P. G., Lausdahl, K. G. & Pierce, K. (2018).
Multi-Paradigm Discrete-Event Modelling and Co-simulation of Cyber-Physical Systems.
Studies in Informatics and Control,
27(1), 33-42.
https://doi.org/10.24846/v27i1y201804
Neghina, M., Zamfirescu, C.-B.
, Larsen, P. G. & Pierce, K. (2020).
Multi-paradigm modelling and co-simulation in prototyping a cyber-physical production system. I B. Tekinerdogan, D. Blouin, H. Vangheluwe, M. Goulao, P. Carreira & V. Amaral (red.),
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems (s. 169-193). Academic Press.
https://www.elsevier.com/books/multi-paradigm-modelling-approaches-for-cyber-physical-systems/tekinerdogan/978-0-12-819105-7
Naseri, F., Gil Arboleda, S., Barbu, C., Cetkin, E., Yarimca, G., Jensen, A. C.
, Larsen, P. G. & Gomes, C. (2023).
Digital twin of electric vehicle battery systems: Comprehensive review of the use cases, requirements, and platforms.
Renewable and Sustainable Energy Reviews,
179, Artikel 113280.
https://doi.org/10.1016/j.rser.2023.113280
Naseri, F., Kazemi, Z., Larsen, P. G., Arefi, M. M. & Schaltz, E. (2023).
Cyber-Physical Cloud Battery Management Systems: Review of Security Aspects.
Batteries,
9(7), Artikel 382.
https://doi.org/10.3390/batteries9070382
Mustafiz, S.
, Gomes, C., Barroca, B. & Vangheluwe, H. (2016).
Modular design of hybrid languages by explicit modeling of semantic adaptation. Afhandling præsenteret på 2016 TMS/DEVS Symposium on Theory of Modeling and Simulation, TMS/DEVS 2016, Part of the 2016 Spring Simulation Multiconference, SpringSim 2016, Pasadena, USA.
Monteiro Duarte Couto, L. D., Larsen, P. G., Hasanagic, M., Kanakis, G., Lausdahl, K. G. & Tran-Jørgensen, P. W. V. (2015).
Towards Enabling Overture as a Platform for Formal Notation IDEs. I
Proceedings of the 2nd International Workshop on Formal Integrated Development Environment: F-IDE 2015 (Bind 187, s. 14-27)
https://doi.org/10.4204/EPTCS.187.2