ERCIM Working Group Report

Compositional Verification of Concurrent Systems by Combining Bisimulations

• Author: Frédéric Lang, Radu Mateescu, and Franco Mazzanti
• year: 2019
• Reference information: FM 2019, Porto, Portugal
• Type: Conference-Workshop proceedings
• Document (link to the URL): https://zenodo.org/record/2634149#.XS2OUvZuJTg

A refined mean field approximation of synchronous discrete-time population models

• Author: N. Gast, D. Latella, and M. Massink
• year: 2018
• Reference information: Performance Evaluation 126:1 (Elsevier)
• Type: Journal
• Document (link to the URL): http://dx.doi.org/10.1016/j.peva.2018.05.002

A framework for quantitative modeling and analysis of highly (re)configurable systems

• Author: M.H. ter Beek, A. Legay, A. Vandin, and A. Lluch Lafuente
• year: 2018
• Reference information: IEEE Transactions on Software Engineering
• Type: Journal
• Document (link to the URL): http://dx.doi.org/10.1109/TSE.2018.2853726

QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems

• Author: A. Vandin, M.H. ter Beek, A. Legay, and A. Lluch Lafuente
• year: 2018
• Reference information: FM 2018, Oxford, UK
• Type: Conference-Workshop proceedings
• Document (link to the URL): http://dx.doi.org/10.1007/978-3-319-95582-7_19

Orchestration Synthesis for Real-Time Service Contracts

• Author: D. Basile, M.H. ter Beek, A. Legay, and L.-M. Traonouez
• year: 2018
• Reference information: Verification and Evaluation of Computer adn Communication Systems
• Type: Conference-Workshop proceedings
• Document (link to the URL): http://dx.doi.org/10.1007/978-3-030-00359-3_3

Special Issue on Formal Methods and Automated Verification of Critical Systems

• Author: M.H. ter Beek, S. Gnesi, and A. Knapp (eds.),
• year: 2018
• Reference information: STTT 20(4), Special Issue
• Type: Journal
• Document (link to the URL): https://dl.acm.org/citation.cfm?id=3239012

Special Issue on Formal Methods for Transport Systems

• Author: M.H. ter Beek, S. Gnesi, and A. Knapp (eds.),
• year: 2018
• Reference information: STTT 20(3), Special Issue
• Type: Journal
• Document (link to the URL): https://dl.acm.org/citation.cfm?id=3220433

DECSOS Workshop at SAFECOMP 2018

• Topic: Dependable Embedded CPS Systems and Systems of Systems
• Type: Workshop
• Date: 2018-09-18 to 2018-09-18
• Place: Västeras, Sweden
• Lecturer: 12 papers presented, authors from European countries
• Coverage: Academia and industrial research

ERCIM WS "Digital Twin" at ECSS

• Topic: Digital Twins
• Type: Workshop
• Date: 2018-10-09 to 2018-10-09
• Place: Gothenburg, Sweden
• Lecturer: Edgar Weippl, Erwin Schoitsch (sba), and others
• Coverage: academia; should lead to new WG on Digital Twins, DES WG contributed

STM2018

• Topic: International Workshop on Security and Trust Management
• Type: Workshop
• Date: 2018-09-06 to 2018-09-07
• Place: Barcelona
• Lecturer: Best Thesis Awardee + refereed papers
• Coverage:

23rd International Conference on Formal Methods for Industrial Critical Systems

• Topic: Formal Methods for Industrial Critical Systems
• Type: Conference
• Date: 2018-09-03 to 2018-09-04
• Place: Maynooth University, Ireland
• Lecturer: Susanne Graf and Tiziana Margaria
• Coverage: international conference, Springer proceedings LNCS 11119

International Workshop on Computational Intelligence for Multimedia Understanding (IWCIM)

• Topic: Multimedia Understanding
• Type: Workshop
• Date: 2018-09-12 to 2018-09-14
• Place: Wroclaw, Poland
• Lecturer: Maria Trocan (ISEP) was invited. The workshop was organized in conjunction with MISSI 2018.
• Coverage: Group of experts in Image and Video understanding (mainly belonging to the working group) and experts in signal processing.

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

• Event: RERS 2019 Challenge
• Place: Prague, Czech Republic (http://cadp.inria.fr/news12.html) 2011-10-10
• Description: 1st prize won by two teams: CONVEX INRIA Grenoble and FMT CNRS-ISTI

• Issue: 113
• Page: 57
• Title: International Workshop on Computational Intelligence for Mul

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a