A generic mobile agent framework for ambient intelligence
Proceedings of the 2008 ACM symposium on Applied computing
Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code
FM '08 Proceedings of the 15th international symposium on Formal Methods
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM
FM '08 Proceedings of the 15th international symposium on Formal Methods
Model Based Refinement and the Tools of Tomorrow
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
A Concept-Driven Construction of the Mondex Protocol Using Three Refinements
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository
Science of Computer Programming
Mechanising a formal model of flash memory
Science of Computer Programming
A refinement method for Java programs
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Formalization of data flow computing and a coinductive approach to verifying flowware synthesis
Transactions on computational science I
Analyzing a formal specification of Mondex using model checking
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Formal modelling of separation kernel components
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Modelling flash devices with FDR: progress and limits
Proceedings of the 8th International Conference on Frontiers of Information Technology
A systematic verification approach for mondex electronic purses using ASMs
Rigorous Methods for Software Construction and Analysis
Ten commandments ten years on: lessons for ASM, B, Z and VSR-net
Rigorous Methods for Software Construction and Analysis
Formal verification of application-specific security properties in a model-driven approach
ESSoS'10 Proceedings of the Second international conference on Engineering Secure Software and Systems
Continuous ASM, and a pacemaker sensing fragment
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Formal Specification of Medical Systems by Proof-Based Refinement
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
| Hi-index | 4.10 |
The computer science research community is collaborating to develop verification technology that will demonstrably enhance the productivity and reliability with which software is designed, developed, integrated, and maintained.