No photo of Darko Marinov

View Scopus Profile

Darko Marinov

Search results

  • 2004

    A case for efficient solution enumeration

    Khurshid, S., Marinov, D., Shlyakhter, I. & Jackson, D., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Giunchiglia, E. & Tacchella, A. (eds.). Springer, p. 272-286 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2919).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Integrating model checking and theorem proving for relational reasoning

    Arkoudas, K., Khurshid, S., Marinov, D. & Rinard, M., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Berghammer, R., Moller, B. & Struth, G. (eds.). Springer, p. 21-33 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3051).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Rostra: A framework for detecting redundant object-oriented unit tests

    Xie, T., Marinov, D. & Notkin, D., 2004, Proceedings - 19th International Conference on Automated Software Engineering, ASE 2004. p. 196-205 10 p. (Proceedings - 19th International Conference on Automated Software Engineering, ASE 2004).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • TestEra: Specification-based testing of java programs using SAT

    Khurshid, S. & Marinov, D., Oct 2004, In: Automated Software Engineering. 11, 4, p. 403-434 32 p.

    Research output: Contribution to journal › Article › peer-review

  • 2003

    Counting 1324-avoiding permutations

    Marinov, D. & Radoičić, R., May 29 2003, In: Electronic Journal of Combinatorics. 9, 2 R

    Research output: Contribution to journal › Article › peer-review

  • Object equality profiling

    Marinov, D. & O'Callahan, R., Nov 2003, In: ACM SIGPLAN Notices. 38, 11, p. 313-325 13 p.

    Research output: Contribution to journal › Conference article › peer-review

  • 2002

    An analyzable annotation language

    Khurshid, S., Marinov, D. & Jackson, D., 2002, p. 231-245. 15 p.

    Research output: Contribution to conference › Paper › peer-review

  • Korat: Automated testing based on Java predicates

    Boyapati, C., Khurshid, S. & Marinov, D., 2002, Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis. Frankl, P. G. & Frankl, P. G. (eds.). p. 123-133 11 p. (Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • VAlloy – Virtual functions meet a relational language

    Marinov, D. & Khurshid, S., 2002, FME 2002: Formal Methods - Getting IT Right - International Symposium of Formal Methods Europe, Proceedings. Eriksson, L.-H. & Lindsay, P. A. (eds.). Springer, p. 234-251 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2391).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2001

    Checking Java implementation of a naming architecture using TestEra

    Khurshid, S. & Marinov, D., Oct 2001, In: Electronic Notes in Theoretical Computer Science. 55, 3, p. 322-342 21 p.

    Research output: Contribution to journal › Conference article › peer-review

  • Testera: A novel framework for automated testing of Java programs

    Marinov, D. & Khurshid, S., 2001, Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001. Institute of Electrical and Electronics Engineers Inc., p. 22-31 10 p. (Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2000

    Scowl: A tool for characterization of parallel workload and its use on splash-2 application suite

    Marinov, D., Magdić, D., Milenkovic, A., Protić, J., Tartalja, I. & Milutinović, V., 2000, Proceedings - 8th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2000. IEEE Computer Society, p. 207-213 7 p. 876446. (Proceedings - IEEE Computer Society's Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS; vol. 2000-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Scowl: A tool for characterization of parallel workload and its use on SPLASH-2 application suite

    Marinov, D., Magdic, D., Milenkovic, A., Protic, J., Tartalja, I. & Milutinovic, V., 2000, p. 207-213. 7 p.

    Research output: Contribution to conference › Paper › peer-review

  • 1999

    CALKAS: A Computer Architecture Learning and Knowledge Assessment System

    Djordjevic, J., Milenkovic, A., Todorovic, I. & Marinov, D., Jan 1 1999, Proceedings of the 1999 Workshop on Computer Architecture Education, WCAE-5 1999 - Held in conjunction with the 5th International Symposium on High-Performance Computer Architecture, HPCA-5. Association for Computing Machinery, (Proceedings of the 1999 Workshop on Computer Architecture Education, WCAE-5 1999 - Held in conjunction with the 5th International Symposium on High-Performance Computer Architecture, HPCA-5).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 1998

    Approach to characterization of parallel applications for DSM systems

    Marinov, D., Magdic, D., Milenkovic, A., Protic, J., Tartalja, I. & Milutinovic, V., 1998, In: Proceedings of the Hawaii International Conference on System Sciences. 7, p. 782-783 2 p.

    Research output: Contribution to journal › Conference article › peer-review