ITU
Joseph Roland Kiniry

Joseph Roland Kiniry

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Information Desk: 72185000

View graph of relations

  1. 2014
  2. Published

    Symbolic Configuration for Interactive Container Ship Stowage Planning

    Kroer, C., Svendsen, M. K., Jensen, R. M., Kiniry, J. R. & Leknes, E., 3 Jul 2014, In: Computational Intelligence.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  3. 2013
  4. Published

    Formal Model-based Validation for Tally Systems

    Kiniry, J. R., Cochran, D. & Kiniry, J. R., 18 Jul 2013, E-Voting and Identify. Springer VS, Vol. 7985. p. 41-60 (Lecture Notes in Computer Science).

    Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

  5. A Rigorous Methodology for Analyzing and Designing Plug-Ins

    Fasie, M., Haxthausen, A. & Kiniry, J. R., 21 May 2013, Developing Tools as Plug-ins (TOPI), 2013 3rd International Workshop on . IEEE Computer Society Press, p. 49-50

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  6. 2012
  7. Published

    Orchestrating with Contracts

    Kiniry, J. R. & Martinez, J., 2012

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  8. Published

    Testing Library Specifications by Verifying Conformance Tests

    Kiniry, J. R., Zimmerman, D. & Hyland, R., 2012, TAP'12 Proceedings of the 6th international conference on Tests and Proofs. Springer, Vol. 7305. (Lecture Notes in Computer Science).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  9. Published

    Toward Instant Gradeification

    Zimmerman, D., Kiniry, J. R. & Fairmichael, F., 2012. 5 p.

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

  10. 2011
  11. Published

    Verified Gaming

    Kiniry, J. R. & Zimmerman, D., 2011, GAS 11. Proceedings of the 1st International Workshop on Games and Software Engineering.. Association for Computing Machinery, p. 17-20

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  12. Published

    Verified Visualisation of Textual Modelling Languages

    Fairmichael, F. & Kiniry, J. R., 2011, In: Electronic Communications of the EASST. 36, 17 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  13. 2010
  14. Published

    Agile Formality: A "Mole" of Software Engineering Practices

    Bianco, V. D., Stosic, D. & Kiniry, J. R., 2010, In: Lecture Notes in Informatics. 179

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  15. Published

    Verified Visualisation of Textual Modelling Languages

    Fairmichael, F. & Kiniry, J. R., 2010. 17 p.

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

Previous 1 2 Next

ID: 1046018