Publications

Sort by: Date | Author | Title

Jan, S., Schwering, A., Schultz, C. P. L. & Chipofya, M. (2015). RCC11: A Finer Topological Representation for the Alignment of Regions in Sketch Maps. In 28th International Workshop on Qualitative Reasoning https://www.researchgate.net/publication/278685943_RCC11_A_Finer_Topological_Representation_for_the_Alignment_of_Regions_in_Sketch_Maps

Christiansen, M. P., Larsen, P. G. & Nyholm Jørgensen, R. (2015). Robotic Design Choice Overview using Co-simulation and Design Space Exploration. Robotics, 4, 398-421. https://doi.org/10.3390/robotics4040398

Jan, S., Schultz, C. P. L., Schwering, A. & Chipofya, M. (2015). Spatial Rules for Capturing Qualitatively Equivalent Configurations in Sketch maps. In T. Lechowski, P. Walega & M. Zawidzki (Eds.), Proceedings of the LQMR 2015 Workshop (Vol. 7, pp. 13-20) https://doi.org/10.15439/2015F372

Schultz, C. P. L. & Bhatt, M. (2015). Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning. In S. I. Fabrikant, M. Raubal, M. Bertolotto, C. Davies, S. Freundschuh & S. Bell (Eds.), Spatial Information Theory (1 ed., pp. 331-353). Springer International Publishing. https://doi.org/10.1007/978-3-319-23374-1

Nielsen, C. B., Larsen, P. G., Fitzgerald, J., Woodcock, J. & Peleska, J. (2015). Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions. A C M Computing Surveys, 48(2). https://doi.org/10.1145/2794381

Monteiro Duarte Couto, L. D., Larsen, P. G., Hasanagic, M., Kanakis, G., Lausdahl, K. G. & Tran-Jørgensen, P. W. V. (2015). Towards Enabling Overture as a Platform for Formal Notation IDEs. In Proceedings of the 2nd International Workshop on Formal Integrated Development Environment: F-IDE 2015 (Vol. 187, pp. 14-27) https://doi.org/10.4204/EPTCS.187.2

Oda, T., Yamamoto, Y., Nakakoji, K., Araki, K. & Larsen, P. G. (2015). VDM Animation for a Wider Range of Stakeholders. In Proceedings of the 13th Overture Workshop (Vol. Grace-TR 2015-06, pp. 18-32). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Oda, T., Araki, K. & Larsen, P. G. (2015). VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. In Proceedings of the Third FME Workshop on Formal Methods in Software Engineering: Formalise 2015 (Vol. 2015, pp. 33-39). Article 7166695 IEEE. https://doi.org/10.1109/FormaliSE.2015.13

Foster, S. D., Miyazawa, A., Woodcock, J., Cavalcanti, A. L. C., Fitzgerald, J. & Larsen, P. G. (2014). An approach for managing semantic heterogeneity in Systems of Systems Engineering. In S. Cook, V. Ireland, A. Gorod, T. Ferris & Q. Do (Eds.), John Fitzgerald (pp. 113-118). IEEE. https://doi.org/10.1109/SYSOSE.2014.6892473

Bendisposto , J., Börger , E., Hayes , I., Larsen, P. G. & Prinz, A. (2014). A VDM model of the Termination Detection Protocol. In U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (Eds.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Vol. Dagstuhl Reports, Volume 3, Issue 9). Dagstuhl Publishing. https://doi.org/10.4230/DagRep.3.9.74

Schultz, C. P. L., Bhatt, M. & Borrmann, A. (2014). Bridging Qualitative Spatial Constraints and Parametric Design - A Use Case with Visibility Constraints. In EG-ICE: 21st International Workshop - Intelligent Computing in Engineering 2014

Gomes, C., Barroca, B. & Amaral, V. (2014). Classification of Model Transformation Tools: Pattern Matching Techniques. In J. Dingel, W. Schulte, I. Ramos, S. Abrahao & E. Insfran (Eds.), Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings (Vol. 8767, pp. 619-635). Springer. https://doi.org/10.1007/978-3-319-11653-2_38

Fitzgerald, J., Pierce, K. & Larsen, P. G. (2014). Collaborative Development of Dependable Cyber-Physical Systems by Co-modeling and Co-simulation. In A. Bagnato , L. S. Indrusia, I. R. Quadri & M. G. Ross (Eds.), Handbook of Research on Embedded Systems Design (pp. 1-28). IGI global. https://doi.org/10.4018/978-1-4666-6194-3.ch001

Nielsen, C. B. & Larsen, P. G. (2014). Collaborative Formal Modeling of System of Systems. In Proceedings of the 8th Annual IEEE International Systems Conference : SysCon 2014 (pp. 154-161). IEEE Computer Society Press. https://doi.org/10.1109/SysCon.2014.6819250

Fitzgerald, J., Bryans, J., Larsen, P. G. & Salim, H. (2014). Collaborative systems of systems need collaborative design. In L. M. Camarinha-Matos & H. Afsarmanesh (Eds.), Collaborative systems for smart networked environements: 15th IFIP WG 5.5 working conference on virtual enterprises, PRO-VE 2014, Proceedings (Vol. 434, pp. 16-23). Springer. https://doi.org/10.1007/978-3-662-44745-1_2

Pierce, K., Larsen, P. G. & Fitzgerald, J. (2014). Co-model Structuring and Design Patterns. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 115-137). Springer. https://doi.org/10.1007/978-3-642-54118-6_6

Larsen, P. G., Prinz, A., Snook, C. F. & Shahir , H. Y. (2014). Comparison of Methods. In U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (Eds.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Vol. Dagstuhl Reports, Volume 3, Issue 9). Dagstuhl Publishing. https://doi.org/10.4230/DagRep.3.9.74

Bhatt, M., Schultz, C. P. L. & Thosar, M. (2014). Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Indus- try Scale Computer-Aided Architecture Design. In 14th International Conference on Principles of Knowledge Representation and Reasonin

Woodcock, J., Cavalcanti, A., Fitzgerald, J., Foster, S. & Larsen, P. G. (2014). Contracts in CML. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (pp. 54-73). Springer. https://doi.org/10.1007/978-3-662-45231-8_5

Wolff, S. & Larsen, P. G. (2014). Co-simulation af cyber-physical systemer fra flyvevåbnet. ITOS - Industriel Teknologi og Software, 14-15.

Schultz, C. P. L. & Bhatt, M. (2014). Declarative Spatial Reasoning with Boolean Combinations of Axis-Aligned Rectangular Polytopes. In ECAI 2014 (Vol. 263, pp. 795-800) https://doi.org/10.3233/978-1-61499-419-0-795

Wolff, S., Larsen, P. G. & Verhoef, M. (2014). Deploying Co-modelling in Commercial Practice. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 263-270). Springer. https://doi.org/10.1007/978-3-642-54118-6_12

Larsen, P. G., Fitzgerald, J., Verhoef, M. & Pierce, K. (2014). Discrete-Event Modelling in VDM. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 61-95). Springer. https://doi.org/10.1007/978-3-642-54118-6_4

Nielsen, C. B., Lausdahl, K. & Larsen, P. G. (2014). Distributed Simulation of Formal Models in System of Systems Engineering. I E E E International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises. Proceedings, 211-216. https://doi.org/10.1109/WETICE.2014.74

Esparza Isasa, J. A., Larsen, P. G. & Hansen, F. O. (2014). Energy-Aware Design of Embedded Software through Modelling and Simulation. In A. Kamkin, A. Petrenko & A. Terekhov (Eds.), Preliminary Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering: SYRCoSE 2014 (pp. 51-56). Institute for System Programming, Russian Academy of Sciences (ISPRAS). http://syrcose.ispras.ru/2014/files/submissions/08_syrcose2014.pdf

Fitzgerald, J., Larsen, P. G. & Verhoef, M. (2014). From Embedded to Cyper-Physical Systems: Challenges and Future Directions. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 293-302). Springer. https://doi.org/10.1007/978-3-642-54118-6_14

Esparza Isasa, J. A., Jørgensen, P. W. V. & Larsen, P. G. (2014). Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems. In Modelsward 2014 Proceedings of the 2nd International Conference on Model-Driven Enginering and Software Development (pp. 209-216). SCITEPRESS Digital Library.

Verhoef, M. & Larsen, P. G. (2014). Industrial Application of Co-modelling and Co-simulation Technology. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 223-258). Springer. https://doi.org/10.1007/978-3-642-54118-6_11

Fitzgerald, J., Larsen, P. G. & Verhoef, M. (2014). Linking Design Disciplines in Cyber-Physical System Development: The DESTECS/Crescendo Technology. ERCIM News, 97(April), 23-24. http://ercim-news.ercim.eu/images/stories/EN97/EN97-web.pdf

Hallerstede, S., Kristensen, K. & Larsen, P. G. (2014). Modelling of Systems of Systems - An Event-B Perspective of a VDM Project. In M. Butler & S. Hallerstede (Eds.), Proceedings of the 5th Rodin User and Developer Workshop, 2014 http://eprints.soton.ac.uk/365301/1/Proceedings.pdf

Bhatt, M. & Schultz, C. P. L. (2014). PEOPLE-CENTERED SPATIAL DESIGN: ON VISUO-SPATIAL COGNITION IN THE BUILT ENVIRONMENT. In INTERNATIONAL CONFERENCE ON HUMAN BEHAVIOR IN DESIGN https://doi.org/10.13140/2.1.4184.8327

Gondorf, C., Schultz, C. P. L. & Bhatt, M. (2014). Qualitative Eye-Tracking Analyses of Problem Solving Strategies in Children with Dyslexia. In CILC2

Christiansen, M. P., Larsen, P. G. & Nyholm Jørgensen, R. (2014). Robotic design choice overview using co-simulation. Abstract from Agromek and NJF joint seminar, Herning, Denmark.

Coleman, J., Lausdahl, K. & Larsen, P. G. (2014). Semantics of Co-simulation. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 273-291). Springer. https://doi.org/10.1007/978-3-642-54118-6_13

Jones, C. B., Larsen, P. G., Prinz, A., Raschke, A. & Snook, C. F. (2014). Speciﬁcation of the Cash Dispenser in Parallel using ASM and VDM. In U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (Eds.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Vol. Dagstuhl Reports, Volume 3, Issue 9). Dagstuhl Publishing. https://doi.org/10.4230/DagRep.3.9.74

Larsen, P. G., Gamble, C., Pierce, K., Ribeiro, A. & Lausdahl, K. (2014). Support for Co-modelling and Co-simulation: The Crescendo Tool. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 97-114). Springer. https://doi.org/10.1007/978-3-642-54118-6_5

Larsen, P. G. (2014). VDM-RT Language Summary. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 313-321). Springer. https://doi.org/10.1007/978-3-642-54118-6

Fitzgerald, J. S., Larsen, P. G., Pierce, K. G. & Verhoef, M. H. G. (2013). A formal approach to collaborative modelling and co-simulation for embedded systems. Mathematical Structures in Computer Science, 23(04), 726–750. https://doi.org/10.1017/S0960129512000242

Jørgensen, P. W. V., Lausdahl, K. G. & Larsen, P. G. (2013). An Architectural Evolution of the Overture Tool. In K. Pierce & S. Hallerstede (Eds.), Proceedings of the 11th Overture Workshop, 2013 (Vol. Technical Report ECE-TR-17, pp. 16-21). Aarhus Universitet, Institut for Ingeniørvidenskab . http://www.eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-TR-17-samlet.pdf

Piechotta, C., Jensen, A. E., Olsen, M. G., Coleman, J. W. & Larsen, P. G. (2013). A secure dynamic collaboration environment in a cloud context. In CLOSER 2013 - Proceedings of the 3rd International Conference on Cloud Computing and Services Science (pp. 406-415)

Bhatt, M., Suchan, J. & Schultz, C. P. L. (2013). Cognitive Interpretation of Everyday Activities: — Toward Perceptual Narrative Based Visuo-Spatial Scene Interpretation. In Computational Models of Narrative 2013 (pp. 24-29) https://arxiv.org/pdf/1306.5308.pdf

Schultz, C. P. L. & Bhatt, M. (2013). Declarative Computing with Shapes, and their Shadows. In 4th World Congress and School on Universal Logic

Esparza Isasa, J. A., Hansen, F. O. & Larsen, P. G. (2013). Embedded Systems Energy Consumption Analysis Through Co-modelling and Simulation. World Academy of Science, Engineering and Technology. Proceedings, 78, 424-430. http://www.waset.org/journals/waset/v78/v78-74.pdf

Fitzgerald, J., Larsen, P. G. & Woodcock, J. (2013). Foundations for Model-based Engineering for Systems of Systems. In M. Aiguier, F. Boulanger, D. Krob & C. Marchal (Eds.), Complex Systems Design & Management : Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013 (pp. 1-19). Springer VS. https://doi.org/10.1007/978-3-319-02812-5_1

Fitzgerald, J., Bicarregui, J. C., Larsen, P. G. & Woodcock, J. C. P. (2013). Industrial Deployment of Formal Methods: Trends and Challenges. In A. Romanovsky & M. Thomas (Eds.), The DEPLOY book: Industrial deployment of system engineering methods providing high dependability and productivity Springer.

Schultz, C. P. L. & Bhatt, M. (2013). InSpace3D: A Middleware for Built Environment Data Access and Analytics. In W. Agresti, J. O. Aje, S. Baek, I. Bojanova, F. Bouthillier, F. J. Cantu Ortiz, A. Carswell, I. Casas, G. Darkazalli, E. A. Edmonds, C. Ghezzi, R. Khan, M. Koval, M. Levi, B. Lin & R. V. McCarthy (Eds.), Procedia Computer Science (Vol. 18, pp. 80-89) https://doi.org/10.1016/j.procs.2013.05.171

Hallerstede, S. & Larsen, P. G. (2013). Modelling a Smart Grid System-of-Systems using VDM. In K. Pierce & S. Hallerstede (Eds.), Proceedings of The 11th Overture Workshop, 2013 http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-TR-17-samlet.pdf

Esparza Isasa, J. A. & Larsen, P. G. (2013). Modelling different CPU power states in VDM-RT. In K. Pierce & S. Hallerstede (Eds.), Proceedings of the 11th Overture Workshop, 2013 Aarhus University, Department of Engineering. http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-TR-17-samlet.pdf

Lausdahl, K., Coleman, J. & Larsen, P. G. (2013). Semantics of the VDM Real-Time Dialect. Aarhus University, Department of Engineering. Technical report No. ECE-TR-13 http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-13-_samlet.pdf

Jørgensen, P. W. V. & Larsen, P. G. (2013). Towards an Overture Code Generator. In K. Pierce & S. Hallerstede (Eds.), Proceedings of the 11th Overture Workshop (Vol. Technical Report ECE-TR-17, pp. 22-27). Aarhus Universitet, Institut for Ingeniørvidenskab . http://www.eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-TR-17-samlet.pdf

Displaying results 351 to 400 out of 508

Revised 13.11.2025

Peter Gorm Larsen