Searching for authors named "Darko Marinov" – sorted by Relevance.
30 documents found, showing 1 through 10.
Next 10 →
-
An Approach to Characterization of Parallel Applications for DSM Systems
- … Belgrade, Serbia, Yugoslavia E-mail: {marinov,dav0r}@(email omitted);, {emilenka…
- Add To MetaCart
-
Generating trees of (reducible) 1324-avoiding permutations”, Electron
- …Generating Trees of (Reducible) 1324-avoiding Permutations ∗ Darko Marinov † Radoˇs Radoičić…
- Cited by 1 (0 self) – Add To MetaCart
-
Aaree -A Recipe for Analyzing Object-Oriented Models
- …Aaree A Recipe for Analyzing Object-Oriented Models Sarfraz Khurshid and Darko Marinov MIT…
- Add To MetaCart
-
Counting 1324-avoiding Permutations
- …Counting 1324-avoiding Permutations Darko Marinov Rados Radoicic Laboratory for Computer Science…
- Cited by 2 (0 self) – Add To MetaCart
-
TestEra: A Novel Framework for Testing Java Programs
- …TestEra A Novel Framework for Testing Java Programs † Sarfraz Khurshid and Darko Marinov…
- Cited by 4 (0 self) – Add To MetaCart
-
VAlloy: Virtual functions meet a relational language
- …VAlloy – Virtual Functions Meet a Relational Language Darko Marinov and Sarfraz Khurshid MIT…
- Cited by 5 (1 self) – Add To MetaCart
-
Optimized execution of deterministic blocks in Java PathFinder
- …, and Darko Marinov Department of Computer Science University of Illinois at Urbana-Champaign 201 N. Goodwin…
- Cited by 1 (0 self) – Add To MetaCart
-
Checking Java Implementation of a Naming Architecture Using TestEra
- … Khurshid and Darko Marinov MIT Laboratory for Computer Science 200 Technology Square Cambridge, MA 02139…
- Cited by 7 (7 self) – Add To MetaCart
-
TestEra: Specification-based Testing of Java Programs Using SAT
- …TestEra: Specification-based Testing of Java Programs Using SAT Sarfraz Khurshid and Darko Marinov…
- Cited by 16 (1 self) – Add To MetaCart
-
TestEra: A Novel Framework for Automated Testing of Java Programs
- … and lack of support for recursion. Automatically modeling computation in Alloy was Darko Marinov…
- Cited by 63 (20 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
