Help
Uploads by IvoireDL
Jump to navigation
Jump to search
This special page shows all uploaded files.
File list
Items per page:
20
50
100
250
500
Search for media name:
Username:
Include old versions of files
Go
Date
Name
Thumbnail
Size
Description
Versions
10:27, 29 November 2021
IVOIRE Deliverable D 1 1.pdf
(
file
)
636 KB
1
10:47, 29 November 2021
Jku.png
(
file
)
118 KB
1
11:38, 29 November 2021
Hhu..png
(
file
)
133 KB
1
13:24, 29 November 2021
RefinementHierarchy.pdf
(
file
)
41 KB
1
13:26, 29 November 2021
RefinementHierarchy.png
(
file
)
110 KB
1
09:07, 18 February 2022
IVOIRE D 1 1.pdf
(
file
)
658 KB
1
09:23, 18 February 2022
LiftSubset.jpeg
(
file
)
107 KB
1
09:24, 18 February 2022
LiftSubset.png
(
file
)
249 KB
1
09:28, 18 February 2022
VTFunction.png
(
file
)
249 KB
Validation Task and how they work together.
1
09:37, 18 February 2022
RQ2RQ3RQ4.png
(
file
)
112 KB
1
11:18, 3 June 2022
Advanced semantics for VOs.pdf
(
file
)
848 KB
1
08:43, 5 June 2022
Thierry Lecomte - Methodology for formal proof of spec.pdf
(
file
)
1.48 MB
1
09:07, 7 June 2022
Fabian Vu - Formalization of VOs.pdf
(
file
)
1.79 MB
1
12:18, 7 June 2022
Jean-Pierre Jacquot - Validation An Event-B perspective with JeB.pdf
(
file
)
273 KB
1
12:19, 7 June 2022
Richard Banach - Graded Refinement, Retrenchment and Simulation, for Challenging Requirements.pdf
(
file
)
820 KB
1
12:23, 7 June 2022
Dominique Méry - Refinement-based Construction of Correct IoT Protocols.pdf
(
file
)
612 KB
1
12:32, 7 June 2022
Colin Snook - Behavior Driven Formal Modelling lowres.pdf
(
file
)
1.73 MB
1
13:11, 7 June 2022
Colin Snook - Behavior Driven Formal Modelling.pdf
(
file
)
15.32 MB
1
20:42, 7 June 2022
Egon Börger - The ASM Method Integrates Validation and Verification at Different Abstraction Levels.pdf
(
file
)
119 KB
1
20:43, 7 June 2022
Angelo Gargantini - On the importance of scenario-based validation.pptx
(
file
)
3.63 MB
1
20:43, 7 June 2022
Elvinia Riccobene - Exploiting the advantage of formal executable models@RUNTIME.pdf
(
file
)
2.39 MB
1
08:54, 8 June 2022
Atif Mashkoor - Validation obligations.pptx
(
file
)
3.14 MB
1
13:19, 9 June 2022
Alexander Egyed - DesignSpace for collaborative engineering.pdf
(
file
)
3.81 MB
1
09:04, 14 June 2022
IVOIRE Workshop Lugano.jpg
(
file
)
149 KB
1
14:59, 30 May 2023
IVOIRE Workshop 2023 Nancy.jpg
(
file
)
1.17 MB
2
07:17, 31 May 2023
D. Geleßus - Classification and Semantics of Validation Tasks.pdf
(
file
)
1.47 MB
1
07:18, 31 May 2023
Fabian Vu - Formalizing and Validating the VO Approach.pdf
(
file
)
5.83 MB
1
07:21, 31 May 2023
Sebastian Stock - Validation-Driven Development.pdf
(
file
)
869 KB
1
07:21, 31 May 2023
Jean-Pierre Jacquot - A Case-study for Incremental Validation.pdf
(
file
)
16.97 MB
1
07:21, 31 May 2023
Angelo Gargantini - Compositional Simulation of Abstract State Machines for Safety Critical Systems.pptx
(
file
)
5.78 MB
1
08:44, 13 May 2024
Test Logo.png
(
file
)
969 bytes
1
08:46, 13 May 2024
IVOIRE Meeting 2024 Düsseldorf.jpg
(
file
)
1.19 MB
1
15:38, 26 June 2024
IVOIRE Results compressed.pdf
(
file
)
1,001 KB
1
15:38, 26 June 2024
Validation Obligations In Practice compressed.pdf
(
file
)
880 KB
1
15:38, 26 June 2024
VO Manager.pdf
(
file
)
1.38 MB
1
15:39, 26 June 2024
What Should I Verify compressed.pdf
(
file
)
1.51 MB
1
07:25, 27 June 2024
An Exercise in Multi modeling compressed.pdf
(
file
)
669 KB
1
12:48, 27 June 2024
IVOIRE Workshop Photo 2024.jpeg
(
file
)
1.3 MB
1
Navigation menu
Personal tools
Log in
Namespaces
Special page
Variants
Views
More
Search
Main Page|Main Page
Content
About the Project
Reports
Publications
Workshops
Workshop 2024
Workshop 2023
Workshop 2022
Tools
User contributions
Logs
View user groups
Special pages
Printable version
