Publikationer 2003 2019

Filtrer
Tidsskriftartikel
2019

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

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

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
2018

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

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

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

Middleware Challenges for Cyber-Physical Systems

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
Middleware
Cyber Physical System
Computer hardware
Large scale systems
Availability
89 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, I : Empirical Software Engineering. 22, 6, s. 2852–2891

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
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, I : The Journal of Systems and Software. 121, s. 49-71

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Engineers

Global Software Engineering: An Industry Perspective

Ebert, C., Kuhrmann, M. & Prikladnicki, R., jan. 2016, I : I E E E Software. 33, 1, s. 105-108

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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, I : Journal of Software Engineering for Robotics. 7, 1, s. 120-141

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Mobile robots
Monitoring
Robotics
Robots
95 Downloads (Pure)

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

Kuhrmann, M., Diebold, P. & Münch, J., maj 2016, I : PeerJ Computer Science. 38 s., 62.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
Industry
2014
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, I : Journal of Systems and Software. 86, 4, s. 1054-1067 14 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Software engineering
Decision making
Industry
Managers
Costs
2012

Control-flow analysis of functional programs

Midtgaard, J., 1. jun. 2012, I : ACM Computing Surveys. 44, 3, 10.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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, I : Information and Computation. 211, s. 49-76 28 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
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, I : IEEE Transactions on Education. 55, 3, s. 319-325 7 s., 6069828.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Students
Feedback
Requirements engineering
Software engineering
Experiments

Simulation-based feature selection for software requirements baseline

Mizouni, R. & Lazarova-Molnar, S., 23. aug. 2012, I : Journal of Software. 7, 7, s. 1440-1450 11 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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, I : PLOS ONE. 6, 7, e21821.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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. maj 2009, I : BMC Bioinformatics. 10, 150.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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, I : Formal Aspects of Computing.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2006

Predicate diagrams for the verification of real-time systems

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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, I : Theoretical Computer Science. 342, 1, s. 149-172 24 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
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, I : Information Processing Letters. 90, 5, s. 223-232 10 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Abstract Machines
Correspondence
Tuning
Continuation
Heap