8 citations · 39 across the 9 of their papers we have counts for
9 papers
Identifying Scenarios in Field Data to Enable Validation of Highly Automated Driving Systems
Christian Reichenbächer, Maximilian Rasch, Zafer Kayatas +4
Scenario-based approaches for the validation of highly automated driving functions are based on the search for safety-critical characteristics of driving scenarios using software-i…
Sampling of Shape Expressions
Nicolas Basset, Thao Dang, Felix Gigler +2
Cyber-physical systems (CPS) are increasingly becoming driven by data, using multiple types of sensors to capture huge amounts of data. Extraction and characterization of useful in…
Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT
Thao Dang, Stefan Ratschan
The proceedings of the 6th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2020) contains papers underlying talks presented at the workshop.…
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations
Victor Magron, Alexandre Rocca, Thao Dang
Floating point error is a drawback of embedded systems implementation that is difficult to avoid. Computing rigorous upper bounds of roundoff errors is absolutely necessary for the…
Occupation measure methods for modelling and analysis of biological hybrid automata
Alexandre Rocca, Marcelo Forets, Victor Magron +2
Mechanistic models in biology often involve numerous parameters about which we do not have direct experimental information. The traditional approach is to fit these parameters usin…
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations
Alexandre Rocca, Victor Magron, Thao Dang
Floating point error is an inevitable drawback of embedded systems implementation. Computing rigorous upper bounds of roundoff errors is absolutely necessary to the validation of c…