Search results

tension 2010-01-08 Paper Adaptive observers for nonlinearly parameterized class of nonlinear systems 2010-01-08 Paper The fatigue behaviour of three-dimensional...

Paper Modification of a steepest descent control for output tracking of some class non-minimum phase nonlinear systems 2019-03-19 Paper Fast and accurate second...

branch hash function as a method of message synchronization in anonymous P2P conversations A structure-based chaotic hashing scheme Large classes of permutation...

specification of Java bytecode verification A certified lightweight non-interference Java bytecode verifier This page was built for publication: Java bytecode...

of JDK's identity hash map implementation Weakest pre-condition reasoning for Java programs with JML annotations A case study in class library verification:...

\(2^{0.65n}\) with polynomial memory Factoring multi power RSA moduli with a class of secret exponents Euler's constant: Euler's work and modern developments...

verified softwareverified software repositoryJava modeling languageJava collections frameworkJava HashMap classlinking theories Mathematics Subject Classification...

Verifying Whiley programs with Boogie A framework for table driven testing of Java classes Tools and Algorithms for the Construction and Analysis of Systems JMLUnit...

distribution transformers: affine invariant synthesis for safety objectives Class invariants as abstract interpretation of trace semantics Sound non-statistical...