Documents Related by Co-Citation

472 Symbolic Model Checking for Real-time Systems – Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine - 1992
290 Solution of a problem in concurrent programming control – E W Dijkstra - 1965
407 D.L.: Automata For Modeling Real-Time Systems – R Alur, Dill - 1990
487 Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors – John M. Mellor-crummey, Michael L. Scott - 1991
94 Synchronization algorithms for shared-memory multiprocessors – Gary Granunke, Shreekant Thakkar - 1990
219 The performance of spin lock alternatives for shared-memory multiprocessors – T E Anderson - 1990
146 From Timed to Hybrid Systems – Oded Maler, Zohar Manna, Amir Pnueli
363 D: Model-checking for real-time systems – R Alur, C Courcoubetis, Dill
360 Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems – Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho - 1992
59 Delay Analysis in Synchronous Programs – N. Halbwachs - 1993
211 An Old-Fashioned Recipe for Real Time – Martín Abadi, Leslie Lamport - 1993
77 An Approach to the Description and Analysis of Hybrid Systems – X. Nicollin, A. Olivero, J. Sifakis, S. Yovine
58 Minimal model generation – A Bouajjani, J-C Fernandez, N Halbwachs
64 Decidability of Bisimulation Equivalences for Parallel Timer Processes – K ˘Cerāns - 1992
31 Improving Fast Mutual Exclusion – E Styer - 1992
30 A logic of concrete time intervals – H R Lewis - 1990
238 A Really Temporal Logic – Rajeev Alur, Thomas A. Henzinger - 1989
4 Model-checking strategies for hybrid systems. Presented at the – T A Henzinger, P-H Ho - 1994
67 Integration Graphs: A Class of Decidable Hybrid Systems – Y. Kesten, A. Pnueli, J. Sifakis, S. Yovine - 1993