Christian Herrera

According to our database, Christian Herrera authored at least 12 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Task-modulated Sensitivity to Vocal Pitch in the Dorsal Premotor Cortex during Multitalker Speech Recognition.

Jonathan H. Venezia, Christian Herrera, Nicole Whittle, Marjorie R. Leek, Samuel Barnes, Barbara Holshouser, Alex Yi

J. Cogn. Neurosci., 2022

2020

From Stateless to Stateful Priorities: Technical Report.

Christian Herrera

CoRR, 2020

CrEStO: A Tool for Synthesizing Stateful Priorities.

Christian Herrera, Nancy Cruz, Ricardo Quintero

Proceedings of the 16th European Dependable Computing Conference, 2020

Stateful Priorities for Precise Restriction of System Behavior.

Christian Herrera

Proceedings of the 16th European Dependable Computing Conference, 2020

2017

The class of timed automata with quasi-equal clocks

Christian Herrera

PhD thesis, 2017

2016

The Model Checking Problem in Networks with Quasi-Equal Clocks.

Christian Herrera, Bernd Westphal

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

Verification of Fault-Tolerant Clock Synchronization Algorithms.

Sergiy Bogomolov, Christian Herrera, Wilfried Steiner

Proceedings of the ARCH@CPSWeek 2016, 2016

2015

Combining point and regular lattice data in geostatistical interpolation.

Jorge Jódar, Gonzalo Sapriza, Christian Herrera, Luis Javier Lambán, Agustín Medina

J. Geogr. Syst., 2015

Quasi-equal Clock Reduction: Eliminating Assumptions on Networks.

Christian Herrera, Bernd Westphal

Proceedings of the Hardware and Software: Verification and Testing, 2015

2014

Quasi-Equal Clock Reduction: More Networks, More Queries.

Christian Herrera, Bernd Westphal, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Quasi-dependent variables in hybrid automata.

Sergiy Bogomolov, Christian Herrera, Marco Muñiz, Bernd Westphal, Andreas Podelski

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

2012

Reducing Quasi-Equal Clocks in Networks of Timed Automata.

Christian Herrera, Bernd Westphal, Sergio Feo-Arenis, Marco Muñiz, Andreas Podelski

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012