VECoS 2019: 13th International Conference on Verification and Evaluation of Computer and Communication Systems Porto, Portugal, October 7-9, 2019 |
Conference website | http://vecos-world.org/2019/ |
Submission link | https://easychair.org/conferences/?conf=vecos2019 |
Conference program | https://easychair.org/smart-program/VECoS2019/ |
Abstract registration deadline | April 23, 2019 |
Submission deadline | May 8, 2019 |
VECoS 2019
13th International Conference on Verification and Evaluation of Computer and Communication Systems.
October 7-9, 2019, Porto, Portugal
Co-located with 23rd International Symposium on Formal Methods (FM 2019) – 3rd World Congress on Formal Methods
The VECoS conference series focuses on the analysis of computer and communication systems, where functional and extra-functional properties are inter-related. VECoS encourages the cross-fertilization between the various formal verification and evaluation approaches, methods and techniques, especially those developed for concurrent and distributed hardware/software systems.
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. Submitted papers must be no longer than 15 pages (including bibliography), written in English, presenting original work and not be submitted for publication elsewhere. Papers must be submitted electronically in PDF format through EasyChair (https://easychair.org/conferences/?conf=vecos2019), using the LNCS format (version 2.20 or above). Accepted papers will appear in the conference proceedings. At least one author of each accepted paper must attend the conference and present the paper.
List of Topics
Topics of interest include, but are not limited to:
- Abstraction techniques
- Compositional verification
- Correct-by-construction design
- Rigorous system design
- Equivalence checking
- Model-checking
- Parameterized verification
- Performance and robustness evaluation
- Probabilistic verification
- QoS evaluation, planning and deployment
- Dependability assessment techniques
- RAMS (Reliability-Availability-Maintainability-Safety) assessment
- Model-based Security assessment
- Security protocols verification
- Discrete-event and hybrid systems Modeling and Simulation
- Supervisory control
- Verification & validation of IoT
- Verification & validation of safety-critical systems
- Assessment for real-time systems
- Worst-case execution time analysis
Committees
Program Committee
- Djamil Aissani (Research Unit LAMOS, University of Bejaia)
- Yamine Ait Ameur (IRIT/INPT-ENSEEIHT)
- Mohamed Faouzi Atig (Uppsala University)
- Eric Badouel (INRIA)
- Kamel Barkaoui (Cedric- Le Cnam, Paris)
- Saddek Bensalem (Grenoble-Alpes University)
- Adel Benzina (Tunisia Polytechnic School)
- Simona Bernardi (Universidad de Zaragoza)
- Simon Bliudze (INRIA)
- Patrice Bonhomme (Université François Rabelais de Tours - Laboratoire d'Informatique)
- Hanifa Boucheneb (Ecole Polytechnique de Montréal, Québec, Canada)
- Yu-Fang Chen (National Taiwan University)
- Feng Chu (Laboratoire IBISC, Universite d'Evry Val d'Essonne)
- Gabriel Ciobanu (Romanian Academy, Institute of Computer Science, Iasi)
- Isabel Demongodin (LSIS, AMU)
- Mohamed Escheikh (Enit, Tunisia)
- Alessandro Fantechi (DINFO - Universita di Firenze)
- Pierre Ganty (IMDEA Software Institute)
- Bernard van Gastel (Open University of the Netherlands)
- Gilles Geeraerts (Université libre de Bruxelles)
- Samir Genaim (Universidad Complutense de Madrid)
- Annie Geniet (LISI/ENSMA)
- Mohamed Ghazel (IFSTTAR - ESTAS)
- Serge Haddad (LSV, ENS Cachan, CNRS, INRIA)
- Imen Ben Hafaiedh (Institut supérieur d'Informatique (ISI)/ LIP2)
- Belgacem Ben Hedia (CEA-LIST)
- Radu Iosif (Verimag, CNRS, University of Grenoble Alpes)
- Mohamed Jmaiel (ReDCAD, ENIS)
- Jorge Julvez (University of Cambridge)
- Panagiotis Katsaros (Aristotle University of Thessaloniki)
- Mohamed Kaâniche (LAAS, Toulouse)
- Moez Krichen (Al-Baha University, KSA)
- Lars Kristensen (Western Norway University of Applied Sciences)
- Michaël Lauer (Université de Toulouse/LAAS-CNRS)
- Gaiyun Liu (Xidian University)
- Eric Madelaine (Inria)
- Roland Meyer (TU Braunschweig)
- Ali Mili (NJIT)
- Ayoub Nouri (Verimag)
- Claire Pagetti (ONERA / IRIT-ENSEEIHT)
- Vladimir-Alexandru Paun (ENSTA, Sagem)
- Jorge Sousa Pinto (University of Minho)
- Ahmed Rezine (Linköping University)
- Manuel Ricardo (INESC TEC - Faculdade de Engenharia - Universidade do Porto)
- Arnaud Sangnier (IRIF, Univ Paris Diderot, CNRS, France)
- Simão Melo de Sousa (Release/LISP & LIACC & Departamento de Informática, Universidade da Beira Interior)
- Marielle Stoelinga (University of Twente)
- Tayssir Touili (LIPN, CNRS & University Paris 13)
- Karsten Wolf (Universitat Rostock)
- Katinka Wolter (Freie Universitaet zu Berlin)
Organizing committee
Program Chairs
- Pierre Ganty, IMDEA Software Institute, Madrid, Spain
- Mohamed Kaaniche, LAAS-CNRS, Toulouse, France
Publicity Chairs
- Belgacem Ben Hedia, CEA-LIST, Saclay, France
- Vladimir-Alexandru Paun, ENSTA ParisTech, Palaiseau, France
Invited Speakers
-
Ahmed Bouajjani, Université Paris Diderot (Paris VII), IRIF Laboratory, France
-
Ali Mili, New Jersey Institute of Technology, Newark, USA
Publication
VECoS 2019 proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science (LNCS) series.
Contact
Pierre Ganty(pierre.ganty@imdea.org), Mohamed Kaaniche(kaaniche@laas.fr), Belgacem Ben Hedia(belgacem.ben-hedia@cea.fr), Kamel Barkaoui(kamel.barkaoui@cnam.fr)