Publications by Software Engineering & Computing Systems

Are you looking for publications by Section of Software Engineering & Computing Systems? On this page you can find all the publications made by the Section of Software Engineering & Computing Systems - Department of Electrical and Computer Engineering, Aarhus University.

Below you can find a list of all the publications, their publishing date, their author(s), and titles. The list can be sorted by date, author, and title:

List of Publications

Sort by: Date | Author | Title

Neghina, M., Zamfirescu, C.-B., Larsen, P. G., Lausdahl, K. G. & Pierce, K. (2018). Multi-Paradigm Discrete-Event Modelling and Co-simulation of Cyber-Physical Systems. Studies in Informatics and Control, 27(1), 33-42. https://doi.org/10.24846/v27i1y201804

Bennedsen, J., Rouvrais, S., Roslöf, J., Kontio, J., Georgsson, F. & McCartan, C. D. (2020). Collaborative quality enhancement in engineering education: an overview of operational models at a programme level. European Journal of Engineering Education, 45(1), 73-88. https://doi.org/10.1080/03043797.2018.1443058

Isasa, J. A. E., Larsen, P. G. & Hansen, F. O. (2017). Energy-aware model-driven development of a wearable healthcare device. In M. Huhn & L. Williams (Eds.), Software Engineering in Health Care: FHIES 2014 and SEHC 2014, Revised Selected Papers (Vol. 9062 , pp. 44-63). Springer. https://doi.org/10.1007/978-3-319-63194-3_4

Macedo, H. D., Fantechi, A. & Haxthausen, A. E. (2017). Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations. In C. Barrett, M. Davies & T. Kahsai (Eds.), NASA Formal Methods - 9th International Symposium, NFM 2017 Moffett Field, Proceedings: NFM 2017 (Vol. 10227, pp. 146-162). Springer. https://doi.org/10.1007/978-3-319-57288-8_11

Nuno Oliveira, J. & Macedo, H. D. (2017). The data cube as a typed linear algebra operator. In Proceedings of the 16th International Symposium on Database Programming Languages, DBPL 2017; Held in conjunction with VLDB 2017: DBPL '17 Article 6 Association for Computing Machinery. https://doi.org/10.1145/3122831.3122834

Fantechi, A., Haxthausen, A. E. & Macedo, H. D. (2017). Compositional Verification of Interlocking Systems for Large Stations. In A. Cimatti & M. Sirjani (Eds.), Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Proceedings: SEFM 2017 (Vol. 10469, pp. 236-252). Springer. https://doi.org/10.1007/978-3-319-66197-1_15

Chipofya, M., Karamesouti, M., Jan, S., Schwering, A., Murcia, C., Schultz, C. P. L., Ho, S., Osewe, G. & Chika, B. (2018). Modelling Local Knowledge for Inclusive and Responsive Land Information Systems: The Southern Kenyan Maasai Ontology. Poster session presented at World Bank Conference on Land and Poverty 2018, Washington D. C., District of Columbia, United States. https://its4land.com/world-bank-land-and-poverty-conference-2018/

Krings, S., Leuschel, M., Körner, P., Hallerstede, S. & Hasanagic, M. (2018). Three is a crowd: SAT, SMT and CLP on a chessboard. In F. Calimeri, K. Hamlen & N. Leone (Eds.), Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Proceedings: 20th International Symposium on Practical Aspects of Declarative Languages - PADL 2018 - Proceedings (Vol. 10702, pp. 63-79). Springer. https://doi.org/10.1007/978-3-319-73305-0_5

Suchan, J., Bhatt, M., Walega, P. & Schultz, C. P. L. (2018). Visual Explanation by High-Level Abduction On Answer-Set Programming Driven Reasoning about Moving Objects. In 32nd AAAI Conference on Artificial Intelligence, AAAI 2018: AAAI-18 (pp. 1965-1972). AAAI Press. https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17303/15902

Koeva, M., Bennett, R., Crommelinck, S., Stöcker, C., Crompvoets, J., Ho, S., Schwering, A., Chipofya, M., Schultz, C. P. L., Zein, T., Biraro, M., Wayumba, R. & Kundert, K. (2017). Towards Innovative Geospatial Tools for Fit-for-Purpose Land Rights Mapping. In The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, (Vol. XLII-2/W7, pp. 37-43) https://www.int-arch-photogramm-remote-sens-spatial-inf-sci.net/XLII-2-W7/37/2017/isprs-archives-XLII-2-W7-37-2017.pdf

Lausdahl, K. G., Thule, C., Larsen, P. G., Höll, J., Klueber, A., Pfeil, M. & Fässler, V. (2017). The INTO-CPS Co-Simulation Orchestration Engine – Experiences with FMI 2.0 and proposed extensions. Abstract from FMI User meeting, Prag, Czech Republic.

Cavalcanti, A. L. C., Miyazawa, A., Payne, R. & Woodcock, J. (2017). Sound Simulation and Co-simulation for Robotics. In Present and Ulterior Software Engineering (pp. 173-194). Springer. https://doi.org/10.1007/978-3-319-67425-4_11

Boudjadar, J. (2018). Compositional Schedulability Analysis of Multicore Modular Avionic Architectures. Journal of Computers, 13(10), 1202-1215. https://doi.org/10.17706/jcp.13.10.1202-1215

Kondyli, V., Schultz, C. P. L. & Bhatt, M. (2017). Evidence-Based Parametric Design: Computationally Generated Spatial Morphologies Satisfying Behavioural-Based Design Constraints. In E. Clementini, M. Donnelly, M. Yuan, C. Kray, P. Fogliaroni & A. Ballatore (Eds.), 13th International Conference on Spatial Information Theory, COSIT 2017 (pp. 1-14). Article 11 https://doi.org/10.4230/LIPIcs.COSIT.2017.11

Neghina, M., Zamfirescu, C.-B., Larsen, P. G., Lausdahl, K. G. & Pierce, K. (2017). A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems. In J. S. Fitzgerald, P. W. V. Tran-Jørgensen & T. Oda (Eds.), The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering: Proceedings (pp. 116-129). Newcastle University.

Lausdahl, K. G., Bjerge, K., Bokhove, T., Groen, F. & Larsen, P. G. (2017). Transitioning from Crescendo to INTO-CPS. In J. S. Fitzgerald, P. W. V. Tran-Jørgensen & T. Oda (Eds.), The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering: Proceedings (pp. 16-30). Newcastle University.

Feo-Arenis, S., Verhoef, M. & Larsen, P. G. (2017). The Mars-Rover Case Study Modelled Using INTO-CPS. In J. S. Fitzgerald, P. W. V. Tran-Jørgensen & T. Oda (Eds.), The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering: Proceedings (pp. 130-144). Newcastle University.

Couto, L. D., Basagiannis, S., Ridouane, E. H., Hasanagic, M. & Larsen, P. G. (2018). Injecting Formal Verification in FMI-based Co-Simulations of Cyber-Physical Systems. In A. Cerone & M. Roveri (Eds.), Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (Vol. 10729, pp. 284-299). Springer. https://doi.org/10.1007/978-3-319-74781-1_20

Foldager, F. F., Larsen, P. G. & Green, O. (2017). Development of a Driverless Lawn Mower using Co-Simulation. Paper presented at 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italy. https://drive.google.com/open?id=0B2ej7mC7hWVrNFA0MUVybUF2VTg

Larsen, P. G., Fitzgerald, J. S., Woodcock, J., Gamble, C., Payne, R. & Pierce, K. (2017). Features of Integrated Model-based Co-modelling and Co-simulation Technology. Paper presented at 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italy. https://drive.google.com/open?id=0B2ej7mC7hWVrMEM0bjNqbWc1a0k

Bodeveix, J.-P., Boudjadar, J. & Filali, M. (2011). An Alternative Definition for Timed Automata Composition. In Automated Technology for Verification and Analysis (pp. 105-119). Springer. https://doi.org/10.1007/978-3-642-24372-1_9

Boudjadar, J., Bodeveix, J.-P. & Filali, M. (2012). Revising and Extending the Uppaal Communication Mechanism. In Software Composition (pp. 114-131). Springer. https://doi.org/10.1007/978-3-642-30564-1_8

Boudjadar, J., Bodeveix, J.-P. & Filali, M. (2012). Compositional Refinement for Real-Time Systems with Priorities. In Temporal Representation and Reasoning (TIME), 2012 19th International Symposium on (pp. 57-64). IEEE. https://doi.org/10.1109/TIME.2012.21

Boudjadar, J., Vaandrager, F., Bodeveix, J.-P. & Filali, M. (2012). Callable timed automata: Adding process creation and process calls to UPPAAL. In J. Bendisposto, C. Jones, M. Leuschel, A. Romanovsky, T. Margaria, J. Padberg & G. Taentzer (Eds.), 12th International Workshop on Automated Verification of Critical Systems https://www.researchgate.net/publication/235623524_Callable_timed_automata_Adding_process_creation_and_process_calls_to_UPPAAL

Foster, S. D. & Woodcock, J. (2017). Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL. In T. Gibson-Robinson, P. Hopcroft & R. Lazić (Eds.), Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday (pp. 39-64). Springer International Publishing. https://doi.org/10.1007/978-3-319-51046-0_3

Boudjadar, J., Vaandrager, F., Bodeveix, J.-P. & Filali, M. (2013). Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems. In F. Arbab & M. Sirjani (Eds.), 5th IPM International Conference on Fundamentals of Software Engineering (pp. 111-132). Springer. https://doi.org/10.1007/978-3-642-40213-5_8

Boudjadar, J., David, A., Kim, J. H., G. Larsen, K., Mikucionis, M., Nyman, U. M. & Skou, A. (2013). Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. In Formal Aspects of Component Software (pp. 61-78). Springer. https://link.springer.com/chapter/10.1007/978-3-319-07602-7_6

Boudjadar, J., David, A., Kim, J. H., G. Larsen, K., Nyman, U. M. & Skou, A. (2014). Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems. In Proceedings of ERTS2 2014 http://vbn.aau.dk/files/87334413/ERTSpaper.pdf

Boudjadar, J., Kim, J. H., G. Larsen, K. & Nyman, U. M. (2014). Model Checking Process Algebra of Communicating Resources for Real-time Systems. In 2014 26th Euromicro Conference on Real-Time Systems (pp. 51-60) https://doi.org/10.1109/ECRTS.2014.24

Boudjadar, J., David, A., Kim, J. H., G. Larsen, K., Mikucionis, M., Nyman, U. M. & Skou, A. (2014). Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks. In 2014 Theoretical Aspects of Software Engineering Conference (pp. 126-130). IEEE. https://doi.org/10.1109/TASE.2014.27

Boudjadar, J., David, A., Kim, J. H., G. Larsen, K., Mikucionis, M., Nyman, U. M. & Skou, A. (2015). Widening the Schedulability of Hierarchical Scheduling Systems. In Formal Aspects of Component Software (pp. 209-227). Springer. https://link.springer.com/chapter/10.1007/978-3-319-15317-9_14

Boudjadar, J., Kim, J. H., G. Larsen, K. & Nyman, U. M. (2014). Compositional Schedulability Analysis of An Avionics System Using UPPAAL. In Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering (Vol. 1294, pp. 140-147). ceur workshop proceedings. http://vbn.aau.dk/en/publications/compositional-schedulability-analysis-of-an-avionics-system-using-uppaal(748cd13d-5a03-4afb-aa5a-3f13998c25f0).html

Hyun Kim, J., Boudjadar, J., Nyman, U. M., Mikucionis, M., G. Larsen, K., Skou, A., Lee, I. & Thi Xuan Phan, L. (2015). Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. In Component-Based Software Engineering (CBSE), 2015 18th International ACM SIGSOFT Symposium on (pp. 91-100). IEEE. https://doi.org/10.1145/2737166.2737170 .

Boudjadar, J., David, A., Hyun Kim, J., G. Larsen, K., Mikucionis, M., Nyman, U. M., Skou, A., Lee, I. & Thi Xuan Phan, L. (2015). Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. In 2015 IEEE 18th International Symposium on Real-Time Distributed Computing (pp. 74-83). IEEE Computer Society. https://doi.org/10.1109/ISORC.2015.21

Boudjadar, J., David, A., Hyun Kim, J., G. Larsen, K., Mikucionis, M., Nyman, U. M. & Skou, A. (2015). A Reconfigurable Framework for Compositional Schedulability and Power Analysis of Hierarchical Scheduling Systems with Frequency Scaling. Science of Computer Programming, 113(3), 236-260. https://doi.org/10.1016/j.scico.2015.10.003

Boudjadar, J., Dingel, J., Madzar, B. & Hyun Kim, J. (2016). Compositional Predictability Analysis of mixed-critical Real Time Systems. In P. C. Ölveczky & C. Artho (Eds.), Formal Techniques for Safety-Critical Systems - 4th International Workshop, FTSCS 2015, Revised Selected Papers (pp. 69-84). Springer. https://doi.org/10.1007/978-3-319-29510-7_4

Boudjadar, J., Hyun Kim, J., Legay, A. & Choi, J.-Y. (2015). Optimizing the Resource Requirements of Hierarchical Scheduling Systems. In 8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems https://www.researchgate.net/publication/284182983_Optimizing_the_Resource_Requirements_of_Hierarchical_Scheduling_Systems

Hultman, T., Boudjadar, J. & Asplund, M. (2016). Workshop on Crowd Assisted Sensing, Pervacsive systems and Communications. In CASPeR 2016

Hyun Kim, J., Kang, S. & Boudjadar, J. (2016). A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Sofware Architectures. IEEE Transactions on Industrial Informatics Journal.

Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikucionis, M., Nyman, U. M. & Skou, A. J. (2016). Statistical and exact Schedulability analysis of Hierarchical Scheduling Systems. Science of Computer Programming, 127, 103-130. https://doi.org/10.1016/j.scico.2016.05.008

Boudjadar, J., Kim, H. J. & Nadjm-Tehrani, S. (2016). Performance-aware Scheduling of Multicore Time-critical Systems. In 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016 (pp. 105-114). Article 7797753 IEEE. https://doi.org/10.1109/MEMCOD.2016.7797753

Fitzgerald, J. S. & Larsen, P. G. (2006). Triumphs and Challenges for Model-Oriented Formal Methods: the VDM++ experience. In Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: ISoLA 2006 IEEE. https://doi.org/10.1109/ISoLA.2006.33

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2007). A Framework for Supporting the Application of Qualitative Spatiotemporal Reasoning. In Proceedings of the Spatial and Temporal Reasoning AAAI Workshop: Technical report WS-07-12 (pp. 34-39)

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2008). Development Framework for Qualitative Spatial and Temporal Reasoning Systems. In 2008 AAAI Workshop (pp. 48-53) http://www.aaai.org/Papers/Workshops/2008/WS-08-11/WS08-11-007.pdf

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2009). H-Complexity Metric for Qualitative Spatial and Temporal Reasoning Applications. In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence: IJCAI-09 Contents (pp. 52-60). IJCAI Organization. https://pdfs.semanticscholar.org/12b5/5adfaf495e84f2e57988237691a8a2885b6b.pdf?_ga=2.69571411.251081761.1503904316-1579627791.1498545755

Schultz, C. P. L. & Bhatt, M. (2010). A Multi-Modal Data Access Framework for Spatial Assistance Systems: Use-Cases with the Industry Foundation Classes (IFC). In Proceedings of the 2nd ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness (pp. 39-46). ACM. https://doi.org/10.1145/1865885.1865895

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

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

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

Displaying results 551 to 600 out of 866

Back to the main page

Revised 10.08.2023

AU Engineering