IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Model checking real-time value-passing systems
Journal of Computer Science and Technology
Verifying Time Partitioning in the DEOS Scheduling Kernel
Formal Methods in System Design
Toward an integratred verification environment for embedded systems
MS'06 Proceedings of the 17th IASTED international conference on Modelling and simulation
Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems
Journal of Systems and Software
Checking timed Büchi automata emptiness on simulation graphs
ACM Transactions on Computational Logic (TOCL)
Translation of Timed Promela to Timed Automata with Discrete Data
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
SPHIN: A model checker for reconfigurable hybrid systems based on SPIN
Electronic Notes in Theoretical Computer Science (ENTCS)
A finite state modeling of AFDX frame management using spin
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Model extraction for ARINC 653 based avionics software
Proceedings of the 14th international SPIN conference on Model checking software
Timeout and calendar based finite state modeling and verification of real-time systems
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Exhaustive testing of safety critical Java
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
Translation of Timed Promela to Timed Automata with Discrete Data
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Hi-index | 0.00 |