David S. Rosenblum

◀ ▶ joint publications with Anthony Finkelstein

> Home > Persons > David S. Rosenblum

Publications

2013
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ZervoudakisREF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ZervoudakisREF13
Fokion Zervoudakis, David S. Rosenblum, Sebastian G. Elbaum, Anthony Finkelstein:
Cascading verification: an integrated method for domain-specific model checking. ESEC/SIGSOFT FSE 2013: 400-410
2007
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/iri/BunyakiatiFR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iri/BunyakiatiFR07
Panuchart Bunyakiati, Anthony Finkelstein, David S. Rosenblum:
The Certification of Software Tools with respect to Software Standards. IRI 2007: 724-729
2004
[e2]
- view
- export record
  dblp key:
  - conf/icse/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2004
Anthony Finkelstein, Jacky Estublier, David S. Rosenblum:
26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom. IEEE Computer Society 2004, ISBN 0-7695-2163-0 [contents]

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.