Publications

Sortér efter: Dato | Forfatter | Titel

Jan, S., Schwering, A., Schultz, C. P. L. & Chipofya, M. (2015). RCC11: A Finer Topological Representation for the Alignment of Regions in Sketch Maps. I 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. I T. Lechowski, P. Walega & M. Zawidzki (red.), Proceedings of the LQMR 2015 Workshop (Bind 7, s. 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. I S. I. Fabrikant, M. Raubal, M. Bertolotto, C. Davies, S. Freundschuh & S. Bell (red.), Spatial Information Theory (1 udg., s. 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. I Proceedings of the 2nd International Workshop on Formal Integrated Development Environment: F-IDE 2015 (Bind 187, s. 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. I Proceedings of the 13th Overture Workshop (Bind Grace-TR 2015-06, s. 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. I Proceedings of the Third FME Workshop on Formal Methods in Software Engineering: Formalise 2015 (Bind 2015, s. 33-39). Artikel 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. I S. Cook, V. Ireland, A. Gorod, T. Ferris & Q. Do (red.), John Fitzgerald (s. 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. 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

Schultz, C. P. L., Bhatt, M. & Borrmann, A. (2014). Bridging Qualitative Spatial Constraints and Parametric Design - A Use Case with Visibility Constraints. I 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. I J. Dingel, W. Schulte, I. Ramos, S. Abrahao & E. Insfran (red.), Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings (Bind 8767, s. 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. 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

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

Viser resultater 351 til 400 ud af 508

Forrige