-
Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Mod...
International audience -
Verifying Software Product Lines with ProVeLines
National audience -
The Role of Invariants in the Co-evolution of Business and Technical Service ...
International audience -
Two complementary approaches to detecting vulnerabilities in C programs
In general, computer software vulnerabilities are defined as special cases where an unexpected behavior of the system leads to the degradation of security properties... -
A Formal Framework to Specify and Verify Real Time Properties on Critical Sys...
International audience -
Verifying Communicating Multi-pushdown Systems
International audience -
Using Event-Based and Rule-Based Paradigms to Develop Context-Aware Reactive ...
Context-aware pervasive computing has attracted a significant research interest from both academy and industry worldwide. It covers a broad range of applications that... -
Safe design method of embedded systems based on COTS
This PhD dissertation contributes to the safe design of COTS-based control-command embedded systems. Due to design constraints bounding delays, costs and engineering... -
Enzymatic competition: Modeling and verification with timed hybrid petri nets
International audience -
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using ...
International audience -
Contribution to the business process evolution management
The evolution management of the business processes requires an exhaustive understanding of the change. An evolution engineer needs to understand reasons of a change,... -
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications
International audience -
Verifying Reactive Systems Using Predicate Diagrams
Colloque sans acte à diffusion restreinte. internationale. -
Formal Verification Integration Approach for DSML
International audience -
A Separation Logic for Resource Distribution
Colloque avec actes et comité de lecture. internationale. -
Verification and Validation techniques used by EAST partners
Rapport de contrat. -
Vérification de propriétés temporelles complexes
Stage de DEA. Rapport de stage. -
Verification based on unfoldings of Petri nets with read arcs
Humans make mistakes, especially when faced to complex tasks, such as the construction of modern hardware or software. This thesis focuses on machine-assisted...
