Upload log
Jump to navigation
Jump to search
Below is a list of the most recent file uploads. See the gallery of new files for a more visual overview.
- 12:48, 27 June 2024 IvoireDL talk contribs uploaded File:IVOIRE Workshop Photo 2024.jpeg
- 07:25, 27 June 2024 IvoireDL talk contribs uploaded File:An Exercise in Multi modeling compressed.pdf
- 15:39, 26 June 2024 IvoireDL talk contribs uploaded File:What Should I Verify compressed.pdf
- 15:38, 26 June 2024 IvoireDL talk contribs uploaded File:VO Manager.pdf
- 15:38, 26 June 2024 IvoireDL talk contribs uploaded File:Validation Obligations In Practice compressed.pdf
- 15:38, 26 June 2024 IvoireDL talk contribs uploaded File:IVOIRE Results compressed.pdf
- 08:46, 13 May 2024 IvoireDL talk contribs uploaded File:IVOIRE Meeting 2024 Düsseldorf.jpg
- 08:44, 13 May 2024 IvoireDL talk contribs uploaded File:Test Logo.png
- 07:21, 31 May 2023 IvoireDL talk contribs uploaded File:Angelo Gargantini - Compositional Simulation of Abstract State Machines for Safety Critical Systems.pptx
- 07:21, 31 May 2023 IvoireDL talk contribs uploaded File:Jean-Pierre Jacquot - A Case-study for Incremental Validation.pdf
- 07:21, 31 May 2023 IvoireDL talk contribs uploaded File:Sebastian Stock - Validation-Driven Development.pdf
- 07:18, 31 May 2023 IvoireDL talk contribs uploaded File:Fabian Vu - Formalizing and Validating the VO Approach.pdf
- 07:17, 31 May 2023 IvoireDL talk contribs uploaded File:D. Geleßus - Classification and Semantics of Validation Tasks.pdf
- 14:59, 30 May 2023 IvoireDL talk contribs uploaded a new version of File:IVOIRE Workshop 2023 Nancy.jpg
- 14:42, 30 May 2023 IvoireDL talk contribs uploaded File:IVOIRE Workshop 2023 Nancy.jpg
- 09:04, 14 June 2022 IvoireDL talk contribs uploaded File:IVOIRE Workshop Lugano.jpg
- 13:19, 9 June 2022 IvoireDL talk contribs uploaded File:Alexander Egyed - DesignSpace for collaborative engineering.pdf
- 08:54, 8 June 2022 IvoireDL talk contribs uploaded File:Atif Mashkoor - Validation obligations.pptx
- 20:43, 7 June 2022 IvoireDL talk contribs uploaded File:Elvinia Riccobene - Exploiting the advantage of formal executable models@RUNTIME.pdf
- 20:43, 7 June 2022 IvoireDL talk contribs uploaded File:Angelo Gargantini - On the importance of scenario-based validation.pptx
- 20:42, 7 June 2022 IvoireDL talk contribs uploaded File:Egon Börger - The ASM Method Integrates Validation and Verification at Different Abstraction Levels.pdf
- 13:11, 7 June 2022 IvoireDL talk contribs uploaded File:Colin Snook - Behavior Driven Formal Modelling.pdf
- 12:32, 7 June 2022 IvoireDL talk contribs uploaded File:Colin Snook - Behavior Driven Formal Modelling lowres.pdf
- 12:23, 7 June 2022 IvoireDL talk contribs uploaded File:Dominique Méry - Refinement-based Construction of Correct IoT Protocols.pdf
- 12:19, 7 June 2022 IvoireDL talk contribs uploaded File:Richard Banach - Graded Refinement, Retrenchment and Simulation, for Challenging Requirements.pdf
- 12:18, 7 June 2022 IvoireDL talk contribs uploaded File:Jean-Pierre Jacquot - Validation An Event-B perspective with JeB.pdf
- 09:07, 7 June 2022 IvoireDL talk contribs uploaded File:Fabian Vu - Formalization of VOs.pdf
- 08:43, 5 June 2022 IvoireDL talk contribs uploaded File:Thierry Lecomte - Methodology for formal proof of spec.pdf
- 11:18, 3 June 2022 IvoireDL talk contribs uploaded File:Advanced semantics for VOs.pdf
- 09:37, 18 February 2022 IvoireDL talk contribs uploaded File:RQ2RQ3RQ4.png
- 09:28, 18 February 2022 IvoireDL talk contribs uploaded File:VTFunction.png (Validation Task and how they work together.)
- 09:24, 18 February 2022 IvoireDL talk contribs uploaded File:LiftSubset.png
- 09:23, 18 February 2022 IvoireDL talk contribs uploaded File:LiftSubset.jpeg
- 09:07, 18 February 2022 IvoireDL talk contribs uploaded File:IVOIRE D 1 1.pdf
- 13:26, 29 November 2021 IvoireDL talk contribs uploaded File:RefinementHierarchy.png
- 13:24, 29 November 2021 IvoireDL talk contribs uploaded File:RefinementHierarchy.pdf
- 11:38, 29 November 2021 IvoireDL talk contribs uploaded File:Hhu..png
- 10:47, 29 November 2021 IvoireDL talk contribs uploaded File:Jku.png
- 10:27, 29 November 2021 IvoireDL talk contribs uploaded File:IVOIRE Deliverable D 1 1.pdf
