Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Safety assurance of an industrial robotic control system using hardware/software co-verification


Dec 27, 2021
Yvonne Murray, Martin Sirevåg, Pedro Ribeiro, David A. Anisi, Morten Mossige

Add code

* preprint, Author Accepted Manuscript 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Time-aware Test Case Execution Scheduling for Cyber-Physical Systems


Feb 12, 2019
Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson

Add code

* In: Beck J. (eds) Principles and Practice of Constraint Programming. CP 2017. Lecture Notes in Computer Science, vol 10416. Springer, Cham 
* Published in the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017) 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration


Nov 09, 2018
Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige

Add code

* Spieker, H., Gotlieb, A., Marijan, D., & Mossige, M. (2017). Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration. In Proceedings of 26th International Symposium on Software Testing and Analysis (ISSTA'17) (pp. 12--22). ACM 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Rotational Diversity in Multi-Cycle Assignment Problems


Nov 08, 2018
Helge Spieker, Arnaud Gotlieb, Morten Mossige

Add code

* AAAI-19 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email