As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Verifying Time Partitioning in the DEOS Scheduling Kernel
Formal Methods in System Design
Scheduling optimisations for SPIN to minimise buffer requirements in synchronous data flow
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
Survey on Directed Model Checking
Model Checking and Artificial Intelligence
Optimal scheduling using branch and bound with SPIN 4.0
SPIN'03 Proceedings of the 10th international conference on Model checking software
Introducing time in an industrial application of model-checking
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
A universal planning system for hybrid domains
Applied Intelligence
| Hi-index | 0.00 |