Publications

Sortér efter: Dato | Forfatter | Titel

Walega, P. A., Schultz, C. P. L. & Bhatt, M. (2016). Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. arXiv. https://arxiv.org/pdf/1606.07860.pdf

Schultz, C. P. L., Bhatt, M. & Suchan, J. (2016). Probabilistic Spatial Reasoning in Constraint Logic Programming. I S. Schockaert & P. Senellart (red.), Scalable Uncertainty Management - 10th International Conference, SUM 2016, Proceedings (s. 289-302). Springer. https://link.springer.com/chapter/10.1007/978-3-319-45856-4_20

Larsen, P. G., Plat, N. & Battle, N. (2016). The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering, Technical Report - ECE-TR-28. Aarhus University, Department of Engineering. Technical report Bind 4 Nr. 28 http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Larsen, P. G. & Fitzgerald, J. (2016). The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA. Journal of Logical and Algebraic Methods in Programming, 85(5, Part 2), 985-998. https://doi.org/10.1016/j.jlamp.2015.10.001

Fabbri, T., Verhoef, M., Bandur, V., Perrotin, M., Tsiodras, T. & Larsen, P. G. (2016). Towards integration of Overture into TASTE. I P. G. Larsen, N. Plat & N. Battle (red.), The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering (Bind 4/28, s. 94-108). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Mustafiz, S., Barroca, B., Gomes, C. & Vangheluwe, H. (2016). Towards modular language design using language fragments: The hybrid systems case study. I S. Latifi (red.), Information Technology: New Generations - 13th International Conference on Information Technology (s. 785-797). Springer Verlag. https://doi.org/10.1007/978-3-319-32467-8_68

Larsen, P. G., Fitzgerald, J., Woodcock, J., Nilsson, R., Gamble, C. & Foster, S. (2016). Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. I M. Tiziana & S. Bernhard (red.), Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings (Bind II, s. 171-186). Springer. https://doi.org/10.1007/978-3-319-47169-3_13

Tran-Jørgensen, P. W. V., Larsen, P. G. & Battle, N. (2016). Using JML-based Code Generation to Enhance Test Automation for VDM Models. I P. G. Larsen, N. Plat & N. Battle (red.), 14th Overture Workshop: Towards Analytic Tool Chains: Technical report ECE - TR - 28 (s. 79-93). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Oda, T., Akari, K. & Larsen, P. G. (2016). ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4. I IWST 2016 - Proceedings of the 11th International Workshop on Smalltalk Technologies, in conjunction with the 24th International Smalltalk Joint Conference: In conjunction with the 24th International Smalltalk Joint Conference Artikel 5 Association for Computing Machinery. http://www.esug.org/data/ESUG2016/IWST/Papers/IWST_2016_paper_18.pdf

Chipofya, M., Schultz, C. P. L. & Schwering, A. (2015). A meta- heuristic approach for efficient and effective sketch-to-metric map alignment. International Journal of Geographical Information Science, 29(1).

Walega, P. A., Bhatt, M. & Schultz, C. P. L. (2015). ASPMT(QS): Non- Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. I F. Calimeri, G. Ianni & M. Truszynski (red.), Logic Programming and Nonmonotonic Reasoning (1 udg.). Springer International Publishing. https://doi.org/10.1007/978-3-319-23264-5

Schultz, C. P. L., Bhatt, M. & Borrmann, A. (2015). Bridging Qualitative Spatial Constraints and Feature-Based Parametric Modelling: Expressing Visibility and Movement Constraints. Advanced Engineering Informatics, 31, 2-17. https://doi.org/10.1016/j.aei.2015.10.004

Kanakis, G., Larsen, P. G. & Tran-Jørgensen, P. W. V. (2015). Code Generation of VDM++ Concurrency. I Proceedings of the 13th Overture Workshop (Bind Grace-TR 2015-06, s. 60-74). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Fitzgerald, J., Gamble, C., Larsen, P. G., Pierce, K. & Woodcock, J. (2015). Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. I Proceedings of the 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE) (s. 40-46). IEEE. https://doi.org/10.1109/FormaliSE.2015.14

Schultz, C. P. L. & Bhatt, M. (2015). Encoding Relative Orientation and Mereotopology Relations with Geometric Constraints in CLP(QS). I Annals of Computer Science and Information Systems (Bind 7, s. 55-63) http://bazekon.icm.edu.pl/bazekon/element/bwmeta1.element.ekon-element-000171419090

Hasanagic, M., Larsen, P. G. & Tran-Jørgensen, P. W. V. (2015). Generating Java RMI code for the distributed aspects of VDM-RT models. I Proceedings of the 13th Overture Workshop (Bind Grace-TR 2015-06, s. 75-89). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Larsen, M., Tran-Jørgensen, P. W. V. & Larsen, P. G. (2015). Improving Time Estimates in VDM-RT Models. I Proceedings of the 13th Overture workshop (Bind Grace-TR 2015-06, s. 90-103). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Masci, P., Monteiro Duarte Couto, L. D., Larsen, P. G. & Curzon, P. (2015). Integrating the PVSio-web modelling and prototyping environment with Overture. I Proceedings of the 13th Overture Workshop (Bind Grace-TR 2015-06, s. 33-47). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Lausdahl, K., Ishikawa, H. & Larsen, P. G. (2015). Interpreting Implicit VDM Specifications using ProB. University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, CS-TR-1446, 1-15. http://www.cs.ncl.ac.uk/publications/trs/papers/1446.pdf

Omori , Y., Araki, K. & Larsen, P. G. (2015). JODTool on the Overture Tool to manage formal requirement dictionaries. I Proceedings of the 13th Overture Workshop (Bind 2015-06, s. 3-17). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Chipofya, M., Schwering, A., Jan, S., Schultz, C. P. L. & Harason, E. (2015). Left/right relations for Qualitative Spatial Representation of Networks. I 14th Mexican International Conference on Artificial Intelligence

Mota, A., Farias, A., Woodcock, J. & Larsen, P. G. (2015). Model checking CML : tool development and industrial applications. Formal Aspects of Computing, 5(27), 975–1001. https://doi.org/10.1007/s00165-015-0342-2

Gamble, C., Mansfield, M., Fitzgerald, J. & Larsen, P. G. (2015). Pacemaker Parameter Tuning using Crescendo. I Proceedings of the13th Overture Workshop (Bind Grace-TR 2015-06, s. 116-131). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

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

Lúcio, L., Oakes, B. J., Gomes, C., Selim, G. M. K., Dingel, J., Cordy, J. R. & Vangheluwe, H. (2015). SyVOLT: Full model transformation verification using contracts. CEUR Workshop Proceedings, 1554, 24-27. https://ceur-ws.org/Vol-1554/PD_MoDELS_2015_paper_8.pdf

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

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.

Viser resultater 301 til 350 ud af 490

Forrige

Næste

Revideret 10.08.2023

Peter Gorm Larsen