Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
Operating system principles
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Real-time programming and priority interrupt systems
IRTAW '87 Proceedings of the first international workshop on Real-time Ada issues
Deterministic execution testing of concurrent Ada programs
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Timing analysis of cyclic concurrent programs
ICSE '89 Proceedings of the 11th international conference on Software engineering
A general way to put time in Petri nets
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Reasoning of real-time distributed programming languages
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Debugging Concurrent Ada Programs by Deterministic Execution
IEEE Transactions on Software Engineering
Stepwise design of real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
A model parametric real-time logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
Validating real-time systems by history-checking TRIO specifications
ICSE '92 Proceedings of the 14th international conference on Software engineering
ACM Transactions on Computer Systems (TOCS)
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
RTsynchronizer: language support for real-time specifications in distributed systems
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
ACM SIGPLAN OOPS Messenger - Special issue: object-oriented real-time systems
Automatic tuning of multi-task programs for real-time embedded systems
ICSE '85 Proceedings of the 8th international conference on Software engineering
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Real-time: the “Lost World” of software debugging and testing
Communications of the ACM
Technical correspondence: Interlude on signals and semephores revisited
Communications of the ACM
The embedded machine: predictable, portable real-time code
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Stepwise Design of Real-Time Systems
IEEE Transactions on Software Engineering
Principles of Real-Time Programming
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Programming methodology
SIGSMALL '82 Proceedings of the 5th ACM SIGSMALL symposium on Small systems
Proving real-time properties of programs with temporal logic
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
Characteristic errors in programming languages
ACM '78 Proceedings of the 1978 annual conference - Volume 2
Design feedback and its use in software design aid systems
Proceedings of the software quality assurance workshop on Functional and performance issues
Software engineering techniques and tools for high performance parallel systems
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
Formally Specifying and Verifying Real-Time Systems
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A comparative survey of concurrent programming languages
ACM SIGPLAN Notices
A comparative survey of concurrent programming languages
ACM SIGPLAN Notices
Dealing with different time scales in formal specifications
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Engineering Real-Time Robotics Software Systems Using CLEOPATRA
Integrated Computer-Aided Engineering
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
The embedded machine: Predictable, portable real-time code
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM - Security in the Browser
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Reinventing computing for real time
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Interactive development of object handling programs
Computer Languages
Language constructs for real-time distributed systems
Computer Languages
Hi-index | 48.25 |
Programming is divided into three major categories with increasing complexity of reasoning in program validation: sequential programming, multiprogramming, and real-time programming. By adhering to a strict programming discipline and by using a suitable high-level language molded after this discipline, the complexity of reasoning about concurrency and execution time constraints may be drastically reduced. This may be the only practical way to make real-time systems analytically verifiable and ultimately reliable. A possible discipline is outlined and expressed in terms of the language Modula.