Publications

Sort by: Date | Author | Title

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

Macedo, H. D. & Touili, T. (2013). Mining Malware Specifications through Static Reachability Analysis.

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

Macedo, H. D. & Oliveira, J. N. (2013). Typing linear algebra: A biproduct-oriented approach.

Bjerge, K. & Larsen, P. G. (2013). Using VDM in a Co-Simulation Setting for an Industrial Conveyor System. In 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. Paper presented at DASIA2012, Dubrovik , Croatia.

Bjerge, K. & Larsen, P. G. (2012). Applying Co-Simulation for an Industrial Conveyor System: Technical Report ECE-TR-5. In Statsbiblioteket - Aarhus Univeristet (Vol. Vol 1, No 5). Article ECE-TR-5 Statsbiblioteket.dk.

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. Paper presented at International Conference on System of Systems Engineering, Genoa, Italy. https://doi.org/10.1109/SYSoSE.2012.6384150

Displaying results 351 to 400 out of 510

Revised 10.08.2023

Peter Gorm Larsen