![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Radu Grigore
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c21]Ke Mao
, Cons Åhs
, Sopot Cela
, Dino Distefano
, Nick Gardner
, Radu Grigore
, Per Gustafsson
, Ákos Hajdu
, Timotej Kapus
, Matteo Marescotti
, Gabriela Cunha Sampaio
, Thibault Suzanne
:
PrivacyCAT: Privacy-Aware Code Analysis at Scale. ICSE-SEIP 2024: 106-117 - 2022
- [c20]Ákos Hajdu
, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano:
InfERL: scalable and extensible Erlang static analysis. Erlang Workshop 2022: 33-39 - 2021
- [j3]Radu Grigore, Stefan Kiefer:
Selective monitoring. J. Comput. Syst. Sci. 117: 99-129 (2021)
2010 – 2019
- 2019
- [c19]Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota:
PrideMM: Second Order Model Checking for Memory Consistency Models. FM Workshops (2) 2019: 507-525 - [i14]Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota:
PrideMM: A Solver for Relaxed Memory Models. CoRR abs/1901.00428 (2019) - 2018
- [c18]Radu Grigore
, Stefan Kiefer:
Selective Monitoring. CONCUR 2018: 20:1-20:16 - [i13]Radu Grigore, Stefan Kiefer:
Selective Monitoring. CoRR abs/1806.06143 (2018) - 2017
- [j2]Xin Zhang
, Radu Grigore, Xujie Si, Mayur Naik:
Effective interactive resolution of static analysis alarms. Proc. ACM Program. Lang. 1(OOPSLA): 57:1-57:30 (2017) - [c17]Mikolás Janota, Radu Grigore, Vasco M. Manquinho
:
On the Quest for an Acyclic Graph. RCRA@AI*IA 2017: 33-44 - [c16]Xujie Si, Xin Zhang
, Radu Grigore, Mayur Naik:
Maximum Satisfiability in Software Analysis: Applications and Techniques. CAV (1) 2017: 68-94 - [c15]Radu Grigore:
Java generics are turing complete. POPL 2017: 73-85 - [i12]Mikolas Janota, Radu Grigore, Vasco M. Manquinho:
On the Quest for an Acyclic Graph. CoRR abs/1708.01745 (2017) - 2016
- [j1]Radu Grigore, Nikos Tzevelekos:
History-Register Automata. Log. Methods Comput. Sci. 12(1) (2016) - [c14]Maria Bruna
, Radu Grigore, Stefan Kiefer, Joël Ouaknine, James Worrell
:
Proving the Herman-Protocol Conjecture. ICALP 2016: 104:1-104:12 - [c13]Radu Grigore, Hongseok Yang:
Abstraction refinement guided by a learnt probabilistic model. POPL 2016: 485-498 - [i11]Radu Grigore:
Java Generics are Turing Complete. CoRR abs/1605.05274 (2016) - 2015
- [c12]Radu Grigore, Stefan Kiefer:
Tree Buffers. CAV (1) 2015: 290-306 - [i10]Maria Bruna, Radu Grigore, Stefan Kiefer, Joël Ouaknine, James Worrell:
Proving the Herman-Protocol Conjecture. CoRR abs/1504.01130 (2015) - [i9]Radu Grigore, Stefan Kiefer:
Tree Buffers. CoRR abs/1504.04757 (2015) - [i8]Radu Grigore, Hongseok Yang:
Abstraction Refinement Guided by a Learnt Probabilistic Model. CoRR abs/1511.01874 (2015) - 2014
- [c11]Xin Zhang
, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang:
On abstraction refinement for program analyses in Datalog. PLDI 2014: 239-248 - 2013
- [c10]Nikos Tzevelekos, Radu Grigore:
History-Register Automata. FoSSaCS 2013: 17-33 - [c9]Mikolás Janota
, Radu Grigore, João Marques-Silva:
On QBF Proofs and Preprocessing. LPAR 2013: 473-489 - [c8]Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen, Nikos Tzevelekos:
Runtime Verification Based on Register Automata. TACAS 2013: 260-276 - [i7]Mikolás Janota, Radu Grigore, João Marques-Silva:
On QBF Proofs and Preprocessing. CoRR abs/1310.2491 (2013) - 2012
- [i6]Radu Grigore:
The Design and Algorithms of a Verification Condition Generator. CoRR abs/1204.6719 (2012) - [i5]Dino Distefano, Radu Grigore, Rasmus Lerchedahl Petersen, Nikos Tzevelekos:
Runtime Verification Based on Register Automata. CoRR abs/1209.5325 (2012) - 2011
- [c7]Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst
, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman
, Vladimir Klebanov, Claude Marché, Rosemary Monahan
, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich:
The COST IC0701 Verification Competition 2011. FoVeOOS 2011: 3-21 - [c6]Daiva Naudziuniene, Matko Botincan, Dino Distefano, Mike Dodds, Radu Grigore, Matthew J. Parkinson:
jStar-eclipse: an IDE for automated verification of Java programs. SIGSOFT FSE 2011: 428-431 - 2010
- [c5]Mikolás Janota
, Radu Grigore, João Marques-Silva
:
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription. JELIA 2010: 195-207 - [c4]Mikolás Janota
, Goetz Botterweck
, Radu Grigore, João Marques-Silva
:
How to Complete an Interactive Configuration Process? SOFSEM 2010: 528-539 - [i4]Mikolás Janota, João Marques-Silva, Radu Grigore:
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription. CoRR abs/1006.5896 (2010)
2000 – 2009
- 2009
- [c3]Mikolás Janota
, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran, Joseph R. Kiniry:
CLOPS: A DSL for Command Line Options. DSL 2009: 187-210 - [c2]Radu Grigore, Julien Charles, Fintan Fairmichael, Joseph Kiniry:
Strongest postcondition of unstructured programs. FTfJP@ECOOP 2009: 6:1-6:7 - [i3]Mikolás Janota, João Marques-Silva, Radu Grigore:
Algorithms for finding dispensable variables. CoRR abs/0910.0013 (2009) - [i2]Mikolás Janota, Goetz Botterweck, Radu Grigore, João Marques-Silva:
How to Complete an Interactive Configuration Process? CoRR abs/0910.3913 (2009) - 2007
- [c1]Mikolás Janota
, Radu Grigore, Michal Moskal
:
Reachability analysis for annotated code. SAVCBS 2007: 23-30 - [i1]Radu Grigore, Michal Moskal:
Edit and verify. CoRR abs/0708.0713 (2007)
Coauthor Index
aka: Mikolas Janota
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint