User contributions
Jump to navigation
Jump to search
- 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
- 10:47, 22 April 2022 diff hist -63 IVOIRE Workshop 2022 →Schedule
- 12:37, 21 April 2022 diff hist -14 m IVOIRE Workshop 2022 →Schedule (preliminary)
- 12:37, 21 April 2022 diff hist +98 IVOIRE Workshop 2022 →Schedule
- 07:25, 21 April 2022 diff hist +44 IVOIRE Workshop 2022 →Schedule
- 15:14, 14 April 2022 diff hist 0 m IVOIRE Workshop 2022 →Schedule
- 15:09, 14 April 2022 diff hist -3 m IVOIRE Workshop 2022 →Schedule
- 15:08, 14 April 2022 diff hist -35 IVOIRE Workshop 2022
- 14:57, 14 April 2022 diff hist +1,168 IVOIRE Workshop 2022 →Schedule
- 12:34, 11 April 2022 diff hist +33 MediaWiki:Sidebar
- 12:29, 11 April 2022 diff hist +70 m Ivoire:About →Universities