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

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.

Jacobsen, R. H., Hansen, F. O., Madsen, J. K., Karstoft, H., Mikkelsen, P. H., Skogberg, T. A., Rasmussen, E. S., Andersen, C., Alrøe, M. & Toftegaard, T. S. (2011). A Modular Platform for Wireless Body Area Network Research and Real-life Experiments: The ASE-BAN Testbed. International Journal on Advances in Networks and Services, 4(3-4), 257-277. http://www.iariajournals.org/networks_and_services/netser_v4_n34_2011_paged.pdf

Larsen, P. G. (1994). Semantics of Under-determined Expressions. Springer. Formal Aspects of Computing Vol. ID-TR 1994-151

Larsen, P. G. (1990). A Formal Event Structuring Approach to Real-Time Design. In Proc EUROMICRO 90 Workshop Real Time

Larsen, P. G. (2008). Development Guidelines for Real-Time Systems Using VDMTools. CSK WEB Systems.

Larsen, P. G. (2008). Extending VDM++ Enabling Industrial Applications for Distributed Embedded Real-time Systems. Paper presented at The 4th Malaysian Software Engineering Conference, Kuala Terengganu, Malaysia.

Larsen, P. G., Daniel Macedo, H. & Fitzgerald, J. (2008). Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. In FM 2008: Formal Methods: 15th International Symposium on Formal Methods

Larsen, P. G., Fitzgerald, J. & Sahara, S. (Eds.) (2008). Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop. University of Newcastle upon Tyne. http://www.cs.ncl.ac.uk/publications/trs/papers/1099.pdf

Larsen, P. G. & Fitzgerald, J. (2008). Recent Industrial Applications of VDM in Japan. Paper presented at FACS 2007 Christmas Workshop: Formal Methods in Industry, London, United Kingdom. http://www.bcs.org/server.php?show=conWebDoc.18557

Larsen, P. G., Fitzgerald, J. & Sahara, S. (2008). VDM Tools advances in support for formal modeling in VDM: Advances in Support for Formal Modeling in VDM. ACM SIGPLAN Notices, 43(2), 3-11. http://portal.acm.org/citation.cfm?id=1361214

Larsen, P. G., Fitzgerald, J. & Verhoef, M. (2008). Vienna Development Method. In B. W. Wah (Ed.), Wiley Encyclopedia of Computer Science and Engineering Wiley.

Larsen, P. G. & Fitzgerald, J. (2007). Balancing Insight and Effort: the Industrial Uptake of Formal Methods: The Industrial Uptake of Formal Methods. In Formal Methods and Hybrid Real-TIme Systems: Essays in Honour of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays (pp. 237-254). Springer.

Larsen, P. G. & Verhoef, M. (2007). Interpreting Distributed System Architecture using VDM++ : A Case Study. Paper presented at 5th Annual Conference on SYstems Engineering Research, Hoboken, United States. http://sse.stevens.edu/fileadmin/cser/2007/proceedings/13.pdf

Larsen, P. G. & Fitzgerald, J. (2007). Triumphs and Challenges for the Industrial Application of Model-Oriented Formal Methods. University of Newcastle upon Tyne. http://www.cs.ncl.ac.uk/research/pubs/trs/papers/999.pdf

Larsen, P. G., Fitzgerald, J., Tjell, S. & Verhoef, M. (2007). Validation Support for Distributed Real-Time Embedded Systems in VDM++. University of Newcastle upon Tyne.

Larsen, P. G. (2006). Coalition C2 Interoperability Challenges. Paper presented at 11th International Command and Control Research and Technology Symposium, Cambridge, United Kingdom. http://www.dodccrp.org/events/11th_ICCRTS/html/papers/124.pdf

Larsen, P. G., Fitzgerald, J. & Riddle, S. (2006). Learning by Doing: Practical Courses in Lightweight Formal Methods using VDM++. In Technical Report: CS-TR-992

Larsen, P. G., Verhoef, M. & Hooman, J. (2006). Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. In J. Misra, T. Nipkow & E. Sekerinski (Eds.), FM 2006: Formal Methods: 14th International Symposium on Formal Methods. Proceedings (pp. 147-162). Springer.

Larsen, P. G., Bjørner, D. & Keijiro, A. (2005). CSK Corporation Launches VDMTools in Japan. FACS FACTS, (2005-3), 16. http://www.bcs.org/upload/pdf/facts200509_1.pdf

Larsen, P. G., Jørgensen, F. D. & Stadtmueller, J. M. (2005). Untangling Technology Debates on Information Sharing and Interoperability. Poster session presented at Military Communications Conference 2005, Atlantic City, United States.

Larsen, P. G., S. Fitzgerald, J., Mukherjee, P., Plat, N. & Verhoef, M. (2005). Validated Designs for Object-oriented Systems. Springer.

Larsen, P. G. (2001). Ten Years of Historical Development "Bootstrapping" VDMTools. Journal of Universal Computer Science, 7(8), 692. http://www.jucs.org/jucs_7_8/ten_years_of_historical/Larsen_P_G.pdf

Larsen, P. G., Mukherjee, P., Bousquet, F., Delabre, J. & Paynter, S. (2000). Exploring Timing Properties using VDM++ on an Industrial Application. Paper presented at The Second VDM Workshop - in conjunction with ZB 2000, York, United Kingdom. http://www.vdmportal.org/twiki/pub/Main/VDMWorkshop2/vicepaper.pdf

Larsen, P. G., Mukherjee, P. & Sunesen, K. (2000). Using VDMTools to Model and Validate the Cash Dispenser Example. Formal Aspects of Computing, 12(4), 216. http://www.springerlink.com/content/pad3gyqh1kpdfr1r/

Larsen, P. G. & R. Smith, P. (1999). Applications of VDM in Banknote Processing. Paper presented at VDM Workshop 1: VDM in Practice!, Toulouse, France. http://www.vdmportal.org/twiki/bin/view/Main/VDMWorkshop1

Larsen, P. G. & Agerholm, S. (1998). A Lightweight Approach to Formal Methods. Paper presented at Workshop on Applicability of Formal Methods, Aarhus, Denmark. http://www.springerlink.com/content/1v07r9n63rh214qm/?p=2f9bb7cb75634baab31693164a7b2c3f&pi=2

Displaying results 951 to 1000 out of 1055

Back to the main page

Revised 13.11.2025

AU Engineering