Schrey-Niemenmaa, K., Clark, R., Matthiasdottir, A., Georgsson, F., Kontio, J.
, Bennedsen, J., Rouvrais, S. & Hermon, P. (2018).
The Power of Self-evaluation Based Cross-Sparring in Developing the Quality of Engineering Programmes. In M. E. Auer & K.-S. Kim (Eds.),
Engineering Education for a Smart Society - World Engineering Education Forum and Global Engineering Deans Council, 2016 (Vol. 627, pp. 158-174). Springer.
https://doi.org/10.1007/978-3-319-60937-9_13Pedersen, 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. In
SIMULTECH 2017 - Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications: Simultech 2017 (Vol. 1, pp. 73-82). SCITEPRESS Digital Library.
https://doi.org/10.5220/0006412700730082Ouy, 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.pdfMadzar, B.
, Boudjadar, J., Dingel, J., Fuhrman, T. & S, R. (2017).
Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. In O. Kouchnarenko & R. Khosravi (Eds.),
Formal Aspects of Component Software - 13th International Conference, FACS 2016, Revised Selected Papers: FACS 2016 (Vol. 10231, pp. 153-171). Springer.
https://doi.org/10.1007/978-3-319-57666-4_10Clark, J., Bendisposto, J.
, Hallerstede, S., Hansen, D. & Leuschel, M. (2016).
Generating Event-B Specifications from Algorithm Descriptions. In M. Butler, K.-D. Schewe, A. Mashkoor & M. Biro (Eds.),
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Proceedings: ABZ 2016 (Vol. 9675, pp. 183-197). Springer.
https://doi.org/10.1007/978-3-319-33600-8_11Couto, L. D.
, Lausdahl, K. G., Plat, N.
, Larsen, P. G. & Pierce, K. (2016).
Decoupling validation UIs using Publish-Subscribe binding of instance variables in Overture. In P. G. Larsen, N. Plat & N. Battle (Eds.),
The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering (Vol. 4/28, pp. 123-136). Aarhus University, Department of Engineering.
http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669Fabbri, T., Verhoef, M.
, Bandur, V., Perrotin, M., Tsiodras, T.
& Larsen, P. G. (2016).
Towards integration of Overture into TASTE. In P. G. Larsen, N. Plat & N. Battle (Eds.),
The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering (Vol. 4/28, pp. 94-108). Aarhus University, Department of Engineering.
http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669Larsen, P. G., Thule, C., Lausdahl, K. G., Bandur, V., Gamble, C., Brosse, E., Sadovykh, A., Bagnato, A. & Couto, L. D. (2016).
Integrated Tool Chain for Model-Based Design of Cyber-Physical Systems. In P. G. Larsen, N. Plat & N. Battle (Eds.),
The 14th Overture Workshop: Towards Analytical Tool Chains: Technical report ECE - TR - 28 (Vol. 4/28, pp. 63-79). Aarhus University, Department of Engineering.
http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669
Fitzgerald, J., Gamble, C., Payne, R.
, Larsen, P. G., Basagiannis, S. & Mady, A. E.-D. (2016).
Collaborative Model-based Systems Engineering for Cyber-Physical Systems, with a Building Automation Case Study.
INCOSE International Symposium,
26(1), 817-832.
https://doi.org/10.1002/j.2334-5837.2016.00195.xHasanagic, 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., 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. In
2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) (pp. 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. In M. Tiziana & S. Bernhard (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings (Vol. II, pp. 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. In T. Margaria & B. Steffen (Eds.),
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 (pp. 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. In
Proceedings of the 2nd International Workshop on Formal Integrated Development Environment: F-IDE 2015 (Vol. 187, pp. 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. In
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). In
Proceedings of the 2015 43rd Annual SEFI Conference Article 56517 European Society for Engineering Education (SEFI).
http://www.sefi.be/conference-2015/CHAP%205.%20Learning%20Specifi%20formats%20for%20Engineering%20Education/56517-%20R.%20CLARK.pdf
