Add to ORKGTemporal specification and deductive verification of a distributed component model and its environment
Dans cette thèse, nous proposons une approche rigoureuse pour la conception et le développement de s...
Long versionInternational audienceFirst-Order Linear Temporal Logic (FOLTL) is particularly convenie...
International audienceThis paper targets the generation of distributed applications with safety guar...
In this paper we investigate the formalisation of distributed and long-running stateful systems usin...
Since the beginning of the 1980's, the way the computer systems are conceived has changed dramatical...
AbstractComponents allow to design applications in a modular way by enforcing a strong separation of...
This paper presents a brief overview of our efforts in the behavioural specification and verificatio...
In this paper, we present the results of a research in which the validation activity of distributed ...
The behaviour of systems characterised by a closed interaction of software components with the envir...
We investigate various formal aspects of a distributed dataspace architecture in which data storage ...
Formal specification is vital to the development of distributed real-time systems as these systems a...
International audienceSoftware components are a valuable programming abstraction that enables a comp...
Components allow to design applications in a modular way by enforcing a strong separation of concern...
Long version of an article accepted to the conference FM'19International audienc
Although a large number of formal methods have been reported in the literature, most of them are app...
Dans cette thèse, nous proposons une approche rigoureuse pour la conception et le développement de s...
Long versionInternational audienceFirst-Order Linear Temporal Logic (FOLTL) is particularly convenie...
International audienceThis paper targets the generation of distributed applications with safety guar...
In this paper we investigate the formalisation of distributed and long-running stateful systems usin...
Since the beginning of the 1980's, the way the computer systems are conceived has changed dramatical...
AbstractComponents allow to design applications in a modular way by enforcing a strong separation of...
This paper presents a brief overview of our efforts in the behavioural specification and verificatio...
In this paper, we present the results of a research in which the validation activity of distributed ...
The behaviour of systems characterised by a closed interaction of software components with the envir...
We investigate various formal aspects of a distributed dataspace architecture in which data storage ...
Formal specification is vital to the development of distributed real-time systems as these systems a...
International audienceSoftware components are a valuable programming abstraction that enables a comp...
Components allow to design applications in a modular way by enforcing a strong separation of concern...
Long version of an article accepted to the conference FM'19International audienc
Although a large number of formal methods have been reported in the literature, most of them are app...
Dans cette thèse, nous proposons une approche rigoureuse pour la conception et le développement de s...
Long versionInternational audienceFirst-Order Linear Temporal Logic (FOLTL) is particularly convenie...
International audienceThis paper targets the generation of distributed applications with safety guar...