AADL modeling and analysis of hierarchical schedulers
Proceedings of the 2007 ACM international conference on SIGAda annual international conference
Runtime Verification of C Programs
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Are Statecharts Finite Automata?
CIAA '09 Proceedings of the 14th International Conference on Implementation and Application of Automata
Integration of verification methods for program systems
Programming and Computing Software
Validate, simulate, and implement ARINC653 systems using the AADL
Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
State Based Robustness Testing for Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Using UML Statecharts with Knowledge Logic Guards
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Architectural design, behavior modeling and run-time verification of network embedded systems
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Robustness testing for software components
Science of Computer Programming
Component architecture of model-based testing environment
Programming and Computing Software
Modeling the car crash crisis management system using HiLA
Transactions on aspect-oriented software development VII
Model projection: simplifying models in response to restricting the environment
Proceedings of the 33rd International Conference on Software Engineering
Modeling the car crash crisis management system using HiLA
Transactions on aspect-oriented software development VII
Persuasive dialogues in an intelligent tutoring system for medical diagnosis
ITS'10 Proceedings of the 10th international conference on Intelligent Tutoring Systems - Volume Part II
Comprehensively evaluating conformance error rates of applying aspect state machines
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Weaving semantic aspects in HiLA
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
HiLA: high-level aspects for UML state machines
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Aspect-Oriented modeling of web applications with HiLA
ICWE'11 Proceedings of the 11th international conference on Current Trends in Web Engineering
Validating Quality Attribute Requirements
Software—Practice & Experience
Formal passive testing of timed systems: theory and tools
Software Testing, Verification & Reliability
Aspect-oriented modeling of mutual exclusion in UML state machines
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
What does AI have to do with RV?
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Accelerated robustness testing of state-based components using reverse execution
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Proving the correctness of nonblocking data structures
Communications of the ACM
Accelerated model-based robustness testing of state machine implementations
ACM SIGAPP Applied Computing Review
| Hi-index | 0.02 |