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

Wallace, J. & Hasse, C. (2014). Situating Technological Literacy in the Workplace. In J. Dakers (Ed.), New Frontiers in Technological Literacy: Breaking with the Past Palgrave Macmillan.

Wallace, J. (2012). Emergent Artefacts of Ethnography and Processual Engagements of design. In Design and Anthropology (pp. 207-218). Ashgate.

Esparza Isasa, J. A., Hansen, F. O. & Larsen, P. G. (2013). Embedded Systems Energy Consumption Analysis Through Co-modelling and Simulation. World Academy of Science, Engineering and Technology. Proceedings, 78, 424-430. http://www.waset.org/journals/waset/v78/v78-74.pdf

Butler, M., Hallerstede, S. & Lecomte, T. (2013). Preface. In M. Butler, S. Hallerstede & M. Waldén (Eds.), Proceedings of the 4th Rodin User and Developer Workshop (Vol. TUCS Lecture Notes 18, pp. 3-3). Turku Centre for Computer Science. http://tucs.fi/publications/view/?pub_id=pBuHaWa13a

Bjerge, K. & Larsen, P. G. (2013). Using VDM in a Co-Simulation Setting for an Industrial Conveyor System. In The Modelling, Identification and Control - MIC 2013 conference ACTA Press. https://doi.org/10.2316/P.2013.794-005

Fitzgerald, J. S., Larsen, P. G., Pierce, K. G. & Verhoef, M. H. G. (2013). A formal approach to collaborative modelling and co-simulation for embedded systems. Mathematical Structures in Computer Science, 23(04), 726–750. https://doi.org/10.1017/S0960129512000242

Lausdahl, K., Coleman, J. & Larsen, P. G. (2013). Semantics of the VDM Real-Time Dialect. Aarhus University, Department of Engineering. Technical report No. ECE-TR-13 http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-13-_samlet.pdf

Hallerstede, S. (2009). Proving Quicksort correct in Event-B. Electronic Notes in Theoretical Computer Science, 259, 47-65. https://doi.org/10.1016/j.entcs.2009.12.017

Abrial, J.-R., Butler, M. J., Hallerstede, S., Hoang, T. S., Mehta, F. & Voisin, L. (2010). Rodin: an open toolset for modelling and reasoning in Event-B. International Journal on Software Tools for Technology Transfer, 12(6), 447-466. https://doi.org/10.1007/s10009-010-0145-y

Hallerstede, S. & Leuschel, M. (2012). Experiments in Program Verification using Event-B. Formal Aspects of Computing, 24(1), 97-125. https://doi.org/10.1007/s00165-011-0205-4

Hallerstede, S. & Leuschel, M. (2011). Constraint-based deadlock checking of high-level specifications. Theory and Practice of Logic Programming, 11(4-5), 767-782. https://doi.org/10.1017/S1471068411000299

Hallerstede, S. (2011). On the Purpose of Event-B Proof Obligations. Formal Aspects of Computing, 23(1), 133-150. https://doi.org/10.1007/s00165-009-0138-3

Hallerstede, S., Leuschel, M. & Plagge, D. (2013). Validation of Formal Models by Refinement Animation. Science of Computer Programming, 78(3), 272-292. https://doi.org/10.1016/j.scico.2011.03.005

Hallerstede, S., Jastram, M. & Ladenberger, L. (2014). A Method and Tool for Tracing Requirements into Specifications. Science of Computer Programming, 82, 2-21. https://doi.org/10.1016/j.scico.2013.03.008

Larsen, P. G., Fitzgerald, J. S. & Fitzgerald, J. S. (2009). Practice-oriented courses in formal methods using VDM++. Formal Aspects of Computing, 21(3), 245-257. https://doi.org/10.1007/s00165-008-0068-5

Bennedsen, J. B. & Schulte, C. (2010). BlueJ Visual Debugger for Learning the Execution of Object-Oriented Programs? ACM Transactions on Computing Education, 10(2), Article 8. https://doi.org/10.1145/1789934.1789938

Larsen, P. G. & Bryans, J. (Eds.) (2009). Proceedings of the 7th OVERTURE Workshop 2nd November, 2009, Eindhoven. University of Newcastle upon Tyne. University of Newcastle-upon-Tyne. Computing Science. Technical Report Series No. CS-TR-1177 http://www.cs.ncl.ac.uk/publications/trs/papers/1177.pdf

Gmehlich, R., Grau, K., Hallerstede, S., Leuschel, M., Lösch, F. & Plagge, D. (2011). On Fitting a Formal Method into Practice. In S. Qin & Z. Qiu (Eds.), Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011 (pp. 195-210). Springer. https://doi.org/10.1007/978-3-642-24559-6_15

De Boer, F., Bonsangue, M., Hallerstede, S. & Leuschel, M. (Eds.) (2010). Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Revised Selected Papers. Springer. Lecture Notes in Computer Science Vol. 6286 https://doi.org/10.1007/978-3-642-17071-3

Jastram, M., Hallerstede, S., Leuschel, M. & Russo, A. G. (2010). An approach of requirements tracing in formal refinement. In G. T. Leavens, P. O'Hearn & S. K. Rajamani (Eds.), Verified software: theories, tools, experiments: Third International Conference, VSTTE 2010 (pp. 97-111). Springer. https://doi.org/10.1007/978-3-642-15057-9_7

Jastram, M., Hallerstede, S. & Ladenberger, L. (2011). Mixing Formal and Informal Model Elements for Tracing Requirements. In AVOCS'11: Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (pp. (53-67)). European Association of Software Science and Technology. http://deploy-eprints.ecs.soton.ac.uk/330/1/avocs2011.pdf

Hallerstede, S., Leuschel, M. & Plagge, D. (2010). Refinement-Animation for Event-B - Towards a Method of Validation. In M. Frappier, U. Glässer, S. Khurshid, R. Laleau & S. Reeves (Eds.), Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010. Proceedings (pp. 287-301). Springer. https://doi.org/10.1007/978-3-642-11811-1_22

Hallerstede, S. & Leuschel, M. (2011). Finding Deadlocks of Event-B Models by Constraint Solving. Paper presented at B2011 Workshop, Limerick, Ireland. http://www.stups.uni-duesseldorf.de/mediawiki/images/a/a7/Pub-HaLeBW2011.pdf

Hallerstede, S. & Leuschel, M. (2009). How to explain mistakes. In Teaching Formal Methods. Proceedings Second International Conference, TFM 2009 (pp. 105-124)

Hallerstede, S. (2009). Incremental System Modelling in Event-B. In F. S. D. Boer, M. M. Bonsangue & E. Madelaine (Eds.), Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Revised Lectures (pp. 139-158). Springer. https://doi.org/10.1007/978-3-642-04167-9_8

Hallerstede, S. (2010). Structured Event-B Models and Proofs. In M. Frappier, U. Glässer, S. Khurshid, R. Laleau & S. Reeves (Eds.), Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010. Proceedings (pp. 273-286). Springer. https://doi.org/10.1007/978-3-642-11811-1_21

Hallerstede, S. (2009). How to make mistakes. In C. Attiogbé & D. Mery (Eds.), From Research to Teaching Formal Methods: The B Method: (TFM-B’2009) (pp. 93-108). APCB. http://www.lina.sciences.univ-nantes.fr/apcb/BDayNantes2009/TFMB09_proceedings.pdf

Hallerstede, S. & Hoang, T. S. (2012). Refinement by interface instantiation. In J. Derrick, J. Fitzgerald, S. Gnesi, S. Khurshid, M. Leuschel, S. Reeves & E. Riccobene (Eds.), Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (pp. 223-237). Springer. https://doi.org/10.1007/978-3-642-30885-7_16

Bendisposto, J. & Hallerstede, S. (2012). Component Reification in Systems Modelling. Paper presented at Rodin User and Developer Workshop, Fontainebleau, France. http://deploy-eprints.ecs.soton.ac.uk/382/1/Rodin%20Workshop%20Proceedings%20.pdf

Hallerstede, S. & Snook, C. (2011). Refining Nodes and Edges of State Machines. In S. Qin & Z. Qiu (Eds.), Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011 (pp. 569-584). Springer. https://doi.org/10.1007/978-3-642-24559-6_38

Hallerstede, S. (2009). A (Small) Improvement of Event-B?. Paper presented at Refinement Based Methods for the Construction of Dependable Systems, Dagstuhl, Germany. http://www.stups.uni-duesseldorf.de/mediawiki/images/5/57/Pub-Ha09_291.pdf

Bennedsen, J. B. (2010). Internship - how effective is it?. Poster session presented at 6th International CDIO Conference, Montréal, Canada.

Coleman, J. W., Malmos, A. K., Larsen, P. G., Peleska, J. & Hains, R. (2012). COMPASS Tool Vision for a System of Systems Collaborative Development Environment. Paper presented at International Conference on System of Systems Engineering, Genoa, Italy. https://doi.org/10.1109/SYSoSE.2012.6384150

Nielsen, C. B. & Larsen, P. G. (2012). Extending VDM-RT to Enable the Formal Modelling of System of Systems. Paper presented at International Conference on System of Systems Engineering, Genoa, Italy. https://doi.org/10.1109/SYSoSE.2012.6384144

Woodcock, J., Cavalcanti, A., Fitzgerald, J., Larsen, P. G., Miyazawa, A. & Perry, S. (2012). Features of CML: a formal modelling language for Systems of Systems. Paper presented at International Conference on System of Systems Engineering, Genoa, Italy. https://doi.org/10.1109/SYSoSE.2012.6384144

Nielsen, C. B., Lausdahl, K. & Larsen, P. G. (2012). Combining VDM with Executable Code. Lecture Notes in Computer Science, 7316, 266-279. http://link.springer.com/chapter/10.1007%2F978-3-642-30885-7_19?LI=true#

Hallerstede, S., Hansen, F. O., Holt, J., Lauritsen, R. W., Lorenzen, L. & Peleska, J. (2012). Technical Challenges of SoS Requirements Engineering. Paper presented at International Conference on System of Systems Engineering, Genoa, Italy. https://doi.org/10.1109/SYSoSE.2012.6384136

Caspersen, M. E., Bennedsen, J. B. & Ørhøj, K. (1993). Programkonstruktion - Algoritmekonstruktion og abstrakte datatyper. Datamatikforlaget.

Caspersen, M. E., Bennedsen, J. B. & Ørhøj, K. (1993). Programkonstruktion - en introduktion til programmering med Pascal. Datamatikforlaget.

Bennedsen, J. B. & Caspersen, M. E. (2012). Persistence of elementary programming skills. Computer Science Education, 22(2), 81-107. https://doi.org/10.1080/08993408.2012.692911

Nielsen, C. B., Lausdahl, K. & Larsen, P. G. (2012). Using the Overture Tool as a More General Platform. Paper presented at iFM & ABZ 2012, Pisa, Italy.

Hasse, C. & Wallace, J. (2014). Omsorgsteknologier. In F. Olesen & L. Huniche (Eds.), Teknologi i sundhedspraksis (pp. 83-105). Munksgaard .

Christiansen, M. P., Bjerge, K., Edwards, G. T. C. & Larsen, P. G. (2012). Towards a Methodology for Modelling and Validation of an Agriculture vehicle's Dynamics and Control. Paper presented at International Conference on Integrated Modeling and Analysis in Applied Control and Automation, Wien, Austria.

Fitzgerald, J., Bicarregui, J. C., Larsen, P. G. & Woodcock, J. C. P. (2013). Industrial Deployment of Formal Methods: Trends and Challenges. In A. Romanovsky & M. Thomas (Eds.), The DEPLOY book: Industrial deployment of system engineering methods providing high dependability and productivity Springer.

Fitzgerald, J., Larsen, P. G. & Woodcock, J. (2012). Modelling and Analysis Technology for Systems of Systems Engineering: Research Challenges. Paper presented at INCOSE, Rom, Italy.

Larsen, P. G., Fitzgerald, J. & Coleman, J. W. (2012). Getting Software Engineering out of Isolation. Paper presented at SYRCoSE 2012, Perm, Russian Federation.

Esparza Isasa, J. A., Larsen, P. G. & Bjerge, K. (2012). Supporting the Partitioning Process in Hardware/Software Co-design with VDM-RT. Paper presented at 10th overture workshop , Paris, France. http://eprint.ncl.ac.uk/file_store/production/186969/A035CB6F-B782-42ED-9C1F-CB4C29820CC0.pdf#page=5

Coleman, J., Malmos, A. K., Nielsen, C. B. & Larsen, P. G. (2012). Evolution of the Overture Tool Platform. Paper presented at 10th overture workshop , Paris, France. http://eprint.ncl.ac.uk/file_store/production/186969/A035CB6F-B782-42ED-9C1F-CB4C29820CC0.pdf#page=13

Lausdahl, K., Coleman, J. W. & Larsen, P. G. (2012). Towards a Co-simulation Semantics of VDM-RT/Overture and 20-sim. Paper presented at 10th overture workshop , Paris, France. http://eprint.ncl.ac.uk/file_store/production/186969/A035CB6F-B782-42ED-9C1F-CB4C29820CC0.pdf#page=34

Hansen, F. O., Hougaard, P., Larsen, P. G. & Caspersen, G. (2012). A model-based development process for development and reuse of components in on-board space applications. Paper presented at DASIA2012, Dubrovik , Croatia.

Displaying results 901 to 950 out of 1030