| Model checking SystemC designs using timed automata P Herber, J Fellmuth, S Glesner Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware …, 2008 | 128 | 2008 |
| Towards verified model transformations H Giese, S Glesner, J Leitner, W Schäfer, R Wagner Proc. of the 3rd International Workshop on Model Development, Validation and …, 2006 | 97 | 2006 |
| Slicing MATLAB simulink models R Reicherdt, S Glesner 2012 34th International Conference on Software Engineering (ICSE), 551-561, 2012 | 85 | 2012 |
| Constructing flexible dynamic belief networks from first-order probabilistic knowledge bases S Glesner, D Koller European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 1995 | 81 | 1995 |
| Formal verification of java code generation from UML models JO Blech, S Glesner, J Leitner Fujaba Days 2005, 49-56, 2005 | 51 | 2005 |
| Formal verification of discrete-time MATLAB/Simulink models using Boogie R Reicherdt, S Glesner Software Engineering and Formal Methods: 12th International Conference, SEFM …, 2014 | 49 | 2014 |
| Adaptive knowledge bases in self-adaptive system design V Klös, T Göthel, S Glesner 2015 41st Euromicro Conference on Software Engineering and Advanced …, 2015 | 41 | 2015 |
| A HW/SW co-verification framework for SystemC P Herber, S Glesner ACM Transactions on Embedded Computing Systems (TECS) 12 (1s), 1-23, 2013 | 41 | 2013 |
| Optimizing code generation from SSA form: A comparison between two formal correctness proofs in Isabelle/HOL JO Blech, S Glesner, J Leitner, S Mülling Electronic Notes in Theoretical Computer Science 141 (2), 33-51, 2005 | 41 | 2005 |
| Transforming SystemC transaction level models into UPPAAL timed automata P Herber, M Pockrandt, S Glesner Ninth ACM/IEEE International Conference on Formal Methods and Models for …, 2011 | 38 | 2011 |
| Using Program Checking to Ensure the Correctness of Compiler Implementations. S Glesner J. Univers. Comput. Sci. 9 (3), 191-222, 2003 | 38 | 2003 |
| An evolutionary algorithm for the generation of timed test traces for embedded real-time systems J Hänsel, D Rose, P Herber, S Glesner 2011 fourth ieee international conference on software testing, verification …, 2011 | 32 | 2011 |
| Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers) Verifix: Construction and Architecture of … S Glesner, G Goos, W Zimmermann IT-Information Technology 46 (5), 265-276, 2004 | 31 | 2004 |
| Model checking a SystemC/TLM design of the AMBA AHB protocol M Pockrandt, P Herber, S Glesner 2011 9th IEEE Symposium on Embedded Systems for Real-Time Multimedia, 66-75, 2011 | 30 | 2011 |
| Deductive verification of hybrid control systems modeled in Simulink with KeYmaera X T Liebrenz, P Herber, S Glesner Formal Methods and Software Engineering: 20th International Conference on …, 2018 | 29 | 2018 |
| STATE--A SystemC to Timed Automata Transformation Engine P Herber, M Pockrandt, S Glesner 2015 IEEE 17th International Conference on High Performance Computing and …, 2015 | 28 | 2015 |
| Comprehensible and dependable self-learning self-adaptive systems V Klös, T Göthel, S Glesner Journal of systems architecture 85, 28-42, 2018 | 27 | 2018 |
| A formal correctness proof for code generation from SSA form in Isabelle/HOL JO Blech, S Glesner Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung …, 2004 | 27 | 2004 |
| Only the best can make it: Optimal component selection L Gesellensetter, S Glesner Electronic Notes in Theoretical Computer Science 176 (2), 105-124, 2007 | 26 | 2007 |
| Formal verification of dead code elimination in Isabelle/HOL JO Blech, L Gesellensetter, S Glesner Third IEEE International Conference on Software Engineering and Formal …, 2005 | 25 | 2005 |
