Concepedia
International Journal on Software Tools for Technology Transfer · 2010 · 60 citations · 22 references
Open access
Real-time SystemEngineeringReal-time OperationSystem SpecificationVerificationFormal MethodsSoftware AnalysisSystems EngineeringReal-time ComputingReal-time SystemsComputer ScienceFormal VerificationSystem SoftwareSoftware DesignSoftware Verification
22
Automatic verification of finite-state concurrent systems using temporal logic specifications
E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.5K citations · Full text
Engineering, Verification, Computer-aided Verification +17
Priority inheritance protocols: an approach to real-time synchronization
Lui Sha, R. Rajkumar, John P. Lehoczky · IEEE Transactions on Computers · 1990 · 2.2K citations
Engineering, Priority Ceiling Protocol, Computer Architecture +22
The worst-case execution-time problem—overview of methods and survey of tools
Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl et al. · ACM Transactions on Embedded Computing Systems · 2008 · 1.8K citations
Engineering, Computer Architecture, Software Engineering +23
Modeling and verification of time dependent systems using time Petri nets
Bernard Berthomieu, M. Díaz · IEEE Transactions on Software Engineering · 1991 · 1.1K citations
Petri Net, Engineering, Real-time System Design +22
Recoverability of Communication Protocols--Implications of a Theoretical Study
Philip M. Merlin, David Farber · IRE Transactions on Communications Systems · 1976 · 868 citations
Petri Net, Engineering, Verification +19