Publications by Software Engineering & Computing Systems

Are you looking for publications by Section of Software Engineering & Computing Systems? On this page you can find all the publications made by the Section of Software Engineering & Computing Systems - Department of Electrical and Computer Engineering, Aarhus University.

Below you can find a list of all the publications, their publishing date, their author(s), and titles. The list can be sorted by date, author, and title:

List of Publications

Sort by: Date | Author | Title

Christiansen, M. P., Larsen, P. G. & Nyholm Jørgensen, R. (2016). Agricultural robotic candidate overview using co-model driven development. In A. G. Bruzzone, S. Junco, G. Dauphin-Tanguy & Y. Merkuryev (Eds.), 9th International Conference on Integrated Modeling and Analysis in Applied Control and Automation, IMAACA 2016: IMAACA 2016 (pp. 41-48). Article IMAACA_10 Dime University of Genoa. https://www.msc-les.org/proceedings/imaaca/2016/IMAACA2016_41.pdf

Hallerstede, S. (2016). The correctness of event-B inductive convergence. Science of Computer Programming, 131(December), 94-108. https://doi.org/10.1016/j.scico.2016.04.012

Kim, J. M., Jacobsen, R. H. & Brewer, R. S. (2016). CoFELS: Conceptual Framework for Electricity Load Shifting System Design. In Proceedings - 19th Euromicro Conference on Digital System Design, DSD 2016: (DSD 2016) (Vol. 2016, pp. 268-275). Article 7723563 IEEE. https://doi.org/10.1109/DSD.2016.48

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. & Lecomte, T. (2016). Collaborative Modeling and Simulation for Cyber-Physical Systems. In A. Romanovsky & F. Ishikawa (Eds.), Trustworthy Cyber-Physical Systems Engineering (pp. 177-198). CRC Press. http://www.crcnetbase.com/doi/book/10.1201/9781315369105

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

Thule, C. & Larsen, P. G. (2016). Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS. In A. S. Kamkin, A. K. Petrenko & A. N. Terekhov (Eds.), Preliminary Proceedings of the 10th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2016) (pp. 223-228). Institute for System Programming of the Russian Academy of Sciences (ISPRAS). http://syrcose.ispras.ru/2016/SYRCoSE2016_Proceedings.pdf

Bennedsen, J. & Schrey-Niemenmaa, K. (2016). Using Self-Evaluations for Collaborative Quality Enhancement - A Case Study. Paper presented at 12th International CDIO Conference, Turku, Finland.

Bennedsen, J., Georgsson, F. & Kontio, J. (2016). Updated Rubric for Self-Evaluation (v. 2.1). Paper presented at 12th International CDIO Conference, Turku, Finland.

Bennedsen, J., Rouvrais, S., Clark, R. & Schrey-Niemenmaa, K. (2015). Using Accreditation Criteria for Collaborative Quality Enhancement. Paper presented at International Conference on Interactive Collaborative Learning, Firenze, Italy. http://www.weef2015.eu/Proceedings_WEEF2015/proceedings/papers/Contribution1092.pdf

Beevi, F. H. A., Wagner, S. R., Pedersen, C. F. & Hallerstede, S. (2016). Data Quality Oriented Efficacy Evaluation Method for Ambient Assisted Living Technologies. In PervasiveHealth 2016 - 10th EAI International Conference on Pervasive Computing Technologies for Healthcare Association for Computing Machinery. https://doi.org/10.4108/eai.16-5-2016.2263753

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

Oda, T., Araki, K. & Larsen, P. G. (2015). VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. In Proceedings of the Third FME Workshop on Formal Methods in Software Engineering: Formalise 2015 (Vol. 2015, pp. 33-39). Article 7166695 IEEE. https://doi.org/10.1109/FormaliSE.2015.13

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

Larsen, P. G. & Fitzgerald, J. (2016). The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA. Journal of Logical and Algebraic Methods in Programming, 85(5, Part 2), 985-998. https://doi.org/10.1016/j.jlamp.2015.10.001

Beevi, F. H. A., Wagner, S. R., Hallerstede, S. & Pedersen, C. F. (2016). Data Quality Oriented Taxonomy of Ambient Assisted Living Systems. In IET International Conference on Technologies for Active and Assisted Living: TechAAL, 2015 Institution of Engineering and Technology. https://doi.org/10.1049/ic.2015.0140

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

Mota, A., Farias, A., Woodcock, J. & Larsen, P. G. (2015). Model checking CML : tool development and industrial applications. Formal Aspects of Computing, 5(27), 975–1001. https://doi.org/10.1007/s00165-015-0342-2

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

Bennedsen, J. & Lauritsen, A. B. (2015). Evaluating rubrics for facilitating students’ learning. In E. de Graaff, M. Ferreras & N. A. Arexolaleiba (Eds.), Active Teachers - Active Students: Proceedings of the 13th International Workshop Active Learning in Engineering (ALE 2015) (pp. 117-129). Aalborg Universitetsforlag. http://vbn.aau.dk/files/219310287/ALE_2015_proceedings_final_2_.pdf

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.pdf

Bennedsen, J., Georgsson, F. & Kontio, J. (2014). Evaluating the CDIO Self-Evaluation. In Proceedings of the 10th International CDIO Conference Worldwide CDIO Initiative. http://www.cdio.org/files/document/cdio2014/69/69_Paper.pdf

Clark, 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

Kanakis, G., Larsen, P. G. & Tran-Jørgensen, P. W. V. (2015). Code Generation of VDM++ Concurrency. In Proceedings of the 13th Overture Workshop (Vol. Grace-TR 2015-06, pp. 60-74). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Gamble, C., Mansfield, M., Fitzgerald, J. & Larsen, P. G. (2015). Pacemaker Parameter Tuning using Crescendo. In Proceedings of the13th Overture Workshop (Vol. Grace-TR 2015-06, pp. 116-131). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Larsen, M., Tran-Jørgensen, P. W. V. & Larsen, P. G. (2015). Improving Time Estimates in VDM-RT Models. In Proceedings of the 13th Overture workshop (Vol. Grace-TR 2015-06, pp. 90-103). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Hasanagic, M., Larsen, P. G. & Tran-Jørgensen, P. W. V. (2015). Generating Java RMI code for the distributed aspects of VDM-RT models. In Proceedings of the 13th Overture Workshop (Vol. Grace-TR 2015-06, pp. 75-89). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Masci, P., Monteiro Duarte Couto, L. D., Larsen, P. G. & Curzon, P. (2015). Integrating the PVSio-web modelling and prototyping environment with Overture. In Proceedings of the 13th Overture Workshop (Vol. Grace-TR 2015-06, pp. 33-47). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Oda, T., Yamamoto, Y., Nakakoji, K., Araki, K. & Larsen, P. G. (2015). VDM Animation for a Wider Range of Stakeholders. In Proceedings of the 13th Overture Workshop (Vol. Grace-TR 2015-06, pp. 18-32). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Omori , Y., Araki, K. & Larsen, P. G. (2015). JODTool on the Overture Tool to manage formal requirement dictionaries. In Proceedings of the 13th Overture Workshop (Vol. 2015-06, pp. 3-17). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Christiansen, M. P., Larsen, P. G. & Nyholm Jørgensen, R. (2015). Robotic Design Choice Overview using Co-simulation and Design Space Exploration. Robotics, 4, 398-421. https://doi.org/10.3390/robotics4040398

Fitzgerald, J., Gamble, C., Larsen, P. G., Pierce, K. & Woodcock, J. (2015). Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. In Proceedings of the 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE) (pp. 40-46). IEEE. https://doi.org/10.1109/FormaliSE.2015.14

Christiansen, M. P., Larsen, P. G. & Nyholm Jørgensen, R. (2014). Robotic design choice overview using co-simulation. Abstract from Agromek and NJF joint seminar, Herning, Denmark.

Le, L. & Bennedsen, J. (2014). Methodological Analysis of CDIO Papers. In Proceedings of the 10th International CDIO Conference: Sharing Successful Engineering Education Experiences Worldwide CDIO Initiative. http://www.cdio.org/node/6217

Fitzgerald, J., Bryans, J., Larsen, P. G. & Salim, H. (2014). Collaborative systems of systems need collaborative design. In L. M. Camarinha-Matos & H. Afsarmanesh (Eds.), Collaborative systems for smart networked environements: 15th IFIP WG 5.5 working conference on virtual enterprises, PRO-VE 2014, Proceedings (Vol. 434, pp. 16-23). Springer. https://doi.org/10.1007/978-3-662-44745-1_2

Hallerstede, S. (2014). Program Development in Event-B with Proof Outlines. In M. Butler & S. Hallerstede (Eds.), Proceedings of the 5th Rodin User and Developer Workshop, 2014 http://eprints.soton.ac.uk/365301/1/Proceedings.pdf

Hallerstede, S., Kristensen, K. & Larsen, P. G. (2014). Modelling of Systems of Systems - An Event-B Perspective of a VDM Project. In M. Butler & S. Hallerstede (Eds.), Proceedings of the 5th Rodin User and Developer Workshop, 2014 http://eprints.soton.ac.uk/365301/1/Proceedings.pdf

Wolff, S. & Larsen, P. G. (2014). Co-simulation af cyber-physical systemer fra flyvevåbnet. ITOS - Industriel Teknologi og Software, 14-15.

Hansen, S. & Bennedsen, J. (2014). Democratic co-determination and responsibility of lecture content. In Proceedings of SEFI Annual Conference: SEFI 2014 - 42nd Annual Conference Article 105. http://www.sefi.be/conference-2014/0105.pdf

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.2312051

Hallerstede, S. (2014). Quasi-lexicographic convergence. Lecture Notes in Computer Science, 8477, 86-100. https://doi.org/10.1007/978-3-662-43652-3_7

Hallerstede, S. & Hoang, T. S. (2014). Refinement of decomposed models by interface instantiation. Science of Computer Programming, 94(P2), 144-163. https://doi.org/10.1016/j.scico.2014.05.005

Lausdahl, K., Ishikawa, H. & Larsen, P. G. (2015). Interpreting Implicit VDM Specifications using ProB. University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, CS-TR-1446, 1-15. http://www.cs.ncl.ac.uk/publications/trs/papers/1446.pdf

Esparza Isasa, J. A., Larsen, P. G. & Hansen, F. O. (2014). Energy-Aware Design of Embedded Software through Modelling and Simulation. In A. Kamkin, A. Petrenko & A. Terekhov (Eds.), Preliminary Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering: SYRCoSE 2014 (pp. 51-56). Institute for System Programming, Russian Academy of Sciences (ISPRAS). http://syrcose.ispras.ru/2014/files/submissions/08_syrcose2014.pdf

Fitzgerald, J., Pierce, K. & Larsen, P. G. (2014). Collaborative Development of Dependable Cyber-Physical Systems by Co-modeling and Co-simulation. In A. Bagnato , L. S. Indrusia, I. R. Quadri & M. G. Ross (Eds.), Handbook of Research on Embedded Systems Design (pp. 1-28). IGI global. https://doi.org/10.4018/978-1-4666-6194-3.ch001

Esparza Isasa, J. A., Jørgensen, P. W. V., Nielsen, C. B. & Hallerstede, S. (2014). Modelling Energy Consumption in Embedded Systems with VDM-RT. In Y. Ameur & K.-D. Schewe (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z: v (pp. 130-135 ). Springer VS. https://doi.org/10.1007/978-3-662-43652-3_1

Larsen, P. G. (2014). VDM-RT Language Summary. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 313-321). Springer. https://doi.org/10.1007/978-3-642-54118-6

Fitzgerald, J., Larsen, P. G. & Verhoef, M. (2014). From Embedded to Cyper-Physical Systems: Challenges and Future Directions. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 293-302). Springer. https://doi.org/10.1007/978-3-642-54118-6_14

Coleman, J., Lausdahl, K. & Larsen, P. G. (2014). Semantics of Co-simulation. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 273-291). Springer. https://doi.org/10.1007/978-3-642-54118-6_13

Wolff, S., Larsen, P. G. & Verhoef, M. (2014). Deploying Co-modelling in Commercial Practice. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 263-270). Springer. https://doi.org/10.1007/978-3-642-54118-6_12

Displaying results 751 to 800 out of 970

Back to the main page

Revised 10.08.2023

AU Engineering