All public logs
Jump to navigation
Jump to search
Combined display of all available logs of Ivoire. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 08:46, 13 May 2024 IvoireDL talk contribs uploaded File:IVOIRE Meeting 2024 Düsseldorf.jpg
- 08:46, 13 May 2024 IvoireDL talk contribs created page File:IVOIRE Meeting 2024 Düsseldorf.jpg
- 08:44, 13 May 2024 IvoireDL talk contribs uploaded File:Test Logo.png
- 08:44, 13 May 2024 IvoireDL talk contribs created page File:Test Logo.png
- 09:06, 10 May 2024 IvoireDL talk contribs created page 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?)...")
- 07:21, 31 May 2023 IvoireDL talk contribs uploaded File:Angelo Gargantini - Compositional Simulation of Abstract State Machines for Safety Critical Systems.pptx
- 07:21, 31 May 2023 IvoireDL talk contribs created page File:Angelo Gargantini - Compositional Simulation of Abstract State Machines for Safety Critical Systems.pptx
- 07:21, 31 May 2023 IvoireDL talk contribs uploaded File:Jean-Pierre Jacquot - A Case-study for Incremental Validation.pdf
- 07:21, 31 May 2023 IvoireDL talk contribs created page File:Jean-Pierre Jacquot - A Case-study for Incremental Validation.pdf
- 07:21, 31 May 2023 IvoireDL talk contribs uploaded File:Sebastian Stock - Validation-Driven Development.pdf
- 07:21, 31 May 2023 IvoireDL talk contribs created page File:Sebastian Stock - Validation-Driven Development.pdf
- 07:18, 31 May 2023 IvoireDL talk contribs uploaded File:Fabian Vu - Formalizing and Validating the VO Approach.pdf
- 07:18, 31 May 2023 IvoireDL talk contribs created page File:Fabian Vu - Formalizing and Validating the VO Approach.pdf
- 07:17, 31 May 2023 IvoireDL talk contribs uploaded File:D. Geleßus - Classification and Semantics of Validation Tasks.pdf
- 07:17, 31 May 2023 IvoireDL talk contribs created page File:D. Geleßus - Classification and Semantics of Validation Tasks.pdf
- 14:59, 30 May 2023 IvoireDL talk contribs uploaded a new version of File:IVOIRE Workshop 2023 Nancy.jpg
- 14:42, 30 May 2023 IvoireDL talk contribs uploaded File:IVOIRE Workshop 2023 Nancy.jpg
- 14:42, 30 May 2023 IvoireDL talk contribs created page File:IVOIRE Workshop 2023 Nancy.jpg
- 08:53, 22 November 2022 IvoireDL talk contribs created page 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:04, 14 June 2022 IvoireDL talk contribs uploaded File:IVOIRE Workshop Lugano.jpg
- 09:04, 14 June 2022 IvoireDL talk contribs created page File:IVOIRE Workshop Lugano.jpg
- 13:19, 9 June 2022 IvoireDL talk contribs uploaded File:Alexander Egyed - DesignSpace for collaborative engineering.pdf
- 13:19, 9 June 2022 IvoireDL talk contribs created page File:Alexander Egyed - DesignSpace for collaborative engineering.pdf
- 08:54, 8 June 2022 IvoireDL talk contribs uploaded File:Atif Mashkoor - Validation obligations.pptx
- 08:54, 8 June 2022 IvoireDL talk contribs created page File:Atif Mashkoor - Validation obligations.pptx
- 20:43, 7 June 2022 IvoireDL talk contribs uploaded File:Elvinia Riccobene - Exploiting the advantage of formal executable models@RUNTIME.pdf
- 20:43, 7 June 2022 IvoireDL talk contribs created page File:Elvinia Riccobene - Exploiting the advantage of formal executable models@RUNTIME.pdf
- 20:43, 7 June 2022 IvoireDL talk contribs uploaded File:Angelo Gargantini - On the importance of scenario-based validation.pptx
- 20:43, 7 June 2022 IvoireDL talk contribs created page File:Angelo Gargantini - On the importance of scenario-based validation.pptx
- 20:42, 7 June 2022 IvoireDL talk contribs uploaded File:Egon Börger - The ASM Method Integrates Validation and Verification at Different Abstraction Levels.pdf
- 20:42, 7 June 2022 IvoireDL talk contribs created page File:Egon Börger - The ASM Method Integrates Validation and Verification at Different Abstraction Levels.pdf
- 13:11, 7 June 2022 IvoireDL talk contribs uploaded File:Colin Snook - Behavior Driven Formal Modelling.pdf
- 13:11, 7 June 2022 IvoireDL talk contribs created page File:Colin Snook - Behavior Driven Formal Modelling.pdf
- 12:32, 7 June 2022 IvoireDL talk contribs uploaded File:Colin Snook - Behavior Driven Formal Modelling lowres.pdf
- 12:32, 7 June 2022 IvoireDL talk contribs created page File:Colin Snook - Behavior Driven Formal Modelling lowres.pdf
- 12:23, 7 June 2022 IvoireDL talk contribs created page File:Dominique Méry - Refinement-based Construction of Correct IoT Protocols.pdf
- 12:23, 7 June 2022 IvoireDL talk contribs uploaded File:Dominique Méry - Refinement-based Construction of Correct IoT Protocols.pdf
- 12:19, 7 June 2022 IvoireDL talk contribs uploaded File:Richard Banach - Graded Refinement, Retrenchment and Simulation, for Challenging Requirements.pdf
- 12:19, 7 June 2022 IvoireDL talk contribs created page File:Richard Banach - Graded Refinement, Retrenchment and Simulation, for Challenging Requirements.pdf
- 12:18, 7 June 2022 IvoireDL talk contribs uploaded File:Jean-Pierre Jacquot - Validation An Event-B perspective with JeB.pdf
- 12:18, 7 June 2022 IvoireDL talk contribs created page File:Jean-Pierre Jacquot - Validation An Event-B perspective with JeB.pdf
- 09:07, 7 June 2022 IvoireDL talk contribs uploaded File:Fabian Vu - Formalization of VOs.pdf
- 09:07, 7 June 2022 IvoireDL talk contribs created page File:Fabian Vu - Formalization of VOs.pdf
- 08:43, 5 June 2022 IvoireDL talk contribs uploaded File:Thierry Lecomte - Methodology for formal proof of spec.pdf
- 08:43, 5 June 2022 IvoireDL talk contribs created page File:Thierry Lecomte - Methodology for formal proof of spec.pdf
- 11:18, 3 June 2022 IvoireDL talk contribs uploaded File:Advanced semantics for VOs.pdf
- 11:18, 3 June 2022 IvoireDL talk contribs created page File:Advanced semantics for VOs.pdf
- 12:23, 11 April 2022 IvoireDL talk contribs created page IVOIRE Workshop 2022 (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:37, 18 February 2022 IvoireDL talk contribs uploaded File:RQ2RQ3RQ4.png
- 09:37, 18 February 2022 IvoireDL talk contribs created page File:RQ2RQ3RQ4.png
- 09:28, 18 February 2022 IvoireDL talk contribs uploaded File:VTFunction.png (Validation Task and how they work together.)
- 09:28, 18 February 2022 IvoireDL talk contribs created page File:VTFunction.png (Validation Task and how they work together.)
- 09:24, 18 February 2022 IvoireDL talk contribs uploaded File:LiftSubset.png
- 09:24, 18 February 2022 IvoireDL talk contribs created page File:LiftSubset.png
- 09:23, 18 February 2022 IvoireDL talk contribs uploaded File:LiftSubset.jpeg
- 09:23, 18 February 2022 IvoireDL talk contribs created page File:LiftSubset.jpeg
- 09:07, 18 February 2022 IvoireDL talk contribs uploaded File:IVOIRE D 1 1.pdf
- 09:07, 18 February 2022 IvoireDL talk contribs created page File:IVOIRE D 1 1.pdf
- 13:26, 29 November 2021 IvoireDL talk contribs uploaded File:RefinementHierarchy.png
- 13:26, 29 November 2021 IvoireDL talk contribs created page File:RefinementHierarchy.png
- 13:24, 29 November 2021 IvoireDL talk contribs uploaded File:RefinementHierarchy.pdf
- 13:24, 29 November 2021 IvoireDL talk contribs created page File:RefinementHierarchy.pdf
- 11:38, 29 November 2021 IvoireDL talk contribs uploaded File:Hhu..png
- 11:38, 29 November 2021 IvoireDL talk contribs created page File:Hhu..png
- 10:47, 29 November 2021 IvoireDL talk contribs uploaded File:Jku.png
- 10:47, 29 November 2021 IvoireDL talk contribs created page File:Jku.png
- 10:27, 29 November 2021 IvoireDL talk contribs uploaded File:IVOIRE Deliverable D 1 1.pdf
- 10:27, 29 November 2021 IvoireDL talk contribs created page File:IVOIRE Deliverable D 1 1.pdf
- 09:13, 29 November 2021 IvoireDL talk contribs created page MediaWiki:Lastmodifiedat (Created page with "This page was last edited on $1, at $2.: ")
- 08:44, 29 November 2021 IvoireDL talk contribs created page MediaWiki:Common.css (Created page with "CSS placed here will be applied to all skins: #footer-poweredbyico { display: none; }")
- 08:02, 29 November 2021 IvoireDL talk contribs created page MediaWiki:Sidebar (Created page with " * navigation ** mainpage|mainpage-description ** recentchanges-url|recentchanges ** Publications-url|Publications ** helppage|help-mediawiki * SEARCH * TOOLBOX * LANGUAGES")
- 07:33, 3 November 2021 IvoireDL talk contribs created page Reports (Created page with "The reports to the deliverables which are laid out in the IVOIRE project proposal. * D 1.1")
- 07:32, 3 November 2021 IvoireDL talk contribs created page Publications (Created page with "A listing of all publications made: '''2021''' * [https://arxiv.org/abs/2102.06037 Validation Obligations: A Novel Approach to Check Compliance between Requirements and thei...")
- 07:14, 3 November 2021 IvoireDL talk contribs created page About the Project (Created page with "The IVOIRE project aims to introduce so-called Validation Obligations (VOs) into formal methods. With these VOs it than shall be possible to show whether a certain behavior is...")
- 06:44, 3 November 2021 IvoireDL talk contribs created page Ivoire:About (Created page with "IVOIRE is a collaborated research project founded by "Deutsche Forschungsgemeinschaft" (DFG) and the Austrian Science Fund (FWF) grant \# I 4744-N. The work of Austrian author...")
- 14:17, 2 November 2021 MediaWiki default talk created page Main Page