Gefei Zhang

Proceedings of the Web Engineering - 21st International Conference, 2021

2020

Specifying and Model Checking Workflows of Single Page Applications with TLA+.

[BibT_eX]

[DOI]

CoRR, 2020

Specifying and Model Checking Workflows of Single Page Applications with TLA<sup>+</sup>.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

2019

Scenario Testing of AngularJS-Based Single Page Web Applications.

[BibT_eX]

[DOI]

Jianjun Zhao

Proceedings of the Current Trends in Web Engineering, 2019

2018

Visual Servoed Three-Dimensional Rotation Control in Zebrafish Larva Heart Microinjection System.

[BibT_eX]

[DOI]

IEEE Trans. Biomed. Eng., 2018

Visualizing Interactions in AngularJS-based Single Page Web Applications.

[BibT_eX]

[DOI]

Jianjun Zhao

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

2017

Dynamic thermal and IT resource management strategies for data center energy minimization.

[BibT_eX]

[DOI]

J. Cloud Comput., 2017

On using Colors in UML Models.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

An integrated microfluidic system for zebrafish larva organs injection.

[BibT_eX]

[DOI]

Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

An automated visual servo platform for carving 3D model of Zebrafish larva.

[BibT_eX]

[DOI]

Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

Micromanipulator control for grasping and orienting zebrafish larva.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Reducing the VM rental cost in the cloud spot market.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Utility and Cloud Computing, 2016

2015

A privacy preserving authentication scheme for roaming services in global mobility networks.

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2015

Improving the modularity of web-application models with aspects.

[BibT_eX]

[DOI]

Int. J. Web Eng. Technol., 2015

TSM: Efficient Thermal and Server Management for Greening Data Centers.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2015

2014

A Set of Metrics of Non-locality Complexity in UML State Machines.

[BibT_eX]

[DOI]

Proceedings of the Behavior Modeling, 2014

A Set of Metrics for States and Transitions in UML State Machines.

[BibT_eX]

[DOI]

Proceedings of the 2014 Workshop on Behaviour Modelling - Foundations and Applications, 2014

2012

Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

Weaving semantic aspects in HiLA.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011

Aspect-Oriented Modeling of Web Applications with HiLA.

[BibT_eX]

[DOI]

Proceedings of the Current Trends in Web Engineering, 2011

Aspect-Oriented Model Development at Different Levels of Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

2010

Aspect-oriented state machines.

[BibT_eX]

[DOI]

PhD thesis, 2010

Modeling the Car Crash Crisis Management System Using HiLA.

[BibT_eX]

[DOI]

LNCS Trans. Aspect Oriented Softw. Dev., 2010

2009

Aspect-oriented modeling of adaptive web applications with HiLA.

[BibT_eX]

[DOI]

Proceedings of the MoMM'2009, 2009

HiLA: High-Level Aspects for UML State Machines.

[BibT_eX]

[DOI]

Fernando Sánchez-Figueroa

Proceedings of the Models in Software Engineering, 2009

Patterns for the Model-Based Development of RIAs.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering, 9th International Conference, 2009

2008

Uml-Based Web Engineering - An Approach Based on Standards.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering: Modelling and Implementing Web Applications, 2008

A survey on web modeling approaches for ubiquitous web applications.

[BibT_eX]

[DOI]

Int. J. Web Inf. Syst., 2008

Designing Rich Internet Applications Combining UWE and RUX-Method.

[BibT_eX]

[DOI]

Juan Carlos Preciado

Marino Linaje Trigueros

Rober Morales-Chaparro

Christian Kroiss

Proceedings of the Eighth International Conference on Web Engineering, 2008

2007

UWE - Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE - An Approach for the Model-Driven Development of Web Applications).

[BibT_eX]

[DOI]

i-com, 2007

Enhancing UML State Machines with Aspects.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2007

MDWEnet: A Practical Approach to Achieving Interoperability of Model-Driven Web Engineering Methods.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Model-Driven Web Engineering MDWE 2007, 2007

2006

Model Transformations for Integrating and Validating Web Application Models.

[BibT_eX]

[DOI]

Proceedings of the Modellierung 2006, 2006

Model transformations from requirements to web system design.

[BibT_eX]

[DOI]

María José Escalona Cuaresma

Proceedings of the 6th International Conference on Web Engineering, 2006

2005

Modelling the Behaviour of Web Applications with ArgoUWE.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering, 5th International Conference, 2005

Modelling Adaptivity with Aspects.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering, 5th International Conference, 2005

Towards Aspect-Oriented Class Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004

Modeling Business Processes in Web Applications with ArgoUWE.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2004, 2004

Modeling the Structure of Web Applications with ArgoUWE.

[BibT_eX]

[DOI]