Specification, Implementation, and Validation of Object-Oriented Embedded Systems
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Use of Verification for Testing and Debugging of Complex Reactive Systems
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Formal verification of control software: a case study
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Dynamic and formal verification of embedded systems: a comparative survey
International Journal of Parallel Programming
Toward an integratred verification environment for embedded systems
MS'06 Proceedings of the 17th IASTED international conference on Modelling and simulation
Modelling and model checking suspendible business processes via statechart diagrams and CSP
Science of Computer Programming
Formal Fault Tree Analysis - Practical Experiences
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
A real-time profile for UML and how to adapt it to SDL
SDL'03 Proceedings of the 11th international conference on System design
Detecting design flaws in UML state charts for embedded software
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Rewrite rules and operational semantics for model checking UML statecharts
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Synthesis of monitors for real-time analysis of reactive systems
Pillars of computer science
What is in a step: new perspectives on a classical question
Time for verification
Towards a unified model-based safety assessment
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Verifying statemate statecharts using CSP and FDR
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Hi-index | 0.00 |