Adrian Beer

Adrian Beer

Universität Konstanz - Konstanz / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 5207985
University of Konstanz
person_outline Adrian Beer's MOST POPULAR ARTICLES
1-) Symbolic causality checking using bounded model checkingA Beer, S Heidinger, U Kühne, F Leitner-Fischer, S LeueInternational SPIN Workshop on Model Checking of Software, 203-221, 2015322015
2-) Sysml to nusmv model transformation via object-orientationG Caltais, F Leitner-Fischer, S Leue, J WeiserCyber Physical Systems. Design, Modeling, and Evaluation: 6th International …, 2017182017
3-) Analysis of an Airport Surveillance Radar using the QuantUM approachA Beer, U Kühne, F Leitner-Fischer, S Leue, R Prem112012
4-) Model-based quantitative safety analysis of Matlab Simulink/Stateflow modelsA Beer, T Georgiev, F Leitner-Fischer, S Leue82013
5-) On the Relationship of Event Order Logic and Linear Temporal LogicA Beer, F Leitner-Fischer, S Leue32014