All public logs
Jump to navigation
Jump to search
Combined display of all available logs of Ivoire. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)- 08:46, 13 May 2024 IvoireDL talk contribs uploaded File:IVOIRE Meeting 2024 Düsseldorf.jpg
- 08:46, 13 May 2024 IvoireDL talk contribs created page File:IVOIRE Meeting 2024 Düsseldorf.jpg
- 08:44, 13 May 2024 IvoireDL talk contribs uploaded File:Test Logo.png
- 08:44, 13 May 2024 IvoireDL talk contribs created page File:Test Logo.png
- 09:06, 10 May 2024 IvoireDL talk contribs created page IVOIRE Workshop 2024 (Created page with "Historically, formal methods and supported environments have focused more on only one-half of the quality-assurance process: verification (are we building the software right?)...")
- 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 created page 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 created page 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:21, 31 May 2023 IvoireDL talk contribs created page 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:18, 31 May 2023 IvoireDL talk contribs created page 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
- 07:17, 31 May 2023 IvoireDL talk contribs created page 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
- 14:42, 30 May 2023 IvoireDL talk contribs created page File:IVOIRE Workshop 2023 Nancy.jpg
- 08:53, 22 November 2022 IvoireDL talk contribs created page IVOIRE Workshop 2023 (Created page with "Historically, formal methods and supported environments have focused more on only one-half of the quality-assurance process: verification (are we building the software right?)...")
- 09:04, 14 June 2022 IvoireDL talk contribs uploaded File:IVOIRE Workshop Lugano.jpg