Software safety: why, what, and how
ACM Computing Surveys (CSUR)
RNet: a hard real-time distributed programming system
IEEE Transactions on Computers - Special Issue on Real-Time Systems
A graph-theoretic approach for timing analysis and its implementation
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Programming at the processor-memory-switch level
ICSE '88 Proceedings of the 10th international conference on Software engineering
Real-Time Specification Using Lucid
IEEE Transactions on Software Engineering
Reasoning About Time in Higher-Level Language Software
IEEE Transactions on Software Engineering
Completeness, robustness, and safety in real-time software requirements specification
ICSE '89 Proceedings of the 11th international conference on Software engineering
Timing analysis of cyclic concurrent programs
ICSE '89 Proceedings of the 11th international conference on Software engineering
Real-time interval logic for reasoning about executions of real-time programs
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
RSF: A Formalism for Executable Requirement Specifications
IEEE Transactions on Software Engineering
Formal specification for a clinical cyclotron control system
Conference proceedings on Formal methods in software development
Software safety in embedded computer systems
Communications of the ACM
Building Flexible Real-Time Systems Using the Flex Language
Computer - Special issue on real-time systems
Intelligent real-time control of robotic vehicles
Communications of the ACM
The benefits of relaxing punctuality
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Specification of Real-Time Broadcast Networks
IEEE Transactions on Computers - Special issue on protocol engineering
Executing formal specifications: the ASTRAL to TRIO translation approach
TAV4 Proceedings of the symposium on Testing, analysis, and verification
ACM SIGOPS Operating Systems Review
State-based model checking of event-driven system requirements
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Tolerating failures of continuous-valued sensors
ACM Transactions on Computer Systems (TOCS)
A stepwise refinement heuristic for protocol construction
ACM Transactions on Programming Languages and Systems (TOPLAS)
SUVS: a distributed real-time system testbed for fault-tolerant computing
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Multiprocessor real-time threads
ACM SIGOPS Operating Systems Review
Querying of Executable Software Specifications
IEEE Transactions on Software Engineering
Detecting Unsafe Error Recovery Schedules
IEEE Transactions on Software Engineering
Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
Design of dependable real-time systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Guest A Layered Approach to Automating the Verification of Real-Time Systems
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Communicating Real-Time State Machines
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
A Case-Study in Timed Refinement: A Mine Pump
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Functional specification of time-sensitive communicating systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
A practical technique for bounding the time between events in concurrent real-time systems
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Compiling real-time programs into schedulable code
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Distributed real-time system specification and verification in APTL
ACM Transactions on Software Engineering and Methodology (TOSEM)
Targeting safety-related errors during software requirements analysis
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Journal of the ACM (JACM)
Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems
IEEE Transactions on Software Engineering
Validating real-time systems by history-checking TRIO specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modechart: A Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Testing real-time constraints in a process algebraic setting
Proceedings of the 17th international conference on Software engineering
A framework for evaluating specification methods for reactive systems: experience report
Proceedings of the 17th international conference on Software engineering
Constructing abstract models of concurrent real-time software
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
The benefits of relaxing punctuality
Journal of the ACM (JACM)
Checking timing constraints in distributed object-oriented programs
ACM SIGPLAN OOPS Messenger - Special issue: object-oriented real-time systems
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Timing Analysis of Ada Tasking Programs
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Symbolic model checking for event-driven real-time systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specification of Realtime Systems Using ASTRAL
IEEE Transactions on Software Engineering
Slicing real-time programs for enhanced schedulability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specification of realtime systems using ASTRAL
IEEE Transactions on Software Engineering
Procedure-Level Verification of Real-time Concurrent Systems
Real-Time Systems
A formal model of the Ada Ravenscar tasking profile; delay until
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
Proving temporal properties of hybrid systems
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
An Interval Logic for Real-Time System Specification
IEEE Transactions on Software Engineering
Timing driven co-design of networked embedded systems
ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications
IEEE Transactions on Computers
Extending the SCR Method for Real-Time Systems
Real-Time Systems
Simulation-Verification: Biting at the State Explosion Problem
IEEE Transactions on Software Engineering
Static and dynamic analysis of real-time systems
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
IEEE Transactions on Software Engineering
Specifying and analysing multimedia systems
Formal methods for distributed processing
Efficient algorithms for debugging timing constraint violations
Proceedings of the 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems
Elements underlying the specification of requirements
Annals of Software Engineering
Specification and analysis of real-time systems with PARAGON
Annals of Software Engineering
ATOM: An object-based formal method for real-time systems
Annals of Software Engineering
A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems*
Real-Time Systems
Verification of non-functional properties of a composable architecture with Petri nets
Fundamenta Informaticae
An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems
IEEE Transactions on Computers
Deciding Properties of Timed Transition Models
IEEE Transactions on Parallel and Distributed Systems
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
Compositional Semantics of a Real-Time Prototyping Language
IEEE Transactions on Software Engineering
Specification and Analysis of Real-Time Problem Solvers
IEEE Transactions on Software Engineering
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion
IEEE Transactions on Software Engineering
Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes
IEEE Transactions on Software Engineering
From Safety Analysis to Software Requirements
IEEE Transactions on Software Engineering
Using UML to specify QoS constraints in ODP
Computer Networks: The International Journal of Computer and Telecommunications Networking
Triggered Real-Time Databases with Consistency Constraints
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Formal Methods for the Re-Engineering of Computing Systems: A Comparison
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
A Specification and Validation Technique Based on STATEMATE and FNLOG
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
From Object-Process Diagrams to a Natural Object-Process Language
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
An Analysis of Zero-Clairvoyant Scheduling
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
A Decidable Dense Branching-Time Temporal Logic
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Scheduling of Real-Time Tasks with Complex Constraints
Performance Evaluation: Origins and Directions
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
ICN '01 Proceedings of the First International Conference on Networking-Part 1
Proceedings of the tenth international symposium on Hardware/software codesign
Behavioral patterns for software requirement engineering
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
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
Comparing formal specifications by measuring
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
The architectural specification of an avionic subsystem
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Applying object-oriented concepts to the Development of Real-Time Industrial automation systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Object-Oriented Real Time Systems Modeling and Verification
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
An Object-Oriented Real Time Systems Modeling and Verification Methodology
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Reactive and Real-Time Systems Course: How to Get the Most Out of it
Real-Time Systems
On Inspection and Verification of Software with Timing Requirements
IEEE Transactions on Software Engineering
A Suite of Tools for Debugging Distributed Autonomous Systems
Formal Methods in System Design
Analysing failure behaviours in component interaction
Journal of Systems and Software
Counting for Satisfiability by Inverting Resolution
Artificial Intelligence Review
IEEE Transactions on Software Engineering
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
Run-time analysis of time-critical systems
Journal of Systems Architecture: the EUROMICRO Journal
An Operational Semantics and Compiler for Real-Time Specifications
Integrated Computer-Aided Engineering
Cost enforcement in the real-time specification for Java
Real-Time Systems
Provably efficient algorithms for resolving temporal and spatial difference constraint violations
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
A timeband framework for modelling real-time systems
Real-Time Systems
On the Toyota's Throttle Control Problem
GREENCOM-CPSCOM '10 Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing
Automated framework for formal operator task analysis
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Interoperability of constrained finite state automata
ACM SIGSOFT Software Engineering Notes
A novel approach to modechart verification of real-time systems
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
Research: Specification, validation, and verification of time-critical systems
Computer Communications
Verification of Non-functional Properties of a Composable Architecture with Petrinets
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Specifying safety-critical systems with a decidable duration logic
Science of Computer Programming
Modelling temporal behaviour in complex systems with Timebands
Formal Methods in System Design
Hi-index | 0.04 |