Analysis of real-time programs with simple time Petri nets
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
An efficient state space generation for analysis of real-time systems
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Stubborn Sets for Real-Time Petri Nets
Formal Methods in System Design
An Efficient State Space Generation for the Analysis of Real-Time Systems
IEEE Transactions on Software Engineering
Automated deductive requirements analysis of critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Requirements and Specification Exemplars
Automated Software Engineering
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset
Automated Software Engineering
Digitisation and Full Abstraction for Dense-Time Model Checking
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Model Checking - Timed UML State Machines and Collaborations
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
Toward an integratred verification environment for embedded systems
MS'06 Proceedings of the 17th IASTED international conference on Modelling and simulation
Predictable real-time software synthesis
Real-Time Systems
A Graphical Language for Specifying and Analyzing Real-Time Systems
Integrated Computer-Aided Engineering
Specification of Timed EFSM Fault Models in SDL
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Synchronous Estelle: Just Another Synchronous Language?
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
Detecting design flaws in UML state charts for embedded software
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Runtime verification of java programs for scenario-based specifications
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Duration calculus: a real-time semantic for B
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Scenario-Based timing consistency checking for time petri nets
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Consistency checking of concurrent models for scenario-based specifications
SDL'05 Proceedings of the 12th international conference on Model Driven
A comparison of formal real-time specification languages
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Timing analysis of scenario-based specifications using linear programming
Software Testing, Verification & Reliability
Hi-index | 0.00 |