Wen Su

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Jean-Raymond Abrial

> Home > Persons > Wen Su

Publications

2018
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/chinaf/FangSPSAYQ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/chinaf/FangSPSAYQ18
Bin Fang, Mihaela Sighireanu, Geguang Pu, Wen Su, Jean-Raymond Abrial, Mengfei Yang, Lei Qiao:
Formal modelling of list based dynamic memory allocators. Sci. China Inf. Sci. 61(12): 122103:1-122103:16 (2018)
2017
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/SuA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/SuA17
Wen Su, Jean-Raymond Abrial:
Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system. Int. J. Softw. Tools Technol. Transf. 19(2): 141-166 (2017)
2015
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/SuAPF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/SuAPF15
Wen Su, Jean-Raymond Abrial, Geguang Pu, Bin Fang:
Formal Development of a Real-Time Operating System Memory Manager. ICECCS 2015: 130-139
2014
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/SuAZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SuAZ14
Wen Su, Jean-Raymond Abrial, Huibiao Zhu:
Formalizing hybrid systems with Event-B and the Rodin Platform. Sci. Comput. Program. 94: 164-202 (2014)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/SuA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/SuA14
Wen Su, Jean-Raymond Abrial:
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System. ABZ (Case Study) 2014: 19-35
2012
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/AbrialSZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/AbrialSZ12
Jean-Raymond Abrial, Wen Su, Huibiao Zhu:
Formalizing Hybrid Systems with Event-B. ABZ 2012: 178-193
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/SuAZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/SuAZ12
Wen Su, Jean-Raymond Abrial, Huibiao Zhu:
Complementary Methodologies for Developing Hybrid Systems with Event-B. ICFEM 2012: 230-248
2011
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/SuAHZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/SuAHZ11
Wen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu:
From Requirements to Development: Methodology and Example. ICFEM 2011: 437-455

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.