A complete list of publications as registred in the Cristin system is provided on the pages of the individual researchers involved in the ICT engineering programme.

Selected recent publications

  • Mantz, G. Taentzer, Y. Lamo, and Uwe Wolter. Co-evolving meta-models and their instance models: A formal approach based on graph transformation. In Vol. 104 of Science of Computer Programming, pp. 2-43, Elsevier, 2015. Periodical.
  • Wang, A. Rutle, and Y. Lamo. Towards user-friendly and efficient analysis with Alloy. To appear in Proceedings of 12th Workshop on Model Driven Engineering Verification and Validation, CEUR Workshop Proceedings. Periodical.
  • Rabbi, Y. Lamo, I. Yu, and L. M. Kristensen. A diagrammatic approach to model completion. To appear in Proceedings of 4th Workshop on Analysis of Model Transformations, CEUR Workshop Proceedings. Periodical.
  • Jensen and L. M. Kristensen. Coloured Petri Nets: A Graphical Language for Formal Modelling of Concurrent Systems. In Vol. 58, No. 6 of Communications of the ACM, pp. 61-70, ACM Press, 2015. Periodical.
  • Simonsen, L. M. Kristensen, and E. Kindler. Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. Proceedings of PNSE´15, International Workshop on Petri Nets and Software Engineering, in Vol. 1372 of CEUR Workshop Proceedings, pp. 79-98, 2015. Periodical.
  • Kumar, A. Prinz, and L .M. Kristensen. Model-based Verification of teh DMAMAC Protocol for Real-time Process Control. Proceedings of 9th Workshop on Verification and Evaluation of Computer and Communication Systems. In Vol. 1431 of CEUR Workshop Proceedings, pp. 81-96, 2015. Periodical.
  • Rutle, K. I. F. Simonsen, H. G. Schaathun, and R. Kirchhoff. Model-Driven Software Engineering in Practice: a Content Analysis Software for Health Reform Agreements. In Vol. 63 of Procedia Computer Science, pp. 545-552, Elsevier, 2015. Periodical.
  • I. Pun, M. Steffen, and V. Stolz. Deadlock Checking by Data Race Detection. In Vol. 83, No. 5-6 of Journal of Logical and Algebraic Methods in Programming, pp. 400-426. Elsevier, 2014, Periodical.
  • Øvsthus, E. Nilsen, A.-L. Kampen, and Ø. Kure. Modelling the Optimal Link Length in Wireless Sensor Networks for Two Different Media Access Protocols. In Vol. 185 of Sensors & Transducers Journal, pp. 21-28, IFSA, 2015. Periodical.
  • Kumar, K. Øvstshus, and L. M. Kristensen. Simulation-based Evaluation of DMAMAC – A Dual-Model Adaptive MAC Protocol for Process Control. SimuTools, 2015.
  • E. Danielsen, M. G. Parker, C. Riera, and J. G. Knudsen. On graphs and codes preserved by edge local complementation. In Vol. 74, No. 3 of Designs, Codes and Cryptography, pp. 601-621, Springer, 2015. Periodical.
  • Marcinkowski, T. Rahman, A. Loneland, and J. Valdman. Additive Schwarz preconditioner for the general finite volume element discretization of symmetric elliptic problems. To appear in BIT Numerical Mathematics. Periodical.
  • Loneland, L. Marcinkowski, and T. Rahman. Additive average Schwarz method for a Crouzeix-Raviart Finite Volume Element Discretization of Elliptic Problems with Heterogeneous Coefficients. To appear in Numerische Mathematik. Periodical.
  • Marcinkowski and T. Rahman. Schwarz Preconditioner with face based coarse space for multiscale elliptic problems in 3D. Accepted in PPAM2015, to appear in Lecture Notes in Computer Science, Springer. Periodical.
  • Ebrahimi-Fard, A. Lundervold, and H. Z. Munthe-Kaas. On the Lie enveloping algebra of a post-Lie algebra. In Vol. 25, No. 4, of Journal of Lie Theory, pp. 1139-1165, Heldermann, 2015. Periodical.
  • Verdier, H. Xue, and A. Zanna. A classification of volume preserving generating forms in R³. To appear in Discrete and Continuous Dynamical Systems, AIMS. Periodical.
  • I. McLachlan, K. Modin, and O. Verdier. A minimal coordinate symplectic integrator on spheres, to appear in Mathematics of Computation, AMS. Periodical.
  • Korotov, A. Plaza, and J. Suarez. On the maximum angle condition for the conforming longest-edge n-section algorithm for large values of n. In Vol. 32 of Computer Aided Geometric Design, pp. 69-73, Elsevier, 2015. Periodical.
  • Karatson and S. Korotov. Some discrete maximum principles arising for nonlinear elliptic finite element problems. To appear in Computers and Mathematics with Applications (in press), Elsevier, 2015. Periodical.
  • Adam et al. [ALICE Collaboration] (… J. Alme, H. Helstrup, K. F. Hetland, B. Kileng, ∼ 1000 authors). Inclusive, prompt and non-prompt J/ψ production at mid-rapidity in Pb-Pb collisions at = 2.76 TeV. In Journal of High Energy Physics 1507 (2015) 051. Periodical.
  • Adam et al. [ALICE Collaboration] (… J. Alme, H. Helstrup, K. F. Hetland, B. Kileng, ∼ 1000 authors). Rapidity and transverse-momentum dependence of the inclusive J/ψ nuclear modification factor in p-Pb collisions at 5.02 TeV. Journal of High Energy Physics 1506 (2015) 055. Periodical.
  • Akila, N. Muthukumarasamy, D. Velauthapillai, S. Agilan, T. S. Senthil, and S. Senthilarasu. Natural dye sensitized TiO2 nanorods assembly of broccoli shape based solar cells. In Vol. 148 of Journal of Photochemistry and Photobiology. B: Biology, pp. 223-231, Elsevier, 2015. Periodical.
  • Raja, N. Muthukumarasamy, D. Velauthapillai, R. Balasundrapraphu, T. S. Senthil, and S. Agilan. Enhanced photovoltaic performance of quantum dot-sensitized solar cell fabricated using Al-doped ZnO nanorod electrode. In Vol. 80 of Superlattices and Microstructures, pp. 53-62, Elsevier, 2015. Periodical.