Christian Herrera
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2014–2020
Best venue rank
Unranked
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | EDCC | Stateful Priorities for Precise Restriction of System Behavior. | Christian Herrera |
| 2020 | EDCC | CrEStO: A Tool for Synthesizing Stateful Priorities. | Christian Herrera, Nancy Cruz, Ricardo Quintero |
| 2016 | TIME | The Model Checking Problem in Networks with Quasi-Equal Clocks. | Christian Herrera, Bernd Westphal |
| 2014 | TACAS | Quasi-Equal Clock Reduction: More Networks, More Queries. | Christian Herrera, Bernd Westphal, Andreas Podelski |