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).
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)- 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...")
