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 | 88 | 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 | 86 | 2006 |

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 | 73 | 1995 |

Slicing MATLAB simulink models R Reicherdt, S Glesner Proceedings of the 34th International Conference on Software Engineering …, 2012 | 53 | 2012 |

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 | 40 | 2005 |

Formal verification of java code generation from UML models JO Blech, S Glesner, J Leitner Fujaba Days 2005, 49-56, 2005 | 39 | 2005 |

Using program checking to ensure the correctness of compiler implementations S Glesner J. UCS 9 (3), 191-222, 2003 | 32 | 2003 |

Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers) S Glesner, G Goos, W Zimmermann IT-Information Technology 46 (5), 265-276, 2004 | 28 | 2004 |

Transforming SystemC transaction level models into UPPAAL timed automata P Herber, M Pockrandt, S Glesner Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods …, 2011 | 25 | 2011 |

Mass flow, energy flow and costs of the German building stock N Kohler, B Schwaiger, B Barth, M Koch CIB 2nd Int. Conf Buildings & the Environment, 9-12, 1997 | 24 | 1997 |

Formal verification of dead code elimination in Isabelle/HOL JO Blech, L Gesellensetter, S Glesner null, 200-209, 2005 | 23 | 2005 |

An evolutionary algorithm for the generation of timed test traces for embedded real-time systems J Hänsel, D Rose, P Herber, S Glesner Software Testing, Verification and Validation (ICST), 2011 IEEE Fourth …, 2011 | 22 | 2011 |

A HW/SW co-verification framework for SystemC P Herber, S Glesner ACM Transactions on Embedded Computing Systems (TECS) 12 (1s), 61, 2013 | 21 | 2013 |

Only the best can make it: Optimal component selection L Gesellensetter, S Glesner Electronic Notes in Theoretical Computer Science 176 (2), 105-124, 2007 | 21 | 2007 |

A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL. JO Blech, S Glesner GI Jahrestagung (2) 51, 449-458, 2004 | 21 | 2004 |

Verified code generation for embedded systems SGRGB Boesler Electronic Notes in Theoretical Computer Science 65 (2), 2002 | 20 | 2002 |

Adaptive knowledge bases in self-adaptive system design V Klös, T Göthel, S Glesner Software Engineering and Advanced Applications (SEAA), 2015 41st Euromicro …, 2015 | 18 | 2015 |

Formal verification of discrete-time MATLAB/Simulink models using Boogie R Reicherdt, S Glesner International Conference on Software Engineering and Formal Methods, 190-204, 2014 | 18 | 2014 |

Combining model checking and testing in a continuous hw/sw co-verification process P Herber, F Friedemann, S Glesner International Conference on Tests and Proofs, 121-136, 2009 | 16 | 2009 |

Calculating prioritized interaction test sets with constraints using binary decision diagrams E Salecker, R Reicherdt, S Glesner Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE …, 2011 | 14 | 2011 |