Παρακολούθηση
Radu Grigore
Radu Grigore
Facebook
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα fb.com - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
On Abstraction Refinement for Program Analyses in Datalog
X Zhang, R Mangal, R Grigore, M Naik, H Yang
Programming Language Design and Implementation (PLDI), 2014
942014
Java Generics are Turing Complete
R Grigore
Principles of Programming Languages (POPL), 2017
582017
Runtime Verification Based on Register Automata
R Grigore, D Distefano, RL Petersen, N Tzevelekos
Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2013
482013
The COST IC0701 verification competition 2011
T Bormer, M Brockschmidt, D Distefano, G Ernst, JC Filliâtre, R Grigore, ...
Formal Verification of Object-Oriented Software (FoVeOOS), 3-21, 2012
442012
How to complete an interactive configuration process?
M Janota, G Botterweck, R Grigore, J Marques-Silva
Current Trends in Theory and Practice of Computer Science (SOFSEM), 528-539, 2010
35*2010
coreStar: The Core of jStar
M Botincan, D Distefano, M Dodds, R Grigore, D Naudziuniene, ...
Intermediate Verification Languages (BOOGIE), 2011
332011
Reachability analysis for annotated code
M Janota, R Grigore, M Moskal
Specification and Verification of Component-Based Systems (SAVCBS), 23-30, 2007
292007
Constructing checkers from PSL properties
S Gheorghita, R Grigore
Control Systems and Computer Science (CSCS), 757–762, 2005
292005
Abstraction Refinement Guided by a Learnt Probabilistic Model
R Grigore, H Yang
Principles of Programming Languages (POPL), 2016
262016
On QBF Proofs and Preprocessing
M Janota, R Grigore, J Marques-Silva
Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2013
262013
Strongest postcondition of unstructured programs
R Grigore, J Charles, F Fairmichael, J Kiniry
Formal Techniques for Java-like Programs (FTfJP), 2009
262009
Effective Interactive Resolution of Static Analysis Alarms
X Zhang, R Grigore, X Si, M Naik
Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2017
242017
History-Register Automata
N Tzevelekos, R Grigore
Logical Methods in Computer Science (LMCS); superseeds FoSSaCS2013, 2016
23*2016
Counterexample guided abstraction refinement algorithm for propositional circumscription
M Janota, R Grigore, J Marques-Silva
Logics in artificial intelligence (JELIA), 195-207, 2010
222010
Maximum Satisfiability in Software Analysis: Applications and Techniques
X Si, X Zhang, R Grigore, M Naik
Computer-Aided Verification (CAV) -- invited tutorial, 2017
172017
On the Quest for an Acyclic Graph
M Janota, R Grigore, V Manquinho
(RCRA) Experimental Evaluation of Algorithms for Solving Problems with …, 2017
122017
Selective Monitoring
R Grigore, S Kiefer
International Conference on Concurrency Theory (CONCUR), 2018
52018
jStar-eclipse: an IDE for automated verification of Java programs
D Naudziuniene, M Botincan, D Distefano, M Dodds, R Grigore, ...
Foundations of software engineering (FSE), 428-431, 2011
52011
TOPL: A language for specifying safety temporal properties of object-oriented programs
R Grigore, RL Petersen, D Distefano
Foundations of Object-Oriented Languages (FOOL), 2011
42011
PrideMM: Second Order Model Checking for Memory Consistency Models
S Cooksey, S Harris, M Batty, R Grigore, M Janota
International Symposium on Formal Methods, 507-525, 2019
32019
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20