Grigore Rosu

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 Qingzhou Luo

> Home > Persons > Grigore Rosu

Publications

2015
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HuangLR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HuangLR15
Jeff Huang, Qingzhou Luo, Grigore Rosu:
GPredict: Generic Predictive Concurrency Analysis. ICSE (1) 2015: 847-857
2014
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/HuangEZMLSR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/HuangEZMLSR14
Jeff Huang, Cansu Erdogan, Yi Zhang, Brandon M. Moore, Qingzhou Luo, Aravind Sundaresan, Grigore Rosu:
ROSRV: Runtime Verification for Robots. RV 2014: 247-254
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/LuoZLJMSR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/LuoZLJMSR14
Qingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Grigore Rosu:
RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties. RV 2014: 285-300
2013
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/LuoR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/LuoR13
Qingzhou Luo, Grigore Rosu:
EnforceMOP: a runtime property enforcement system for multithreaded programs. ISSTA 2013: 156-166
2011
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/JagannathGJLRM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/JagannathGJLRM11
Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, Darko Marinov:
Improved multithreaded unit testing. SIGSOFT FSE 2011: 223-233

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.