Institut for Elektro- og Computerteknologi

Aarhus Universitets segl

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ér efter: Dato | Forfatter | Titel

Bodeveix, J.-P., Boudjadar, J. & Filali, M. (2011). An Alternative Definition for Timed Automata Composition. I Automated Technology for Verification and Analysis (s. 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. I Software Composition (s. 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. I Temporal Representation and Reasoning (TIME), 2012 19th International Symposium on (s. 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. I J. Bendisposto, C. Jones, M. Leuschel, A. Romanovsky, T. Margaria, J. Padberg & G. Taentzer (red.), 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. I T. Gibson-Robinson, P. Hopcroft & R. Lazić (red.), Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday (s. 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. I F. Arbab & M. Sirjani (red.), 5th IPM International Conference on Fundamentals of Software Engineering (s. 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. I Formal Aspects of Component Software (s. 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. I 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. I 2014 26th Euromicro Conference on Real-Time Systems (s. 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. I 2014 Theoretical Aspects of Software Engineering Conference (s. 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. I Formal Aspects of Component Software (s. 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. I Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering (Bind 1294, s. 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. I Component-Based Software Engineering (CBSE), 2015 18th International ACM SIGSOFT Symposium on (s. 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. I 2015 IEEE 18th International Symposium on Real-Time Distributed Computing (s. 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. I P. C. Ölveczky & C. Artho (red.), Formal Techniques for Safety-Critical Systems - 4th International Workshop, FTSCS 2015, Revised Selected Papers (s. 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. I 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. I 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. I 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016 (s. 105-114). Artikel 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. I 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. I Proceedings of the Spatial and Temporal Reasoning AAAI Workshop: Technical report WS-07-12 (s. 34-39)
Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2008). Development Framework for Qualitative Spatial and Temporal Reasoning Systems. I 2008 AAAI Workshop (s. 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. I Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence: IJCAI-09 Contents (s. 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). I Proceedings of the 2nd ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness (s. 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. I Computational Models of Narrative 2013 (s. 24-29) https://arxiv.org/pdf/1306.5308.pdf
Schultz, C. P. L. & Bhatt, M. (2013). Declarative Computing with Shapes, and their Shadows. I 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. I 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. 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
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). 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
Schultz, C. P. L. & Bhatt, M. (2016). Constructive Geometric Constraint Solving as a General Framework for KR-Based Commonsense Spatial Reasoning. I 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. I 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. I 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. I Proceeding CHINZ '06 Proceedings of the 7th ACM SIGCHI New Zealand chapter's international conference on Computer-human interaction: design centered HCI (s. 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. I A. Riedl, W. Kainz & G. A. Elmes (red.), Progress in Spatial Data Handling: 12th International Symposium on Spatial Data Handling (1 udg., s. 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. I Proceedings of the Fifth New Zealand Computer Science Research Student Conference (NZCSRSC-07 (s. 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. I 24th CIB W78 Conference (s. 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. I Fuzzy Systems Conference, 2007. FUZZ-IEEE 2007. IEEE International (s. 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. I J. Holland, A. Nicholas & D. Brignoli (red.), New Zealand Computer Science Research Student Conference (s. 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. I Proceedings of the Twenty-Second International FLAIRS Conference (2009) (s. 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. I B. Nebel & S. Wölfl (red.), Papers from the 2009 AAAI Spring Symposium: Technical Report SS-09-02 (s. 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. I J. Li (red.), AI 2010: Advances in Artificial Intelligence: 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings (s. 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. I Visual Languages and Human-Centric Computing (VL/HCC), 2012 IEEE Symposium on (s. 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. I M. J. Egenhofer, N. Giudice, R. Moratz & M. Worboys (red.), Spatial Information Theory: 10th International Conference, COSIT 2011, Belfast, ME, USA (1 udg., s. 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. I Proceedings of 28th Urban Data Management Symposium (s. 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. I Proceeding ECAI'12 Proceedings of the 20th European Conference on Artificial Intelligence (s. 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. I 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 (red.), Procedia Computer Science (Bind 18, s. 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. I CILC2

Viser resultater 701 til 750 ud af 1030

Forrige

11

12

13

14

15

16

17

18

19

20

Næste

Revideret 13.11.2025
-
AU Engineering