Morten Mossige

Førsteamanuensis II

Morten Mossige

Kontakt

E-post: morten.mossige@uis.no

Rom: KE E-403

Organisasjonsenhet

Det teknisk- naturvitenskapelige fakultet

Institutt for data- og elektroteknologi

Publikasjoner

Vitenskapelige publikasjoner

Yvonne Murray; Martin Sirevåg; Pedro Ribeiro; Alireza David Anisi; Morten Mossige (2022) Safety assurance of an industrial robotic control system using hardware/software co-verification. I: Science of Computer Programming. ISSN 0167-6423. Volum 216. DOI: 10.1016/j.scico.2021.102766

Morten Mossige; Arnaud Gotlieb; Helge Spieker; Hein Meling; Mats Carlsson (2017) Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems. I: Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. Volum 10416 LNCS. s.387-404. DOI: 10.1007/978-3-319-66158-2_25

Morten Mossige; Arnaud Gotlieb; Hein Meling (2017) Deploying Constraint Programming for Testing ABB’s Painting Robots. I: The AI Magazine. ISSN 0738-4602. Volum 38. s.94-96. DOI: 10.1609/aimag.v38i2.2723

Morten Mossige; Arnaud Gotlieb; Hein Meling (2016) Generating Tests for Robotized Painting Using Constraint Programming. I: Subbarao Kambhampati, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. AAAI Press. ISBN 9781577357704. s.4200-4204. DOI: 10.1109/icst.2013.71

Morten Mossige; Arnaud Gotlieb; Hein Meling (2014) Testing robot controllers using constraint programming and continuous integration. I: Information and Software Technology. ISSN 0950-5849. Volum 57. s.169-185. DOI: 10.1016/j.infsof.2014.09.009

Morten Mossige; Arnaud Gotlieb; Hein Meling (2014) Using CP in Automatic Test Generation for ABB Robotics’ Paint Control System. I: Barry O’Sullivan, Principles and Practice of Constraint Programming. Springer. ISBN 9783319104287. s.25-41. DOI: 10.1007/978-3-319-10428-7_6

Morten Mossige; Arnaud Gotlieb; Hein Meling (2014) Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study. I: Mercedes G. Merayo; Edgardo Montes de Oca, Testing Software and Systems. Springer. ISBN 9783662448564. s.145-160. DOI: 10.1007/978-3-662-44857-1_10

Morten Mossige; Arnaud Gotlieb; Hein Meling (2013) Test Generation for Robotized Paint Systems using Constraint Programming in a Continuous Integration Environment. I: . ICST 2013, Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on. IEEE (Institute of Electrical and Electronics Engineers). ISBN 9781467359610. s.489-490. DOI: 10.1109/ICST.2013.71

Formidling

Morten Mossige; Arnaud Gotlieb; Helge Spieker; Hein Meling; Mats Carlsson (2019) Time-aware test execution scheduling for cyber-physical systems. I: GI-Edition Lecture Notes in Informatics (LNI). ISSN 1617-5468. Volum P-292. s.121-122. DOI: 10.18420/se2019-36

Morten Mossige; Hein Meling; Leiv Gunnar Lie (2015) Improved robotic testing systems.

Morten Mossige; Hein Meling; Arnaud Gotlieb (2014) Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study. Testing Software and Systems ; 2014-09-23 - 2014-09-25.

Morten Mossige; Hein Meling; Arnaud Gotlieb (2014) Using CP in Automatic Test Generation for ABB Robotics’ Paint Control System. 20th International Conference, CP 2014,; 2014-09-08 - 2014-09-12.

Morten Mossige (2013) Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment. 5th Workshop on the Constraints in Software Testing, Verification and Analysis ; 2013-03-22.

Morten Mossige (2013) Presentasjon av nærings phd ordingen for minister Rigmor Aaserud. Statsråd Rigmor Aasrud forteller om behovet for å vurdere grep tilsvarende nærings ph.d-ordningen også i offentlig sektor ; 2013-02-22.

Morten Mossige (2013) Motivasjonsforedrag for studenter som skal begynne på forkurs for ingeniør. Semesteroppstart ved UiS; 2013-08-24.

Morten Mossige; Arnaud Gotlieb; Hein Meling (2013) Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment. 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation; 2013-03-18 - 2013-03-22.

Morten Mossige (2012) Forsker på bedre testsystemer.

Kilde: Nasjonalt vitenarkiv