Difference between revisions of "IVOIRE Workshop 2024"

From Ivoire
Jump to navigation Jump to search
(→‎Schedule: Update schedule)
 
(7 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] in 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 ==
  
* '''14:00–15:30''' Session 1 — ''Session Chair: David Geleßus''
+
'''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: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)