International Journal on Software Tools for Technology Transfer · 1997 · 775 citations · 11 references
ComputingComputer EngineeringComputer ScienceFault-tolerant SystemsFormal MethodsModel-based Systems EngineeringDeductive VerificationHybrid SystemsHybrid Systems VerificationModel CheckingModel TransformationVerificationHybrid Model CheckingModel-based Verification
11
Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations
The algorithmic analysis of hybrid systems
Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs et al. · Theoretical Computer Science · 1995 · 1.9K citations · Full text
Thomas A. Henzinger · 2002 · 1.9K citations
Symbolic Model Checking for Real-Time Systems
Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis et al. · Information and Computation · 1994 · 830 citations · Full text
What's decidable about hybrid automata?
Thomas A. Henzinger, Peter W. Kopke, Anuj Puri et al. · 1995 · 521 citations · Full text