Isabelle Bacher

According to our database, Isabelle Bacher authored at least 2 papers between 2020 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications.

Hendrik Göttmann, Isabelle Bacher, Nicolas Gottwald, Malte Lochau

Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021

2020

Parametric Timed Bisimulation.

Malte Lochau, Lars Luthmann, Hendrik Göttmann, Isabelle Bacher

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020