( en | de | ru )

 

Disambiguierung von "Åkesson, Knut"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Multi-Requirement Testing Using Focused Falsification.

, , und . HSCC, Seite 4:1-4:11. ACM, (2022)

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.

Johan Åkesson

Fredrik °Akesson

Torsten Knuth

Matthias Knuth

Susanne Knuth

 

Weitere Publikationen von Autoren mit dem selben Namen

Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans., , , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39 (12): 5247-5260 (2020)Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers., , und . MED, Seite 542-547. IEEE, (2021)Enumeration of Valid Partial Configurations., , und . Configuration Workshop, Volume 755 von CEUR Workshop Proceedings, CEUR-WS.org, (2011)An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem., , und . CASE, Seite 1364-1369. IEEE, (2021)Structural Coverability for Intelligent Automation Systems., , und . CASE, Seite 1-6. IEEE, (2023)Hybrid Computer-Human Supervision of Discrete Event Systems., , und . ICRA, Seite 2321-2326. IEEE, (2002)Evaluating Two Semantics for Falsification using an Autonomous Driving Example., , , und . INDIN, Seite 386-391. IEEE, (2019)Compact Representation of Time-Index Job Shop Problems Using a Bit-Vector Formulation., , und . CASE, Seite 1590-1595. IEEE, (2020)Testing Cyber-Physical Systems Using a Line-Search Falsification Method., , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (8): 2393-2406 (2022)Falsification of Cyber-Physical Systems using Bayesian Optimization., , , und . CoRR, (2022)