activity
20102025
most citedAnalysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider

25 citations · 124 across the 16 of their papers we have counts for

collaborators
Showing cs.FLShow all

1 paper · 1 filter

cs.FL2016★ 2 cited

Corrections to A Menagerie of Timed Automata

Jeroen J. A. Keiren, Peter Fontana, Rance Cleaveland

This note corrects a technical error in the ACM Computing Surveys paper mentioned in the title. The flaw involved constructions for showing that timed automata with urgent location…