Folgen
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
1212008
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
962006
Slicing MATLAB simulink models
R Reicherdt, S Glesner
2012 34th International Conference on Software Engineering (ICSE), 551-561, 2012
832012
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
811995
Formal verification of java code generation from UML models
JO Blech, S Glesner, J Leitner
Fujaba Days 2005, 49-56, 2005
522005
Formal verification of discrete-time MATLAB/Simulink models using Boogie
R Reicherdt, S Glesner
Software Engineering and Formal Methods: 12th International Conference, SEFM …, 2014
482014
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
422005
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
402015
A HW/SW co-verification framework for SystemC
P Herber, S Glesner
ACM Transactions on Embedded Computing Systems (TECS) 12 (1s), 1-23, 2013
382013
Using Program Checking to Ensure the Correctness of Compiler Implementations.
S Glesner
J. Univers. Comput. Sci. 9 (3), 191-222, 2003
372003
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
342011
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
322011
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
302004
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
282018
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
272011
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
272004
Only the best can make it: Optimal component selection
L Gesellensetter, S Glesner
Electronic Notes in Theoretical Computer Science 176 (2), 105-124, 2007
262007
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
262005
Comprehensible and dependable self-learning self-adaptive systems
V Klös, T Göthel, S Glesner
Journal of systems architecture 85, 28-42, 2018
252018
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
242015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20