User contributions for Asieh

18 June 2024

• 13:1513:15, 18 June 2024 diff hist −3‎ Rodin Workshop 2024 ‎ →‎Programme
• 13:1413:14, 18 June 2024 diff hist +84‎ Rodin Workshop 2024 ‎No edit summary

4 December 2023

• 11:3611:36, 4 December 2023 diff hist +1‎ Rodin Workshop 2024 ‎No edit summary
• 11:3611:36, 4 December 2023 diff hist +2‎ Rodin Workshop 2024 ‎No edit summary
• 11:3511:35, 4 December 2023 diff hist +31‎ Rodin Workshop 2024 ‎No edit summary
• 11:3211:32, 4 December 2023 diff hist +249‎ Rodin Workshop 2024 ‎No edit summary
• 11:1611:16, 4 December 2023 diff hist −133‎ Rodin Workshop 2024 ‎No edit summary
• 11:0411:04, 4 December 2023 diff hist +6‎ Rodin Workshop 2024 ‎No edit summary
• 11:0311:03, 4 December 2023 diff hist −3‎ Rodin Workshop 2024 ‎No edit summary
• 11:0211:02, 4 December 2023 diff hist +322‎ Rodin Workshop 2024 ‎No edit summary

30 November 2023

• 14:3314:33, 30 November 2023 diff hist +45‎ Rodin Workshop 2024 ‎ →‎Organisers
• 14:3214:32, 30 November 2023 diff hist −29‎ Rodin Workshop 2024 ‎No edit summary
• 14:3214:32, 30 November 2023 diff hist +202‎ Rodin Workshop 2024 ‎No edit summary
• 14:2814:28, 30 November 2023 diff hist −32‎ Rodin Workshop 2024 ‎No edit summary
• 14:2714:27, 30 November 2023 diff hist −43‎ Rodin Workshop 2024 ‎No edit summary
• 14:2614:26, 30 November 2023 diff hist +1,867‎ N Rodin Workshop 2024 ‎ Created page with "==11th Rodin User and Developer Workshop== The 11th Rodin User and Developer Workshop, X June, 2024, Bergamo, Italy Event-B is a formal method for system-level modelling and..."

9 March 2023

• 12:3112:31, 9 March 2023 diff hist +116‎ CamilleX User Guide ‎No edit summary current
• 12:3112:31, 9 March 2023 diff hist +170‎ CamilleX Release Notes ‎ →‎Release history current
• 12:1812:18, 9 March 2023 diff hist +20‎ CamilleX User Guide ‎No edit summary
• 10:4310:43, 9 March 2023 diff hist +101‎ CamilleX User Guide ‎No edit summary

29 June 2021

• 09:4109:41, 29 June 2021 diff hist −52‎ Rodin Workshop 2021 ‎No edit summary current

14 June 2021

• 14:5914:59, 14 June 2021 diff hist 0‎ Rodin Workshop 2021 ‎No edit summary
• 14:5814:58, 14 June 2021 diff hist +1‎ Rodin Workshop 2021 ‎No edit summary
• 14:5514:55, 14 June 2021 diff hist 0‎ N File:RodinWorkshop2021 Safety and Security Case Study Experiences with Event-B and Rodin.pdf ‎No edit summary current
• 14:5414:54, 14 June 2021 diff hist 0‎ N File:RodinWorkshop2021 Towards CamilleX 3.0 slides.pdf ‎No edit summary current
• 14:5414:54, 14 June 2021 diff hist 0‎ N File:RodinWorkshop2021 Data-types definitions slides.pdf ‎No edit summary current
• 14:5414:54, 14 June 2021 diff hist 0‎ N File:RodinWorkshop2021 Context instantiation plug-in slides.pdf ‎No edit summary current
• 14:5214:52, 14 June 2021 diff hist 0‎ N File:RodinWorkshop2021 Domain knowledge as Ontology-based Event-B Theories slides.pdf ‎No edit summary current
• 14:5114:51, 14 June 2021 diff hist +664‎ Rodin Workshop 2021 ‎No edit summary
• 12:4712:47, 14 June 2021 diff hist 0‎ N File:RodinWorkshop2021 Formal Verification of EULYNX Models Using Event-B and RODIN.pdf ‎No edit summary current
• 12:4612:46, 14 June 2021 diff hist +3‎ Rodin Workshop 2021 ‎No edit summary
• 12:3912:39, 14 June 2021 diff hist 0‎ N File:RodinWorkshop2021 Large Scale Biological Models in Rodin.pdf ‎No edit summary current
• 12:3912:39, 14 June 2021 diff hist 0‎ N File:RodinWorkshop2021 Towards CamilleX 3.0.pdf ‎No edit summary current
• 12:3812:38, 14 June 2021 diff hist 0‎ N File:RodinWorkshop2021 Examples of using the Instantiation Plug-in.pdf ‎No edit summary current
• 12:3812:38, 14 June 2021 diff hist +7‎ Rodin Workshop 2021 ‎No edit summary
• 12:3712:37, 14 June 2021 diff hist 0‎ N File:RodinWorkshop2021 Context instantiation plug-in.pdf ‎No edit summary current
• 12:3712:37, 14 June 2021 diff hist 0‎ N File:RodinWorkshop2021 Scenario Checker.pdf ‎No edit summary current
• 12:3612:36, 14 June 2021 diff hist 0‎ N File:RodinWorkshop2021 EVBT.pdf ‎No edit summary current
• 12:3612:36, 14 June 2021 diff hist +1‎ Rodin Workshop 2021 ‎No edit summary
• 12:3512:35, 14 June 2021 diff hist 0‎ N File:RodinWorkshop2021 OntoEventB.pdf ‎No edit summary current
• 12:3412:34, 14 June 2021 diff hist 0‎ N File:RodinWorkshop2021 Domain knowledge as Ontology-based Event-B Theories.pdf ‎No edit summary current
• 12:3312:33, 14 June 2021 diff hist +480‎ Rodin Workshop 2021 ‎No edit summary
• 12:2512:25, 14 June 2021 diff hist 0‎ Rodin Workshop 2021 ‎No edit summary
• 12:2512:25, 14 June 2021 diff hist 0‎ N File:RodinWorkshop2021 Data-types definitions.pdf ‎No edit summary current
• 12:2412:24, 14 June 2021 diff hist +45‎ Rodin Workshop 2021 ‎No edit summary
• 12:0512:05, 14 June 2021 diff hist +1,480‎ Rodin Workshop 2021 ‎No edit summary

29 January 2021

• 10:3110:31, 29 January 2021 diff hist −1‎ Rodin Workshop 2021 ‎ →‎Call For Papers
• 10:3010:30, 29 January 2021 diff hist +32‎ Rodin Workshop 2021 ‎ →‎Call For Papers
• 10:2510:25, 29 January 2021 diff hist −2‎ Rodin Workshop 2021 ‎No edit summary
• 10:2310:23, 29 January 2021 diff hist +1,792‎ N Rodin Workshop 2021 ‎ Created page with "<h1>The 9th Rodin User and Developer Workshop, 8 June, 2021, Ulm, Germany</h1> The 9th Rodin workshop will be collocated with the [https://abz2021.uni-ulm.de ABZ2021 Conferen..."