| Establishing reachset conformance for the formal analysis of analog circuits N Kochdumper, A Tarraf, M Rechmal, M Olbrich, L Hedrich, M Althoff 2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC), 199-204, 2020 | 18 | 2020 |
| Behavioral modeling of transistor-level circuits using automatic abstraction to hybrid automata A Tarraf, L Hedrich 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2019 | 16 | 2019 |
| Multi-agent learning for energy-aware placement of autonomous vehicles ÖI Erduran, M Minor, L Hedrich, A Tarraf, F Ruehl, H Schroth 2019 18th IEEE International Conference On Machine Learning And Applications …, 2019 | 8 | 2019 |
| Equivalence checking methods for analog circuits using continuous reachable sets A Tarraf, L Hedrich, N Kochdumper, M Rechmal-Lesse, M Olbrich 2020 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 7-12, 2020 | 6 | 2020 |
| Capturing periodic I/O using frequency techniques A Tarraf, A Bandet, F Boito, G Pallez, F Wolf 2024 IEEE International Parallel and Distributed Processing Symposium (IPDPS …, 2024 | 4 | 2024 |
| Automatic Abstraction of Analog Circuits to Hybrid Automata A Tarraf, L Hedrich ANALOG 2018; 16th GMM/ITG-Symposium, 1-6, 2018 | 4 | 2018 |
| Conquering Noise With Hardware Counters on HPC Systems M Ritter, A Tarraf, A Geiß, N Daoud, B Mohr, F Wolf 2022 IEEE/ACM Workshop on Programming and Performance Visualization Tools …, 2022 | 3 | 2022 |
| Malleability in Modern HPC Systems: Current Experiences, Challenges, and Future Opportunities A Tarraf, M Schreiber, A Cascajo, JB Besnard, MA Vef, D Huber, S Happ, ... IEEE Transactions on Parallel and Distributed Systems, 2024 | 2 | 2024 |
| Automatic modeling of transistor level circuits by hybrid systems with parameter variable matrices A Tarraf, L Hedrich 2019 16th International Conference on Synthesis, Modeling, Analysis and …, 2019 | 2 | 2019 |
| Ftio: Detecting i/o periodicity using frequency techniques A Tarraf, A Bandet, F Boito, G Pallez, F Wolf arXiv preprint arXiv:2306.08601, 2023 | 1 | 2023 |
| Towards Smarter Schedulers: Molding Jobs into the Right Shape via Monitoring and Modeling JB Besnard, A Tarraf, C Barthélemy, A Cascajo, E Jeannot, S Shende, ... International Conference on High Performance Computing, 68-81, 2023 | 1 | 2023 |
| A Deep Look Into the Temporal I/O Behavior of HPC Applications FZ Boito, L Teylo, M Popov, T Jolivel, F Tessier, J Luettgau, J Monniot, ... | | 2025 |
| Introducing the Metric Proxy for Holistic I/O Measurements JB Besnard, A Tarraf, A Cascajo, S Shende International Conference on High Performance Computing, 213-226, 2025 | | 2025 |
| I/O Behind the Scenes: Bandwidth Requirements of HPC Applications with Asynchronous I/O A Tarraf, JF Muñoz, DE Singh, T Ozden, J Carretero, F Wolf 2024 IEEE International Conference on Cluster Computing (CLUSTER), 426-439, 2024 | | 2024 |
| Qu'est-ce qu'un logiciel de recherche? F Pellegrini Revue Lamy Droit de l'immatériel, 39-40, 2024 | | 2024 |
| Compositional Behavioral Modeling of Analog Neural Networks A Tarraf, L Hedrich American Journal of Science & Engineering 2 (2), 21-25, 2021 | | 2021 |
| Analog Circuit Abstraction to SystemC-AMS Secured by Affine Forms A Tarraf, L Hedrich SMACD/PRIME 2021; International Conference on SMACD and 16th Conference on …, 2021 | | 2021 |
| Towards Compositional Abstraction of Analog Neuronal Networks A Tarraf, L Hedrich 2021 IEEE 11th Annual Computing and Communication Workshop and Conference …, 2021 | | 2021 |
| Formal abstraction and verification of analog circuits A Tarraf Universitätsbibliothek Johann Christian Senckenberg, 2021 | | 2021 |
| From transistor level to cyber physical/hybrid systems: Formal verification using automatic compositional abstraction A Tarraf, L Hedrich it-Information Technology 62 (5-6), 257-270, 2020 | | 2020 |
