Bounded Determinization of Timed Automata with Silent Transitions (original) (raw)
Related papers
IST-MBT-2013-02 Model-based Mutation Testing with Timed Automata
2013
Automated test generation from timed automata
International Journal on Software Tools for Technology Transfer (STTT), 2003
Repairing Timed Automata Clock Guards through Abstraction and Testing
Tests and Proofs, 2019
Model checking via reachability testing for timed automata
A Guided Method for Testing Timed Input Output Automata
Lecture Notes in Computer Science, 2003
8 Test Derivation from Timed Automata
Lecture Notes in Computer Science, 2005
Model-Based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda
2018 IEEE International Conference on Software Quality, Reliability and Security (QRS)
TAME: A Specialized Specification and Verification System for Timed Automata
1996
Time-Darts: A Data Structure for Verification of Closed Timed Automata
Electronic Proceedings in Theoretical Computer Science, 2012
Configurable verification of timed automata with discrete variables
Acta Informatica, 2020
Using model-checking for timed automata to parameterize logic control programs
Computers & Chemical Engineering, 1998
Remote Agent for Conformance Testing of Timed-Automata
Parallel and Distributed …, 2005
Conformance Tests for Real-Time Systems with Timed Automata Specifications
Formal Aspects of Computing, 2000
From Timed Automata to Logic - and Back
BRICS Report Series, 1995
Testing Membership for Timed Automata
ArXiv, 2019
Lazy Reachability Checking for Timed Automata with Discrete Variables
2018
VerICS: a tool for verifying timed automata and estelle specifications
Tools and Algorithms for the Construction and Analysis of Systems, 2003
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Logical Methods in Computer Science, 2011
Verification of Durational Action Timed Automata using UPPAAL
International Journal of Computer Applications, 2012
Mechanical verification of timed automata: a case study
Proceedings Real-Time Technology and Applications, 1996
The surprising robustness of (closed) timed automata against clock-drift
2008
√erics: A Tool for Verifying Timed Automata and Estelle Specifications
Lecture Notes in Computer Science, 2003
Quantitative model checking of continuous-time Markov chains against timed automata specifications
2009
Deep Random Search for Efficient Model Checking of Timed Automata
Lecture Notes in Computer Science, 2008
The Power of Reachability Testing for Timed Automata
Lecture Notes in Computer Science, 1998
Parameterized model checking of networks of timed automata with Boolean guards
Theoretical Computer Science, 2020
Checking ACTL* Properties of Discrete Timed Automata via Bounded Model Checking
2003
Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking
Tackling the equivalent mutant problem in real-time systems
Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A, 2020