Publikationer 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. (red.). IEEE, 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Intelligent buildings
Testing
Metadata
Energy utilization
Monitoring

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, I : Energy Informatics. 2, 20 s., 8.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Cross-national
Demand response
Retail stores
Stakeholder engagement
Energy

Collaborative data analytics for smart buildings: opportunities and models

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Intelligent buildings
Fault detection
Failure analysis
Energy efficiency
Energy conservation
4 Downloads (Pure)
Åben adgang
Fil

Comparative evaluation of threshold modelling for smart buildings' performance testing

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

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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, s. 313-318

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Electroencephalography
Software engineering
Engineering research
Experiments
Engineering education

Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems

Kang, E., Liang, T. & Huang, L., 28. okt. 2019, 24th International Conference on Engineering of Complex Computer Systems (ICECCS). IEEE Xplore, s. 11-20 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Specifications
Specification languages
Stochastic systems
Stochastic models
Clocks
15 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. (red.). Springer, s. 210-227 (Lecture Notes in Computer Science, Bind 11424 ). (Theoretical Computer Science and General Issues, Bind 11424).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil
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 s.

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
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, Bind 2019. 7 s. (Annual IEEE Systems Conference.).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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. maj 2019, Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training. Association for Computing Machinery, s. 23-27

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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). s. 306-311

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Monitoring
Reusability
Testing
Metadata
Energy utilization

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, I : IEEE Access. 7, s. 18008-18020

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
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. okt. 2019, I : Software and Systems Modeling. 18, 72, 25 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Software engineering
Demonstrations
Productivity
7 Downloads (Pure)

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

Lazarova-Molnar, S. & Mohamed, N., 1. jan. 2019, I : Procedia Computer Science. 151, s. 691-698 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil
Industry
Reliability analysis
Profitability
Repair
Communication

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

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

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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 s.

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
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. okt. 2019, I : Journal of Systems and Software. 156, s. 1-20 20 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Industry

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

Markoska, E. & Lazarova-Molnar, S., 1. jun. 2019, 2019 4th International Conference on Fog and Mobile Edge Computing, FMEC 2019. IEEE, s. 265-270 (2019 4th International Conference on Fog and Mobile Edge Computing, FMEC 2019).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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 s.

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
Synchronization
Specification languages
Interchanges
Communication
Specifications
2018

A Framework for Fully Automated Performance Testing for Smart Buildings

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

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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. okt. 2018, Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications: SEAA 2018. Bures, T. & Angelis, L. (red.). IEEE, s. 60-63 8498186

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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, s. 1-7 7 s.

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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. (red.). Springer, s. 54-59 (Lecture Notes in Computer Science, Bind 11249). (Information Systems and Applications, incl. Internet/Web, and HCI, Bind 11249).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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. (red.). IEEE, s. 3977-3986 (Winter Simulation Conference. Proceedings).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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.

Publikation: Konferencebidrag uden forlag/tidsskriftKonferenceabstrakt til konferenceForskningpeer 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. (red.). Springer, s. 117-134

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingBidrag til bog/antologiForskningpeer 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.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Innovation Initiatives in Large Software Companies: A Systematic Mapping Study

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Innovation
Industry
Internet

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, s. 140-141

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferenceabstrakt i proceedingsForskningpeer review

Innovation
Industry

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

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

Publikation: Bidrag til tidsskriftReviewForskningpeer 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, s. xxvii (Proceedings of the International Conference on Cloud Computing Technology and Science, CloudCom).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsFormidling

Electricity
Monitoring
Fault detection
Ventilation
Energy utilization
22 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. (red.). Springer, s. 284-305 (Lecture Notes in Computer Science, Bind 11002). (Programming and Software Engineering, Bind 11002).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil
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. (red.). Springer, s. 59-78 (Lecture Notes in Computer Science, Bind 10788). (Theoretical Computer Science and General Issues, Bind 10788).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Data Structures
Functional Data
Integer
Radar
Testing

Regulated software meets DevOps

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Software engineering
Pipelines

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

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

Publikation: Konferencebidrag uden forlag/tidsskriftPosterForskningpeer 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, I : The Journal of Systems and Software. 145, s. 98-111

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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 s. 5

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Software engineering
Surges (fluid)
Security of data

Sustaining agile beyond adoption

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

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Terminology
Sustainable development
Software engineering
Industry

Towards Smart Buildings Performance Testing as a Service

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

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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. (red.). Springer VS, s. 123-129 (Lecture Notes in Computer Science, Bind 10774).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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 s.

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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. (red.). Springer, Bind IV. s. 521-523 (Lecture Notes in Computer Science; Nr. 10516). (Information Systems and Applications, incl. Internet/Web, and HCI; Nr. 10516).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsFormidling

57 Downloads (Pure)

Declarative Rule-based Safety for Robotic Perception Systems

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
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. (red.). Springer, s. 98-123 (Lecture Notes in Computer Science, Bind 10223).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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, Bind 6. s. 433-444

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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. (red.). Gesellschaft für Informatik (GI) e.V, s. 127-128 2 s. (Lecture Notes in Informatics, Bind P-267).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Engineers

Generative Programming for Functional Safety in Mobile Robots

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Mobile robots
Spreadsheets
DSL
Robots
Specifications

HELENA stage 2—danish overview

Tell, P., Pfeiffer, R. H. & Schultz, U. P., 2017, Product-Focused Software Process Improvement: 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29–December 1, 2017, Proceedings. Felderer, M., Méndez Fernández, D., Turhan, B., Kalinowski, M., Sarro, F. & Winkler, D. (red.). Springer, s. 420-427 (Lecture Notes in Computer Science, Bind 10611).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Software engineering
Industry