( en | de | ru )

 

Disambiguierung von "Fummi, Franco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A SystemC-based platform for assertion-based verification and mutation analysis in systems biology.

, , , , , , und . LATS, Seite 159-164. IEEE, (2016)

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.

Franco Kämmer

Franco Nüske

Franco Nüske

Franco Caldarone

Franco Lehmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Testbench Qualification of SystemC TLM Protocols through Mutation Analysis., , , und . IEEE Trans. Computers, 63 (5): 1248-1261 (2014)Code Manipulation for Virtual Platform Integration., , und . IEEE Trans. Computers, 65 (9): 2694-2708 (2016)Symbolic Optimization of FSM Networks Based on Sequential ATPG Techniques., , , , und . DAC, Seite 467-470. ACM Press, (1996)A fault tolerant incremental design methodology., , und . ISCAS (3), Seite 161-164. IEEE, (2002)A SystemC-based platform for assertion-based verification and mutation analysis in systems biology., , , , , , und . LATS, Seite 159-164. IEEE, (2016)MIPP: A microbenchmark suite for performance, power, and energy consumption characterization of GPU architectures., , , und . SIES, Seite 159-164. IEEE, (2016)Automatic generation of cycle-accurate Simulink blocks from hdl ips., , , , und . FDL, Seite 1-8. IEEE, (2017)Translation, Abstraction and Integration for Effective Smart System Design., , und . IEEE Trans. Computers, 68 (10): 1525-1538 (2019)Introducing assume-guarantee contracts for verifying robotic applications: work-in-progress., , , und . CODES+ISSS, Seite 4. IEEE / ACM, (2018)Disentangled Latent Spaces Facilitate Data-Driven Auxiliary Learning., , , , , , und . CoRR, (2023)