User contributions
Jump to navigation
Jump to search
- 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?)..." current
- 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
- 12:07, 22 November 2022 diff hist -1 IVOIRE Workshop 2023
- 09:22, 22 November 2022 diff hist 0 IVOIRE Workshop 2023
- 09:21, 22 November 2022 diff hist -1 Publications
- 09:21, 22 November 2022 diff hist +258 Publications
- 09:17, 22 November 2022 diff hist +1 IVOIRE Workshop 2023
- 09:16, 22 November 2022 diff hist +2 Publications
- 09:16, 22 November 2022 diff hist +1 Publications
- 09:15, 22 November 2022 diff hist +21 Publications
- 09:15, 22 November 2022 diff hist +241 Publications
- 09:13, 22 November 2022 diff hist +10 IVOIRE Workshop 2023
- 09:11, 22 November 2022 diff hist +18 IVOIRE Workshop 2023
- 09:10, 22 November 2022 diff hist -17 IVOIRE Workshop 2023
- 09:10, 22 November 2022 diff hist +4 IVOIRE Workshop 2023
- 09:09, 22 November 2022 diff hist -6 IVOIRE Workshop 2023
- 09:08, 22 November 2022 diff hist +21 IVOIRE Workshop 2023
- 09:07, 22 November 2022 diff hist +14 IVOIRE Workshop 2023
- 09:06, 22 November 2022 diff hist +1 IVOIRE Workshop 2023
- 09:06, 22 November 2022 diff hist -4 MediaWiki:Sidebar
- 09:05, 22 November 2022 diff hist +10 MediaWiki:Sidebar
- 09:04, 22 November 2022 diff hist +48 MediaWiki:Sidebar
- 08:57, 22 November 2022 diff hist +1 IVOIRE Workshop 2023
- 08:57, 22 November 2022 diff hist +9 IVOIRE Workshop 2023
- 08:57, 22 November 2022 diff hist -3,183 IVOIRE Workshop 2023
- 08:53, 22 November 2022 diff hist +4,810 N 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:07, 14 June 2022 diff hist -2 IVOIRE Workshop 2022 current
- 09:07, 14 June 2022 diff hist -57 IVOIRE Workshop 2022
- 09:04, 14 June 2022 diff hist 0 N File:IVOIRE Workshop Lugano.jpg current
- 13:21, 9 June 2022 diff hist +156 IVOIRE Workshop 2022 →Schedule: Alexander Egyed's presentation
- 13:19, 9 June 2022 diff hist 0 N File:Alexander Egyed - DesignSpace for collaborative engineering.pdf current
- 08:54, 8 June 2022 diff hist +54 IVOIRE Workshop 2022 →Schedule: Atif Mashkoor's slides
- 08:54, 8 June 2022 diff hist 0 N File:Atif Mashkoor - Validation obligations.pptx current
- 20:44, 7 June 2022 diff hist +489 IVOIRE Workshop 2022 →Schedule: Presentations for ASM session
- 20:43, 7 June 2022 diff hist 0 N File:Elvinia Riccobene - Exploiting the advantage of formal executable models@RUNTIME.pdf current
- 20:43, 7 June 2022 diff hist 0 N File:Angelo Gargantini - On the importance of scenario-based validation.pptx current
- 20:42, 7 June 2022 diff hist 0 N File:Egon Börger - The ASM Method Integrates Validation and Verification at Different Abstraction Levels.pdf current
- 13:12, 7 June 2022 diff hist -7 m IVOIRE Workshop 2022 →Schedule: highres
- 13:11, 7 June 2022 diff hist 0 N File:Colin Snook - Behavior Driven Formal Modelling.pdf current
- 12:32, 7 June 2022 diff hist +68 IVOIRE Workshop 2022 →Schedule: Colin Snook's slides
- 12:32, 7 June 2022 diff hist 0 N File:Colin Snook - Behavior Driven Formal Modelling lowres.pdf current
- 12:24, 7 June 2022 diff hist +487 IVOIRE Workshop 2022 →Schedule: Presentations for B/Event-B session
- 12:23, 7 June 2022 diff hist 0 N File:Dominique Méry - Refinement-based Construction of Correct IoT Protocols.pdf current
- 12:19, 7 June 2022 diff hist 0 N File:Richard Banach - Graded Refinement, Retrenchment and Simulation, for Challenging Requirements.pdf current
- 12:18, 7 June 2022 diff hist 0 N File:Jean-Pierre Jacquot - Validation An Event-B perspective with JeB.pdf current
- 09:08, 7 June 2022 diff hist +47 IVOIRE Workshop 2022 →Schedule: Fabian Vu's presentation
- 09:07, 7 June 2022 diff hist 0 N File:Fabian Vu - Formalization of VOs.pdf current
- 08:45, 5 June 2022 diff hist +116 IVOIRE Workshop 2022 →Schedule: Thierry Lecomte's presentation
- 08:43, 5 June 2022 diff hist 0 N File:Thierry Lecomte - Methodology for formal proof of spec.pdf current
- 11:22, 3 June 2022 diff hist -1 IVOIRE Workshop 2022
- 11:22, 3 June 2022 diff hist 0 IVOIRE Workshop 2022
- 11:20, 3 June 2022 diff hist +9 IVOIRE Workshop 2022
- 11:18, 3 June 2022 diff hist +35 IVOIRE Workshop 2022
- 11:18, 3 June 2022 diff hist 0 N File:Advanced semantics for VOs.pdf current
- 14:38, 2 June 2022 diff hist +14 IVOIRE Workshop 2022 →Schedule
- 14:05, 2 June 2022 diff hist 0 IVOIRE Workshop 2022 →Schedule
- 08:43, 20 May 2022 diff hist 0 m IVOIRE Workshop 2022 →Schedule
- 08:07, 20 May 2022 diff hist +24 IVOIRE Workshop 2022 →Schedule
- 07:18, 13 May 2022 diff hist -8 Reports
- 11:29, 10 May 2022 diff hist -1 Ivoire:About
- 11:28, 10 May 2022 diff hist +401 Ivoire:About
- 09:47, 9 May 2022 diff hist -98 Reports
- 09:46, 9 May 2022 diff hist +62 Reports
- 07:49, 25 April 2022 diff hist 0 m IVOIRE Workshop 2022 →Schedule
- 07:28, 25 April 2022 diff hist +170 IVOIRE Workshop 2022 →Schedule
- 11:26, 22 April 2022 diff hist +115 IVOIRE Workshop 2022 →Schedule
- 10:50, 22 April 2022 diff hist -14 IVOIRE Workshop 2022 →Schedule
- 10:49, 22 April 2022 diff hist +35 IVOIRE Workshop 2022 →Schedule