Ahmad Tarraf und Lars Hedrich - Info zur Person

(1 - 13 von 14

)

16. GMM/ITG-Fachtagung-ANALOG Programm

conference.vde.com

Carna Zivkovic, Christoph Grimm, TU Kaiserslautern. Automatic Abstraction of Analog Circuits to Hybrid Automata Ahmad Tarraf , Lars Hedrich, ...

Internet of Things / Guest Editor: Sebastian Steinhorst, Host ...De Gruyter

www.degruyter.com

From transistor level to cyber physical/hybrid systems: Formal verification using automatic compositional abstraction. Ahmad Tarraf, Lars Hedrich.

From transistor level to cyber physical/hybrid systems

www.degruyter.com

von A Tarraf · — Ahmad Tarraf* and Lars Hedrich. From transistor level to cyber physical/hybrid systems: Formal verification using automatic compositional abstraction. › doi › itit › pdf

Details der Publikation - Formal abstraction and verification of ...katalog.ub.tu-braunschweig.de › vufind

katalog.ub.tu-braunschweig.de

Formal abstraction and verification of analog circuits / Ahmad Tarraf ; Gutachter: Lars Hedrich, Christoph Grimm. Buchumschlag. Gespeichert in: ...

dblp: Lars Hedrich

dblp.org

List of computer science publications by Lars Hedrich

Establishing Reachset Conformance for the Formal ...Leibniz Universität Hannover

www.ims.uni-hannover.de

authored by: Niklas Kochdumper, Ahmad Tarraf, Malgorzata Rechmal, Markus Olbrich, Lars Hedrich, Matthias Althoff; Abstract.

Establishing Reachset Conformance for the Formal Analysis ...

www.ims.uni-hannover.de

— verfasst von: Niklas Kochdumper, Ahmad Tarraf, Malgorzata Rechmal, Markus Olbrich, Lars Hedrich, Matthias Althoff; Organisationseinheit(en) ... › forschung › details

Formal Abstraction and Verification of Analog CircuitsDATE conference

date21.date-conference.com

von A Tarraf — Ahmad Tarraf and Lars Hedrich, "From transistor level to cyber physical/hybrid systems: Formal verification using automatic compositional abstraction", ...

Behavioral Modeling of Transistor-Level Circuits using Automatic Abstraction to Hybrid Automata. Ahmad Tarraf a and Lars Hedrich b Goethe University Frankfurt, Germany a .uni-frankfurt.de b .uni-frankfurt.de. ABSTRACT. Accurate abstracted behavioral modeling of analog circuits is still an open problem, especially when the abstraction process is automated.

Felix Wolf
Matthias Althoff

Personen
Vorname "Ahmad" (5115)
Name "Tarraf" (80)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Ahmad Tarraf und Lars Hedrich Person-Info

16. GMM/ITG-Fachtagung-ANALOG Programm

Internet of Things / Guest Editor: Sebastian Steinhorst, Host ...De Gruyter

From transistor level to cyber physical/hybrid systems

Details der Publikation - Formal abstraction and verification of ...katalog.ub.tu-braunschweig.de › vufind

dblp: Lars Hedrich

Establishing Reachset Conformance for the Formal ...Leibniz Universität Hannover

Establishing Reachset Conformance for the Formal Analysis ...

Formal Abstraction and Verification of Analog CircuitsDATE conference

DATE 2019

11.2 Novel techniques in optimization and high-level ...

Publications (Google Scholar)GitHub

Program - FAC'18 - AIT Austrian Institute Of Technology

Volume 2 – AJSE

Alle Infos zum Namen "Ahmad Tarraf"