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

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

Bhatt, M. & Schultz, C. P. L. (2014). PEOPLE-CENTERED SPATIAL DESIGN: ON VISUO-SPATIAL COGNITION IN THE BUILT ENVIRONMENT. In INTERNATIONAL CONFERENCE ON HUMAN BEHAVIOR IN DESIGN https://doi.org/10.13140/2.1.4184.8327

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. In 14th International Conference on Principles of Knowledge Representation and Reasonin

Schultz, C. P. L. & Bhatt, M. (2014). Declarative Spatial Reasoning with Boolean Combinations of Axis-Aligned Rectangular Polytopes. In ECAI 2014 (Vol. 263, pp. 795-800) https://doi.org/10.3233/978-1-61499-419-0-795

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

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

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

Bhatt, M., Suchan, J., Schultz, C. P. L., Kondyli, V. & Goyal, S. (2016). Artificial Intelligence for Predictive and Evidence Based Architecture Design. In 30th AAAI Conference on Artificial Intelligence, AAAI 2016 (pp. 4349-4350) file:///C:/Users/au564491/Downloads/12431-56479-1-PB.pdf

Schultz, C. P. L. & Bhatt, M. (2016). A Numerical Optimisation Based Characterisation of Spatial Reasoning. In Rule Technologies: Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Proceedings (pp. 199-207). Springer. https://doi.org/10.1007/978-3-319-42019-6 13

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

Boudjadar, J. (2017). An Efficient Energy-driven Scheduling of DVFS-Multicore Systems with a Hierarchy of Shared Memories. In Proceedings - 2017 IEEE/ACM 21st International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2017: DS-RT 2017 (pp. 1-8). IEEE. https://doi.org/10.1109/DISTRA.2017.8167661

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

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

Krukar, J., Schultz, C. P. L. & Bhatt, M. (2017). Towards Embodied 3D Isovists: Incorporating cognitively-motivated semantics of `space’ and the architectural environment in 3D visibility analysis. In T. Heitor, M. Serra, J. Pinelo Silva, M. Bacharel & L. Cannas da Silva (Eds.), Proceedings - 11th International Space Syntax Symposium, SSS 2017 (pp. 2549-2561). Article #166 Instituto Superior Técnico, Departamento de Engenharia Civil, Arquitetura e Georrecursos, Portugal. http://www.11ssslisbon.pt/docs/book-proceedings-05072017.pdf

Bennett, R., Gerke, M., Crompvoets, J., Ho, S., Schwering, A., Chipofya, M., Schultz, C. P. L., Sein, T., Birado, M., Alemie, B., Wayumba, R., Kundert, K., Crommelinck, S. & Stöcker, C. (2017). Building Third Generation Land Tools: Its4land, Smart Sketchmaps, UAVs, Automatic Feature Extraction, and the GeoCloud. Paper presented at Land and Poverty Conference 2017, Washington, District of Columbia, United States. file:///C:/Users/au564491/Downloads/11-07-Bennett-288_paper.pdf

Chipofya, M., Jan, S., Schultz, C. P. L. & Schwering, A. (2017). Towards Smart Sketch Maps for Community-driven Land Tenure Recording Activities. Paper presented at 20th AGILE International Conference on Geographic Information Science, Wageningen, Netherlands. https://agile-online.org/images/conference_2017/Proceedings2017/shortpapers/155_ShortPaper_in_PDF.pdf

Displaying results 651 to 700 out of 931

Back to the main page

Revised 10.08.2023

AU Engineering