Fleischmann, A., Glässer, U., Hayes , I.
, Hallerstede, S., Hansen , D., Voisin , L. & Winter, K. (2014).
Working Groups: Comparison of Methods and Tools: Summary of Meeting of Workgroup on Methodology. I U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (red.),
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Bind Dagstuhl Reports, Volume 3, Issue 9). Dagstuhl Publishing.
https://doi.org/10.4230/DagRep.3.9.74
Boudjadar, J., David, A., Kim, J. H., G. Larsen, K., Mikucionis, M., Nyman, U. M. & Skou, A. (2015).
Widening the Schedulability of Hierarchical Scheduling Systems. I
Formal Aspects of Component Software (s. 209-227). Springer.
https://link.springer.com/chapter/10.1007/978-3-319-15317-9_14
Rask, J. K., Madsen, F. P., Battle, N.
, Macedo, H. D. & Larsen, P. G. (2021).
Visual Studio Code VDM Support. I J. Fitzgerald, T. Oda & H. D. Macedo (red.),
Proceedings of the 18th International Overture Workshop (s. 35-50)
https://arxiv.org/pdf/2101.07261.pdf
H. Bohlbro, C.
, Macedo, H. D., Tola, D., Esterle, L. & Larsen, P. G. (2024).
Visualisation in a Digital Twin Context. I J. Fitzgerald, C. Gomes & P. G. Larsen (red.),
The Engineering of Digital Twins (s. 175-188). Springer.
https://doi.org/10.1007/978-3-031-66719-0_8
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
Meyer, B.
& Woodcock, J. (red.) (2005).
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions. I B. Meyer & J. Woodcock (red.),
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions (Bind 1). Springer.
https://doi.org/10.1007/978-3-540-69149-5
Hansen, S. T., Gomes, C., Palmieri, M., Thule, C., van de Pol, J. & Woodcock, J. (2021).
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. I A. L. Lafuente & A. Mavridou (red.),
Formal Methods for Industrial Critical Systems (s. 3-20). Springer.
https://doi.org/10.1007/978-3-030-85248-1_1
Hansen, S. T., Thule, C., Gomes, C., van de Pol, J., Palmieri, M., Inci, E. O.
, Madsen, F., Alfonso, J., Castellanos, J. Á. & Rodriguez, J. M. (2022).
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps.
International Journal on Software Tools for Technology Transfer,
24(6), 999-1024.
https://doi.org/10.1007/s10009-022-00686-8
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
Salleh, N.
, Mendes, E., Mendes, F., Lekamlage, D. & Petersen, K. (2023).
Value-based Software Engineering: A Systematic Mapping Study.
E-Informatica Software Engineering Journal ,
17(1), Artikel 230106.
https://doi.org/10.37190/e-Inf230106
Schultz, C. P. L., R. Clephane, T., W. Guesgen, H. & Amor, R. (2006).
UTILISATION OF QUALITATIVE SPATIAL REASONING IN GEOGRAPHIC INFORMATION SYSTEMS. I A. Riedl, W. Kainz & G. A. Elmes (red.),
Progress in Spatial Data Handling: 12th International Symposium on Spatial Data Handling (1 udg., s. 27-42). Springer Berlin, Heidelberg.
https://doi.org/10.1007/3-540-35589-8
Tøttrup, M. F., Hu, E. C., Kramer, B. A.
, Macedo, H. D. & Esterle, L. (2023).
Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car. I P. Masci, C. Bernardeschi, P. Graziani, M. Koddenbrock & M. Palmieri (red.),
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: International Conference on Software Engineering and Formal Methods (s. 200-209). Springer.
https://doi.org/10.1007/978-3-031-26236-4_18
Wewer, C. R., Mahapatra, H., Esterle, L. & Larsen, P. G. (2024).
Using FactoryML for Deployment of Machine Learning Models in Industrial Production. I T. Facchinetti, A. Cenedese, L. L. Bello, S. Vitturi, T. Sauter & F. Tramarin (red.),
2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation, ETFA 2024 Institute of Electrical and Electronics Engineers Inc..
https://doi.org/10.1109/ETFA61755.2024.10710938