User contributions
Jump to navigation
Jump to search
- 12:49, 27 June 2024 diff hist +40 IVOIRE Workshop 2024 current
- 12:48, 27 June 2024 diff hist 0 N File:IVOIRE Workshop Photo 2024.jpeg current
- 07:25, 27 June 2024 diff hist +55 IVOIRE Workshop 2024
- 07:25, 27 June 2024 diff hist 0 N File:An Exercise in Multi modeling compressed.pdf current
- 15:41, 26 June 2024 diff hist +71 IVOIRE Workshop 2024
- 15:40, 26 June 2024 diff hist -50 IVOIRE Workshop 2024
- 15:40, 26 June 2024 diff hist +150 IVOIRE Workshop 2024
- 15:39, 26 June 2024 diff hist 0 N File:What Should I Verify compressed.pdf current
- 15:38, 26 June 2024 diff hist 0 N File:VO Manager.pdf current
- 15:38, 26 June 2024 diff hist 0 N File:Validation Obligations In Practice compressed.pdf current
- 15:38, 26 June 2024 diff hist 0 N File:IVOIRE Results compressed.pdf current
- 09:17, 25 June 2024 diff hist +10 IVOIRE Workshop 2024 →Schedule
- 09:13, 21 June 2024 diff hist +58 IVOIRE Workshop 2024 Link to ABZ 2024 venue page
- 09:12, 21 June 2024 diff hist +31 IVOIRE Workshop 2024 →Schedule: Add room
- 09:23, 3 June 2024 diff hist +97 IVOIRE Workshop 2024 →Schedule: Update schedule
- 09:31, 24 May 2024 diff hist +828 IVOIRE Workshop 2024 →Schedule: Add schedule
- 08:49, 13 May 2024 diff hist +121 Main Page Add picture of team meeting current
- 08:46, 13 May 2024 diff hist 0 N File:IVOIRE Meeting 2024 Düsseldorf.jpg current
- 08:45, 13 May 2024 diff hist -6 Ivoire:About current
- 08:45, 13 May 2024 diff hist +6 Ivoire:About
- 08:44, 13 May 2024 diff hist 0 N File:Test Logo.png current
- 12:24, 10 May 2024 diff hist +1,960 Main Page Add news section
- 09:07, 10 May 2024 diff hist -547 About the Project Redirected page to Ivoire:About current Tag: New redirect
- 09:06, 10 May 2024 diff hist +39 MediaWiki:Sidebar Add 2024 workshop current
- 09:06, 10 May 2024 diff hist 0 m MediaWiki:Sidebar
- 09:06, 10 May 2024 diff hist +1,584 N 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?)..."
- 15:55, 9 January 2024 diff hist +23 Publications current
- 15:54, 9 January 2024 diff hist +419 Publications
- 07:22, 31 May 2023 diff hist +399 IVOIRE Workshop 2023 →Schedule: Add presentations current
- 07:21, 31 May 2023 diff hist 0 N File:Angelo Gargantini - Compositional Simulation of Abstract State Machines for Safety Critical Systems.pptx current
- 07:21, 31 May 2023 diff hist 0 N File:Jean-Pierre Jacquot - A Case-study for Incremental Validation.pdf current
- 07:21, 31 May 2023 diff hist 0 N File:Sebastian Stock - Validation-Driven Development.pdf current
- 07:18, 31 May 2023 diff hist 0 N File:Fabian Vu - Formalizing and Validating the VO Approach.pdf current
- 07:17, 31 May 2023 diff hist 0 N File:D. Geleßus - Classification and Semantics of Validation Tasks.pdf current
- 21:35, 30 May 2023 diff hist -176 IVOIRE Workshop 2023 Workshop has finished
- 15:00, 30 May 2023 diff hist 0 m IVOIRE Workshop 2023
- 14:59, 30 May 2023 diff hist 0 File:IVOIRE Workshop 2023 Nancy.jpg IvoireDL uploaded a new version of File:IVOIRE Workshop 2023 Nancy.jpg current
- 14:44, 30 May 2023 diff hist -68 IVOIRE Workshop 2023
- 14:42, 30 May 2023 diff hist 0 N File:IVOIRE Workshop 2023 Nancy.jpg
- 11:59, 26 May 2023 diff hist 0 IVOIRE Workshop 2023 →Schedule
- 11:57, 26 May 2023 diff hist +311 IVOIRE Workshop 2023 →Schedule
- 15:26, 23 May 2023 diff hist +626 IVOIRE Workshop 2023 Add schedule
- 07:53, 16 May 2023 diff hist -37 Publications
- 07:53, 16 May 2023 diff hist +105 Publications
- 07:46, 16 May 2023 diff hist -1 Publications
- 07:45, 16 May 2023 diff hist +424 Publications
- 08:25, 25 April 2023 diff hist +85 IVOIRE Workshop 2023
- 08:24, 25 April 2023 diff hist +151 IVOIRE Workshop 2023 →Schedule
- 08:21, 25 April 2023 diff hist +123 IVOIRE Workshop 2023 →Registration
- 08:59, 9 December 2022 diff hist +54 Reports current
