Search results
From MaRDI portal
- 2022-08-19 Paper Integrating formal specifications into applications: the ProB Java API 2022-06-20 Paper Spot the difference: a detailed comparison between B and...10 bytes (13 words) - 02:32, 7 October 2023
- 2023-05-05 Paper Integrating formal specifications into applications: the ProB Java API 2022-06-20 Paper https://portal.mardi4nfdi.de/entity/Q5020541 2022-01-06...10 bytes (13 words) - 23:21, 24 September 2023
- Publication Type Integrating formal specifications into applications: the ProB Java API 2022-06-20 Paper https://portal.mardi4nfdi.de/entity/Q5020541 2022-01-06...10 bytes (13 words) - 23:21, 24 September 2023
- Publication Type Integrating formal specifications into applications: the ProB Java API 2022-06-20 Paper Directed Model Checking for B: An Evaluation and New Techniques...10 bytes (13 words) - 23:21, 24 September 2023
- Publication Type Integrating formal specifications into applications: the ProB Java API 2022-06-20 Paper...10 bytes (13 words) - 23:21, 24 September 2023
- Publication Type DirectJ: Java APIs for optimized 2D graphics 2003-02-04 Paper JSBricks: a suite of microbenchmarks for the evaluation of Java as a scientific execution...10 bytes (15 words) - 12:28, 24 September 2023
- Dataset DirectJ: Java APIs for optimized 2D graphics 2003-02-04 Paper JSBricks: a suite of microbenchmarks for the evaluation of Java as a scientific execution...10 bytes (15 words) - 11:27, 14 March 2024
- Publication Type DirectJ: Java APIs for optimized 2D graphics 2003-02-04 Paper JSBricks: a suite of microbenchmarks for the evaluation of Java as a scientific execution...10 bytes (13 words) - 11:27, 14 March 2024
- Publication Date of Publication Type DirectJ: Java APIs for optimized 2D graphics 2003-02-04 Paper...10 bytes (13 words) - 13:45, 28 January 2024
- behaviour in complex systems with Timebands 2014-06-30 Paper Safety-critical Java programs from \textsf{Circus} models 2014-04-08 Paper Angelic nondeterminism...10 bytes (16 words) - 21:27, 11 December 2023
- \(\text{ASL}+_{\text{FPC}}\). 2010-04-20 Paper Towards a Type System for Security APIs 2009-10-22 Paper Datatypes in Memory 2009-03-10 Paper Safety Guarantees from...10 bytes (13 words) - 17:03, 9 December 2023
- analysis of PKCS\#11 key management 2012-06-29 Paper An introduction to security API analysis 2011-09-16 Paper Transforming processes to check and ensure information...10 bytes (15 words) - 12:56, 6 October 2023
- STATIC ANALYSIS AND CLASSIFICATION OF ANDROID MALWARE USING PERMISSION AND API CALLS MODELS 2021-02-16 Paper A model of the behavior of network objects in...10 bytes (15 words) - 09:01, 6 October 2023
- STATIC ANALYSIS OF CLIENT-SIDE JavaScript CODE 2021-10-08 Paper DETECTING DOM-BASED XSS VULNERABILITIES USING DEBUG API OF THE MODERN WEB-BROWSER 2021-02-16...10 bytes (15 words) - 21:38, 27 December 2023
- formalised semantics of a Java-like language Integrating a formal method into a software engineering process with UML and Java Java-MaC: A run-time assurance...15 bytes (270 words) - 23:43, 1 February 2024
- Processes Integrating formal specifications into applications: the ProB Java API Compositional Specification in Rewriting Logic Efficient symbolic computation...15 bytes (172 words) - 04:48, 7 March 2024
- concurrency Integrating formal specifications into applications: the ProB Java API Temporal reasoning through automatic translation of tock-CSP into timed...15 bytes (335 words) - 04:40, 31 January 2024
- reduction Integrating formal specifications into applications: the ProB Java API Model Checking Software Directed Model Checking for B: An Evaluation and...15 bytes (262 words) - 21:09, 3 February 2024
- relaxation Integrating formal specifications into applications: the ProB Java API Trading Plaintext-Awareness for Simulatability to Achieve Chosen Ciphertext...15 bytes (244 words) - 19:08, 4 February 2024
- of types Integrating formal specifications into applications: the ProB Java API Analysis in a formal predicative set theory A note on fuzzy union and fuzzy...15 bytes (681 words) - 05:45, 3 February 2024
