| emsoft | participants

Goran Frehse

EMSOFT 2020: 20th International Conference on Embedded Software

Reachability analysis of linear hybrid systems via block decomposition

Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling

EMSOFT 2018: 18th International Conference on Embedded Software

Formal Feature Interpretation of Hybrid Systems

Antonio Anastasio Bruto da Costa, Goran Frehse, and Pallab Dasgupta

EMSOFT 2015: 15th International Conference on Embedded Software

Reachability of Hybrid Systems in Space-Time

Goran Frehse