Automated derivation of time bounds in uniprocessor concurrent systems
- 1 January 1994
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 20 (9), 708-719
- https://doi.org/10.1109/32.317429
Abstract
No abstract availableThis publication has 22 references indexed in Scilit:
- A layered approach to automating the verification of real-time systemsIEEE Transactions on Software Engineering, 1992
- Automated analysis of concurrent systems with the constrained expression toolsetIEEE Transactions on Software Engineering, 1991
- The synchronous data flow programming language LUSTREProceedings of the IEEE, 1991
- TRIO: A logic language for executable specifications of real-time systemsJournal of Systems and Software, 1990
- Constrained expressions: toward broad applicability of analysis methods for distributed software systemsACM Transactions on Programming Languages and Systems, 1988
- Safety analysis of timing properties in real-time systemsIEEE Transactions on Software Engineering, 1986
- How to assign votes in a distributed systemJournal of the ACM, 1985
- Debugging Ada Tasking ProgramsIEEE Software, 1985
- Real-Time Behavior of ProgramsIEEE Transactions on Software Engineering, 1981
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time EnvironmentJournal of the ACM, 1973