3 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.SE2009★ 3 cited
How to Complete an Interactive Configuration Process?
Mikolas Janota, Goetz Botterweck, Radu Grigore +1
When configuring customizable software, it is useful to provide interactive tool-support that ensures that the configuration does not breach given constraints. But, when is a confi…
cs.DS2009★ 2 cited
Algorithms for finding dispensable variables
Mikolas Janota, Joao Marques-Silva, Radu Grigore
This short note reviews briefly three algorithms for finding the set of dispensable variables of a boolean formula. The presentation is light on proofs and heavy on intuitions.
cs.LO2007
Edit and verify
Radu Grigore, Michał Moskal
Automated theorem provers are used in extended static checking, where they are the performance bottleneck. Extended static checkers are run typically after incremental changes to t…