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. (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? A C M Transactions on Computing Education, 10(2), Artikel 8. https://doi.org/10.1145/1789934.1789938

Larsen, P. G. & Bryans, J. (red.) (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 Nr. 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. I S. Qin & Z. Qiu (red.), Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011 (s. 195-210). Springer. https://doi.org/10.1007/978-3-642-24559-6_15

De Boer, F., Bonsangue, M., Hallerstede, S. & Leuschel, M. (red.) (2010). Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Revised Selected Papers. Springer. Lecture Notes in Computer Science Bind 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. I G. T. Leavens, P. O'Hearn & S. K. Rajamani (red.), Verified software: theories, tools, experiments: Third International Conference, VSTTE 2010 (s. 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. I AVOCS'11: Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (s. (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. 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. 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. Afhandling præsenteret på B2011 Workshop, Limerick, Irland. http://www.stups.uni-duesseldorf.de/mediawiki/images/a/a7/Pub-HaLeBW2011.pdf

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

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

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.

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. Technical Report

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. Technical Report Series Nr. CS-TR-1099 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

Viser resultater 801 til 850 ud af 916

Forrige

Næste

Back to the main page

Revideret 10.08.2023

AU Engineering