Department of Electrical and Computer Engineering

Aarhus University Seal

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

Ribeiro , A. & Larsen, P. G. (2010). Proof Obligation Generation and Discharging for Recursive Definitions in VDM. In Formal Methods and Software Engineering : Lecture Notes in Computer Science (40-55 ed., Vol. 6447). Springer Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16901-4_5
Larsen, P. G., Rovsing, P. E. & Toftegaard, T. S. (2010). Challenges in Gaining Large Scale Carbon Reductions through Wireless Home Automation Systems. In M. S. Alencar & V. C. da Rocha Jr. (Eds.), Proceedings of the WPMC 2010 Internation Symposium on Wireless Personal Multimedia Communications.
Wolff, S., Larsen, P. G. & Noergaard, T. (2010). Development Process for Multi Disciplinary Embedded Control Systems. In Proceedings of the 7th EUROSIM Congress on Modelling and Simulation - EUROSIM 2010
Larsen, P. G., Fitzgerald, J. & Wolff, S. (2010). Are Formal Methods Ready for Agility? A Reality Check. In S. Gruner & B. Rumpe (Eds.), Proceedings on Formal Methods and Agile Methods - FM+AM'2010: Lecture Notes in Informatics (Vol. 179). Bonner Köllen Verlag.
Fitzgerald, J., Larsen, P. G., Pierce, K. & Wolff, S. (2010). Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. In D. Méry & S. Merz (Eds.), Integrated Formal Methods: Lecture Notes in Computer Science (Vol. 6396 , pp. 12-26). Springer.
Wolff, S., Rohde, J., Toftegaard, T. S., Larsen, P. G., Lausdahl, K. G., Ribeiro, A. & Stender, M. H. (2010). Optimizing Energy Usage in Private Households. In R. Prasad, S. Ohmori & D. Šimunić (Eds.), Towards Green ICT (pp. 185-210). River Pulishers.
Wolff, S., Larsen, P. G., Lausdahl, K., Ribeiro, A. & Toftegaard, T. S. (2009). Facilitating Home Automation Through Wireless Protocol Interoperability. Proceedings of the Wireless Personal Multimedia Communications Symposia.
Bennedsen, J. & Caspersen, M. E. (2008). Exposing the Programming Process. Lecture Notes in Computer Science, 4821, 6-16. https://doi.org/10.1007/978-3-540-77934-6
Wallace, J. (2009). Wandering Between Practices. Paper presented at The 4th Art of Management Conference, Banff, Canada.
Wallace, J. (2008). Drawing Between Practices: Visual Art and Engineering Design. Paper presented at Art and Research: New Interfaces, København, Denmark.
Wallace, J. (2008). The Use of Art Practice within Formal Design Structures: A Case Study and Framework. Design Principles and Practices: An International Journal, 2(1), 67-74.
Bennedsen, J. & Caspersen, M. E. (2007). Assessing Process and Product: A Practical Lab Exam for an Introductory Programming Course. Innovations in Teaching and Learning in Information and Computer Sciences, 6(4), 183-202. http://www.ics.heacademy.ac.uk/italics/vol6iss4/Bennedsen.pdf
Bennedsen, J. & Caspersen, M. E. (2006). Assessing Process and Product: A Practical Lab Exam for an Introductory Programming Course. In Proceedings of the 36th Fronties in Education Conference (pp. 16-21). IEEE Computer Society Press. https://doi.org/10.1109/FIE.2006.322434

Displaying results 1051 to 1063 out of 1063

Previous

13

14

15

16

17

18

19

20

21

22

Revised 07.07.2026
-
AU Engineering