IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Temporal-Safety Proofs for Systems Code
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Adding nesting structure to words
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
SAS '08 Proceedings of the 15th international symposium on Static Analysis
Synthesizing Monitors for Safety Properties: This Time with Calls and Returns
Runtime Verification
Efficient Monitoring of Parametric Context-Free Patterns
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Efficient monitoring of parametric context-free patterns
Automated Software Engineering
Runtime Verification for LTL and TLTL
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.00 |