Key distribution protocol for digital mobile communication systems
CRYPTO '89 Proceedings on Advances in cryptology
Specification of realtime systems using ASTRAL
IEEE Transactions on Software Engineering
Using CSP to Detect Errors in the TMN Protocol
IEEE Transactions on Software Engineering
Modeling mobile IP in mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using encryption for authentication in large networks of computers
Communications of the ACM
The design and analysis of real-time systems using the ASTRAL software development environment
Annals of Software Engineering
A Formal Framework for ASTRAL Intralevel Proof Obligations
IEEE Transactions on Software Engineering
Hybrid specification of control systems
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
Automated analysis of cryptographic protocols using Mur/spl phi/
SP '97 Proceedings of the 1997 IEEE Symposium on Security and Privacy
Software engineering for security: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Proceedings of the 22nd international conference on Software engineering
Verification of time partitioning in the DEOS scheduler kernel
Proceedings of the 22nd international conference on Software engineering
Using predicate abstraction to reduce object-oriented programs for model checking
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Decidable Approximations on Generalized and Parameterized Discrete Timed Automata
COCOON '01 Proceedings of the 7th Annual International Conference on Computing and Combinatorics
Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter
FST TCS '01 Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science
CIAA '01 Revised Papers from the 6th International Conference on Implementation and Application of Automata
Generalized discrete timed automata: decidable approximations for safety verification
Theoretical Computer Science - Computing and combinatorics
Proceedings of the 25th International Conference on Software Engineering
Verifying Time Partitioning in the DEOS Scheduling Kernel
Formal Methods in System Design
Safety verification for two-way finite automata with monotonic counters
DLT'02 Proceedings of the 6th international conference on Developments in language theory
| Hi-index | 0.00 |