Follow
Adrian Beer
Adrian Beer
Research Assistant, University of Konstanz
Verified email at uni-konstanz.de
Title
Cited by
Cited by
Year
Symbolic causality checking using bounded model checking
A Beer, S Heidinger, U Kühne, F Leitner-Fischer, S Leue
Model Checking Software: 22nd International Symposium, SPIN 2015 …, 2015
302015
SysML to NuSMV model transformation via object-orientation
G Caltais, F Leitner-Fischer, S Leue, J Weiser
Cyber Physical Systems. Design, Modeling, and Evaluation: 6th International …, 2017
142017
Analysis of an Airport Surveillance Radar using the QuantUM approach
A Beer, U Kühne, F Leitner-Fischer, S Leue, R Prem
112012
Model-based quantitative safety analysis of Matlab Simulink/Stateflow models
A Beer, T Georgiev, F Leitner-Fischer, S Leue
Model-Based Development of Embedded Systems, 60-69, 2013
72013
On the Relationship of Event Order Logic and Linear Temporal Logic
A Beer, F Leitner-Fischer, S Leue
32014
Quantitative Safety Analysis of Non-Deterministic System Architectures
A Beer, U Kühne, F Leitner-Fischer, S Leue, R Prem
22013
Towards Symbolic Causality Checking using SAT-Solving
A Beer, U Kühne, F Leitner-Fischer, S Leue
Tagungsband des Dagstuhl-Workshops, 11, 2014
12014
Quantitative Analysis of Concurrent System Archtectures
A Beer
Verlag nicht ermittelbar, 2012
12012
Die n {\" a} chste Generation Embedded-Software-Ingenieure--Welche Kompetenzen sind in Zukunft wichtig und wie vermitteln wir diese?
F Leitner-Fischer, S Leue, S Liu, G Caltais, F Leitner-Fischer, S Leue, ...
Tagungsband Embedded Software Engineering Kongress, 203-221, 2022
2022
Symbolic Causality Checking using SAT-Solving
A Beer, U Kühne, F Leitner-Fischer, S Leue, R Prem
2014
Model-Based Quantitative Safety Analysis of Matlab Simulink
A Beer, T Georgiev, F Leitner-Fischer, S Leue
Bibliothek der Universität Konstanz, 2013
2013
Universität Konstanz Department of Computer and Information Science
A Beer
2012
The system can't perform the operation now. Try again later.
Articles 1–12