File list

Jump to navigation Jump to search

This special page shows all uploaded files.

File list
Date Name Thumbnail Size User Description Versions
07:21, 31 May 2023 Angelo Gargantini - Compositional Simulation of Abstract State Machines for Safety Critical Systems.pptx (file) 5.78 MB IvoireDL   1
07:21, 31 May 2023 Jean-Pierre Jacquot - A Case-study for Incremental Validation.pdf (file) 16.97 MB IvoireDL   1
07:21, 31 May 2023 Sebastian Stock - Validation-Driven Development.pdf (file) 869 KB IvoireDL   1
07:18, 31 May 2023 Fabian Vu - Formalizing and Validating the VO Approach.pdf (file) 5.83 MB IvoireDL   1
07:17, 31 May 2023 D. Geleßus - Classification and Semantics of Validation Tasks.pdf (file) 1.47 MB IvoireDL   1
14:59, 30 May 2023 IVOIRE Workshop 2023 Nancy.jpg (file) 1.17 MB IvoireDL   2
09:04, 14 June 2022 IVOIRE Workshop Lugano.jpg (file) 149 KB IvoireDL   1
13:19, 9 June 2022 Alexander Egyed - DesignSpace for collaborative engineering.pdf (file) 3.81 MB IvoireDL   1
08:54, 8 June 2022 Atif Mashkoor - Validation obligations.pptx (file) 3.14 MB IvoireDL   1
20:43, 7 June 2022 Elvinia Riccobene - Exploiting the advantage of formal executable models@RUNTIME.pdf (file) 2.39 MB IvoireDL   1
20:43, 7 June 2022 Angelo Gargantini - On the importance of scenario-based validation.pptx (file) 3.63 MB IvoireDL   1
20:42, 7 June 2022 Egon Börger - The ASM Method Integrates Validation and Verification at Different Abstraction Levels.pdf (file) 119 KB IvoireDL   1
13:11, 7 June 2022 Colin Snook - Behavior Driven Formal Modelling.pdf (file) 15.32 MB IvoireDL   1
12:32, 7 June 2022 Colin Snook - Behavior Driven Formal Modelling lowres.pdf (file) 1.73 MB IvoireDL   1
12:23, 7 June 2022 Dominique Méry - Refinement-based Construction of Correct IoT Protocols.pdf (file) 612 KB IvoireDL   1
12:19, 7 June 2022 Richard Banach - Graded Refinement, Retrenchment and Simulation, for Challenging Requirements.pdf (file) 820 KB IvoireDL   1
12:18, 7 June 2022 Jean-Pierre Jacquot - Validation An Event-B perspective with JeB.pdf (file) 273 KB IvoireDL   1
09:07, 7 June 2022 Fabian Vu - Formalization of VOs.pdf (file) 1.79 MB IvoireDL   1
08:43, 5 June 2022 Thierry Lecomte - Methodology for formal proof of spec.pdf (file) 1.48 MB IvoireDL   1
11:18, 3 June 2022 Advanced semantics for VOs.pdf (file) 848 KB IvoireDL   1
09:37, 18 February 2022 RQ2RQ3RQ4.png (file) 112 KB IvoireDL   1
09:28, 18 February 2022 VTFunction.png (file) 249 KB IvoireDL Validation Task and how they work together. 1
09:24, 18 February 2022 LiftSubset.png (file) 249 KB IvoireDL   1
09:23, 18 February 2022 LiftSubset.jpeg (file) 107 KB IvoireDL   1
09:07, 18 February 2022 IVOIRE D 1 1.pdf (file) 658 KB IvoireDL   1
13:26, 29 November 2021 RefinementHierarchy.png (file) 110 KB IvoireDL   1
13:24, 29 November 2021 RefinementHierarchy.pdf (file) 41 KB IvoireDL   1
11:38, 29 November 2021 Hhu..png (file) 133 KB IvoireDL   1
10:47, 29 November 2021 Jku.png (file) 118 KB IvoireDL   1
10:27, 29 November 2021 IVOIRE Deliverable D 1 1.pdf (file) 636 KB IvoireDL   1
Retrieved from "https://isse.jku.at/ivoire/index.php/Special:ListFiles"