Christian Herrera

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