Department of Electrical and Computer Engineering

Aarhus University Seal
 Department of Electrical and Computer Engineering Research Key areas in research & development Software Engineering & Computing Systems Publications

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

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 Press. 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
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). 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
Schultz, C. P. L. & Bhatt, M. (2016). Constructive Geometric Constraint Solving as a General Framework for KR-Based Commonsense Spatial Reasoning. In Workshop on Declarative Learning Based Programming
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
Racz, P., Syfuss, L., Schultz, C. P. L., van Buiten, M., olde Scholtenhuis, L., Vahdatikhati, F. & Doree, A. (2017). Decision Support for Test Trench Location Selection with 3D Semantic Subsurface Utility Models. In ASCE International Workshop on Computing in Civil Engineering 2017 American Society of Civil Engineers (ASCE). http://ascelibrary.org/doi/10.1061/9780784480847.009
Schultz, C. P. L., W. Guesgen, H. & Amor, R. (2006). Computer-Human Interaction Issues when Integrating Qualitative Spatial Reasoning into Geographic Information Systems. In Proceeding CHINZ '06 Proceedings of the 7th ACM SIGCHI New Zealand chapter's international conference on Computer-human interaction: design centered HCI (pp. 43-51) https://doi.org/10.1145/1152760.1152766
Schultz, C. P. L., R. Clephane, T., W. Guesgen, H. & Amor, R. (2006). UTILISATION OF QUALITATIVE SPATIAL REASONING IN GEOGRAPHIC INFORMATION SYSTEMS. In A. Riedl, W. Kainz & G. A. Elmes (Eds.), Progress in Spatial Data Handling: 12th International Symposium on Spatial Data Handling (1 ed., pp. 27-42). Springer Berlin, Heidelberg. https://doi.org/10.1007/3-540-35589-8
Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2007). A Framework for Supporting the Application of Qualitative Spatiotemporal Reasoning. In Proceedings of the Fifth New Zealand Computer Science Research Student Conference (NZCSRSC-07 (pp. 39-46) https://pdfs.semanticscholar.org/045e/6fb399904ea415f33f647ce2485a2c042a19.pdf?_ga=2.218962143.791996264.1503304845-1579627791.1498545755
Schultz, C. P. L., Amor, R., W. Guesgen, H. & Lobb, B. (2007). A DECISION SUPPORT SOFTWARE TOOL FOR REASONING ABOUT THE SUBJECTIVE IMPRESSIONS OF A LIGHTING INSTALLATION. In 24th CIB W78 Conference (pp. 507-513) http://itc.scix.net/data/works/att/w78-2007-077-104-Schultz.pdf
Schultz, C. P. L., W. Guesgen, H. & Amor, R. (2007). A System for Querying With Qualitative Distances in Networks. In Fuzzy Systems Conference, 2007. FUZZ-IEEE 2007. IEEE International (pp. 640-645). IEEE. https://doi.org/10.1109/FUZZY.2007.4295441
Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2008). A Framework for Applying Qualitative Spatial and Temporal Reasoning. In J. Holland, A. Nicholas & D. Brignoli (Eds.), New Zealand Computer Science Research Student Conference (pp. 159-164). https://www.cs.auckland.ac.nz/~trebor/papers/SCHU08B.pdf
Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2009). Unit Testing for Qualitative Spatial and Temporal Reasoning. In Proceedings of the Twenty-Second International FLAIRS Conference (2009) (pp. 402-407). AAAI Press. https://aaai.org/ocs/index.php/FLAIRS/2009/paper/viewFile/131/351
Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2009). Towards A Theory of Application for QSTR Systems. In B. Nebel & S. Wölfl (Eds.), Papers from the 2009 AAAI Spring Symposium: Technical Report SS-09-02 (pp. 29-34). AAAI Press. https://www.cs.auckland.ac.nz/~trebor/papers/SCHU09D.pdf
Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2010). The Impact of Qualification on the Application of Qualitative Spatial and Temporal Reasoning Calculi. In J. Li (Ed.), AI 2010: Advances in Artificial Intelligence: 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings (pp. 62-71). Springer. https://doi.org/10.1007/978-3-642-17432-2_7
Bhatt, M., Schultz, C. P. L. & Huang, M. (2012). The Shape of Empty Space: Human-Centred Cognitive Foundations in Computing for Spatial Design. In Visual Languages and Human-Centric Computing (VL/HCC), 2012 IEEE Symposium on (pp. 33-40). IEEE. http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6344477
Bhatt, M., Hee Lee, J. & Schultz, C. P. L. (2011). CLP(QS): A Declarative Spatial Reasoning Framework. In M. J. Egenhofer, N. Giudice, R. Moratz & M. Worboys (Eds.), Spatial Information Theory: 10th International Conference, COSIT 2011, Belfast, ME, USA (1 ed., pp. 210-230). Springer Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23196-4_12
Schultz, C. P. L. & Bhatt, M. (2011). TOWARD ACCESSING SPATIAL STRUCTURE FROM BUILDING INFORMATION MODELS. In Proceedings of 28th Urban Data Management Symposium (pp. 25-30). CRC Press, Taylor & Francis Group. https://www.int-arch-photogramm-remote-sens-spatial-inf-sci.net/XXXVIII-4-C21/25/2011/isprsarchives-XXXVIII-4-C21-25-2011.pdf
Schultz, C. P. L. & Bhatt, M. (2012). Towards a Declarative Spatial Reasoning System. In Proceeding ECAI'12 Proceedings of the 20th European Conference on Artificial Intelligence (pp. 925-926). IOS Press. https://doi.org/10.3233/978-1-61499-098-7-925
Schultz, C. P. L. & Bhatt, M. (2013). InSpace3D: A Middleware for Built Environment Data Access and Analytics. In 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 (Eds.), Procedia Computer Science (Vol. 18, pp. 80-89) https://doi.org/10.1016/j.procs.2013.05.171
Gondorf, C., Schultz, C. P. L. & Bhatt, M. (2014). Qualitative Eye-Tracking Analyses of Problem Solving Strategies in Children with Dyslexia. In CILC2

Displaying results 701 to 750 out of 1030

Previous

11

12

13

14

15

16

17

18

19

20

Next

Revised 13.11.2025
-
AU Engineering