User contributions
Jump to navigation
Jump to search
- 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: ｈｉｇｈｒｅｓ
- 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
