Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Component-oriented modeling of hybrid dynamic systems using the Generic Modeling Environment
MBD-MOMPES '06 Proceedings of the Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Modeling and Reasoning with Bayesian Networks
Modeling and Reasoning with Bayesian Networks
Diagnosing faults in electrical power systems of spacecraft and aircraft
IAAI'08 Proceedings of the 20th national conference on Innovative applications of artificial intelligence - Volume 3
Symbolic execution and model checking for testing
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
A Real-Time Component Framework: Experience with CCM and ARINC-653
ISORC '10 Proceedings of the 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
A model-based approach to reactive self-configuring systems
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Towards software health management with bayesian networks
Proceedings of the FSE/SDP workshop on Future of software engineering research
Deliberative, search-based mitigation strategies for model-based software health management
Innovations in Systems and Software Engineering
Runtime verification of microcontroller binary code
Science of Computer Programming
Towards a resilient deployment and configuration infrastructure for fractionated spacecraft
ACM SIGBED Review - Special Issue on the 5th Workshop on Adaptive and Reconfigurable Embedded Systems
| Hi-index | 0.00 |