Research Output 2003 2019

Filter
Journal article
2019
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

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
19 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

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
2018

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
Electricity
Monitoring
Fault detection
Ventilation
Energy utilization

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

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
2017
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
106 Downloads (Pure)

Middleware Challenges for Cyber-Physical Systems

Mohamed, N., Al-Jaroodi, J., Lazarova-Molnar, S. & Jawhar, I., 2017, In : Scalable Computing. Practice and Experience. 18, 4, p. 331-346

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Middleware
Cyber Physical System
Computer hardware
Large scale systems
Availability
106 Downloads (Pure)

On the Pragmatic Design of Literature Studies in Software Engineering: An Experience-based Guideline

Kuhrmann, M., Méndez Fernández, D. & Daneva, M., 2017, In : Empirical Software Engineering. 22, 6, p. 2852–2891

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Software engineering
Blueprints
2016

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., 11. Aug 2016, In : The Journal of Systems and Software. 121, p. 49-71

Research output: Contribution to journalJournal articleResearchpeer-review

Engineers

Global Software Engineering: An Industry Perspective

Ebert, C., Kuhrmann, M. & Prikladnicki, R., Jan 2016, In : I E E E Software. 33, 1, p. 105-108

Research output: Contribution to journalJournal articleResearchpeer-review

Software engineering
Outsourcing
Industry
Technology transfer
Supply chains

Rule-based Dynamic Safety Monitoring for Mobile Robots

Adam, M. S., Larsen, M., Jensen, K. & Schultz, U. P., Jul 2016, In : Journal of Software Engineering for Robotics. 7, 1, p. 120-141

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
Mobile robots
Monitoring
Robotics
Robots
114 Downloads (Pure)

Software Process Improvement: A systematic mapping study on the state of the art

Kuhrmann, M., Diebold, P. & Münch, J., May 2016, In : PeerJ Computer Science. 38 p., 62.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Industry
2014

Improving UX work in scrum development: A three-year follow-up study in a company

Kuusinen, K., 1. Jan 2014, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8742, p. 259-266 8 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Industry
Process Improvement
User Experience
Timing
Software
2013

Offshore insourcing in software development: Structuring the decision-making process

Šmite, D., Wohlin, C., Aurum, A., Jabangwe, R. & Numminen, E., 1. Apr 2013, In : Journal of Systems and Software. 86, 4, p. 1054-1067 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Software engineering
Decision making
Industry
Managers
Costs
2012

Control-flow analysis of functional programs

Midtgaard, J., 1. Jun 2012, In : ACM Computing Surveys. 44, 3, 10.

Research output: Contribution to journalJournal articleResearchpeer-review

Flow Control
Flow control
Approximation
Formulation

Control-flow analysis of function calls and returns by abstract interpretation

Midtgaard, J. & Jensen, T. P., 1. Feb 2012, In : Information and Computation. 211, p. 49-76 28 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
Abstract Interpretation
Flow Control
Flow control
Galois Connection
Abstract Machines

Improving students with rubric-based self-assessment and oral feedback

Barney, S., Khurum, M., Petersen, K., Unterkalmsteiner, M. & Jabangwe, R., 1. Jan 2012, In : IEEE Transactions on Education. 55, 3, p. 319-325 7 p., 6069828.

Research output: Contribution to journalJournal articleResearchpeer-review

Students
Feedback
Requirements engineering
Software engineering
Experiments

Simulation-based feature selection for software requirements baseline

Mizouni, R. & Lazarova-Molnar, S., 23. Aug 2012, In : Journal of Software. 7, 7, p. 1440-1450 11 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Feature extraction
Managers
Customer satisfaction
Application programs
Availability
2011

A combination of compositional index and genetic algorithm for predicting transmembrane helical segments

Zaki, N., Bouktif, S. & Lazarova-Molnar, S., 1. Aug 2011, In : PLOS ONE. 6, 7, e21821.

Research output: Contribution to journalJournal articleResearchpeer-review

amino acid sequences
Genetic algorithms
topology
Amino Acids
Proteins
2009

Protein-protein interaction based on pairwise similarity

Zaki, N., Lazarova-Molnar, S., El-Hajj, W. & Campbell, P., 17. May 2009, In : BMC Bioinformatics. 10, 150.

Research output: Contribution to journalJournal articleResearchpeer-review

Protein-protein Interaction
Pairwise
Proteins
Protein
Protein Sequence
2007

Predicate diagrams for the verification of real-time systems

Kang, E-Y. & Merz, S., 2007, In : Formal Aspects of Computing.

Research output: Contribution to journalJournal articleResearchpeer-review

2006

Predicate diagrams for the verification of real-time systems

Kang, E-Y. & Merz, S., 2006, In : Electronic Notes in Theoretical Computer Science.

Research output: Contribution to journalJournal articleResearchpeer-review

2005

A functional correspondence between monadic evaluators and abstract machines for languages with computational effects

Ager, M. S., Danvy, O. & Midtgaard, J., 6. Sep 2005, In : Theoretical Computer Science. 342, 1, p. 149-172 24 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
Abstract Machines
Monads
Correspondence
Inspection
Calculus
2004

A functional correspondence between call-by-need evaluators and lazy abstract machines

Ager, M. S., Danvy, O. & Midtgaard, J., 15. Jun 2004, In : Information Processing Letters. 90, 5, p. 223-232 10 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Abstract Machines
Correspondence
Tuning
Continuation
Heap