89 results on '"Frédéric Loulergue"'
Search Results
2. Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack.
3. Combining Deductive Verification with Shape Analysis.
4. Verified Scalable Parallel Computing with Why3.
5. Towards Verified Scalable Parallel Computing with Coq and Spark.
6. Towards Formal Verification of a TPM Software Stack.
7. Verified High Performance Computing: The SyDPaCC Approach.
8. Verified Runtime Assertion Checking for Memory Properties.
9. Reflections on the Design of Parallel Programming Frameworks.
10. Pattern-driven Design of a Multiparadigm Parallel Programming Framework.
11. Towards Full Proof Automation in Frama-C Using Auto-active Verification.
12. A First Step in the Translation of Alloy to Coq.
13. PySke: Algorithmic Skeletons for Python.
14. New List Skeletons for the Python Skeleton Library.
15. Parallel programming with Coq: map and reduce skeletons on trees.
16. Logic against ghosts: comparison of two proof approaches for a list module.
17. Automatic Optimization of Python Skeletal Parallel Programs.
18. Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C.
19. Ghosts for Lists: From Axiomatic to Executable Specifications.
20. Interactive Bulk Synchronous Parallel Functional Programming in a Browser.
21. Verified Programs for Frequent Itemset Mining.
22. A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations.
23. A Lesson on Verification of IoT Software with Frama-C.
24. Parallel Programming with OCaml: A Tutorial.
25. Implementing Algorithmic Skeletons with Bulk Synchronous Parallel ML.
26. A Java Framework for High Level Parallel Programming Using Powerlists.
27. A Verified Accumulate Algorithmic Skeleton.
28. Imperative BSPlib-style Communications in BSML.
29. Replicated Synchronization for Imperative BSP Programs.
30. A CHR-Based Solver for Weak Memory Behaviors.
31. Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs.
32. Towards Automatically Optimizing PySke Programs.
33. Cloud Resources Placement based on Functional and Non-functional Requirements.
34. A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C.
35. Nested atomic sections with thread escape: compilation.
36. Development effort and performance trade-off in high-level parallel programming.
37. A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction.
38. Implementing Powerlists with Bulk Synchronous Parallel ML.
39. Handling Data-skew Effects in Join Operations Using MapReduce.
40. Formal derivation and extraction of a parallel program for the all nearest smaller values problem.
41. Nested atomic sections with thread escape: a formal definition.
42. Tutorial: Secure Your Things: Secure Development of IoT Software with Frama-C.
43. Strong Security Guarantees: From Alloy to Coq (Research Poster).
44. Towards the Generation of Correct Java Programs (Research Poster).
45. Programming with BSP Homomorphisms.
46. Managing arbitrary distributions of arrays in Orléans Skeleton Library.
47. Nested Atomic Sections with Thread Escape: An Operational Semantics.
48. Powerlists in Coq: Programming and Reasoning.
49. OSL: An Algorithmic Skeleton Library with Exceptions.
50. Towards verified cloud computing environments.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.