Difference between revisions of "IVOIRE Workshop 2024"

From Ivoire
Jump to navigation Jump to search
(Link to ABZ 2024 venue page)
 
(5 intermediate revisions by the same user not shown)
Line 12: Line 12:
 
* Evaluations, benchmarking, case studies, etc.
 
* Evaluations, benchmarking, case studies, etc.
  
The IVOIRE workshop will be co-located with [https://abz-conf.org/site/2024 ABZ 2024] at the [https://abz-conf.org/site/2024/venue/ University of Bergamo, Italy] and will take place on [https://abz-conf.org/site/2024/program/ 25th of June 2024].
+
The IVOIRE workshop was co-located with [https://abz-conf.org/site/2024 ABZ 2024] at the [https://abz-conf.org/site/2024/venue/ University of Bergamo, Italy] and took place on [https://abz-conf.org/site/2024/program/ 25th of June 2024].
 +
 
 +
[[File:IVOIRE Workshop Photo 2024.jpeg||800px]]
  
 
== Schedule ==
 
== Schedule ==
Line 18: Line 20:
 
'''Conference Room:''' Room 5
 
'''Conference Room:''' Room 5
  
* '''14:00–15:30''' Session 1 — ''Session Chair: David Geleßus''
+
* '''14:00–15:30''' Session 1 — ''Session Chair: Fabian Vu''
 
** '''14:00–14:30''' Validation of Domain and Meta Models: From Event-B Theories to Practice — ''Michael Leuschel, University of Düsseldorf, Germany''
 
** '''14:00–14:30''' Validation of Domain and Meta Models: From Event-B Theories to Practice — ''Michael Leuschel, University of Düsseldorf, Germany''
** '''14:30–15:00''' IVOIRE Project: Results and Insights — ''Atif Mashkoor, Johannes Kepler University, Austria''
+
** '''14:30–15:00''' [[Media:IVOIRE_Results_compressed.pdf|IVOIRE Project: Results and Insights]] — ''Atif Mashkoor, Johannes Kepler University, Austria''
** '''15:00–15:30''' Validation Obligations in Practice — ''Fabian Vu, University of Düsseldorf, Germany''
+
** '''15:00–15:30''' [[Media:An_Exercise_in_Multi_modeling_compressed.pdf|An Exercise in Multi-modeling]] — ''Jean-Pierre Jacquot, University of Lorraine, France''
 
* '''15:30–16:00''' Coffee break
 
* '''15:30–16:00''' Coffee break
* '''16:00–18:00''' Session 2 — ''Session Chair: Fabian Vu''
+
* '''16:00–18:00''' Session 2 — ''Session Chair: Atif Mashkoor''
** '''16:00–16:30''' An Exercise in Multi-modeling — ''Jean-Pierre Jacquot, University of Lorraine, France''
+
** '''16:00–16:30''' [[Media:Validation_Obligations_In_Practice_compressed.pdf|Validation Obligations in Practice]] — ''Fabian Vu, University of Düsseldorf, Germany''
** '''16:30–17:00''' Validation Obligations Manager — ''David Geleßus, University of Düsseldorf, Germany''
+
** '''16:30–17:00''' [[Media:VO_Manager.pdf|Validation Obligations Manager]] — ''David Geleßus, Fabian Vu, University of Düsseldorf, Germany''
** '''17:00–17:30''' What Should I Verify? — ''Marie Farrell, University of Manchester, UK''
+
** '''17:00–17:30''' [[Media:What_Should_I_Verify_compressed.pdf|What Should I Verify?]] — ''Marie Farrell, University of Manchester, UK''
 
** '''17:30–18:00''' Discussion and conclusion
 
** '''17:30–18:00''' Discussion and conclusion
  

Latest revision as of 12:49, 27 June 2024

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?). The other half, validation (are we building the right software?), has been given much less attention, i.e., we have fewer automated/push-button tools available for validation, unlike verification.

The IVOIRE project focuses on developing an enhanced formal paradigm based on an extension of the refinement framework that includes a comprehensive validation process and toolchain to perform validation obligations. The main goal of this workshop is to provide a platform for formal methods practitioners, researchers, and academics to discuss various issues associated with validation for formal methods, including but not limited to:

  • Validation obligations or other systematic approaches to validation
  • Relation between refinement and validation and the interplay between verification and validation
  • Environments and tools to manage the validation process
  • Evaluations, benchmarking, case studies, etc.

The IVOIRE workshop was co-located with ABZ 2024 at the University of Bergamo, Italy and took place on 25th of June 2024.

IVOIRE Workshop Photo 2024.jpeg

Schedule

Conference Room: Room 5

  • 14:00–15:30 Session 1 — Session Chair: Fabian Vu
    • 14:00–14:30 Validation of Domain and Meta Models: From Event-B Theories to Practice — Michael Leuschel, University of Düsseldorf, Germany
    • 14:30–15:00 IVOIRE Project: Results and InsightsAtif Mashkoor, Johannes Kepler University, Austria
    • 15:00–15:30 An Exercise in Multi-modelingJean-Pierre Jacquot, University of Lorraine, France
  • 15:30–16:00 Coffee break
  • 16:00–18:00 Session 2 — Session Chair: Atif Mashkoor

Organizers

Workshop chairs:

  • Atif Mashkoor (JKU Linz, Austria)
  • Michael Leuschel (HHU Düsseldorf, Germany)

Workshop organizing committee:

  • Sebastian Stock (JKU Linz, Austria)
  • Fabian Vu (HHU Düsseldorf, Germany)
  • David Geleßus (HHU Düsseldorf, Germany)