Publications

Download search result as BibTeX

Found 1680 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.

show all || show 50

2014

Edited Books

C. Timmerer, C. Griwodz, A. Begen, T. Stockhammer, and B. Girod. IEEE Journal on Selected Areas in Communications Special Issue: Adaptive Media Streaming, IEEE, 2014.

PhD Theses

E. G. Gran. Congestion Management in Lossless Interconnection Networks, PhD thesis, The Department of Informatics, Faculty of Mathematics and Natural Sciences, University of Oslo, 2014.

H. Q. Vo. Permutation Based Routing for Increased Robustness in IP Networks, PhD thesis, The Department of Informatics, Faculty of Mathematics and Natural Sciences, University of Oslo, 2014.

Articles in International Journals

R. Behjati, S. Nejati, and L. C. Briand. Architecture-Level Configuration of Large-Scale Embedded Software Systems, Accepted for publication in ACM Transactions on Software Engineering and Methodology (TOSEM), 2014.

L. Briand, D. Falessi, S. Nejati, M. Sabetzadeh, and T. Yue. Traceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment, ACM Transactions on Software Engineering and Methodology (TOSEM) 23(9), 2014.

A. Elmokashfi and A. DHAMDHERE. Revisiting BGP Churn Growth, Accepted for publication in ACM COMPUTER COMMUNICATION REVIEW, 2014.

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, Journal of Parallel and Distributed Computing 74(1):1802-1819, 2014.

J. Escudero-Sahuquillo, E. G. Gran, P. J. Garcia, J. Flich, T. Skeie, O. Lysne, F. J. Quiles, and J. Duato. Efficient and Cost-Effective Hybrid Congestion Control for HPC Interconnection Networks, IEEE Transactions on Parallel and Distributed Systems 99(pp), 2014.

G. Fraser and A. Arcuri. Achieving Scalable Mutation-based Generation of Whole Test Suites, Accepted for publication in Empirical Software Engineering, 2014.

G. Fraser, M. Staats, P. McMinn, A. Arcuri, and F. Padberg. Does Automated White-Box Unit Test Generation Really Help Software Testers?, Submitted to journal, 2014.

E. G. Gran, T. Dreibholz, and A. Kvalbein. NorNet Core - A Multi-Homed Research Testbed, Computer Networks Special Issue: Future Internet Testbeds(61):75-87, 2014.

A. Helgeland, Kent-A. Mardal, V. Haughton, and B. A. Pettersson Reif. Numerical simulations of the pulsating flow of cerebrospinal fluid flow in the cervical spinal canal of a Chiari patient, Journal of Biomechanics 21(47(5)):1082-90, 2014.

M. Z. Iqbal, S. Ali, T. Yue, and L. Briand. Applying UML/MARTE on Industrial Projects: Challenges, Experiences, and Guidelines, Accepted for publication in the Journal of Software and Systems Modeling (SOSYM), Springer, 2014.

M. Jørgensen. What we do and don't know about software development effort estimation, Accepted for publication in IEEE Software(March/April):13-16, 2014.

M. Jørgensen. Failure Factors of Small Software Projects at a Global Outsourcing Marketplace, Accepted for publication in Journal of Systems and Software, 2014.

J. Koivumäki, G. Seemann, M. Maleckar, and P. Tavi. In silico screening of the key cellular remodeling targets in chronic atrial fibrillation, Accepted for publication in PLoS Comput Biol, 2014.

S. Nair, J. L. d. l. Vara, M. Sabetzadeh, and L. Briand. An extended systematic literature review on provision of evidence for safety certification, Information and Software Technology(2014), 2014.

D. Seljebotn, Kent-A. Mardal, J. Jewell, H. K. Eriksen, and P. Bull. A Multilevel Solver For Gaussian Constrained CMB Realizations, The Astrophysical Journal Supplement Series 210(2), 2014.

H. K. Stensland, V. R. Gaddam, M. Tennøe, E. O. Helgedagsrud, M. Næss, H. K. Alstad, A. Mortensen, R. Langseth, S. Ljødal, Ø. Landsverk, C. Griwodz, P. Halvorsen, M. Stenhaug, and D. Johansen. Bagadus: An Integrated Real-Time System for Soccer Analytics, ACM Transactions on Multimedia Computing, Communications and Applications (TOMCCAP) 10(1s):14:1-14:21, 2014.

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 17(6):604-15, 2014.

Z. Vrba, P. Halvorsen, and C. Griwodz. A correction to Anderssonʼs fusion tree construction, Theoretical Computer Science 520(0):130–132, 2014.

L. Yuan, J. Koivumäki, B. Liang, L. G. Lorentzen, J. H. Svendsen, J. Tfelt-Hansen, M. Maleckar, N. Schmitt, M. S. Olesen, and T. Jespersen. Investigations of the NaVβ1b sodium channel subunit in human ventricle; functional characterization of the H162P Brugada Syndrome mutant, AJP-Heart and Circulatory Physiology 306(8):H1204-H1212, 2014.

W. Zhang, X. Cai, and S. Holm. Time-fractional heat equations and negative absolute temperatures, Computers & Mathematics with Applications 67(1):164–171, 2014.

W. Zhang, W. Wei, and X. Cai. Performance modeling of serial and parallel implementations of the fractional Adams-Bashforth-Moulton method, Accepted for publication in Fractional Calculus & Applied Analysis, 2014.

Refereed Proceedings

H. Adhari, T. Dreibholz, S. Werner, and E. Rathgeb. LEDBAT-MP -- On the Application of Lower-than-Best-Effort for Concurrent Multipath Transfer, In: Proceedings of the 4th International Workshop on Protocols and Applications with Multi-Homing Support (PAMS), ed. by IEEE, Victoria, British Columbia/Canada, IEEE, 2014.

I. Ahmed, L. Badia, A. Petlund, C. Griwodz, and P. Halvorsen. Analysis of SR ARQ Delays Using Data-bundling over Markov Channels, In: THE NINETEENTH IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (IEEE ISCC), ed. by Sartaj Sahni, IEEE, 2014.

S. Ali and H. Hemmati. Model-based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results, In: IEEE International Conference on Software Testing, Verification, and Validation (ICST), 2014.

S. Ali, M. Z. Iqbal, and A. Arcuri. Improved Heuristics for Solving OCL Constraints using Search Algorithms, In: ACM Genetic and Evolutionary Computation Conference (GECCO), 2014.

B. Bogdanski, Sven-A. Reinemo, and B. D. Johnsen. Multi-homed fat-tree routing with InfiniBand, In: 22nd Euromicro International Conference on Parallel, Distributed and Network-based Processing, IEEE Computer Society, 2014.

D. Dwarakanath, C. Griwodz, P. Halvorsen, and J. Lildballe. Study the Effects of Camera Misalignment on 3D Measurements for Efficient Design of Vision-based Inspection Systems, In: 8th Hellenic Conference on Artificial Intelligence (SETN 2014), ed. by Aristidis Likas, Konstantinos Blekas, Dimitris Kalles, Springer-Verlag, 2014.

S. Ferlin-Oliveira, T. Dreibholz, Ö. Alay, and A. Kvalbein. Measuring the QoS Characteristics of Operational 3G Mobile Broadband Networks, In: Proceedings of the 4th International Workshop on Protocols and Applications with Multi-Homing Support (PAMS), ed. by IEEE, Victoria, British Columbia/Canada, IEEE, 2014.

V. R. Gaddam, C. Griwodz, and P. Halvorsen. Automatic exposure for panoramic systems in uncontrolled lighting conditions: a football stadium case study , In: The Engineering Reality of Virtual Reality, SPIE. Proceedings of SPIE/IS&T Electronic Imaging, 2014.

V. R. Gaddam, R. Langseth, H. K. Stensland, P. Gurdjos, V. Charvillat, C. Griwodz, D. Johansen, and P. Halvorsen. Be Your Own Cameraman: Real-Time Support for Zooming and Panning into Stored and Live Panoramic Video, In: Proceedings of the 5th annual ACM conference on Multimedia Systems (MMSYS), ACM, 2014.

A. Mortensen, V. R. Gaddam, H. K. Stensland, C. Griwodz, D. Johansen, and P. Halvorsen. Automatic Event Extraction and Video Summaries From Soccer Games, In: Proceedings of the 5th annual ACM conference on Multimedia Systems (MMSYS), ACM, 2014.

S. Nair, J. L. d. l. Vara, A. Melzi, G. Tagliaferri, L. de-la-Beaujardiere, and F. Belmonte. Safety Evidence Traceability: Problem Analysis and Model, In: 20th International Working Conference on Requirements Engineering: Foundations for Software Quality (REFSQ), 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.

S. A. Pettersen, D. Johansen, H. Johansen, V. Berg-Johansen, V. R. Gaddam, A. Mortensen, R. Langseth, C. Griwodz, H. K. Stensland, and P. Halvorsen. Soccer Video and Player Position Dataset, In: Proceedings of the 5th annual ACM conference on Multimedia Systems (MMSYS), ACM, 2014.

A. Yamashita and L. Moonen. Assembling Multiple-Case Studies: Potential, Principles and Practical Considerations, In: Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering (EASE 2014), 2014.

T. Yue and S. Ali. A MOF-based Framework for Defining Metrics to Measure the Quality of Models, In: 10th European Conference on Modelling Foundations and Applications (ECMFA), 2014.

Technical Reports

R. Behjati and S. Nejati. Backtrack-Free Consistent Configuration of Cyber-Physical Systems, Simula Research Laboratory, Technical Report(2014-02), 2014.

M. Zhang, T. Yue, and S. Ali. A Keyword and Restricted Natural Language Based Test Case Specification Language for Automated Testing , Simula Research Laboratory, Technical Report(2014-01), 2014.

Contributed talk

Personal tools