Automatic Analysis of Consistency between Requirements and Designs
IEEE Transactions on Software Engineering
Automatic verification of security in payment protocols for electronic commerce
Enterprise information systems IV
A non-functional property based service selection and service verification model
UIC'11 Proceedings of the 8th international conference on Ubiquitous intelligence and computing
Software certification experience in the canadian nuclear industry: lessons for the future
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Automated specification analysis using an interactive theorem prover
Proceedings of the International Conference on Formal Methods in Computer-Aided Design
Property-driven design for swarm robotics
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
SMT solvers for software security
WOOT'12 Proceedings of the 6th USENIX conference on Offensive Technologies
Searching for pareto-optimal randomised algorithms
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Ensuring well-formed conversations between control and operational behaviors of web services
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Software model synthesis using satisfiability solvers
Empirical Software Engineering
High-confidence cyber-physical co-design
ACM SIGBED Review - Special Issue on the Work-in-Progress (WiP) session of the 33rd IEEE Real-Time Systems Symposium (RTSS'12)
Alias analysis for object-oriented programs
Aliasing in Object-Oriented Programming
Hi-index | 0.00 |