|
|
|
Eberhard-Karls-Universität Tübingen
Wilhelm-Schickard Institut für Informatik
Lehrstuhl Technische Informatik
Sand 13, B202
72076 Tübingen
Telefon: +49 (7071) 29-75940
E-Mail: huster
|
Kontakt-Formular
SS 2012 - Seminar: Modellbasierte Software-Verifikation - Grundlagen und industrielle Praxis.
 Alle Publikationen im BibTex-Format
2014 September 2014 - S. Huster,
P. Heckeler,
H. Eichelberger,
J. Ruf,
S. Burg,
T. Kropf,
W. Rosenstiel
More Flexible Object Invariants with Less Specification Overhead
Software Engineering and Formal Methods (SEFM), Vol.8702, p.302-316, Springer International Publishing
März 2014 - H. Eichelberger, P. Heckeler, J. Ruf, S. Huster, S. Burg, T. Kropf, T. Greiner, W. Rosenstiel
Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software
17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), p.61-70, IBM Deutschland - Stefan Huster and Merdin Macic and Sebastian Burg and Hanno Eichelberger and Patrick Heckeler and Jürgen Ruf and Thomas Kropf and Wolfgang Rosenstiel
Increasing Software Reliability by Integrating Formal Verification and Robustness Testing.
MBMV, p.125-136 - S. Burg, P. Heckeler, S. Huster, H. Eichelberger,
J. Behrend, J. Ruf, T. Kropf, O. Bringmann
LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen , Vol.17, IBM Deutschland
2013 September 2013 - P. Heckeler, H. Eichelberger, T. Kropf, B.Schlich, J. Ruf, S. Huster, S. Burg, W. Rosenstiel
 Accelerated Model-Based Robustness Testing of State
Machine Implementations
ACM Applied Computing Review, 13 (03), p.50--67
März 2013 - S. Huster, P. Heckeler, J. Ruf, S. Burg, T. Kropf, W. Rosenstiel
A Software Testing Framework to Integrate Formal Verification Results
16. Workshop Methoden und Beschreibungssprachen
zur Modellierung und Verifikation von Schaltungen und Systemen, p.183-192, Universität Rostock, Rostock - P. Heckeler, B. Schlich, T. Kropf, G. R. Cardoso, H. Eichelberger, J. Ruf, S. Huster, S. Burg, W. Rosenstiel
Accelerated Robustness Testing of State-Based Components using Reverse Execution
Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC), Vol.2, p.1188-1195, ACM, Coimbra, Portugal - H. Eichelberger, P. Heckeler, S. Huster, S. Burg, J. Ruf, T. Kropf, W. Rosenstiel, B. Schlich
Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen
16. Workshop Methoden und Beschreibungssprachen
zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), p.161-170, Universität Rostock
2012 April 2012 - S. Huster
 Verifying declarative speci cations of
object-oriented software using Why3
Wilhelm-Schickard-Institute of Computer Science Department of Computer Engineering University of Tübingen
2011 März 2011 - J. Behrend, D. Lettnin, P. Heckeler, J. Ruf, T. Kropf, W. Rosenstiel
Scalable Hybrid Verification for Embedded Software
DATE '11: Proceedings of the conference on Design, Automation and Test in Europe
2009 April 2009 - C. Henneges, S. Huster, A. Zell
An artificial t cell immune system for predicting MHC-II binding peptides
IEEE Symposium Series on Artificial Life Proceedings, p.163-170
|
English Pages
