Difference between revisions of "Reports"

From Ivoire
Jump to navigation Jump to search
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
−
The road map to the reports to were laid out in the IVOIRE project proposal.
+
Here we list the publications and reports in which we present our work on each of the work packages laid out in the IVOIRE project proposal.
  
−
* [https://arxiv.org/abs/2205.06138 D 1.1 (v.1.1.0)]
+
* WP1: Validation formalization
 +
** [https://arxiv.org/abs/2102.06037 Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification]
 +
** [https://arxiv.org/abs/2205.06138 Classification of existing VOs & tools and Formalization of VOs semantics]
 +
** [https://arxiv.org/abs/2205.08988 Formalization of Advanced VOs semantics and VO Refinement]
 +
** [https://link.springer.com/chapter/10.1007/978-3-031-33163-3_12 Validation by Abstraction and Refinement]
 +
* WP2: Validation refinement
 +
** [https://www.sciencedirect.com/science/article/pii/S2352220824000014?via%3Dihub Trace preservation in B and Event-B refinements]
 +
** [https://link.springer.com/chapter/10.1007/978-3-031-17244-1_19 Trace Refinement in B and Event-B]
 +
** [https://link.springer.com/article/10.1007/s10009-024-00739-0 Generating interactive documents for domain-specific validation of formal models]
 +
** [https://link.springer.com/chapter/10.1007/978-3-031-15008-1_4 Generating Domain-Specific Interactive Validation Documents]
 +
** [https://link.springer.com/chapter/10.1007/978-981-99-7584-6_16 Early and Systematic Validation of Formal Models]
 +
** [https://link.springer.com/chapter/10.1007/978-981-99-7584-6_12 Validation-Driven Development]
 +
* WP3: VOs management framework
 +
** A VO manager implementation has been integrated into [https://prob.hhu.de/w/index.php/ProB2-UI ProB2-UI] and is further described in a journal article still under review.
 +
** [https://link.springer.com/chapter/10.1007/978-3-031-60698-4_16 Validation of Reinforcement Learning Agents and Safety Shields with ProB]
 +
** [https://link.springer.com/chapter/10.1007/978-3-030-77543-8_6 Validation of Formal Models by Timed Probabilistic Simulation]
 +
** [https://link.springer.com/chapter/10.1007/978-3-031-33163-3_5 Validation of Formal Models by Interactive Simulation]
 +
** [https://link.springer.com/chapter/10.1007/978-3-031-17244-1_20 Model Checking B Models via High-Level Code Generation]
 +
* WP4: Case studies
 +
** [https://link.springer.com/chapter/10.1007/978-3-031-33163-3_22 Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations]
 +
** [https://link.springer.com/chapter/10.1007/978-3-031-60698-4_16 Validation of Reinforcement Learning Agents and Safety Shields with ProB]
 +
** [https://link.springer.com/chapter/10.1007/978-3-031-14343-4_31 Application of Validation Obligations to Security Concerns]

Latest revision as of 13:38, 18 March 2025

Here we list the publications and reports in which we present our work on each of the work packages laid out in the IVOIRE project proposal.

Retrieved from "https://isse.jku.at/ivoire/index.php?title=Reports&oldid=230"