Find

Til studerende
Til ph.d.er
Til medarbejdere

Institut for Elektro- og Computerteknologi

Publications

Sortér efter: Dato | Forfatter | Titel

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

Bhatt, M., Schultz, C. P. L. & Huang, M. (2012). The Shape of Empty Space: Human-Centred Cognitive Foundations in Computing for Spatial Design. I Visual Languages and Human-Centric Computing (VL/HCC), 2012 IEEE Symposium on (s. 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. 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

Schultz, C. P. L. & Bhatt, M. (2012). Towards a Declarative Spatial Reasoning System. I Proceeding ECAI'12 Proceedings of the 20th European Conference on Artificial Intelligence (s. 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. Afhandling præsenteret på International Conference on Integrated Modeling and Analysis in Applied Control and Automation, Wien, Østrig.

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.

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

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. I M. J. Egenhofer, N. Giudice, R. Moratz & M. Worboys (red.), Spatial Information Theory: 10th International Conference, COSIT 2011, Belfast, ME, USA (1 udg., s. 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. I S. Wolff & J. Fitzgerald (red.), Proceedings of the 9th Overture Workshop (ECE-TT2 udg., Bind 2, s. 4-16). Newcastle University.

Schultz, C. P. L. & Bhatt, M. (2011). TOWARD ACCESSING SPATIAL STRUCTURE FROM BUILDING INFORMATION MODELS. I Proceedings of 28th Urban Data Management Symposium (s. 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. I 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). I Proceedings of the 2nd ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness (s. 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. 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.

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.

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.

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

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

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

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.

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

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

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

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2010). The Impact of Qualification on the Application of Qualitative Spatial and Temporal Reasoning Calculi. I J. Li (red.), AI 2010: Advances in Artificial Intelligence: 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings (s. 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. I Harnessing Theories for Tool Support in Software (s. 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. (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

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

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. Artikel 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. I Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence: IJCAI-09 Contents (s. 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. 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

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

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2009). Towards A Theory of Application for QSTR Systems. I B. Nebel & S. Wölfl (red.), Papers from the 2009 AAAI Spring Symposium: Technical Report SS-09-02 (s. 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. I Proceedings of the Twenty-Second International FLAIRS Conference (2009) (s. 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. I J. Holland, A. Nicholas & D. Brignoli (red.), New Zealand Computer Science Research Student Conference (s. 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. I 2008 AAAI Workshop (s. 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

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

Amor, R., Schultz, C. P. L., Lobb, B. & Guesgen, H. W. (2008). Qualitative design support for engineering and architecture. Advanced Engineering Informatics, 23(1), 68-80. https://doi.org/10.1016/j.aei.2008.07.003

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 401 til 450 ud af 505

9

Revideret 06.03.2025

-

Peter Gorm Larsen