期刊： INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, ; ()
The architecture of ARINC-653 partitioned scheduling has been widely applied to avionics systems owing to its robust temporal isolation among applicat......
期刊： INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2021; 23 (1)
Single-path linear-constraint loops are important since many analyses in different fields can be reduced to termination proof synthesis for such loops......
期刊： INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 0; ()
Program termination is a fundamental research topic in program analysis. In this paper, we present a new complete polynomial-time method for the exist......
期刊： INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2019; 21 (2)
Ad hoc routing protocols are responsible for searching a route from the source to the destination under the dynamic network topology. Hybrid routing p......
期刊： INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2019; 21 (3)
Sketching is a synthesis approach that allows users to provide high-level insights into a synthesis problem and let synthesis tools complete low-level......
期刊： INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018; 20 (4)
This work presents a formal verification process based on the Systerel Smart Solver (S3) toolset for the development of safety-critical embedded softw......
期刊： INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017; 19 (6)
Aspect-oriented programming (AOP) is a programmatic methodology to handle better modularized code by separating crosscutting concerns from the traditi......
期刊： INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017; 19 (2)
This paper describes the modeling, done using the Event-B notation, of the aircraft landing gear case study that was proposed in a special track of th......
