Object lifecycles: modeling the world in states
Object lifecycles: modeling the world in states
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Static Partial Order Reduction
TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
SDLcheck: A Model Checking Tool
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
vUML: A Tool for Verifying UML Models
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Model Checking for an Executable Subset of UML
Proceedings of the 16th IEEE international conference on Automated software engineering
Verified systems by composition from verified components
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Lessons Learned from Model Checking a NASA Robot Controller
Formal Methods in System Design
Component-based hardware/software co-verification for building trustworthy embedded systems
Journal of Systems and Software
A hybrid framework for resource verification in executable model-based embedded system development
ACM SIGBED Review - Special issue on the RTSS forum on deeply embedded real-time computing
Component-Based Abstraction and Refinement
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Supporting user-oriented analysis for multi-view domain-specific visual languages
Information and Software Technology
A transformation-driven approach to the verification of security policies in web designs
ICWE'07 Proceedings of the 7th international conference on Web engineering
Compositional reasoning for hardware/software co-verification
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Efficient probabilistic abstraction for SysML activity diagrams
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
A property-based abstraction framework for SysML activity diagrams
Knowledge-Based Systems
| Hi-index | 0.00 |