Autor der Publikation

Certus: glimpses of a centre for research-based innovation in software verification and validation.

. SER&IPs, Seite 2-5. ACM, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Chemical equation balancing: An integer programming approach., , und . Mathematical and Computer Modelling, 44 (7-8): 678-691 (2006)O(n3) g-inversion-free noniterative near-consistent linear system solver for minimum-norm least-squares and nonnegative solutions., und . J. Comput. Meth. in Science and Engineering, 6 (1-4): 71-85 (2006)Reusable model transformations., , , , , und . Software and Systems Modeling, 11 (1): 111-125 (2012)Anticipating anonymity in screening program databases., , und . I. J. Medical Informatics, (2017)Certus: glimpses of a centre for research-based innovation in software verification and validation.. SER&IPs, Seite 2-5. ACM, (2014)Automatic Model Generation Strategies for Model Transformation Testing., , und . ICMT, Volume 5563 von Lecture Notes in Computer Science, Seite 148-164. Springer, (2009)Crowdpinion: Motivating People to Share their Momentary Opinion., , und . GamifIR@ECIR, Volume 1345 von CEUR Workshop Proceedings, Seite 44-51. CEUR-WS.org, (2015)Software Engineering and AI for Data Quality in Cyber- Physical Systems - SEA4DQ'21 Workshop Report., , , , , , und . ACM SIGSOFT Softw. Eng. Notes, 47 (1): 26-29 (2022)Experience Report: Verifying Data Interaction Coverage to Improve Testing of Data-Intensive Systems: The Norwegian Customs and Excise Case Study., , , , und . ISSRE, Seite 223-234. IEEE Computer Society, (2014)Variability Modeling and QoS Analysis of Web Services Orchestrations., , , , und . ICWS, Seite 99-106. IEEE Computer Society, (2010)