Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Darko Marinov

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Steven Lauterburg

> Home > Persons > Darko Marinov

Publications

2012
[c62]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/forte/TasharofiKLLMA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/TasharofiKLLMA12
Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha:
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. FMOODS/FORTE 2012: 219-234
2010
[c47]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/LauterburgKMA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LauterburgKMA10
Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha:
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. FASE 2010: 308-322
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/JagannathGLMA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/JagannathGLMA10
Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha:
Mutation Operators for Actor Systems. ICST Workshops 2010: 157-162
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/LauterburgKMA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/LauterburgKMA10
Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha:
Basset: a tool for systematic testing of actor programs. SIGSOFT FSE 2010: 363-364
2009
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/GligoricGLMK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/GligoricGLMK09
Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid:
Optimizing Generation of Object Graphs in Java PathFinder. ICST 2009: 51-60
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LauterburgDMA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LauterburgDMA09
Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul A. Agha:
A Framework for State-Space Exploration of Java-Based Actor Programs. ASE 2009: 468-479
2008
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/dAmorimLM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/dAmorimLM08
Marcelo d'Amorim, Steven Lauterburg, Darko Marinov:
Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs. IEEE Trans. Software Eng. 34(5): 597-613 (2008)
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LauterburgSMV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LauterburgSMV08
Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan:
Incremental state-space exploration for programs with dynamically allocated data. ICSE 2008: 291-300
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GveroGL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GveroGL08
Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid:
State extensions for java pathfinder. ICSE 2008: 863-866
2007
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/dAmorimLM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/dAmorimLM07
Marcelo d'Amorim, Steven Lauterburg, Darko Marinov:
Delta execution for efficient state-space exploration of object-oriented programs. ISSTA 2007: 50-60

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.