Temporal proof methodologies for real-time systems
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The benefits of relaxing punctuality
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
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
Compiling Real-Time Specifications into Extended Automata
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)
Parametric real-time reasoning
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Discrete event simulation modeling: directions for the '90s
WSC '92 Proceedings of the 24th conference on Winter simulation
A logic-based foundation of discrete event modeling and simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Journal of the ACM (JACM)
Validating real-time systems by history-checking TRIO specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated testing of POSIX standards
StandardView
PARTS: a temporal logic-based real-time software specification and verification method
Proceedings of the 17th international conference on Software engineering
The benefits of relaxing punctuality
Journal of the ACM (JACM)
Specification of Realtime Systems Using ASTRAL
IEEE Transactions on Software Engineering
Specification of realtime systems using ASTRAL
IEEE Transactions on Software Engineering
Automatic generation of state invariants from requirements specifications
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Composition and refinement of discrete real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Comparative Study of Synthesis Methods for Discrete Event Controllers
Formal Methods in System Design
Classification schemes to aid in the analysis of real-time systems
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
An Interval Logic for Real-Time System Specification
IEEE Transactions on Software Engineering
Simulation-Verification: Biting at the State Explosion Problem
IEEE Transactions on Software Engineering
Compensation functions and requirements
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
Theoretical Computer Science
Specifying and analysing multimedia systems
Formal methods for distributed processing
Protocol Design: Redefining the State of the Art
IEEE Software
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
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
A Formal Framework for ASTRAL Intralevel Proof Obligations
IEEE Transactions on Software Engineering
Tractable Dataflow Analysis for Distributed Systems
IEEE Transactions on Software Engineering
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Formal Methods for the Re-Engineering of Computing Systems: A Comparison
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Modelling Real-Time Systems with Continuous-Time Temporal Logic
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents
PRIMA '99 Proceedings of the Second Pacific Rim International Workshop on Multi-Agents: Approaches to Intelligent Agents
Constraint Representation for Propagation
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Developing BON as an Industrial-Strength Formal Method
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Evaluating real-time software specification languages
Computer Standards & Interfaces
Information processing and technology
Extending Object-Z for Specifying Real-Time Systems
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Automated modular specification and verification of real-time reactive systems
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Specification and Verification of Real-Time Properties Using LOTOS and SQTL
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
On Inspection and Verification of Software with Timing Requirements
IEEE Transactions on Software Engineering
Dealing with different time scales in formal specifications
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
A compositional proof system for real-time systems based on explicit clock temporal logic
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Vehicle route-sequence planning using temporal logic
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
On-line algorithms for networks of temporal constraints
Journal of Discrete Algorithms
Agent-Based Flow Control for HLA Components
Simulation
Towards integrated verification of timed transition models
Fundamenta Informaticae - Special issue on application of concurrency to system design (ACSD'04)
Specifying deadlines with continuous time using deontic and temporal logic
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Modeling And Verification Of Real-Time Systems
Journal of Integrated Design & Process Science
Simulation-based verification using Temporally Attributed Boolean Logic
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Some Recent Results in Metric Temporal Logic
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Implementation of supervisory control using extended finite-state machines
International Journal of Systems Science
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
A logical basis for the specification of reconfigurable component-based systems
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Means-ends and whole-part traceability analysis of safety requirements
Journal of Systems and Software
Towards a theory of time-bounded verification
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
Towards Integrated Verification of Timed Transition Models
Fundamenta Informaticae - APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD'04)
Characterization of the Expressive Power of Silent Transitions in Timed Automata
Fundamenta Informaticae
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
| Hi-index | 0.00 |