OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Tran, Hanh Nhi"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 15.

Article

Makhlouf, Amani and Percebois, Christian and Tran, Hanh Nhi. An Auto-active Approach to Develop Correct Logic-based Graph Transformations. (2018) International Journal on Advances in Software, 11 (1 & 2). 147-158. ISSN 1942-2628

Tran, Hanh Nhi and Hajmoosaei, Mojtaba and Percebois, Christian and Front, Agnes and Roncancio, Claudia. Integrating run-time changes into system and software process enactment. (2016) Journal of Software: Evolution and Process, 28 (9). 762-782. ISSN 2047-7481

Conference or Workshop Item

Makhlouf, Amani and Percebois, Christian and Tran, Hanh Nhi. Two-level reasoning about graph transformation programs. (2019) In: 12th International Conference on Graph Transformation (ICGT 2019), 15 July 2019 - 19 July 2019 (Eindhoven, Netherlands).

Cisse, Mamadou Lakhassane and Tran, Hanh Nhi and Diaw, Samba and Coulette, Bernard and Bah, Alassane. A Pattern-based Process Management System to flexibly execute Collaborative Tasks. (2019) In: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019), 4 May 2019 - 5 May 2019 (Heraklion, Crète, Greece).

Cisse, Mamadou Lakhassane and Tran, Hanh Nhi and Diaw, Samba and Coulette, Bernard and Bah, Alassane. Using Patterns to parameterize the execution of Collaborative Tasks. (2019) In: 28th IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2019), 12 June 2019 - 14 June 2019 (Capri, Italy).

Cisse, Mamadou Lakhassane and Tran, Hanh Nhi and Diaw, Samba and Coulette, Bernard and Bah, Alassane. Collaborative Processes Management: from Modeling to Enacting. (2018) In: 22nd International Conference on Computer Supported Cooperative Work in Design (CSCWD 2018), 9 May 2018 - 11 May 2018 (Nanjing, China).

Makhlouf, Amani and Percebois, Christian and Tran, Hanh Nhi. A Precondition Calculus for Correct-by-Construction Graph Transformations. (2017) In: Twelfth International Conference on Software Engineering Advances (ICSEA 2017), 8 October 2017 - 12 October 2017 (Athens, Greece).

Hajmoosaei, Mojtaba and Tran, Hanh Nhi and Percebois, Christian. A User-centric Process Management for System and Software Engineering Projects. (2017) In: 7th International Conference on Industrial Engineering and Systems Management (IESM 2017), 11 October 2017 - 13 October 2017 (Saarbrücken, Germany).

El Hamlaoui, Mahmoud and Coulette, Bernard and Ebersold, Sophie and Bennani, Saloua and Nassar, Mahmoud and Anwar, Adil and Beugnard, Antoine and Bach, Jean-Christophe and Jamoussi, Yassine and Tran, Hanh Nhi. Alignment of viewpoint heterogeneous design models: Emergency Department Case Study. (2016) In: 4th International Workshop On the Globalization of Modeling Languages (GEMOC 2016) co-located with ACM/IEEE MODELS 2016, 4 October 2016 - 4 October 2016 (Saint-Malo, France).

Baklanova, Nadezhda and Brenas, Jon Haël and Makhlouf, Amani and Percebois, Christian and Strecker, Martin and Tran, Hanh Nhi. Coding, Executing and Verifying Graph Transformations with small-tALCQe. (2016) In: International Workshop Graph Computation Models, Part of STAF 2016 (GCM 2016), 4 July 2016 (Vienna, Austria).

Makhlouf, Amani and Tran, Hanh Nhi and Percebois, Christian and Strecker, Martin. Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations. (2016) In: International Conference on Tests and Proofs (TAP 2016), 5 July 2016 - 7 July 2016 (Vienna, Austria).

Vo, Tan Thuan and Coulette, Bernard and Tran, Hanh Nhi and Lbath, Redouane. Defining and Using Collaboration Patterns for Software Process Development. (2015) In: International Workshop on Cooperative Model Driven Development (CMDD 2015) Co-located with MODELSWARD 2015, 9 February 2015 - 9 February 2015 (Angers, France).

Baklanova, Nadezhda and Brenas, Jon Haël and Echahed, Rachid and Percebois, Christian and Strecker, Martin and Tran, Hanh Nhi. Provably correct graph transformations with small-tALC. (2015) In: 11th International Conference on ICT in Education, Research, and Industrial Applications (ICTERI 2015), 14 May 2015 - 16 May 2015 (Lviv, Ukraine).

Hajmoosaei, Mojtaba and Tran, Hanh Nhi and Percebois, Christian and Front, Agnes and Roncancio, Claudia. Towards a change-aware process environment for system and software process. (2015) In: International Conference on Software and System Process (co-located with ICSE) (ICSSP 2015), 24 August 2015 - 26 August 2015 (Tallinn, Estonia).

Percebois, Christian and Strecker, Martin and Tran, Hanh Nhi. Rule-level verification of graph transformations for invariants based on edges' transitive closure. (2013) In: 11th International Conference Software Engineering and Formal Methods (SEFM 2013), 25 September 2013 - 27 September 2013 (Madrid, Spain).

This list was generated on Thu Jan 21 06:00:12 2021 CET.