Adaptive Online Program Analysis
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Randomized Differential Testing as a Prelude to Formal Verification
ICSE '07 Proceedings of the 29th international conference on Software Engineering
New Challenges in Model Checking
25 Years of Model Checking
A direct path to dependable software
Communications of the ACM - A Direct Path to Dependable Software
A framework for software safety in safety-critical systems
ACM SIGSOFT Software Engineering Notes
A Test-oriented Embedded System Production Methodology
Journal of Signal Processing Systems
A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Improving SCADA control systems security with software vulnerability analysis
ACMOS'10 Proceedings of the 12th WSEAS international conference on Automatic control, modelling & simulation
SCRUB: a tool for code reviews
Innovations in Systems and Software Engineering
A formal verification study on the Rotterdam storm surge barrier
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Software Engineering Education (SEEd)
ACM SIGSOFT Software Engineering Notes
System-specific static code analyses: a case study in the complex embedded systems domain
Software Quality Control
Proceedings of the 21st International conference on Real-Time Networks and Systems
Programming languages for high-assurance autonomous vehicles: extended abstract
Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification
Communications of the ACM
Hi-index | 4.12 |
Adhering to a set of 10 verifiable coding rules can make the analysis of critical software components more reliable.