International Journal on Software Tools for Technology Transfer

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
Verifying a quantitative relaxation of linearizability via refinement
International Journal on Software Tools for Technology Transfer - Tập 18 - Trang 393-407 - 2015
Kiran Adhikari, James Street, Chao Wang, Yang Liu, Shaojie Zhang
The recent years have seen increasingly widespread use of highly concurrent data structures in both multi-core and distributed computing environments, thereby escalating the priority for verifying their correctness. Quasi linearizability is a quantitative variation of the standard linearizability correctness condition to allow more implementation freedom for performance optimization. However, ensu...... hiện toàn bộ
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches
International Journal on Software Tools for Technology Transfer - Tập 23 - Trang 615-640 - 2021
Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
Neural state classification (NSC) is a recently proposed method for runtime predictive monitoring of hybrid automata (HA) using deep neural networks (DNNs). NSC trains a DNN as an approximate reachability predictor that labels an HA state x as positive if an unsafe state is reachable from x within a given time bound, and labels x as negative otherwise. NSC predictors have very high accuracy, yet a...... hiện toàn bộ
LearnLib: a framework for extrapolating behavioral models
International Journal on Software Tools for Technology Transfer - Tập 11 - Trang 393-407 - 2009
Harald Raffelt, Bernhard Steffen, Therese Berg, Tiziana Margaria
In this paper, we present the LearnLib, a library of tools for automata learning, which is explicitly designed for the systematic experimental analysis of the profile of available learning algorithms and corresponding optimizations. Its modular structure allows users to configure their own tailored learning scenarios, which exploit specific properties of their envisioned applications. As has been ...... hiện toàn bộ
Efficient debugging in a formal verification environment
International Journal on Software Tools for Technology Transfer - - 2003
Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi
Paul Feyerabend and software technology
International Journal on Software Tools for Technology Transfer - Tập 2 - Trang 1-5 - 1998
Gregor Snelting
A real-time profile for UML
International Journal on Software Tools for Technology Transfer - Tập 8 - Trang 113-127 - 2006
Susanne Graf, Ileana Ober, Iulian Ober
This paper describes an approach for real-time modelling in UML, focusing on analysis and verification of time and scheduling-related properties. To this aim, a concrete UML profile, called the ωprofile, is defined, dedicated to real-time modelling by identifying a set of relevant concepts for real-time modelling which can be considered as a refinement of the standard SPT profile. The profile is b...... hiện toàn bộ
Heuristics for model checking Java programs
International Journal on Software Tools for Technology Transfer - Tập 6 - Trang 260-276 - 2004
Alex Groce, Willem Visser
Model checking of software programs has two goals – the verification of correct software and the discovery of errors in faulty software. Some techniques for dealing with the most crucial problem in model checking, the state space explosion problem, concentrate on the first of these goals. In this paper we present an array of heuristic model checking techniques for combating the state space explosi...... hiện toàn bộ
TGV: theory, principles and algorithms
International Journal on Software Tools for Technology Transfer - Tập 7 - Trang 297-315 - 2004
Claude Jard, Thierry Jéron
This paper presents the TGV tool, which allows for the automatic synthesis of conformance test cases from a formal specification of a (non-deterministic) reactive system. TGV was developed by Irisa Rennes and Verimag Grenoble, with the support of the Vasy team of Inria Rhônes-Alpes. The paper describes the main elements of the underlying testing theory, which is based on a model of transitions sys...... hiện toàn bộ
Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system
International Journal on Software Tools for Technology Transfer - Tập 19 Số 2 - Trang 141-166 - 2017
Wen Su, Jean-Raymond Abrial
Tool support for the design of self-optimizing mechatronic multi-agent systems
International Journal on Software Tools for Technology Transfer - Tập 10 - Trang 207-222 - 2008
Sven Burmester, Holger Giese, Eckehard Münch, Oliver Oberschelp, Florian Klein, Peter Scheideler
Complex technical systems, such as mechatronic systems, can exploit networking as well as the computational power available today to achieve an automatic improvement of the technical system performance at run-time through self-optimization. To realize this vision, appropriate means for the design of such self-optimizing mechatronic systems are required. Well-established techniques and tools for th...... hiện toàn bộ
Tổng số: 667   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10