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 50 | older 50) (20 | 50 | 100 | 250 | 500)- 15:38, 26 June 2024 IvoireDL talk contribs created page File:IVOIRE Results compressed.pdf
- 15:38, 26 June 2024 IvoireDL talk contribs uploaded File:IVOIRE Results compressed.pdf
- 08:46, 13 May 2024 IvoireDL talk contribs created page File:IVOIRE Meeting 2024 Düsseldorf.jpg
- 08:46, 13 May 2024 IvoireDL talk contribs uploaded File:IVOIRE Meeting 2024 Düsseldorf.jpg
- 08:44, 13 May 2024 IvoireDL talk contribs created page File:Test Logo.png
- 08:44, 13 May 2024 IvoireDL talk contribs uploaded 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 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:Angelo Gargantini - Compositional Simulation of Abstract State Machines for Safety Critical Systems.pptx
- 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:Jean-Pierre Jacquot - A Case-study for Incremental Validation.pdf
- 07:21, 31 May 2023 IvoireDL talk contribs created page File:Sebastian Stock - Validation-Driven Development.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 created page File:Fabian Vu - Formalizing and Validating the VO Approach.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 created page File:D. Geleßus - Classification and Semantics of Validation Tasks.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 created page File:IVOIRE Workshop 2023 Nancy.jpg
- 14:42, 30 May 2023 IvoireDL talk contribs uploaded 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 created page File:IVOIRE Workshop Lugano.jpg
- 09:04, 14 June 2022 IvoireDL talk contribs uploaded File:IVOIRE Workshop Lugano.jpg
- 13:19, 9 June 2022 IvoireDL talk contribs created page File:Alexander Egyed - DesignSpace for collaborative engineering.pdf
- 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 created page File:Atif Mashkoor - Validation obligations.pptx
- 08:54, 8 June 2022 IvoireDL talk contribs uploaded File:Atif Mashkoor - Validation obligations.pptx
- 20:43, 7 June 2022 IvoireDL talk contribs created page File:Elvinia Riccobene - Exploiting the advantage of formal executable models@RUNTIME.pdf
- 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 created page File:Angelo Gargantini - On the importance of scenario-based validation.pptx
- 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 created page File:Egon Börger - The ASM Method Integrates Validation and Verification at Different Abstraction Levels.pdf
- 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 created page File:Colin Snook - Behavior Driven Formal Modelling.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 created page File:Colin Snook - Behavior Driven Formal Modelling lowres.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 created page File:Dominique Méry - Refinement-based Construction of Correct IoT Protocols.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 created page File:Richard Banach - Graded Refinement, Retrenchment and Simulation, for Challenging Requirements.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 created page File:Jean-Pierre Jacquot - Validation An Event-B perspective with JeB.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 created page File:Fabian Vu - Formalization of VOs.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 created page File:Thierry Lecomte - Methodology for formal proof of spec.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 created page File:Advanced semantics for VOs.pdf
- 11:18, 3 June 2022 IvoireDL talk contribs uploaded File:Advanced semantics for VOs.pdf
- 12:23, 11 April 2022 IvoireDL talk contribs created page IVOIRE Workshop 2022 (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?)...")
