We stand with Ukraine

We stand with Ukraine

Bin Fang

Affiliations:

Sorbonne Paris Cité, France (PhD 2018)
University Paris Diderot, CNRS, France
East China Normal University, Shanghai Key Laboratory of Trustworthy Computing, Shanghai, China

According to our database¹, Bin Fang authored at least 7 papers between 2014 and 2018.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2018

Techniques for formal modelling and verification on dynamic memory allocators. (Techniques de modélisation et de vérification formelles des allocateurs de mémoire dynamiques).

[BibT_eX]

[DOI]

PhD thesis, 2018

Formal modelling of list based dynamic memory allocators.

[BibT_eX]

[DOI]

,

Mihaela Sighireanu

,

,

,

Jean-Raymond Abrial

,

,

Sci. China Inf. Sci., 2018

2017

A refinement hierarchy for free list memory allocators.

[BibT_eX]

[DOI]

,

Mihaela Sighireanu

Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management, 2017

2016

Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators.

[BibT_eX]

[DOI]

,

Mihaela Sighireanu

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2015

Formal Development of a Real-Time Operating System Memory Manager.

[BibT_eX]

[DOI]

,

Jean-Raymond Abrial

,

,

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

2014

Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution.

[BibT_eX]

[DOI]

,

,

,

,

,

,

Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

Runtime Verification by Convergent Formula Progression.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

Loading...