Search results
From MaRDI portal
- Publication Type Integrating formal specifications into applications: the ProB Java API 2022-06-20 Paper...10 bytes (13 words) - 00:21, 25 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) - 00:21, 25 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) - 00:21, 25 September 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) - 00:21, 25 September 2023
- 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) - 03:32, 7 October 2023
- Publication Date of Publication Type DirectJ: Java APIs for optimized 2D graphics 2003-02-04 Paper...10 bytes (13 words) - 14:45, 28 January 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) - 12:27, 14 March 2024
- 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) - 12: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 (15 words) - 13:28, 24 September 2023
- 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) - 22:27, 11 December 2023
- Scalability of Cloud-Native Applications 2021-10-25 Dataset Data for: Continuous API Evolution in Heterogenous Enterprise Software Systems 2021-10-17 Dataset Data...10 bytes (15 words) - 18:05, 6 October 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) - 18:03, 9 December 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) - 22:38, 27 December 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) - 10:01, 6 October 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) - 13:56, 6 October 2023
- VisB WebASM Integrating formal specifications into applications: the ProB Java API CoreASM BTestBox EventB2Java This page was built for software: JeB...12 bytes (42 words) - 08:35, 13 March 2026
- VisB WebASM Integrating formal specifications into applications: the ProB Java API CoreASM Atelier B Overture Tool BTestBox EventB2Java This page was built...12 bytes (49 words) - 08:35, 13 March 2026
- JeB WebASM Integrating formal specifications into applications: the ProB Java API CoreASM Atelier B Overture Tool BTestBox EventB2Java This page was built...12 bytes (53 words) - 08:35, 13 March 2026
- JeB VisB Integrating formal specifications into applications: the ProB Java API CoreASM Atelier B Overture Tool BTestBox EventB2Java This page was built...12 bytes (53 words) - 08:35, 13 March 2026
- VisB WebASM Integrating formal specifications into applications: the ProB Java API CoreASM Atelier B Overture Tool EventB2Java This page was built for software:...12 bytes (61 words) - 08:35, 13 March 2026
