Research Output 2003 2019

2019

Assessment of Building Intelligence Requirements for Real Time Performance Testing in Smart Buildings

Markoska, E., Jakica, N., Lazarova-Molnar, S. & Kragh, M. K., 1. Aug 2019, 2019 4th International Conference on Smart and Sustainable Technologies (SpliTech). Perković, T., Vukojević, K., Rodrigues, J. J. P. C., Nižetić, S., Patrono, L. & Šolić, P. (eds.). IEEE, 6 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Intelligent buildings
Testing
Metadata
Energy utilization
Monitoring
5 Downloads (Pure)

A survey of demand response adoption in retail stores DR control preferences, stakeholder engagement, and cross-national differences

Ma, Z., Kuusinen, K. & Kjærgaard, M. B., 22. Aug 2019, In : Energy Informatics. 2, 20 p., 8.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Cross-national
Demand response
Retail stores
Stakeholder engagement
Energy

Bringing Experience into the Classroom

Worm, T., 23. Oct 2019, Teaching for Active Learning. TAL 2018. Kjær, C., Hurford, D. & O'Niell, L. D. (eds.). University of Southern Denmark, p. 29-32

Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearchpeer-review

Project management
Planning

Collaborative data analytics for smart buildings: opportunities and models

Lazarova-Molnar, S. & Mohamed, N., 16. Jan 2019, In : Cluster Computing: The Journal of Networks, Software Tools and Applications. 22, Supplement. 1, p. 1065-1077

Research output: Contribution to journalJournal articleResearchpeer-review

Intelligent buildings
Fault detection
Failure analysis
Energy efficiency
Energy conservation
10 Downloads (Pure)
Open Access
File

Comparative evaluation of threshold modelling for smart buildings' performance testing

Markoska, E., 2019, 2018 Ninth International Green and Sustainable Computing Conference (IGSC).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Experiences of studying Attention through EEG in the Context of Review Tasks

Molléri, J., Jabangwe, I. N., Fotrousi, F. & Petersen, K., 15. Apr 2019, Proceedings of the Evaluation and Assessment on Software Engineering (EASE '19 ). New York: Association for Computing Machinery, p. 313-318

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Electroencephalography
Software engineering
Engineering research
Experiments
Engineering education

Formal verification of dynamic and stochastic behaviors for automotive systems

Huang, L., Liang, T. & Kang, E. Y., 2019, Proceedings - 2019 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019. IEEE, p. 11-20

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Specifications
Specification languages
Stochastic systems
Stochastic models
Clocks
19 Downloads (Pure)

Formal verification of safety & security related timing constraints for a cooperative automotive system

Huang, L. & Kang, E. Y., 2019, Fundamental Approaches to Software Engineering : - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Hähnle, R. & van der Aalst, W. (eds.). Springer, p. 210-227 (Lecture Notes in Computer Science, Vol. 11424 ). (Theoretical Computer Science and General Issues, Vol. 11424).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
Semantics
Specification languages
Clocks
Wireless networks
Accidents

Formal Verification Techniques for Architecture-based Embedded Systems in EAST-ADL

Kang, E-Y., Mar 2019, arXiv. 19 p.

Research output: Book/anthology/thesis/reportReportResearch

Open Access
Embedded systems
Specifications
Model checking
Trucks
Computer systems

Industry 4.0: Opportunities for enhancing energy efficiency in smart factories

Mohamed, N., Al-Jaroodi, J. & Lazarova-Molnar, S., 16. Sep 2019, Proceedings - 2019 IEEE International Systems Conference (SysCon). IEEE, Vol. 2019. 7 p. (Annual IEEE Systems Conference.).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Energy efficiency
Industrial plants
Industry
Gas emissions
Greenhouse gases

Industry-academy collaboration in teaching DevOps and continuous delivery to software engineering students: towards improved industrial relevance in higher education

Kuusinen, K. & Albertsen, S., 27. May 2019, Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training. Association for Computing Machinery, p. 23-27

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Software engineering
Teaching
Education
Students
Engineers

LEAF: Live building performance evaluation framework

Markoska, E. & Lazarova-Molnar, S., 2019, 2019 Fourth International Conference on Fog and Mobile Edge Computing (FMEC). p. 306-311

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Monitoring
Reusability
Testing
Metadata
Energy utilization
18 Downloads (Pure)

Leveraging the Capabilities of Industry 4.0 for Improving Energy Efficiency in Smart Factories

Mohamed, N., Al-Jaroodi, J. & Lazarova-Molnar, S., 1. Feb 2019, In : IEEE Access. 7, p. 18008-18020

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Energy efficiency
Industrial plants
Industry
Gas emissions
Greenhouse gases

Mining reading patterns from eye-tracking data: method and demonstration

Constantina Ioannou, Jabangwe, I. N., Andrea Burratin & Barbara Weber, 12. Oct 2019, In : Software and Systems Modeling. 18, 72, 25 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Software engineering
Demonstrations
Productivity
19 Downloads (Pure)

Reliability assessment in the context of industry 4.0: Data as a game changer

Lazarova-Molnar, S. & Mohamed, N., 2019, In : Procedia Computer Science. 151, p. 691-698

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File
Industry
Reliability analysis
Profitability
Repair
Communication

Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems

Huang, L., Liang, T. & Kang, E., 2019, Proceedings - 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019. IEEE Computer Society Press, p. 228-239

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Specifications
Specification languages
Cyber Physical System
Clocks
Semantics

Translating EAST-ADL/Stateflow Models into Probabilistic Verifiable Models: Statistical Verification of Vehicle Systems in EAST-ADL/Stateflow using UPPAAL Tools

Kang, E-Y., Chen, J., Ke, L. & Chen, S., Mar 2019, 51 p.

Research output: Book/anthology/thesis/reportReportResearch

Open Access
Embedded systems
Statistical methods
Semantics
Systems analysis
Statistical Models

Understanding the order of agile practice introduction: Comparing agile maturity models and practitioners’ experience

Nurdiani, I., Börstler, J., Fricker, S., Petersen, K. & Chatzipetrou, P., 1. Oct 2019, In : Journal of Systems and Software. 156, p. 1-20 20 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Industry

Usability requirements for smart buildings' performance testing solutions: A survey

Markoska, E. & Lazarova-Molnar, S., 2019, 2019 Fourth International Conference on Fog and Mobile Edge Computing, FMEC 2019. IEEE, p. 265-270

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Intelligent buildings
Testing
Managers
Visualization
Monitoring

XFG Language and its Profile for Modeling and Analysis of Energy-aware and real-timed behaviors

Kang, E-Y. & Schobbens, P-Y., Apr 2019, 36 p.

Research output: Book/anthology/thesis/reportReportResearch

Open Access
Synchronization
Specification languages
Interchanges
Communication
Specifications
2018

A Framework for Fully Automated Performance Testing for Smart Buildings

Markoska, E., Johansen, A. & Lazarova-Molnar, S., Oct 2018, Third International Congress on Information and Communication Technology: ICICT 2018, London. Yang, X-S., Sherratt, S., Dey, N. & Joshi, A. (eds.). Springer, p. 235-243 (Advances in Intelligent Systems and Computing, Vol. 797).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Intelligent buildings
Metadata
Testing
Energy utilization
Personnel

A large agile organization on its journey towards DevOps

Kuusinen, K., Balakumar, V., Jepsen, S. C., Larsen, S. H., Lemqvist, T. A., Muric, A., Nielsen, A. Ø. & Vestergaard, O., 18. Oct 2018, Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications: SEAA 2018. Bures, T. & Angelis, L. (eds.). IEEE, p. 60-63 8498186

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Software engineering
Industry
Gain control
Visibility
Feedback

A service-oriented middleware for cloud of things and fog computing supporting smart city applications

Mohamed, N., Al-Jaroodi, J., Lazarova-Molnar, S., Jawhar, I. & Mahmoud, S., 2018, 2017 IEEE SmartWorld Ubiquitous Intelligence and Computing, Advanced and Trusted Computed, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017 - Conference Proceedings. IEEE, p. 1-7 7 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Fog
Middleware
Smart city
Cloud computing
Education

A Workflow for Continuous Performance Testing in Smart Buildings

Markoska, E. & Lazarova-Molnar, S., 2018, Ambient Intelligence: 14th European Conference, AmI 2018, Proceedings. Kameas, A. & Stathis, K. (eds.). Springer, p. 54-59 (Lecture Notes in Computer Science, Vol. 11249). (Information Systems and Applications, incl. Internet/Web, and HCI, Vol. 11249).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Intelligent buildings
Testing

A zoning framework for enhanced smart building automation

Lazarova-Molnar, S. & Mohamed, N., 2018, Proceedings of the 2018 Winter Simulation Conference: Simulation for a Noble Cause. Rabe, M., Juan, A. A., Mustafee, N., Skoogh, A., Jain, S. & Johansson, B. (eds.). IEEE, p. 3977-3986 (Winter Simulation Conference. Proceedings).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Intelligent buildings
Zoning
Automation
Tuning
Cyber Physical System

Digital resemiotisation of financial counselling as social practice

Poulsen, S. V., Ernst, J. & Worm, T., 15. Sep 2018.

Research output: Contribution to conference without publisher/journalConference abstract for conferenceResearchpeer-review

Energy Cloud: Services for Smart Buildings

Mohamed, N., Al-Jaroodi, J. & Lazarova-Molnar, S., 2018, Sustainable Cloud and Energy Services: Principles and Practice. Rivera, W. (ed.). Springer, p. 117-134

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Intelligent buildings
Energy utilization
Energy management systems
Cloud computing
Air conditioning

Generative architecture for functional safety in computer vision

Mogensen, J. T. I., 2018, Syddansk Universitet. Det Tekniske Fakultet.

Research output: Book/anthology/thesis/reportPh.D. thesisResearch

Innovation initiatives in large software companies: A systematic mapping study: Journal-first selected article - Extended abstract

Edison, H., Wang, X., Jabangwe, R. & Abrahamsson, P., 2018, Proceedings of the 2018 International Conference on Software and System Process, ICSSP 2018. Association for Computing Machinery, p. 140-141

Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearchpeer-review

Innovation
Industry

Innovation Initiatives in Large Software Companies: A Systematic Mapping Study

Edison, H., Wang, X., Jabangwe, R. & Abrahamsson, P., 2018, In : Information and Software Technology. 95, p. 1-14

Research output: Contribution to journalJournal articleResearchpeer-review

Innovation
Industry
Internet

Literature review of flexibility attributes: A Flexibility Framework for Software Development

Jabangwe, I. N., Börstler, J. & Fricker, S. A., 1. Sep 2018, In : Journal of Software: Evolution and Process. 30, 9, 25 p., e1937.

Research output: Contribution to journalReviewResearchpeer-review

Software engineering

Message from International Workshop on Resource Brokering with Blockchain (RBchain 2018)

Rong, C., Makkes, M. X., Jaatun, M. G., Deventer, O. V., Hacker, T., Jabangwe, R., Li, C., Rellermeyer, J. S. & Worm, T., 27. Dec 2018, 2018 IEEE International Conference on Cloud Computing Technology and Science (CloudCom). IEEE, p. xxvii (Proceedings of the International Conference on Cloud Computing Technology and Science, CloudCom).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsCommunication

Electricity
Monitoring
Fault detection
Ventilation
Energy utilization
28 Downloads (Pure)

Process-Local Static Analysis of Synchronous Processes

Midtgaard, J., Nielson, F. & Nielson, H. R., 1. Jan 2018, Static Analysis: 25th International Symposium, SAS 2018, Proceedings. Podelski, A. (ed.). Springer, p. 284-305 (Lecture Notes in Computer Science, Vol. 11002). (Programming and Software Engineering, Vol. 11002).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
Message passing
Static analysis
Computer programming languages
Telecommunication networks
Explosions

QuickChecking Patricia Trees

Midtgaard, J., 2018, Trends in Functional Programming - 18th International Symposium, TFP 2017, Revised Selected Papers. Wang, M. & Owens, S. (eds.). Springer, p. 59-78 (Lecture Notes in Computer Science, Vol. 10788). (Theoretical Computer Science and General Issues, Vol. 10788).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Data Structures
Functional Data
Integer
Radar
Testing

Regulated software meets DevOps

Laukkarinen, T., Kuusinen, K. & Mikkonen, T., 2018, In : Information and Software Technology. 97, p. 176-178

Research output: Contribution to journalJournal articleResearchpeer-review

Software engineering
Pipelines

SMT-based Probabilistic Analysis of Timing Constraints in Cyber-Physical Systems

Kang, E-Y. & Huang, L., Oct 2018.

Research output: Contribution to conference without publisher/journalPosterResearchpeer-review

Surface mount technology
Cyber Physical System

Software engineering process models for mobile app development: a systematic literature review

Jabangwe, R., Edison, H. & Nguyen-Duc, A., 17. Aug 2018, In : The Journal of Systems and Software. 145, p. 98-111

Research output: Contribution to journalJournal articleResearchpeer-review

Application programs
Software engineering
Industry
Planning
Testing

Software security in agile software development: A literature review of challenges and solutions

Riisom, K. R., Hubel, M. S., Alradhi, H. M., Nielsen, N. B., Kuusinen, K. & Jabangwe, R., 1. Jan 2018, XP '18 Proceedings of the 19th International Conference on Agile Software Development: Companion. Association for Computing Machinery, 5 p. 5

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
Software engineering
Surges (fluid)
Security of data

Sustaining agile beyond adoption

Barroca, L., Gregory, P., Kuusinen, K., Sharp, H. & AlQaisi, R., Oct 2018, Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications : SEAA 2018. Bures, T. & Angelis, L. (eds.). IEEE, p. 22-25 8498180

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Terminology
Sustainable development
Software engineering
Industry

Towards Smart Buildings Performance Testing as a Service

Markoska, E. & Lazarova-Molnar, S., 31. May 2018, Proceedings of the 3rd International Conference on Fog and Mobile Edge Computing. IEEE, p. 277-282

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Intelligent buildings
Energy utilization
Testing

Value creation and delivery in agile software development: Overcoming stakeholder conflicts

Kuusinen, K., 2018, Global Thoughts, Local Designs: INTERACT 2017 IFIP TC 13 Workshops, Revised Selected Papers. Clemmensen, T., Rajamanickam, V., Dannenmann, P. & Petrie, H. (eds.). Springer VS, p. 123-129 (Lecture Notes in Computer Science, Vol. 10774).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Software engineering
Communication
Industry
2017

A Discrete-Event Simulation tool for decision support in selecting project scheduling strategies

Rasmussen, T. H., Hansen, N. & Lazarova-Molnar, S., 2017, Proceedings of the 7th International Conference on Modeling, Simulation, and Applied Optimization. IEEE Press, 5 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Dealing with conflicting user interface properties in user-centered development processes: IFIP WG 13.2 + 13.5 Workshop at INTERACT 2017

Winckler, M., Larusdottir, M., Kuusinen, K., Bogdan, C. & Palanque, P., 2017, Human-Computer Interaction – INTERACT 2017. Bernhaupt, R., Dalvi, G., Joshi, A., Balkrishan, D. K., O’Neill, J. & Winckler, M. (eds.). Springer, Vol. IV. p. 521-523 (Lecture Notes in Computer Science; No. 10516). (Information Systems and Applications, incl. Internet/Web, and HCI; No. 10516).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsCommunication

58 Downloads (Pure)

Declarative Rule-based Safety for Robotic Perception Systems

Mogensen, J. T. I., Kraft, D. & Schultz, U. P., 2017, In : Journal of Software Engineering for Robotics. 8, 1, p. 17-31

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Robotics
Robots
Mobile robots
Agriculture
Image quality

DSLs in robotics: A case study in programming self-reconfigurable robots

Schultz, U. P., Bordignon, M., Stoy, K., Nordmann, A., Hochgeschwender, N. & Wrede, S., 2017, Grand Timely Topics in Software Engineering: International Summer School GTTSE 2015, Tutorial Lectures. Cunha, J., Fernandes, J. P., Lämmel, R., Saraiva, J. & Zaytsev, V. (eds.). Springer, p. 98-123 (Lecture Notes in Computer Science, Vol. 10223).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

DSL
Robotics
Robots
Computer programming languages
Hardware

Explicit Image Quality Detection Rules for Functional Safety in Computer Vision

Mogensen, J. T. I., Kraft, D. & Schultz, U. P., 2017, Proceedings of the 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. Institute for Systems and Technologies of Information, Control and Communication, Vol. 6. p. 433-444

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Flexible software process lines in practice: A metamodel-based approach to effectively construct and manage families of software process models

Kuhrmann, M., Ternité, T., Friedrich, J., Rausch, A. & Broy, M., 21. Feb 2017, Software Engineering 2017. Jürjens, J. & Schneider, K. (eds.). Gesellschaft für Informatik (GI) e.V, p. 127-128 2 p. (Lecture Notes in Informatics, Vol. P-267).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
Engineers

Generative Programming for Functional Safety in Mobile Robots

Adam, M. S., 2017, Syddansk Universitet. Det Tekniske Fakultet. 352 p.

Research output: Book/anthology/thesis/reportPh.D. thesisResearch

Mobile robots
Spreadsheets
DSL
Robots
Specifications