Publications

Sortér efter: Dato | Forfatter | Titel

Fitzgerald, J., Pierce, K. & Larsen, P. G. (2014). Collaborative Development of Dependable Cyber-Physical Systems by Co-modeling and Co-simulation. I A. Bagnato , L. S. Indrusia, I. R. Quadri & M. G. Ross (red.), Handbook of Research on Embedded Systems Design (s. 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. I Proceedings of the 8th Annual IEEE International Systems Conference : SysCon 2014 (s. 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. I L. M. Camarinha-Matos & H. Afsarmanesh (red.), Collaborative systems for smart networked environements: 15th IFIP WG 5.5 working conference on virtual enterprises, PRO-VE 2014, Proceedings (Bind 434, s. 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. I J. Fitzgerald, P. G. Larsen & M. Verhoef (red.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (s. 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. I U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (red.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Bind 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. I 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. I T. Margaria & B. Steffen (red.), 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 (s. 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. I ECAI 2014 (Bind 263, s. 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. I J. Fitzgerald, P. G. Larsen & M. Verhoef (red.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (s. 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. I J. Fitzgerald, P. G. Larsen & M. Verhoef (red.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (s. 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. I A. Kamkin, A. Petrenko & A. Terekhov (red.), Preliminary Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering: SYRCoSE 2014 (s. 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. I J. Fitzgerald, P. G. Larsen & M. Verhoef (red.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (s. 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. I Modelsward 2014 Proceedings of the 2nd International Conference on Model-Driven Enginering and Software Development (s. 209-216). SCITEPRESS Digital Library.

Verhoef, M. & Larsen, P. G. (2014). Industrial Application of Co-modelling and Co-simulation Technology. I J. Fitzgerald, P. G. Larsen & M. Verhoef (red.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (s. 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. I M. Butler & S. Hallerstede (red.), 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. I 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. I CILC2

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

Coleman, J., Lausdahl, K. & Larsen, P. G. (2014). Semantics of Co-simulation. I J. Fitzgerald, P. G. Larsen & M. Verhoef (red.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (s. 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. I U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (red.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Bind 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. I J. Fitzgerald, P. G. Larsen & M. Verhoef (red.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (s. 97-114). Springer. https://doi.org/10.1007/978-3-642-54118-6_5

Larsen, P. G. (2014). VDM-RT Language Summary. I J. Fitzgerald, P. G. Larsen & M. Verhoef (red.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (s. 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. I K. Pierce & S. Hallerstede (red.), Proceedings of the 11th Overture Workshop, 2013 (Bind Technical Report ECE-TR-17, s. 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. I CLOSER 2013 - Proceedings of the 3rd International Conference on Cloud Computing and Services Science (s. 406-415)

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

Schultz, C. P. L. & Bhatt, M. (2013). Declarative Computing with Shapes, and their Shadows. I 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. I M. Aiguier, F. Boulanger, D. Krob & C. Marchal (red.), Complex Systems Design & Management : Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013 (s. 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. I A. Romanovsky & M. Thomas (red.), 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. I 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 (red.), Procedia Computer Science (Bind 18, s. 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. I K. Pierce & S. Hallerstede (red.), 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. I K. Pierce & S. Hallerstede (red.), 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 Nr. 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. I K. Pierce & S. Hallerstede (red.), Proceedings of the 11th Overture Workshop (Bind Technical Report ECE-TR-17, s. 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. 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.

Bjerge, K. & Larsen, P. G. (2012). Applying Co-Simulation for an Industrial Conveyor System: Technical Report ECE-TR-5. I Statsbiblioteket - Aarhus Univeristet (Bind Vol 1, No 5). Artikel 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. 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.

Viser resultater 351 til 400 ud af 505

Forrige

Næste

Revideret 06.03.2025

Peter Gorm Larsen