Benjamin Binder

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Colored Petri Nets

Asynchronous Circuits

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan
The Role of Causality in a Formal Definition of Timing Anomalies. RTCSA (2022)
Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan
Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture. Int. J. Softw. Tools Technol. Transf. 24 (3) (2022)