Find

For students
For PhDs
For employees

Department of Electrical and Computer Engineering

Publications

Sort by: Date | Author | Title

Lawrence, D. P. Y., Gomes, C., Denil, J., Vangheluwe, H. & Buchs, D. (2016). Coupling Petri nets with deterministic formalisms using co-simulation. Paper presented at 2016 TMS/DEVS Symposium on Theory of Modeling and Simulation, TMS/DEVS 2016, Part of the 2016 Spring Simulation Multiconference, SpringSim 2016, Pasadena, United States. https://doi.org/10.23919/TMS.2016.7918812

Couto, L. D., Lausdahl, K. G., Plat, N., Larsen, P. G. & Pierce, K. (2016). Decoupling validation UIs using Publish-Subscribe binding of instance variables in Overture. In P. G. Larsen, N. Plat & N. Battle (Eds.), The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering (Vol. 4/28, pp. 123-136). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Suchan, J., Bhatt, M. & Schultz, C. P. L. (2016). Deeply Semantic Inductive Spatio-Temporal Learning. In 26th International Conference on Inductive Logic Programming https://arxiv.org/pdf/1608.02693.pdf

Santos, P. E., Syfuss, L., Dee, H., Schultz, C. P. L. & Bhatt, M. (2016). Eclipse in Occlusion: A mereotopological representation of celestial eclipses. In 29th International Workshop on Qualitative Reasoning

Bhatt, M., Suchan, J., Kondyli, V. & Schultz, C. P. L. (2016). Embodied visuo-locomotive experience analysis: immersive reality based summarisation of experiments in environment-behaviour studies. In Proceedings of the ACM Symposium on Applied Perception, SAP 2016 (pp. 133-133) https://doi.org/10.1145/2931002.2948720

Hasanagic, M., Tran-Jørgensen, P. W. V., Lausdahl, K. G. & Larsen, P. G. (2016). Formalising and Validating the Interface Description in the FMI standard. In J. Fitzgerald, C. Heitmeyer, S. Gnesi & A. Philippou (Eds.), FM 2016: Formal Methods - 21st International Symposium, Proceedings (Vol. 9995, pp. 344-351). Springer. https://doi.org/10.1007/978-3-319-48989-6_21

Gomes, C. (2016). Foundations for continuous time hierarchical co-simulation. CEUR Workshop Proceedings, 1775. https://ceur-ws.org/Vol-1775/MODELS2016-SRC_paper_8.pdf

Ouy, J., Lecomte, T., Christiansen, M. P., Vill Henriksen, A., Hallerstede, S., Larsen, P. G., Jæger, C. D., Basagiannis, S., Couto, L. D., El-din Mady, A., Ridouanne, H., Moner Poy, H., Valverde Alcala, J., König, C. & Balcu, N. (2016). INtegrated TOol chain for model-based design of CPSs: D1.2 - Case Studies 2. http://projects.au.dk/fileadmin/D1.2a_Case_Studies.pdf

Larsen, P. G., Thule, C., Lausdahl, K. G., Bandur, V., Gamble, C., Brosse, E., Sadovykh, A., Bagnato, A. & Couto, L. D. (2016). Integrated Tool Chain for Model-Based Design of Cyber-Physical Systems. In P. G. Larsen, N. Plat & N. Battle (Eds.), The 14th Overture Workshop: Towards Analytical Tool Chains: Technical report ECE - TR - 28 (Vol. 4/28, pp. 63-79). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Larsen, P. G., Fitzgerald, J., Woodcock, J., Fritzson, P., Brauer, J., Kleijn, C., Lecomte, T., Pfeil, M., Green, O., Basagiannis, S. & Sadovykh, A. (2016). Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. In 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) (pp. 1-6). IEEE. https://doi.org/10.1109/CPSData.2016.7496424

Thule, C. & Larsen, P. G. (2016). Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS. In A. S. Kamkin, A. K. Petrenko & A. N. Terekhov (Eds.), Preliminary Proceedings of the 10th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2016) (pp. 223-228). Institute for System Programming of the Russian Academy of Sciences (ISPRAS). http://syrcose.ispras.ru/2016/SYRCoSE2016_Proceedings.pdf

Thule, C. & Larsen, P. G. (2016). Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS. Proceedings of the Institute for System Programming, 28(2), 139-156. https://doi.org/10.15514/ISPRAS-2016-28(2)-9

Plat, N., Larsen, P. G. & Pierce, K. (2016). Modelling Collaborative Systems and Automated Negotiations. In P. G. Larsen, N. Plat & N. Battle (Eds.), The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering (Vol. 4/28, pp. 108-123). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Mustafiz, S., Gomes, C., Barroca, B. & Vangheluwe, H. (2016). Modular design of hybrid languages by explicit modeling of semantic adaptation. Paper presented at 2016 TMS/DEVS Symposium on Theory of Modeling and Simulation, TMS/DEVS 2016, Part of the 2016 Spring Simulation Multiconference, SpringSim 2016, Pasadena, United States. https://doi.org/10.23919/TMS.2016.7918835

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. In S. Schockaert & P. Senellart (Eds.), Scalable Uncertainty Management - 10th International Conference, SUM 2016, Proceedings (pp. 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 Vol. 4 No. 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. In P. G. Larsen, N. Plat & N. Battle (Eds.), The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering (Vol. 4/28, pp. 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. In S. Latifi (Ed.), Information Technology: New Generations - 13th International Conference on Information Technology (pp. 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. In M. Tiziana & S. Bernhard (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings (Vol. II, pp. 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. In P. G. Larsen, N. Plat & N. Battle (Eds.), 14th Overture Workshop: Towards Analytic Tool Chains: Technical report ECE - TR - 28 (pp. 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. In 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 Article 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. In F. Calimeri, G. Ianni & M. Truszynski (Eds.), Logic Programming and Nonmonotonic Reasoning (1 ed.). 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. In Proceedings of the 13th Overture Workshop (Vol. Grace-TR 2015-06, pp. 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. In Proceedings of the 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE) (pp. 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). In Annals of Computer Science and Information Systems (Vol. 7, pp. 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. In Proceedings of the 13th Overture Workshop (Vol. Grace-TR 2015-06, pp. 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. In Proceedings of the 13th Overture workshop (Vol. Grace-TR 2015-06, pp. 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. In Proceedings of the 13th Overture Workshop (Vol. Grace-TR 2015-06, pp. 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. In Proceedings of the 13th Overture Workshop (Vol. 2015-06, pp. 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. In 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. In Proceedings of the13th Overture Workshop (Vol. Grace-TR 2015-06, pp. 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. 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

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. 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

Displaying results 301 to 350 out of 505

7

Revised 10.08.2023

-

Peter Gorm Larsen