Sabine Glesner
Sabine Glesner
Professor für Informatik, Technische Universität Berlin
Bestätigte E-Mail-Adresse bei tu-berlin.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1012008
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
902006
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
771995
Slicing MATLAB simulink models
R Reicherdt, S Glesner
2012 34th International Conference on Software Engineering (ICSE), 551-561, 2012
692012
Formal verification of java code generation from UML models
JO Blech, S Glesner, J Leitner
Fujaba Days 2005, 49-56, 2005
432005
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
412005
Using program checking to ensure the correctness of compiler implementations
S Glesner
J. UCS 9 (3), 191-222, 2003
332003
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
312014
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
292011
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
282011
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
282004
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
262015
A HW/SW co-verification framework for SystemC
P Herber, S Glesner
ACM Transactions on Embedded Computing Systems (TECS) 12 (1s), 1-23, 2013
252013
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
241997
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
232005
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
232004
Only the best can make it: Optimal component selection
L Gesellensetter, S Glesner
Electronic Notes in Theoretical Computer Science 176 (2), 105-124, 2007
222007
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
202011
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
202009
Verified code generation for embedded systems
S Glesner, R Geiß, B Boesler
Electronic Notes in Theoretical Computer Science 65 (2), 19-36, 2002
192002
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20