Christian Herrera

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 7

Top Topics

Hybrid Automata

Dependent Variables

Randomly Assigned

Top Venues

Publications

Markus Kohler, Christian Herrera, Martin Gerngroß, Ralph Kennel, Christian Endisch
Empirical Investigation and Feed-Forward Control of Wire Tension in Needle Winding Processes. ISIE (2024)
Jonathan H. Venezia, Christian Herrera, Nicole Whittle, Marjorie R. Leek, Samuel Barnes, Barbara Holshouser, Alex Yi
Task-modulated Sensitivity to Vocal Pitch in the Dorsal Premotor Cortex during Multitalker Speech Recognition. J. Cogn. Neurosci. 34 (11) (2022)
Christian Herrera
From Stateless to Stateful Priorities: Technical Report. CoRR (2020)
Christian Herrera, Nancy Cruz, Ricardo Quintero
CrEStO: A Tool for Synthesizing Stateful Priorities. EDCC (2020)
Christian Herrera
Stateful Priorities for Precise Restriction of System Behavior. EDCC (2020)
Sergiy Bogomolov, Christian Herrera, Wilfried Steiner
Verification of Fault-Tolerant Clock Synchronization Algorithms. ARCH@CPSWeek (2016)
Christian Herrera, Bernd Westphal
The Model Checking Problem in Networks with Quasi-Equal Clocks. TIME (2016)
Jorge Jódar, Gonzalo Sapriza, Christian Herrera, Luis Javier Lambán, Agustín Medina
Combining point and regular lattice data in geostatistical interpolation. J. Geogr. Syst. 17 (3) (2015)
Christian Herrera, Bernd Westphal
Quasi-equal Clock Reduction: Eliminating Assumptions on Networks. Haifa Verification Conference (2015)
Sergiy Bogomolov, Christian Herrera, Marco Muñiz, Bernd Westphal, Andreas Podelski
Quasi-dependent variables in hybrid automata. HSCC (2014)
Christian Herrera, Bernd Westphal, Andreas Podelski
Quasi-Equal Clock Reduction: More Networks, More Queries. TACAS (2014)
Christian Herrera, Bernd Westphal, Sergio Feo Arenis, Marco Muñiz, Andreas Podelski
Reducing Quasi-Equal Clocks in Networks of Timed Automata. FORMATS (2012)