Author of the publication

Flexible Formality Practical Experience with Agile Formal Methods.

, , , , , , , , , , , and . TFP, volume 12222 of Lecture Notes in Computer Science, page 94-120. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

CLONETS - clock network services: Strategy and innovation for clock services over optical-fibre networks., , , , , , , , , and 32 other author(s). ICTON, page 1-2. IEEE, (2017)Djed: A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin., , , and . IACR Cryptol. ePrint Arch., (2021)Comparison of Multiple Cloud Frameworks., , , and . IEEE CLOUD, page 734-741. IEEE Computer Society, (2012)Reuse Detector: Improving the Management of STT-RAM SLLCs., , , , , , , , , and 1 other author(s). CoRR, (2024)Optimization Strategies for High-Performance Computing of Optical-Flow in General-Purpose Processors., , , and . IEEE Trans. Circuits Syst. Video Technol., 19 (10): 1475-1488 (2009)Imperfect Answers in Multiple Choice Questionnaires., , , , and . EC-TEL, volume 5192 of Lecture Notes in Computer Science, page 144-154. Springer, (2008)Metric Identification Evaluating Security Information: A Systematic Literature Review., , , , and . CITI, volume 1658 of Communications in Computer and Information Science, page 214-231. Springer, (2022)High performance reconfigurable computing., , and . Scalable Comput. Pract. Exp., (2007)A Virtual Java Simulation Lab for Computer Science Students, , , and . CoRR, (2000)A Fully Programmable White-Rabbit Node for the SKA Telescope PPS Distribution System., , , , and . IEEE Trans. Instrumentation and Measurement, 68 (2): 632-641 (2019)