Executing formal specifications: the ASTRAL to TRIO translation approach
TAV4 Proceedings of the symposium on Testing, analysis, and verification
State-based model checking of event-driven system requirements
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)
Formal specification of asynchronous distributed real-time systems by APTL
ICSE '92 Proceedings of the 14th international conference on Software engineering
Validating real-time systems by history-checking TRIO specifications
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
Distributed real-time system specification and verification in APTL
ACM Transactions on Software Engineering and Methodology (TOSEM)
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
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)
Templar: a knowledge-based language for software specifications using temporal logic
ACM Transactions on Information Systems (TOIS)
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
Constructing abstract models of concurrent real-time software
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
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
A graphical environment for the design of concurrent real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification of Realtime Systems Using ASTRAL
IEEE Transactions on Software Engineering
Specification of realtime systems using ASTRAL
IEEE Transactions on Software Engineering
From formal models to formally based methods: an industrial experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
IEEE Transactions on Software Engineering
A formal approach for designing CORBA based applications
Proceedings of the 22nd international conference on 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
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications
IEEE Transactions on Computers
Automated deductive requirements analysis of critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using symbolic execution for verifying safety-critical systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Combining UML and formal notations for modelling real-time systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A formal design notation for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Temporal Data Management Systems: A Comparative View
IEEE Transactions on Knowledge and Data Engineering
Temporal Synchronization Models for Multimedia Data
IEEE Transactions on Knowledge and Data Engineering
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
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
Static analysis of real-time component-based systems configurations
Science of Computer Programming - Special issue on coordination languages and architectures
Parallel Refinement Mechanisms for Real-Time Systems
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Static Analysis of Real-Time Component-Based Systems Configurations
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Evaluating real-time software specification languages
Computer Standards & Interfaces
Comparing formal specifications by measuring
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
Extending Object-Z for Specifying Real-Time Systems
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Object-Oriented Real Time Systems Modeling and Verification
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Formally Specifying and Verifying Real-Time Systems
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A formal approach for designing CORBA-based applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dealing with different time scales in formal specifications
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
Reasoning about real-time statecharts in the presence of semantic variations
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
A framework for XML data streams history checking and monitoring
Proceedings of the 15th international conference on World Wide Web
Automated compositional proofs for real-time systems
Theoretical Computer Science
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
VDMTools: advances in support for formal modeling in VDM
ACM SIGPLAN Notices
Towards the integration of sysml and problem frames
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Logical specification of real-time granular systems in an object oriented language
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
A Metric Encoding for Bounded Model Checking
FM '09 Proceedings of the 2nd World Congress on Formal Methods
An Automatic Approach to Enable Replacement of Conversational Services
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A Compositional Framework for Formally Verifying Modular Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards UML-based formal specifications of component-based real-time software
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Model checking temporal metric specifications with Trio2Promela
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Formalization and validation of a subset of the European Train Control System
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
TESLA: a formally defined event specification language
Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems
Generating natural language descriptions of Z test cases
INLG '10 Proceedings of the 6th International Natural Language Generation Conference
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Integrating discrete- and continuous-time metric temporal logics through sampling
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Validation of requirements for hybrid systems: A formal approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dependability modeling and analysis of software systems specified with UML
ACM Computing Surveys (CSUR)
Time constraints with temporal logic programming
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Bounded satisfiability checking of metric temporal logic specifications
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
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
Hi-index | 0.00 |