Institut for Elektro- og Computerteknologi

Aarhus Universitets segl

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

Fitzgerald, J. & Larsen, P. G. (1998). Modelling Systems: Practical Tools and Techniques in Software Development. (1 udg.) Cambridge University Press.
Larsen, P. G. (1998). On the Industrial Value of Models. Afhandling præsenteret på 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley, Storbritannien.
Larsen, P. G. (1998). The Return of VDM to Austria. Telematik, 1-6. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.54.3949&rep=rep1&type=pdf
Larsen, P. G. & Aichernig, B. K. (1997). A Proof Obligation Generator for VDM-SL. Afhandling præsenteret på FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, Graz, Østrig. http://www.springerlink.com/content/j42561575733m23l/?p=5678eeb60fb342a3a76f63ad30c63f85&pi=0
Larsen, P. G. & Agerholm, S. (1997). Modeling and Validating SAFER in VDM-SL. Afhandling præsenteret på Fourth NASA Langley Formal Methods Workshop, Langley, USA. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.56.4157&rep=rep1&type=pdf
Larsen, P. G., Devauchelle, L. & Voss, H. (1997). PICGAL - Lessons Learnt from a Practical Use of Formal Specification to Develop a High-Reliability Software. Afhandling præsenteret på Data Systems in Aerospace, Sevilla, Spanien. http://adsabs.harvard.edu/full/1997ESASP.409..159D
Larsen, P. G., Devauchelle, L. & Voss, H. (1997). PICGAL: Practical Use of Formal Specification to Develop a High Reliability Software. Afhandling præsenteret på FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, Graz, Østrig. http://www.springerlink.com/content/177585277426658t/?p=4e271544acc0424b95f53516dc4e75f8&pi=0
Larsen, P. G., Fitzgerald, J. & Brookes, T. (1996). Applying Formal Specification in Industry. I E E E Software, 13(3), 48-56. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=493020
Larsen, P. G. & Fröhlich, B. (1996). Combining VDM-SL specifications with C++ code. Afhandling præsenteret på FME'96 Industrial Benefit and Advances in Formal Methods, Oxford, Storbritannien. http://www.springerlink.com/content/fw01763650j35744/?p=2112841b637f4041869d9bc8cc4204d9&pi=1
Larsen, P. G., Brookes, T. M. & Fitzgerald, J. S. (1996). Formal and Informal Specifications of a Secure System Component: Final results in a comparative study. Afhandling præsenteret på FME'96 Industrial Benefit and Advances in Formal Methods, Oxford, Storbritannien.
Larsen, P. G. & Hansen, B. S. (1996). Semantics for Underdetermined Expressions. Formal Aspects of Computing, 8(1), 47-66. http://www.springerlink.com/content/102822/?Copyright=1996&sortorder=asc&v=condensed&sw=semantics
Larsen, P. G., Fitzgerald, J. S., Brookes, T. M. & Green, M. A. (1995). Formal Modelling and Simulation in the Development of a Security-critical Message Processing System. Afhandling præsenteret på Anglo-French Workshop in Formal Methods, Modelling and Simulation for System Engineering, St-Quentin en Yvelines, Frankrig. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.73.5053&rep=rep1&type=pdf
Larsen, P. G. & Fitzgerald, J. S. (1995). Formal Specification Techniques in the Commercial Development Process. Afhandling præsenteret på ICSE-17 , Seattle, USA. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.51.8716&rep=rep1&type=pdf
Larsen, P. G. (1995). Towards Proof Rules for the Full Standard VDM Specification Language. (1995-160 udg.) Danmarks Tekniske Universitet.
Larsen, P. G., Brookes, T. M., Green, M. A. & Fitzgerald, J. S. (1994). A Comparison of the Conventional and Formal Design of a Secure System Component. Afhandling præsenteret på Nordic Seminar on Dependable Computing Systems , Lyngby, Danmark.
Larsen, P. G., Plat, N. & Toetenel, H. (1994). A Formal Semantics of Data Flow Diagrams. Formal Aspects of Computing, 6(6), 586-606. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.57.5990&rep=rep1&type=pdf
Larsen, P. G. (1994). Evaluation of Underdetermined Explicit Expressions. Afhandling præsenteret på Second International Symposium of Formal Methods Europe, Barcelona, Spanien. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.65.6765&rep=rep1&type=pdf
Larsen, P. G., Fitzgerald, J. S. & Brookes, T. M. (1994). Formal and Informal Specifications of a Secure System Component : First Results in a Comparative Study. Afhandling præsenteret på Second International Symposium of Formal Methods Europe, Barcelona, Spanien. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.62.3901&rep=rep1&type=pdf
Larsen, P. G. (1994). Response to “The Formal Specification of Safety Requirements for Storing Explosives”. Formal Aspects of Computing, 6(5), 565.
Elstrøm, R., Larsen, P. G., Elstrøm, B. & Bøgh Lassen, P. (1994). The IFAD VDM-SL toolbox: a practical approach to formal specifications. ACM SIGPLAN Notices, 29(9), 77. http://delivery.acm.org/10.1145/190000/185028/p77-elmstrom.pdf?ip=130.225.0.242&acc=ACTIVE%20SERVICE&CFID=82297251&CFTOKEN=45878467&__acm__=1327920335_55e27fc4e0d36e1171a9a9c31a69a65b
Larsen, P. G. & Woodcock, J. (red.) (1993). FME'93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Proceedings, 19-23 April 1993, Odense, Denmark. Springer. Lecture Notes in Computer Science Bind 670
Larsen, P. G. (1993). Første VDM-SL standard på vej. IT standardnyt : et nyhedsbrev om edb-standardisering, 4(2), 14. http://pglconsult.dk/private/oversigt.pdf
Larsen, P. G. (1993). Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL. Afhandling præsenteret på Semantics of Specification Languages, Utrecht, Holland. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.4818
Larsen, P. G. & Plat, N. (1992). An overview of the ISO/VDM-SL Standard. ACM SIGPLAN Notices, 27(8), 76-82. http://dl.acm.org/citation.cfm?id=142153
Larsen, P. G., Andersen, M., Elmstrøm, R. & Bøgh Lassen, P. (1992). Making specifications executable - using IPTES Meta-IV. Afhandling præsenteret på 18th EUROMICRO Symposium on Microprocessing and Microprogramming - EUROMICRO 92, Paris, Frankrig. http://pglconsult.dk/private/euro.pdf
Larsen, P. G. & Plat, N. (1992). Standards for Nonexecutable Specification Languages. The Computer Journal, 35(6), 567-573. http://comjnl.oxfordjournals.org/content/35/6/567.full.pdf
Larsen, P. G. (1990). An Event Structuring Approach to Real-Time Design. Afhandling præsenteret på 2nd Nordic Workshop on Program Correctness, Aalborg, Danmark. http://pglconsult.dk/private/larsen90event.pdf
Larsen, P. G., Meincke Arentoft, M., Monahan, B. & Bear, S. (1989). Towards a Formal Semantics of the BSI/VDM Specification Language. Afhandling præsenteret på Information Processing 89, San Francisco, USA. http://pglconsult.dk/private/ifip.pdf
Rovsing, P. E., Larsen, P. G. & Toftegaard, T. S. (2011). A Reality Check on Home Automation Technologies. Journal of Green Engineering, 1(3), 303-327.
Lausdahl, K., Larsen, P. G. & Battle, N. (2011). A deterministic interpreter simulating a distributed real time system using VDM. I S. Qin & Z. Qiu (red.), Formal Methods and Software Engineering: 13th Proceedings on the 13th International Conference on Formal Engineering Methods, ICFEM 2011 (Bind 6991, s. 179-194). Springer. https://doi.org/10.1007/978-3-642-24559-6_14
Ribeiro, A., Lausdahl, K. & Larsen, P. G. (2011). Run-Time Validation of Timing Constraints for VDM-RT Models. http://wiki.overturetool.org/index.php/9th_Overture_Workshop
Larsen, P. G. & Bryans, J. W. (red.) (2009). Computing Science - Proceedings of the 7th OVERTURE Workshop: Technical Report Series. University of Newcastle upon Tyne. http://www.cs.ncl.ac.uk/publications/trs/papers/1177.pdf
Bicarregui, J. C., Fitzgerald, J., Larsen, P. G. & Woodcock, J. (2009). Industrial Practice in Formal Methods : A Review. I FM 2009: Formal Methods : Lecture Notes in Computer Science (Bind 5850/2009, s. 810-813) https://doi.org/10.1007/978-3-642-05089-3_52
Woodcock, J., Larsen, P. G., Bicarregui, J. & Fitzgerald, J. (2009). Formal Methods: Practice and Experience. A C M Computing Surveys, 41(4), 1-36. Artikel 19. https://doi.org/10.1145/1592434.1592436
Larsen, P. G., Fernandes, J. M., Habel, J., Lehrskov, H., Vos, R. J. C., Wallington, O. & Zidek, J. (2009). A Multidisciplinary Engineering Summer School in an Industrial Setting. European Journal of Engineering Education, 34(6), 511-526.
Broenink, J. F., Larsen, P. G., Verhoef, M., Kleijn, C., Jovanovic, D. & Pierce, K. (2010). Design Support and Tooling for Dependable Embedded Control Software. I SERENE 2010 2nd International Workshop on Software Engineering for Resilient Systems http://serene.uni.lu/Workshops/SERENE_2010
Bennedsen, J. & Larsen, P. G. (2010). A Innovative Engineering Summer School V2.0. I Proceedings of the 6th International CDIO Conference http://www.cdio.org/knowledge-library/documents/innovative-engineering-summer-school-v20
Larsen, P. G., Fitzgerald, J. & Wolff, S. (2009). Methods for the Development of Distributed Real-Time Embedded Systems using VDM. International Journal of Software and Informatics, 3(2-3).
Larsen, P. G., Battle, N., Ferreira, M., Fitzgerald, J., Lausdahl, K. & Verhoef, M. (2010). The Overture Initiative Integrating Tools for VDM. Software Engineering Notes, 35(1), 1-6. https://doi.org/10.1145/1668862.1668864
Lausdahl, K., Listrup, H. K. & Larsen, P. G. (2009). Connecting UML and VDM++ with Open Tool Support. I FM '09 Proceedings of the 2nd World Congress on Formal Methods (s. 563-578). Springer. https://doi.org/10.1007/978-3-642-05089-3_36
Larsen, P. G., Lausdahl, K. & Battle, N. (2010). Combinatorial Testing for VDM. I SEFM '10 Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods (s. 278-285). IEEE Computer Society Press. https://doi.org/10.1109/SEFM.2010.32
Vermolen, S., Hooman, J. & Larsen, P. G. (2010). Proving Consistency of VDM Models using HOL. I SAC '10 Proceedings of the 2010 ACM Symposium on Applied Computing ACM Press New York, NY, USA. https://doi.org/10.1145/1774088.1774608
Ribeiro , A. & Larsen, P. G. (2010). Proof Obligation Generation and Discharging for Recursive Definitions in VDM. I Formal Methods and Software Engineering : Lecture Notes in Computer Science (40-55 udg., Bind 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. I M. S. Alencar & V. C. da Rocha Jr. (red.), 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. I 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. I S. Gruner & B. Rumpe (red.), Proceedings on Formal Methods and Agile Methods - FM+AM'2010: Lecture Notes in Informatics (Bind 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. I D. Méry & S. Merz (red.), Integrated Formal Methods: Lecture Notes in Computer Science (Bind 6396 , s. 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. I R. Prasad, S. Ohmori & D. Šimunić (red.), Towards Green ICT (s. 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

Viser resultater 1001 til 1050 ud af 1055

Forrige

13

14

15

16

17

18

19

20

21

22

Næste

Revideret 13.11.2025
-
AU Engineering