Primary tabs

Most recent publications

A. Gotlieb, D. Marijan and H. Spieker

Stratified Constructive Disjunction and Negation in Constraint Programming

In Proc. of IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI-18). Volos, Greece. Nov. 2018. IEEE, 2018.
Proceedings, refereed
2018
View
R. Shukla, D. Marijan, M. Borg and Y. Yang

Fifth International Workshop on Software Engineering Research and Industrial Practice

In International Conference on Software Engineering (ICSE). Gothenburg, Sweden: ACM, 2018.
Edited books
2018
View
S. Sen, D. Marijan and A. Gotlieb

Certus: an organizational effort towards research-based innovation in software verification and validation

International Journal of Systems Assurance Engineering and Management 9, no. 2 (2018): 313-322.
Journal Article
2018
View
D. Marijan and S. Sen

DevOps Enhancement with Continuous Test Optimization

In The 30th International Conference on Software Engineering and Knowledge Engineering (SEKE). KSI Research Inc. and Knowledge Systems Institute Graduate School, 2018.
Proceedings, refereed
2018
View

News

01 October 2019

Launch of the AI4EU Platform

Students under supervision

Find publication

Status

Departments

Publication type

Year published