Morten Mossige
Førsteamanuensis II i kybernetikk
Kontakt
E-post: morten.mossige@uis.no
Rom: KE E-403
Avdeling
Det teknisk-naturvitenskapelige fakultet
Institutt for data- og elektroteknologi
Publikasjoner
Vitenskapelige publikasjoner
Murray, Yvonne; Sirevåg, Martin; Ribeiro, Pedro; Anisi, Alireza David; Mossige, Morten
(2022)
Safety assurance of an industrial robotic control system using hardware/software co-verification.Science of Computer Programming.
ISSN 0167-6423.
Volum 216.
Mossige, Morten; Gotlieb, Arnaud; Spieker, Helge; Meling, Hein; Carlsson, Mats
(2017)
Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems.Lecture Notes in Computer Science (LNCS).
ISSN 0302-9743.
Volum 10416 LNCS.
s.387-404.
Mossige, Morten; Gotlieb, Arnaud; Meling, Hein
(2017)
Deploying Constraint Programming for Testing ABB’s Painting Robots.The AI Magazine.
ISSN 0738-4602.
Volum 38.
Hefte 2.
s.94-96.
Mossige, Morten; Gotlieb, Arnaud; Meling, Hein
(2016)
Generating Tests for Robotized Painting Using Constraint Programming. I: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence.AAAI Press.
ISBN 978-1-57735-770-4.
s.4200-4204.
DOI: 10.1109/icst.2013.71
Mossige, Morten; Gotlieb, Arnaud; Meling, Hein
(2014)
Testing robot controllers using constraint programming and continuous integration.Information and Software Technology.
ISSN 0950-5849.
Volum 57.
s.169-185.
Mossige, Morten; Gotlieb, Arnaud; Meling, Hein
(2014)
Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study. I: Testing Software and Systems.Springer.
ISBN 978-3-662-44856-4.
s.145-160.
Mossige, Morten; Gotlieb, Arnaud; Meling, Hein
(2014)
Using CP in Automatic Test Generation for ABB Robotics’ Paint Control System. I: Principles and Practice of Constraint Programming.Springer.
ISBN 978-3-319-10428-7.
s.25-41.
Mossige, Morten; Gotlieb, Arnaud; Meling, Hein
(2013)
Test Generation for Robotized Paint Systems using Constraint Programming in a Continuous Integration Environment. I: Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on.IEEE (Institute of Electrical and Electronics Engineers).
ISBN 978-1-4673-5961-0.
s.489 -490 .
DOI: 10.1109/ICST.2013.71
Formidling
Mossige, Morten; Gotlieb, Arnaud; Spieker, Helge; Meling, Hein; Carlsson, Mats
(2019)
Time-aware test execution scheduling for cyber-physical systems.GI-Edition Lecture Notes in Informatics (LNI).
ISSN 1617-5468.
Volum P-292.
s.121-122.
DOI: 10.18420/se2019-36
Mossige, Morten; Meling, Hein; Lie, Leiv Gunnar
(2015)
Improved robotic testing systems.
Mossige, Morten; Meling, Hein; Gotlieb, Arnaud
(2014)
Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study.
Testing Software and Systems ;
2014-09-23 - 2014-09-25.
Mossige, Morten; Meling, Hein; Gotlieb, Arnaud
(2014)
Using CP in Automatic Test Generation for ABB Robotics’ Paint Control System.
20th International Conference, CP 2014,;
2014-09-08 - 2014-09-12.
Mossige, Morten; Gotlieb, Arnaud; Meling, Hein
(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.
Mossige, Morten
(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.
Mossige, Morten
(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.
Mossige, Morten
(2013)
Motivasjonsforedrag for studenter som skal begynne på forkurs for ingeniør.
Semesteroppstart ved UiS;
2013-08-24.
Mossige, Morten
(2012)
Forsker på bedre testsystemer.