International Journal on Software Tools for Technology Transfer

Title Publication Date Language Citations
Domain-specific regular acceleration2011/07/20English
Toward diagrammability and efficiency in event-sequence languages2006/04/07English
A real-time profile for UML2006/02/17English
Theorem proving in technology transfer: the user’s point of view2000/09/01English
Mechanized result verification: an industrial application2000/09/01English
Using an induction prover for verifying arithmetic circuits2000/09/01English
Detecting races in Relay Ladder Logic programs2000/09/01English
Verification of Year 2000 conversion rules using the ACL2 theorem prover2000/09/01English
Formal change impact analyses for emulated control software2006/02/09English
Introductory Paper2006/04/03English
Special Section on “Leveraging Formal Methods”2006/09/09English
A formal framework for verifying distributed embedded systems based on abstraction methods2006/09/05English
Special section on testing and security of Web systems2008/10/14English
Modeling and proving functional completeness in formal verification of counting heads2008/10/14English
A correlation framework for the CORBA component model2007/08/23English
Introduction to the special section on self-optimizing mechatronic systems2008/01/31English
Testing hybrid control systems with TTCN-3: an overview on continuous TTCN-32008/04/30English
Automatic CoDec generation to reduce test engineering cost2008/04/04English
From testing to anti-product development2008/04/04English
Some advances in tools and algorithms for the construction and analysis of systems2017/09/04English
TestREx: a framework for repeatable exploits2017/09/25English
Recent advances in interactive and automated analysis2017/11/09English
Advances in verification presented in TACAS’132017/06/09English
Monitoring of spatio-temporal properties with nonlinear SAT solvers2024/02/22English
Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 20212023/02/17English
A process for creating KDM2PSM transformation engines2024/01/26English
On the applicability of hybrid systems safety verification tools from the automotive perspective2023/06/30English
Debugging convergence problems in probabilistic programs via program representation learning with SixthSense2024/02/19English
Generating interactive documents for domain-specific validation of formal models2024/02/20English
Algebraically explainable controllers: decision trees and support vector machines join forces2023/06/01English