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

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

Hallerstede, S. (2009). How to make mistakes. I C. Attiogbé & D. Mery (red.), From Research to Teaching Formal Methods: The B Method: (TFM-B’2009) (s. 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. I J. Derrick, J. Fitzgerald, S. Gnesi, S. Khurshid, M. Leuschel, S. Reeves & E. Riccobene (red.), Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (s. 223-237). Springer. https://doi.org/10.1007/978-3-642-30885-7_16

Bendisposto, J. & Hallerstede, S. (2012). Component Reification in Systems Modelling. Afhandling præsenteret på Rodin User and Developer Workshop, Fontainebleau, Frankrig. 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. I S. Qin & Z. Qiu (red.), Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011 (s. 569-584). Springer. https://doi.org/10.1007/978-3-642-24559-6_38

Hallerstede, S. (2009). A (Small) Improvement of Event-B?. Afhandling præsenteret på Refinement Based Methods for the Construction of Dependable Systems, Dagstuhl, Tyskland. 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 præsenteret på 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. Afhandling præsenteret på International Conference on System of Systems Engineering, Genoa, Italien. 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. Afhandling præsenteret på International Conference on System of Systems Engineering, Genoa, Italien. 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. Afhandling præsenteret på International Conference on System of Systems Engineering, Genoa, Italien. 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. Afhandling præsenteret på International Conference on System of Systems Engineering, Genoa, Italien. 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. Afhandling præsenteret på iFM & ABZ 2012, Pisa, Italien.

Hasse, C. & Wallace, J. (2014). Omsorgsteknologier. I F. Olesen & L. Huniche (red.), Teknologi i sundhedspraksis (s. 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. Afhandling præsenteret på International Conference on Integrated Modeling and Analysis in Applied Control and Automation, Wien, Østrig.

Fitzgerald, J., Bicarregui, J. C., Larsen, P. G. & Woodcock, J. C. P. (2013). Industrial Deployment of Formal Methods: Trends and Challenges. I A. Romanovsky & M. Thomas (red.), 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. Afhandling præsenteret på INCOSE, Rom, Italien.

Larsen, P. G., Fitzgerald, J. & Coleman, J. W. (2012). Getting Software Engineering out of Isolation. Afhandling præsenteret på SYRCoSE 2012, Perm, Rusland.

Esparza Isasa, J. A., Larsen, P. G. & Bjerge, K. (2012). Supporting the Partitioning Process in Hardware/Software Co-design with VDM-RT. Afhandling præsenteret på 10th overture workshop , Paris, Frankrig. 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. Afhandling præsenteret på 10th overture workshop , Paris, Frankrig. 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. Afhandling præsenteret på 10th overture workshop , Paris, Frankrig. 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. Afhandling præsenteret på DASIA2012, Dubrovik , Kroatien.

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 Bind ID-TR 1994-151

Larsen, P. G. (1990). A Formal Event Structuring Approach to Real-Time Design. I 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. Afhandling præsenteret på 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. I FM 2008: Formal Methods: 15th International Symposium on Formal Methods

Larsen, P. G., Fitzgerald, J. & Sahara, S. (red.) (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. Afhandling præsenteret på FACS 2007 Christmas Workshop: Formal Methods in Industry, London, Storbritannien. 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. I B. W. Wah (red.), 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. I Formal Methods and Hybrid Real-TIme Systems: Essays in Honour of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays (s. 237-254). Springer.

Larsen, P. G. & Verhoef, M. (2007). Interpreting Distributed System Architecture using VDM++ : A Case Study. Afhandling præsenteret på 5th Annual Conference on SYstems Engineering Research, Hoboken, USA. 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. Afhandling præsenteret på 11th International Command and Control Research and Technology Symposium, Cambridge, Storbritannien. 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++. I Technical Report: CS-TR-992

Larsen, P. G., Verhoef, M. & Hooman, J. (2006). Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. I J. Misra, T. Nipkow & E. Sekerinski (red.), FM 2006: Formal Methods: 14th International Symposium on Formal Methods. Proceedings (s. 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 præsenteret på Military Communications Conference 2005, Atlantic City, USA.

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. Afhandling præsenteret på The Second VDM Workshop - in conjunction with ZB 2000, York, Storbritannien. 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. Afhandling præsenteret på VDM Workshop 1: VDM in Practice!, Toulouse, Frankrig. http://www.vdmportal.org/twiki/bin/view/Main/VDMWorkshop1

Larsen, P. G. & Agerholm, S. (1998). A Lightweight Approach to Formal Methods. Afhandling præsenteret på Workshop on Applicability of Formal Methods, Aarhus, Danmark. http://www.springerlink.com/content/1v07r9n63rh214qm/?p=2f9bb7cb75634baab31693164a7b2c3f&pi=2

Viser resultater 951 til 1000 ud af 1055

Forrige

Næste

Back to the main page

Revideret 13.11.2025

AU Engineering