Institut for Elektro- og Computerteknologi

Aarhus Universitets segl

Publications

Sortér efter: Dato | Forfatter | Titel

Bjerge, K. & Larsen, P. G. (2013). Using VDM in a Co-Simulation Setting for an Industrial Conveyor System. I The Modelling, Identification and Control - MIC 2013 conference ACTA Press. https://doi.org/10.2316/P.2013.794-005
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.
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#
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
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
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
Larsen, P. G., Fitzgerald, J. & Coleman, J. W. (2012). Getting Software Engineering out of Isolation. Afhandling præsenteret på SYRCoSE 2012, Perm, Rusland.
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.
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
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. https://doi.org/10.3233/978-1-61499-098-7-925
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
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.
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. 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.

Viser resultater 401 til 450 ud af 508

Forrige

2

3

4

5

6

7

8

9

10

11

Næste

Revideret 13.11.2025
-
Peter Gorm Larsen