Adrian Beer
Adrian Beer
Research Assistant, University of Konstanz
Bestätigte E-Mail-Adresse bei uni-konstanz.de
Titel
Zitiert von
Zitiert von
Jahr
Symbolic causality checking using bounded model checking
A Beer, S Heidinger, U Kühne, F Leitner-Fischer, S Leue
International SPIN Workshop on Model Checking of Software, 203-221, 2015
252015
Analysis of an Airport Surveillance Radar using the QuantUM approach
A Beer, U Kühne, F Leitner-Fischer, S Leue, R Prem
82012
SysML to NuSMV model transformation via object-orientation
G Caltais, F Leitner-Fischer, S Leue, J Weiser
International Workshop on Design, Modeling, and Evaluation of Cyber Physical …, 2016
72016
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
42013
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
Symbolic Causality Checking using SAT-Solving
A Beer, U Kühne, F Leitner-Fischer, S Leue, R Prem
12014
Towards Symbolic Causality Checking using SAT-Solving
A Beer, U Kühne, F Leitner-Fischer, S Leue
Tagungsband des Dagstuhl-Workshops, 11, 2014
1*2014
Quantitative Analysis of Concurrent System Archtectures
A Beer
Verlag nicht ermittelbar, 2012
12012
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–11