Find

For students
For PhDs
For employees

Department of Electrical and Computer Engineering

Publications

Sort by: Date | Author | Title

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

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

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

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.

Schultz, C. P. L. & Bhatt, M. (2012). Multimodal spatial data access for architecture design assistance. Journal of Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 26(2), 177-203. https://doi.org/10.1017/S0890060412000066

Piechotta, C., Jensen, A. E., Olsen, M. G., Coleman, J. & Larsen, P. G. (2012). Secure Dynamic Cloud-Based Collaboration with Hierarchical Access.

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

Bhatt, M., Schultz, C. P. L. & Huang, M. (2012). The Shape of Empty Space: Human-Centred Cognitive Foundations in Computing for Spatial Design. In Visual Languages and Human-Centric Computing (VL/HCC), 2012 IEEE Symposium on (pp. 33-40). IEEE . http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6344477

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

Schultz, C. P. L. & Bhatt, M. (2012). Towards a Declarative Spatial Reasoning System. In Proceeding ECAI'12 Proceedings of the 20th European Conference on Artificial Intelligence (pp. 925-926). IOS Press Amsterdam. https://doi.org/10.3233/978-1-61499-098-7-925

Christiansen, M. P., Bjerge, K., Edwards, G. & Larsen, P. G. (2012). Towards a Methodology for Modelling and Validation of an Agricultural Vehicle’s Dynamics and Control.

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.

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.

Lausdahl, K., Larsen, P. G. & Battle, N. (2011). A deterministic interpreter simulating a distributed real time system using VDM. In S. Qin & Z. Qiu (Eds.), Formal Methods and Software Engineering: 13th Proceedings on the 13th International Conference on Formal Engineering Methods, ICFEM 2011 (Vol. 6991, pp. 179-194). Springer. https://doi.org/10.1007/978-3-642-24559-6_14

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.

Bhatt, M., Hee Lee, J. & Schultz, C. P. L. (2011). CLP(QS): A Declarative Spatial Reasoning Framework. In M. J. Egenhofer, N. Giudice, R. Moratz & M. Worboys (Eds.), Spatial Information Theory: 10th International Conference, COSIT 2011, Belfast, ME, USA (1 ed., pp. 210-230). Springer Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23196-4_12

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

Ribeiro, A., Lausdahl, K. & Larsen, P. G. (2011). Run-Time Validation of Timing Constraints for VDM-RT Models. In S. Wolff & J. Fitzgerald (Eds.), Proceedings of the 9th Overture Workshop (ECE-TT2 ed., Vol. 2, pp. 4-16). Newcastle University.

Schultz, C. P. L. & Bhatt, M. (2011). TOWARD ACCESSING SPATIAL STRUCTURE FROM BUILDING INFORMATION MODELS. In Proceedings of 28th Urban Data Management Symposium (pp. 25-30). CRC Press, Taylor & Francis Group. https://www.int-arch-photogramm-remote-sens-spatial-inf-sci.net/XXXVIII-4-C21/25/2011/isprsarchives-XXXVIII-4-C21-25-2011.pdf

Bennedsen, J. & Larsen, P. G. (2010). A Innovative Engineering Summer School V2.0. In Proceedings of the 6th International CDIO Conference http://www.cdio.org/knowledge-library/documents/innovative-engineering-summer-school-v20

Schultz, C. P. L. & Bhatt, M. (2010). A Multi-Modal Data Access Framework for Spatial Assistance Systems: Use-Cases with the Industry Foundation Classes (IFC). In Proceedings of the 2nd ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness (pp. 39-46). ACM. https://doi.org/10.1145/1865885.1865895

Larsen, P. G., Fitzgerald, J. & Wolff, S. (2010). Are Formal Methods Ready for Agility? A Reality Check. In S. Gruner & B. Rumpe (Eds.), Proceedings on Formal Methods and Agile Methods - FM+AM'2010: Lecture Notes in Informatics (Vol. 179). Bonner Köllen Verlag.

Larsen, P. G., Rovsing, P. E. & Toftegaard, T. S. (2010). Challenges in Gaining Large Scale Carbon Reductions through Wireless Home Automation Systems. In M. S. Alencar & V. C. da Rocha Jr. (Eds.), Proceedings of the WPMC 2010 Internation Symposium on Wireless Personal Multimedia Communications.

Fitzgerald, J., Larsen, P. G., Pierce, K. & Wolff, S. (2010). Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. In D. Méry & S. Merz (Eds.), Integrated Formal Methods: Lecture Notes in Computer Science (Vol. 6396 , pp. 12-26). Springer.

Larsen, P. G., Lausdahl, K. & Battle, N. (2010). Combinatorial Testing for VDM. In SEFM '10 Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods (pp. 278-285). IEEE Computer Society Press. https://doi.org/10.1109/SEFM.2010.32

Broenink, J. F., Larsen, P. G., Verhoef, M., Kleijn, C., Jovanovic, D. & Pierce, K. (2010). Design Support and Tooling for Dependable Embedded Control Software. In SERENE 2010 2nd International Workshop on Software Engineering for Resilient Systems http://serene.uni.lu/Workshops/SERENE_2010

Wolff, S., Larsen, P. G. & Noergaard, T. (2010). Development Process for Multi Disciplinary Embedded Control Systems. In Proceedings of the 7th EUROSIM Congress on Modelling and Simulation - EUROSIM 2010

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. In R. Prasad, S. Ohmori & D. Šimunić (Eds.), Towards Green ICT (pp. 185-210). River Pulishers.

Lausdahl, K., Verhoef, M., Larsen, P. G. & Wolff, S. (2010). Overview of VDM-RT Constructs and Semantic Issues. In Proceedings of the 8th Overture Workshop (CS-TR ed., Vol. 1224, pp. 57-67). Newcastle University.

Ribeiro , A. & Larsen, P. G. (2010). Proof Obligation Generation and Discharging for Recursive Definitions in VDM. In Formal Methods and Software Engineering : Lecture Notes in Computer Science (40-55 ed., Vol. 6447). Springer Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16901-4_5

Vermolen, S., Hooman, J. & Larsen, P. G. (2010). Proving Consistency of VDM Models using HOL. In SAC '10 Proceedings of the 2010 ACM Symposium on Applied Computing ACM Press New York, NY, USA. https://doi.org/10.1145/1774088.1774608

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2010). The Impact of Qualification on the Application of Qualitative Spatial and Temporal Reasoning Calculi. In J. Li (Ed.), AI 2010: Advances in Artificial Intelligence: 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings (pp. 62-71). Springer. https://doi.org/10.1007/978-3-642-17432-2_7

Larsen, P. G., Battle, N., Ferreira, M., Fitzgerald, J., Lausdahl, K. & Verhoef, M. (2010). The Overture Initiative – Integrating Tools for VDM. In Harnessing Theories for Tool Support in Software (pp. 9)

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

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.

Larsen, P. G. & Bryans, J. W. (Eds.) (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

Lausdahl, K., Listrup, H. K. & Larsen, P. G. (2009). Connecting UML and VDM++ with Open Tool Support. In FM '09 Proceedings of the 2nd World Congress on Formal Methods (pp. 563-578). Springer. https://doi.org/10.1007/978-3-642-05089-3_36

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.

Woodcock, J., Larsen, P. G., Bicarregui, J. & Fitzgerald, J. (2009). Formal Methods: Practice and Experience. A C M Computing Surveys, 41(4), 1-36. Article 19. https://doi.org/10.1145/1592434.1592436

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2009). H-Complexity Metric for Qualitative Spatial and Temporal Reasoning Applications. In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence: IJCAI-09 Contents (pp. 52-60). IJCAI Organization. https://pdfs.semanticscholar.org/12b5/5adfaf495e84f2e57988237691a8a2885b6b.pdf?_ga=2.69571411.251081761.1503904316-1579627791.1498545755

Bicarregui, J. C., Fitzgerald, J., Larsen, P. G. & Woodcock, J. (2009). Industrial Practice in Formal Methods : A Review. In FM 2009: Formal Methods : Lecture Notes in Computer Science (Vol. 5850/2009, pp. 810-813) https://doi.org/10.1007/978-3-642-05089-3_52

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., 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

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

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2009). Towards A Theory of Application for QSTR Systems. In B. Nebel & S. Wölfl (Eds.), Papers from the 2009 AAAI Spring Symposium: Technical Report SS-09-02 (pp. 29-34). AAAI Press. https://www.cs.auckland.ac.nz/~trebor/papers/SCHU09D.pdf

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2009). Unit Testing for Qualitative Spatial and Temporal Reasoning. In Proceedings of the Twenty-Second International FLAIRS Conference (2009) (pp. 402-407). AAAI Press. https://aaai.org/ocs/index.php/FLAIRS/2009/paper/viewFile/131/351

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2008). A Framework for Applying Qualitative Spatial and Temporal Reasoning. In J. Holland, A. Nicholas & D. Brignoli (Eds.), New Zealand Computer Science Research Student Conference (pp. 159-164). https://www.cs.auckland.ac.nz/~trebor/papers/SCHU08B.pdf

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2008). Development Framework for Qualitative Spatial and Temporal Reasoning Systems. In 2008 AAAI Workshop (pp. 48-53) http://www.aaai.org/Papers/Workshops/2008/WS-08-11/WS08-11-007.pdf

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

Displaying results 401 to 450 out of 510

9

Revised 10.08.2023

-

Peter Gorm Larsen