posted by user: mknapik || 887 views || tracked by 1 users: [display]

PARAMVERIFTUTORIAL 2017 : Tutorial on Parametric Verification (A tutorial of Petri Nets 2017)

FacebookTwitterLinkedInGoogle

 
When Jun 27, 2017 - Jun 27, 2017
Where Zaragoza, Spain
Submission Deadline TBD
 

Call For Papers

============================================================

Call for Participation



Tutorial on Parametric Verification



(A tutorial of Petri Nets 2017)



Tuesday, the 27th of June 2017

Zaragoza, Spain



http://pn2017.unizar.es/

============================================================




Modelling languages such as Petri Nets or Timed Automata allow for designing critical systems and model-checking their expected properties. However, all characteristics of the system under construction may not be known in advance. The nature of such unknown parts is manyfold, e.g.: the designer may have the choice of different components with similar behaviour and different timing constraints; there can be an a priori unknown number of identical processes present in the system; some actions can be controlled to be enabled or disabled, have different probabilities of occurring, etc. These situations can be captured by introducing parameters in particular on timings, actions, and probabilities.


In this tutorial, we focus on such parameterised models and their associated analysis techniques. These allow for tuning the actual values of parameters in order to satisfy expected properties. It also provides the designer with a set of adequate choices w.r.t. what the system should achieve.


The tutorial will present the underlying theory, the verification approaches, typical applications, and will put these into practice through hands-on sessions using IMITATOR, Romeo, and Spatula tools.


ORGANIZERS

---------------------------

* Etienne Andre, Universite Paris 13, France

* Michal Knapik, IPI PAN, Warsaw, Poland

* Didier Lime, Ecole Centrale, LS2N, Nantes, France

* Wojciech Penczek, IPI PAN, Warsaw, and UPH Siedlce, Poland

* Laure Petrucci, Universite Paris 13, France

Related Resources

TempXAI@ECMLPKDD 2024   TempXAI: Explainable AI for Time Series and Data Streams Tutorial-Workshop
AIMLAI@ECML-PKDD 2024   AIMLAI@ECML/PKDD 2024: Joint Tutorial on XAI for Sequential Data and International Workshop on Advances in Interpretable Machine Learning and Artificial Intelligence
KONVENS-ST/T/WS 2024   Call for Shared Task, Workshop and Tutorial Proposals @ KONVENS 2024
IEA/AIE 2025   The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
PSSV 2024   Workshop Program Semantics, Specification and Verification
LAMAS&SR 2024   International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning
VORTEX 2024   Verification and Monitoring at Runtime Execution 2024
SBMF 2024   27th Brazilian Symposium on Formal Methods
SAC-SVT 2025   40th ACM/SIGAPP Symposium On Applied Computing - Software Verification and Testing track