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ér efter: Dato | Forfatter | Titel

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

Oda, T., Araki, K. & Larsen, P. G. (2017). A Formal Modeling Tool for Exploratory Modeling in Software Development. IEICE Transactions on Information and Systems, E100.D(6), 1210-1217. https://doi.org/10.1587/transinf.2016FOP0003

Boudjadar, J. & Nadjm-Tehrani, S. (2017). Schedulability and Memory Interference Analysis of Multicore Preemptive Real-time Systems. 263-274. Abstract fra the 8th ACM/SPEC International Conference on Performance Engineering, L'Aquila, Italien. https://doi.org/10.1145/3030207.3030233

Madzar, B., Boudjadar, J., Dingel, J., Fuhrman, T. & S, R. (2017). Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. I O. Kouchnarenko & R. Khosravi (red.), Formal Aspects of Component Software - 13th International Conference, FACS 2016, Revised Selected Papers: FACS 2016 (Bind 10231, s. 153-171). Springer. https://doi.org/10.1007/978-3-319-57666-4_10

Bennedsen, J. (2018). A Case Study on Mathematics. I L. Santos Green, J. R. Banas & R. A. Perkins (red.), The Flipped College Classroom: Conceptualized and Re-Conceptualized (Bind 44, s. 143-147). Springer. https://doi.org/10.1007/978-3-319-41855-1

Tran-Jørgensen, P. W. V., Larsen, P. G. & T. Leavens, G. (2018). Automated translation of VDM to JML-annotated Java. International Journal on Software Tools for Technology Transfer, 20(2), 211-235. https://doi.org/10.1007/s10009-017-0448-3

Gomes, C., Thule, C., Broman, D., Larsen, P. G. & Vangheluwe, H. (2017). Co-simulation: State of the art: Technical Report. ArXiv. https://arxiv.org/pdf/1702.00686v1.pdf

Thule, C. & Larsen, P. G. (2016). Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS. Proceedings of the Institute for System Programming, 28(2), 139-156. https://doi.org/10.15514/ISPRAS-2016-28(2)-9

Larsen, P. G., Kristiansen, E. L., Bennedsen, J. & Bjerge, K. (2017). Enhancing non-technical skills by a multidisciplinary engineering summer school. European Journal of Engineering Education, 42(6), 1076-1096. https://doi.org/10.1080/03043797.2016.1261278

Clark, J., Bendisposto, J., Hallerstede, S., Hansen, D. & Leuschel, M. (2016). Generating Event-B Specifications from Algorithm Descriptions. I M. Butler, K.-D. Schewe, A. Mashkoor & M. Biro (red.), Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Proceedings: ABZ 2016 (Bind 9675, s. 183-197). Springer. https://doi.org/10.1007/978-3-319-33600-8_11

Kirkelund, G. E. & Bennedsen, J. (2016). From PBL Supervisor to Product Owner: SCRUM based supervision of student projects. I Proceedings of SEFI Annual Conference: SEFI 2016 - the44th annnual conference European Society for Engineering Education (SEFI). http://www.sefi.be/conference-2016/papers/Engineering_Skills/kirkelund-from-pbl-supervisor-to-product-owner-104.pdf

Larsen, P. G., Plat, N. & Battle, N. (2016). The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering, Technical Report - ECE-TR-28. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Couto, 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. I P. G. Larsen, N. Plat & N. Battle (red.), The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering (Bind 4/28, s. 123-136). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Plat, N., Larsen, P. G. & Pierce, K. (2016). Modelling Collaborative Systems and Automated Negotiations. I P. G. Larsen, N. Plat & N. Battle (red.), The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering (Bind 4/28, s. 108-123). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Fabbri, T., Verhoef, M., Bandur, V., Perrotin, M., Tsiodras, T. & Larsen, P. G. (2016). Towards integration of Overture into TASTE. I P. G. Larsen, N. Plat & N. Battle (red.), The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering (Bind 4/28, s. 94-108). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Tran-Jørgensen, P. W. V., Larsen, P. G. & Battle, N. (2016). Using JML-based Code Generation to Enhance Test Automation for VDM Models. I P. G. Larsen, N. Plat & N. Battle (red.), 14th Overture Workshop: Towards Analytic Tool Chains: Technical report ECE - TR - 28 (s. 79-93). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Larsen, 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. I P. G. Larsen, N. Plat & N. Battle (red.), The 14th Overture Workshop: Towards Analytical Tool Chains: Technical report ECE - TR - 28 (Bind 4/28, s. 63-79). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Oda, T., Akari, K. & Larsen, P. G. (2016). Automated VDM-SL to Smalltalk Code Generators for Exploratory Modeling. I P. G. Larsen, N. Plat & N. Battle (red.), The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering (Bind 4/28, s. 48-63). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Diswal, S. P., Tran-Jørgensen, P. W. V. & Larsen, P. G. (2016). Automated Generation of C# and .NET Code Contracts from VDM-SL Models. I P. G. Larsen, N. Plat & N. Battle (red.), 14th Overture Workshop: Towards Analytic Tool Chains: Technical report ECE - TR - 28 (s. 32-47). 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.x

Hasanagic, M., Tran-Jørgensen, P. W. V., Lausdahl, K. G. & Larsen, P. G. (2016). Formalising and Validating the Interface Description in the FMI standard. I J. Fitzgerald, C. Heitmeyer, S. Gnesi & A. Philippou (red.), FM 2016: Formal Methods - 21st International Symposium, Proceedings (Bind 9995, s. 344-351). Springer. https://doi.org/10.1007/978-3-319-48989-6_21

Bennedsen, J. & Rouvrais, S. (2016). Finding Good Friends to Learn from and to Inspire. I FIE 2016 - Frontiers in Education 2016: The Crossroads of Engineering and Business (Bind 2016, s. 1-8). Artikel 7757426 IEEE. https://doi.org/10.1109/FIE.2016.7757426

Oda, T., Akari, K. & Larsen, P. G. (2016). ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4. I IWST 2016 - Proceedings of the 11th International Workshop on Smalltalk Technologies, in conjunction with the 24th International Smalltalk Joint Conference: In conjunction with the 24th International Smalltalk Joint Conference Artikel 5 Association for Computing Machinery. https://doi.org/10.1145/2991041.2991045

Christiansen, M. P., Larsen, P. G. & Nyholm Jørgensen, R. (2016). Agricultural robotic candidate overview using co-model driven development. I A. G. Bruzzone, S. Junco, G. Dauphin-Tanguy & Y. Merkuryev (red.), 9th International Conference on Integrated Modeling and Analysis in Applied Control and Automation, IMAACA 2016: IMAACA 2016 (s. 41-48). Artikel 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. I Proceedings - 19th Euromicro Conference on Digital System Design, DSD 2016: (DSD 2016) (Bind 2016, s. 268-275). Artikel 7723563 IEEE. https://doi.org/10.1109/DSD.2016.48

Wallace, J. (2017). At interviewe om teknologier. I H. Skov & C. Hasse (red.), Forskningens maskinrum: typiske tværfaglige udfordringer (s. 63-80). U Press.

Wallace, J. (2017). Prototypeudvikling af et læringsredskab. I C. Hasse & H. Skov (red.), Forskningens maskinrum: typiske tværfaglige udfordringer (s. 103-118). U Press.

Wallace, J. (2016). Different Perspectives of Use: Operators and Maintenance Workers in the Meat Industry. I Proceedings of the 8th Cambridge Workshop on Universal Access and Assistive Technology (s. 65- 74). CWUAAT.

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. & Lecomte, T. (2016). Collaborative Modeling and Simulation for Cyber-Physical Systems. I A. Romanovsky & F. Ishikawa (red.), Trustworthy Cyber-Physical Systems Engineering (s. 177-198). CRC Press. https://doi.org/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. 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

Thule, C. & Larsen, P. G. (2016). Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS. I A. S. Kamkin, A. K. Petrenko & A. N. Terekhov (red.), Preliminary Proceedings of the 10th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2016) (s. 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. Afhandling præsenteret på 12th International CDIO Conference, Turku, Finland.

Bennedsen, J., Georgsson, F. & Kontio, J. (2016). Updated Rubric for Self-Evaluation (v. 2.1). Afhandling præsenteret på 12th International CDIO Conference, Turku, Finland.

Bennedsen, J., Rouvrais, S., Clark, R. & Schrey-Niemenmaa, K. (2015). Using Accreditation Criteria for Collaborative Quality Enhancement. Afhandling præsenteret på International Conference on Interactive Collaborative Learning, Firenze, Italien. 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. I 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. 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

Oda, T., Araki, K. & Larsen, P. G. (2015). VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. I Proceedings of the Third FME Workshop on Formal Methods in Software Engineering: Formalise 2015 (Bind 2015, s. 33-39). Artikel 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. I 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. 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

Bennedsen, J. & Lauritsen, A. B. (2015). Evaluating rubrics for facilitating students’ learning. I E. de Graaff, M. Ferreras & N. A. Arexolaleiba (red.), Active Teachers - Active Students: Proceedings of the 13th International Workshop Active Learning in Engineering (ALE 2015) (s. 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. I 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. I 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). 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.pdf

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

Viser resultater 801 til 850 ud af 1055

Forrige