RNet: a hard real-time distributed programming system
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Instruction level timing mechanisms for accurate real-time task scheduling
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Reasoning About Time in Higher-Level Language Software
IEEE Transactions on Software Engineering
An operational semantics of real time design language RT-CDL
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Object-oriented real-time language design: constructs for timing constraints
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
On satisfying timing constraints in hard-real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Analyzing Hard-Real-Time Programs for Guaranteed Schedulability
IEEE Transactions on Software Engineering
DROL: an object-oriented programming language for distributed real-time systems
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Compiling real-time programs into schedulable code
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Language constructs and transformation for hard real-time systems
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
Performance analysis of embedded software using implicit path enumeration
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
Performance analysis of embedded software using implicit path enumeration
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Performance estimation of embedded software with instruction cache modeling
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
ACM SIGPLAN OOPS Messenger - Special issue: object-oriented real-time systems
Checking timing constraints in distributed object-oriented programs
ACM SIGPLAN OOPS Messenger - Special issue: object-oriented real-time systems
Efficient software performance estimation methods for hardware/software codesign
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Mechanisms for detecting and handling timing errors
Communications of the ACM
Slicing real-time programs for enhanced schedulability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computing Maximum Task Execution Times — A Graph-BasedApproach
Real-Time Systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Development Environment for Complex Distributed Real-Time Applications
IEEE Transactions on Software Engineering
Performance estimation of embedded software with instruction cache modeling
ACM Transactions on Design Automation of Electronic Systems (TODAES)
The Spring System: Integrated Support for Complex Real-TimeSystems
Real-Time Systems
Statically Safe Speculative Execution for Real-Time Systems
IEEE Transactions on Software Engineering
Stabilizing Pre-Run-Time Schedules With the Help of GraceTime
Real-Time Systems
Guest Editorial: A Review of Worst-Case Execution-TimeAnalysis
Real-Time Systems - Special issue on worst-case execution-time analysis
Supporting Timing Analysis by Automatic Bounding of LoopIterations
Real-Time Systems - Special issue on worst-case execution-time analysis
Worst Case Execution Time Analysis for a Processor withBranch Prediction
Real-Time Systems - Special issue on worst-case execution-time analysis
Source-level execution time estimation of C programs
Proceedings of the ninth international symposium on Hardware/software codesign
Real-time properties of indirect recursive procedures
Information and Computation
IEEE Transactions on Software Engineering
Performance estimation of embedded software with instruction cache modeling
Readings in hardware/software co-design
Data-Flow Frameworks for Worst-Case Execution Time Analysis
Real-Time Systems
Developing Real-Time Tasks With Predictable Timing
IEEE Software
Extending Pearl for Industrial Real-Time Applications
IEEE Software
Parametric Dispatching of Hard Real-Time Tasks
IEEE Transactions on Computers
On Satisfying Timing Constraints in Hard-Real-Time Systems
IEEE Transactions on Software Engineering
A Temporal Many-Valued Logic for Real Time Control Systems
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems
LCTES '00 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
ICN '01 Proceedings of the First International Conference on Networking-Part 1
Constructing distributed real-time systems with DROL real-time objects
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
High-level algorithmic complexity evaluation for system design
Journal of Systems Architecture: the EUROMICRO Journal
Monitors and Concurrent Pascal: a personal history
History of programming languages---II
Engineering Real-Time Robotics Software Systems Using CLEOPATRA
Integrated Computer-Aided Engineering
N-version programming in WCET analysis: revisiting a discredited idea
Proceedings of the FSE/SDP workshop on Future of software engineering research
Portable worst-case execution time analysis using Java byte code
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis
Software and Systems Modeling (SoSyM)
Programming languages for real-time systems
Embedded Systems Design
Practical exception handling and resolution in concurrent programs
Computer Languages
The WCET analysis tool calcwcet167
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
| Hi-index | 0.02 |