C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Ahmad Tarraf
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 10
Top Topics
Black Box
Formal Verification
Hybrid Systems
Cyber Physical
Top Venues
ProTools@SC
CoRR
CCWC
it Inf. Technol.
</>
Publications
</>
Ahmad Tarraf
,
Alexis Bandet
,
Francieli Boito
,
Guillaume Pallez
,
Felix Wolf
FTIO: Detecting I/O Periodicity Using Frequency Techniques.
CoRR
(2023)
Jean-Baptiste Besnard
,
Ahmad Tarraf
,
Clément Barthélemy
,
Alberto Cascajo
,
Emmanuel Jeannot
,
Sameer Shende
,
Felix Wolf
Towards Smarter Schedulers: Molding Jobs into the Right Shape via Monitoring and Modeling.
ISC Workshops
(2023)
Marcus Ritter
,
Ahmad Tarraf
,
Alexander Geiß
,
Nour Daoud
,
Bernd Mohr
,
Felix Wolf
Conquering Noise With Hardware Counters on HPC Systems.
ProTools@SC
(2022)
Ahmad Tarraf
,
Lars Hedrich
Towards Compositional Abstraction of Analog Neuronal Networks.
CCWC
(2021)
Ahmad Tarraf
,
Lars Hedrich
From transistor level to cyber physical/hybrid systems: Formal verification using automatic compositional abstraction.
it Inf. Technol.
62 (5-6) (2020)
Ahmad Tarraf
,
Lars Hedrich
,
Niklas Kochdumper
,
Malgorzata Rechmal-Lesse
,
Markus Olbrich
Equivalence Checking Methods for Analog Circuits Using Continuous Reachable Sets.
ISVLSI
(2020)
Niklas Kochdumper
,
Ahmad Tarraf
,
Malgorzata Rechmal
,
Markus Olbrich
,
Lars Hedrich
,
Matthias Althoff
Establishing Reachset Conformance for the Formal Analysis of Analog Circuits.
ASP-DAC
(2020)
Ahmad Tarraf
,
Lars Hedrich
Behavioral Modeling of Transistor-Level Circuits using Automatic Abstraction to Hybrid Automata.
DATE
(2019)
Ahmad Tarraf
,
Lars Hedrich
Automatic Modeling of Transistor Level Circuits by Hybrid Systems with Parameter Variable Matrices.
SMACD
(2019)
Ömer Ibrahim Erduran
,
Mirjam Minor
,
Lars Hedrich
,
Ahmad Tarraf
,
Frederik Ruehl
,
Hans Schroth
Multi-agent Learning for Energy-Aware Placement of Autonomous Vehicles.
ICMLA
(2019)