7 citations · 12 across the 8 of their papers we have counts for
8 papers
Automated Application Offloading through Ant-inspired Decision-Making
Roya Golchay, Frédéric Le Mouël, Julien Ponge +1
-The explosive trend of smartphone usage as the most effective and convenient communication tools of human life in recent years make developers build ever more complex smartphone a…
Spontaneous Proximity Clouds: Making Mobile Devices to Collaborate for Resource and Data Sharing
Roya Golchay, Frédéric Le Mouël, Julien Ponge +1
The base motivation of Mobile Cloud Computing was empowering mobile devices by application offloading onto powerful cloud resources. However, this goal can't entirely be reached be…
Towards a Decoupled Context-Oriented Programming Language for the Internet of Things
Baptiste Maingret, Frédéric Le Mouël, Julien Ponge +3
Easily programming behaviors is one major issue of a large and reconfigurable deployment in the Internet of Things. Such kind of devices often requires to externalize part of their…
Opportunities for a Truffle-based Golo Interpreter
Julien Ponge, Frédéric Le Mouël, Nicolas Stouls +1
Golo is a simple dynamically-typed language for the Java Virtual Machine. Initially implemented as a ahead-of-time compiler to JVM bytecode, it leverages invokedy-namic and JSR 292…
Syntactic Abstraction of B Models to Generate Tests
Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué +1
In a model-based testing approach as well as for the verification of properties, B models provide an interesting solution. However, for industrial applications, the size of their s…
GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties.
Didier Bert, Marie-Laure Potet, Nicolas Stouls
In this paper, we present a method and a tool to build symbolic labelled transition systems from B specifications. The tool, called GeneSyst, can take into account refinement level…
Security Policy Enforcement Through Refinement Process
Nicolas Stouls, Marie-Laure Potet
In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process. We argue that it is pos…
Graph Based Reduction of Program Verification Conditions
Jean-François Couchot, Alain Giorgetti, Nicolas Stouls
Increasing the automaticity of proofs in deductive verification of C programs is a challenging task. When applied to industrial C programs known heuristics to generate simpler veri…