AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Sabine Glesner

Sabine Glesner

Technische Universität Berlin - Berlin / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 1765040
Technical University of Berlin TU Berlin
person_outline Sabine Glesner's MOST POPULAR ARTICLES
1-) Model checking SystemC designs using timed automata Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware …, 2008
2-) Towards verified model transformations Proc. of the 3rd International Workshop on Model Development, Validation and …, 2006
3-) Slicing MATLAB simulink models 2012 34th International Conference on Software Engineering (ICSE), 551-561, 2012
4-) Constructing flexible dynamic belief networks from first-order probabilistic knowledge bases European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 1995
5-) Formal verification of discrete-time MATLAB/Simulink models using Boogie International Conference on Software Engineering and Formal Methods, 190-204, 2014