Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Simplified Validation of Emergent Systems through Automata Learning-Based Testing.

B. Steffen, und J. Neubauer. SEW, Seite 84-91. IEEE Computer Society, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dr. rer. nat. Bernhard Schulz University of Stuttgart

Bernhard Schopfer University of Stuttgart

Prof. Dr. Bernhard Hauer University of Stuttgart

Hon. -Prof. Dr. Bernhard Scheuble University of Stuttgart

Univ. -Prof. Dr. -Ing. Bernhard Mitschang University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Test-Based Model Generation For Legacy Systems.H. Hungar, T. Margaria, und B. Steffen. ITC, Seite 971-980. IEEE Computer Society, (2003)A formal requirements engineering method for specification, synthesis, and verification.M. von der Beeck, T. Margaria, und B. Steffen. SEE, Seite 131-144. IEEE Computer Society, (1997)Knowledge-based relevance filtering for efficient system-level test-based model generation.T. Margaria, H. Raffelt, und B. Steffen. ISSE, 1 (2): 147-156 (2005)Archimedean Points: The Essence for Mastering Change.B. Steffen, und S. Naujokat. Trans. Found. Mastering Chang., (2016)The XMDD Approach to the Semantic Web Services Challenge.T. Margaria, C. Kubczak, und B. Steffen. Semantic Web Services, Advancement through Evaluation, Springer, (2012)Modeling and Execution of Scientific Workflows with the jABC Framework.A. Lamprecht, T. Margaria, und B. Steffen. Process Design for Natural Scientists, Volume 500 von Communications in Computer and Information Science, Springer, (2014)Active Automata Learning in Practice - An Annotated Bibliography of the Years 2011 to 2016.F. Howar, und B. Steffen. Machine Learning for Dynamic Software Analysis, Volume 11026 von Lecture Notes in Computer Science, Seite 123-148. Springer, (2018)Multiscale Simulation of Pedestrians for Efficient Predictive Modeling in Large Events.M. Chraibi, und B. Steffen. J. Cellular Automata, 11 (4): 299-310 (2016)Tailoring Process Synthesis to Domain Characteristics.S. Naujokat, A. Lamprecht, und B. Steffen. ICECCS, Seite 167-175. IEEE Computer Society, (2011)Active learning for extended finite state machines.S. Cassel, F. Howar, B. Jonsson, und B. Steffen. Formal Asp. Comput., 28 (2): 233-263 (2016)