Bandur, V., Larsen, P. G., Lausdahl, K., Thule, C., Gamble, C., Payne, R., Pop, A., Brosse, E., Brauer, J., Lapschies, F., Groothuis, M., Bokhove, T., Kleijn, C. & Couto, L. D. (2017).
INTO-CPS tool chain user manual. Aarhus University.
https://into-cps.github.io/download/
Lausdahl, K. G., Thule, C., Larsen, P. G., Höll, J., Klueber, A., Pfeil, M. & Fässler, V. (2017).
The INTO-CPS Co-Simulation Orchestration Engine – Experiences with FMI 2.0 and proposed extensions. Abstract from FMI User meeting, Prag, Czech Republic.
Krukar, J.
, Schultz, C. P. L. & Bhatt, M. (2017).
Towards Embodied 3D Isovists: Incorporating cognitively-motivated semantics of `space’ and the architectural environment in 3D visibility analysis. In T. Heitor, M. Serra, J. Pinelo Silva, M. Bacharel & L. Cannas da Silva (Eds.),
Proceedings - 11th International Space Syntax Symposium, SSS 2017 (pp. 166.1-166.13). Article #166 Instituto Superior Técnico, Departamento de Engenharia Civil, Arquitetura e Georrecursos, Portugal.
http://www.11ssslisbon.pt/docs/book-proceedings-05072017.pdfKoeva, M., Bennett, R., Crommelinck, S., Stöcker, C., Crompvoets, J., Ho, S., Schwering, A., Chipofya, M.
, Schultz, C. P. L., Zein, T., Biraro, M., Wayumba, R. & Kundert, K. (2017).
Towards Innovative Geospatial Tools for Fit-for-Purpose Land Rights Mapping. In
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, (Vol. XLII-2/W7, pp. 37-43)
https://doi.org/10.5194/isprs-archives-XLII-2-W7-37-2017Lausdahl, K. G., Bjerge, K., Bokhove, T., Groen, F.
& Larsen, P. G. (2017).
Transitioning from Crescendo to INTO-CPS. In J. S. Fitzgerald, P. W. V. Tran-Jørgensen & T. Oda (Eds.),
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering: Proceedings (pp. 16-30). Newcastle University.
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.018Fitzgerald, 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.xCouto, 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/21669Hasanagic, 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
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.pdfLarsen, 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
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
Fabbri, 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., 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
