( en | de | ru )

 

Disambiguation of "Klikovits, Stefan"

Author of the publication

copydeleteadd this publication to your clipboard
Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned.

, , , and . SERENE, volume 9823 of Lecture Notes in Computer Science, page 117-132. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stefan Schwärzler

Graphische Modelle im natürlichsprachlichen Mensch-Maschine-Dialog. TU München, (2010)

Stefan Weiß

Deformation quantization of principal fibre bundles and classical gauge theories. Uni Freiburg, (2009)

Stefan Fröhlich

Modellbasierte Fehlererkennung und Diagnose in Echtzeit am Beispiel einer Brennstoffzelle. Uni Kassel, (2009)

Stefan Tripmaker

Verhältnis und Abgrenzung zwischen Steuerhinterziehung und Betrug. Bucerius Law School Hamburg, (2007)

Stefan Kutter

Molekularer Aufbau und Translokationsmechanismus des Cag-Typ-IV-Sekretionssystems von Helicobacter pylori. Uni München, (2009)
 

Other publications of authors with the same name

KNN-Averaging for Noisy Multi-objective Optimisation., and . QUATIC, volume 1439 of Communications in Computer and Information Science, page 503-518. Springer, (2021)Modeling Frames., , , and . MoDELS (Satellite Events), volume 2019 of CEUR Workshop Proceedings, page 315-320. CEUR-WS.org, (2017)Parameter Coverage for Testing of Autonomous Driving Systems under Uncertainty., , , , and . ACM Trans. Softw. Eng. Methodol., 32 (3): 58:1-58:31 (May 2023)Dynamic Shielding for Reinforcement Learning in Black-Box Environments., , , , , and . ATVA, volume 13505 of Lecture Notes in Computer Science, page 25-41. Springer, (2022)Hybrid Multi-Objective Genetic Programming for Parameterized Quantum Operator Discovery., , and . GECCO Companion, page 795-798. ACM, (2023)Trust your neighbours: Handling noise in multi-objective optimisation using kNN-averaging., , , and . Appl. Soft Comput., (October 2023)Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing., , , and . Sci. Comput. Program., (August 2023)CREST - A DSL for Reactive Cyber-Physical Systems., , and . SAM, volume 11150 of Lecture Notes in Computer Science, page 29-45. Springer, (2018)A domain-specific language approach to hybrid cps modelling.. University of Geneva, Switzerland, (2019)base-search.net (ftunivgeneve:oai:unige.ch:aou:unige:121355).On the Need for Multi-Level ADS Scenarios., and . MoDELS (Companion), page 322-326. IEEE, (2021)