Found 1574 scientific publications (published or accepted for publication in forums with peer review).
Simula has implemented a set of publication guidelines based on the Vancouver Convention, which are enforced for all publications available in our online database.
A. Arcuri and G. Fraser. Continuous Test Generation: Enhancing Continuous Integration With Automated Test Generation, In: conference, 2014.
J. Pablo, G. Fraser, and A. Arcuri. Higher Coverage with Combined Search-based and Constraint-based Test Suite Generation, In: submitted to conference, 2014.
M. Larson and F. Bengzon. The finite element method: theory, implementation, and applications, Springer Verlag(ISBN: 978-3-642-33286-9), 2013.
L. Böszörményi and P. Halvorsen. Proceeding of the 23rd ACM Workshop on Network and Operating Systems Support for Digital Audio and Video (NOSSDAV'13), ACM(ISBN: 978-1-4503-1892-1), 2013.
T. Gillberg. Fast and accurate front propagation for simulation of geological folds, PhD thesis, University of Oslo, P.O box 1080 Blindern 0316 OSLO Norway, 2013.
Articles in International Journals
S. Ali, M. Z. Iqbal, A. Arcuri, and L. Briand. Generating Test Data from OCL Constraints with Search Techniques, Accepted for publication in IEEE Transactions on Software Engineering, 2013.
A. Arcuri, G. Fraser, and A. Zeller. Search-Based Testing: The Swiss Army Knife of Test Generation, , 2013.
R. Behjati, T. Yue, L. Briand, and B. Selic. SimPL: A Product-Line Modeling Methodology for Families of Integrated Control Systems, Information and Software Technology, 55(3):607–629, 2013.
L. Briand, D. Falessi, S. Nejati, M. Sabetzadeh, and T. Yue. Traceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment, Accepted for publication in ACM Transactions on Software Engineering and Methodology (TOSEM), 2013.
J. Chai, J. E. Hake, N. Wu, M. Wen, X. Cai, G. T. Lines, J. Yang, H. Su, C. Zhang, and X. Liao. Towards simulation of subcellular calcium dynamics at nanometre resolution, Accepted for publication in International Journal of High Performance Computing Applications, 2013.
J. Chai, H. Su, M. Wen, X. Cai, N. Wu, and C. Zhang. Resource-efficient utilization of CPU/GPU-based heterogeneous supercomputers for Bayesian phylogenetic inference, The Journal of Supercomputing 66(1):364-380, 2013.
J. Chai, M. Wen, N. Wu, D. Huang, J. Yang, X. Cai, C. Zhang, and Q. Yang. Simulating cardiac electrophysiology in the era of GPU-cluster computing, IEICE Transactions on Information and Systems E96-D(12):2587-2595, 2013.
O. Elvetun and B. F. Nielsen. A general and effective solution method for PDE-constrained optimization problems with box constraints, Submitted to journal for publication, 2013.
O. Elvetun and B. F. Nielsen. The split Bregman algorithm applied to PDE-constrained optimization problems with total variation regularization, Submitted to journal for publication, 2013.
J. Escudero-Sahuquillo, P. J. García, F. J. Quiles, Sven-A. Reinemo, T. Skeie, O. Lysne, and J. Duato. A New Proposal to Deal with Congestion in InfiniBand-based Fat-Trees, Accepted for publication in Journal of Parallel and Distributed Computing, 2013.
Ø. Evju, K. Valen-Sendstad, and Kent-A. Mardal. A study of wall shear stress in 12 aneurysms with respect to different viscosity models and flow conditions, Journal of Biomechanics 46(16):2802-2808, 2013.
G. Fraser and A. Arcuri. Choosing a Sound Case Study for Software Testing Research, journal, 2013.
G. Fraser and A. Arcuri. 1600 Faults in 100 Projects: Automatically Finding Faults While Achieving High Coverage with EvoSuite. , Accepted for publication in Empirical Software Engineering, 2013.
G. Fraser, A. Arcuri, and P. McMinn. A Memetic Algorithm for Whole Test Suite Generation, Submitted to submitted to journal, 2013.
M. Frisk, J. Koivumäki, P. A. Norseng, M. Maleckar, O. M. Sejersted, and W. E. Louch. Variable t-tubule organization and Ca2+ homeostasis across the atria, Submitted to Circulation Research, 2013.
P. R. Grønsund, O. Grøndalen, and M. Lähteenoja. Business Case Evaluations for LTE Network Offloading with Cognitive Femtocells, Telecommunications Policy Journal 37(2-3):140-153, 2013.
Ø. Hjelle, S. A. Petersen, and A. M. Bruaset. A Numerical Framework for Modelling Folds in Structural Geology, Mathematical Geosciences 45(3):255-276, 2013.
Z. Iqbal, A. Arcuri, and L. Briand. Environment Modeling and Simulation for Automated Testing of Soft Real-Time Embedded Software, Accepted for publication in Software and Systems Modeling, 2013.
M. Jørgensen. When is a low bid price a threat and when an opportunity for your project? Analyzing projects in an online marketplace for outsourcing software development, Submitted to a journal, 2013.
M. Jørgensen. Relative Estimation of Software Development Effort: It Matters With What and How You Compare , IEEE Software(March):74-79, 2013.
M. Jørgensen. Failure Factors of Software Projects at a Global Outsourcing Marketplace, Submitted to a journal, 2013.
M. Jørgensen. The Influence of Selection Bias on Effort Overruns in Software Development Projects, Information and Software Technology 55(9):1640-1650, 2013.
J. Koivumäki, G. Seemann, M. Maleckar, and P. Tavi. In silico screening of the key cellular remodeling targets in chronic atrial fibrillation, Submitted to PLoS Comput Biol, 2013.
L. C. Lee, S. Wall, D. Klepach, L. Ge, Z. Zhang, R. Lee, A. Hinson, J. H. Gorman, R. Gorman, and J. Guccione. Algisyl-LVR with coronary artery bypass grafting reduces left ventricular wall stress and improves function in the failing human heart, International Journal of Cardiology 168(3):2022-2028, 2013.
Kent-A. Mardal, G. Rutkowska, S. Linge, and V. Haughton. Estimation of CSF Flow Resistance in the Upper Cervical Spine, The Neuroradiology journal 3(2):49-53, 2013.
Kent-A. Mardal, J. Schoberl, and R. Winther. A uniformly stable Fortin operator for the Taylor–Hood element, Numerische Mathematik 123(3):537-551, 2013.
L. Moonen. Towards Evidence-Based Recommendations to Guide the Evolution of Component-Based Product Families, Accepted for publication in Science of Computer Programming, 2013.
B. F. Nielsen and Kent-A. Mardal. Analysis of the Minimal Residual Method applied to ill-posed optimality systems, SIAM Journal on Scientific Computing 35(2):A785-A814, 2013.
B. F. Nielsen, M. Lysaker, and P. Grøttum. Computing ischemic regions in the heart with the bidomain model; first steps towards validation, IEEE Transactions on Medical Imaging 32(6):1085-1096, 2013.
B. F. Nielsen, L. Shiau, and J. Wyller. Stability analysis of the initial value problem for the Wilson-Cowan model, Submitted to journal for publication, 2013.
B. L. d. Oliveira, B. M. Rocha, L. P. d. S. Barra, E. M. Toledo, J. Sundnes, and R. W. dos Santos. Effects of deformation on transmural dispersion of repolarization using in silico models of human left ventricular wedge, Accepted for publication in International Journal for Numerical Methods in Biomedical Engineering , 2013.
M. E. Rognes and A. Logg. Automated goal-oriented error control I: Stationary variational problems, SIAM Journal on Scientific Computing 35(3):173–193, 2013.
M. Sabetzadeh, D. Falessi, L. Briand, and S. Di Alesio. A Goal-Based Approach for Qualification of New Technologies: Foundations, Tool Support, and Industrial Validation, Accepted for publication in Reliability Engineering & System Safety, 2013.
F. O. Sem-Jacobsen, S. Rodrigo Mocholi, T. Skeie, A. Strano, and D. Bertozzi. An Efficient, Low-Cost Routing Framework for Convex Mesh Partitions to Support Virtualisation, ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Wireless Health Systems, On-Chip and Off-Chip Network Architectures 12(4), 2013.
F. O. Sem-Jacobsen, S. Rodrigo Mocholi, A. Strano, T. Skeie, D. Bertozzi, and F. Gilabert. Enabling Power Efficiency through Dynamic Rerouting On-Chip, ACM Transactions on Embedded Computing Systems (TECS) - Special Section on Wireless Health Systems, On-Chip and Off-Chip Network Architectures 12(4), 2013.
D. A. Steinman et al. and K. Valen-Sendstad. Variability of Computational Fluid Dynamics Solutions for Pressure and Flow in a Giant Aneurysm: The ASME 2012 Summer Bioengineering Conference CFD Challenge., Journal of Biomedical Engineering 135(2), 2013.
J. Sundnes, S. Wall, H. Osnes, T. Thorvaldsen, and A. McCulloch. Improved discretisation and linearisation of active tension in strongly coupled cardiac electro-mechanics simulations, Computer methods in biomechanics and biomedical engineering 0(0):1-12, 2013.
K. Valen-Sendstad and D. A. Steinman. Mind the gap: Impact of CFD solution strategy on prediction of intra-cranial aneurysm hemodynamics and rupture status, Accepted for publication in American Journal of Neuroradiology, 2013.
K. Valen-Sendstad, Kent-A. Mardal, and D. A. Steinman. High-resolution computational fluid dynamics detects high-frequency velocity fluctuations in bifurcation, but not sidewall, aneurysms of the middle cerebral artery, Journal of Biomechanics 18;(46(2)):402-7, 2013.
L. Vynnytska, M. E. Rognes, and S. R. Clark. Benchmarking FEniCS for Mantle Convection Simulations, Computers & Geosciences 50(1):95–105, 2013.
W. Wei, S. Clark, H. Su, M. Wen, and X. Cai. Balancing efficiency and accuracy for sediment transport simulations, Accepted for publication in Computational Science & Discovery, 2013.
M. Wen, H. Su, W. Wei, N. Wu, X. Cai, and C. Zhang. High efficient sedimentary basin simulations on hybrid CPU-GPU clusters, Accepted for publication in Cluster Computing, 2013.
M. Wilhelms, H. Hettmann, M. Maleckar, J. Koivumäki, O. Dössel, and G. Seemann. Benchmarking electrophysiological models of human atrial myocytes, Frontiers in Computational Physiology and Medicine 3(487), 2013.