Larsen, P. G., Fitzgerald, J.
, Woodcock, J., Fritzson, P., Brauer, J., Kleijn, C., Lecomte, T., Pfeil, M.
, Green, O., Basagiannis, S. & Sadovykh, A. (2016).
Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. I
2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) (s. 1-6). IEEE.
https://doi.org/10.1109/CPSData.2016.7496424
Larsen, P. G., Fitzgerald, J.
, Woodcock, J., Nilsson, R., Gamble, C. & Foster, S. (2016).
Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. I M. Tiziana & S. Bernhard (red.),
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings (Bind II, s. 171-186). Springer.
https://doi.org/10.1007/978-3-319-47169-3_13
Woodcock, J., Cavalcanti, A., Fitzgerald, J., Foster, S.
& Larsen, P. G. (2014).
Contracts in CML. I T. Margaria & B. Steffen (red.),
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (s. 54-73). Springer.
https://doi.org/10.1007/978-3-662-45231-8_5
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.018Nielsen, 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
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
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. I
Proceedings CDIO 2015: 11th international CDIO conference Conceive Design Implement Operate: Collaboration and Extension http://rick.sellens.ca/CDIO2015/final/103/103_Paper.pdfClark, R.
, Bennedsen, J., Rouvrais, S., Kontio, J., Heikkenen, K., Georgsson, F., Matthiasdottir, A., Sæmundsdóttir, I., Karhu, M., Schrey-Niemenmaa, K. & Hernon, P. (2015).
Developing a robust Self Evaluation Framework for Active Learning: The First Stage of an Erasmus + Project (QAEMarketPlace4HEI). I
Proceedings of the 2015 43rd Annual SEFI Conference Artikel 56517 European Society for Engineering Education (SEFI).
http://www.sefi.be/conference-2015/CHAP%205.%20Learning%20Specifi%20formats%20for%20Engineering%20Education/56517-%20R.%20CLARK.pdfOda, 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.pdfFitzgerald, J., Bryans, J.
, Larsen, P. G. & Salim, H. (2014).
Collaborative systems of systems need collaborative design. I L. M. Camarinha-Matos & H. Afsarmanesh (red.),
Collaborative systems for smart networked environements: 15th IFIP WG 5.5 working conference on virtual enterprises, PRO-VE 2014, Proceedings (Bind 434, s. 16-23). Springer.
https://doi.org/10.1007/978-3-662-44745-1_2Hasse, C., Wallace, J., Brok, L. S., Gars Jensen, U., Skov, H., Schrøder, V. & Dupret, K. (2015).
TEKU-modellen: Teknologiforståelse i professionerne. U Press.
Holt, J., Perry, S., Payne, R., Bryans, J.
, Hallerstede, S. & Hansen, F. O. (2015).
A Model-Based Approach for Requirements Engineering for Systems of Systems.
I E E E Systems Journal,
9(1).
https://doi.org/10.1109/JSYST.2014.2312051Esparza Isasa, J. A., Jørgensen, P. W. V., Nielsen, C. B. & Hallerstede, S. (2014).
Modelling Energy Consumption in Embedded Systems with VDM-RT. I Y. Ameur & K.-D. Schewe (red.),
Abstract State Machines, Alloy, B, TLA, VDM, and Z: v (s. 130-135 ). Springer VS.
https://doi.org/10.1007/978-3-662-43652-3_1
