Huy Tran

According to our database1, Huy Tran authored at least 64 papers between 2006 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Supporting automated containment checking of software behavioural models using model transformations and model checking.
Sci. Comput. Program., 2019

Improving Infrastructure-based Indoor Positioning Systems with Device Motion Detection.
Proceedings of the 2019 IEEE International Conference on Pervasive Computing and Communications, 2019

CommuterScanner: Towards Smart Indoor Positioning Systems in Urban Transportation.
Proceedings of the 11th International Conference on Communication Systems & Networks, 2019

2018
Managing Cloud Data Centers with Three-State Server Model Under Job Abandonment Phenomenon.
Proceedings of the Computational Science - ICCS 2018, 2018

Enabling Flexibility of Business Processes Using Compliance Rules: The Case of Mobiliar.
Proceedings of the Business Process Management Cases, 2018

2017
Systematic Review of Software Behavioral Model Consistency Checking.
ACM Comput. Surv., 2017

A tile based colour picture with hidden QR code for augmented reality and beyond.
Proceedings of the 23rd ACM Symposium on Virtual Reality Software and Technology, 2017

Reduction techniques for efficient behavioral model checking in adaptive case management.
Proceedings of the Symposium on Applied Computing, 2017

Lightweight approach for seamless modeling of process flows in case management models.
Proceedings of the Symposium on Applied Computing, 2017

Poster: Online Map Matching for Passive Indoor Positioning Systems.
Proceedings of the 15th Annual International Conference on Mobile Systems, 2017

Adaptive stereo vision system using portable low-cost 3D mini camera lens.
Proceedings of the 24th International Conference on Mechatronics and Machine Vision in Practice, 2017

A personalised stereoscopic 3D gallery with virtual reality technology on smartphone.
Proceedings of the 2017 International Conference on Image and Vision Computing New Zealand, 2017

Digital map using augmented reality on smart devices: Motivation, design, and implementation.
Proceedings of the 2017 International Conference on Image and Vision Computing New Zealand, 2017

On the Understandability of Semantic Constraints for Behavioral Software Architecture Compliance: A Controlled Experiment.
Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

Online Map Matching for Passive Indoor Positioning Systems.
Proceedings of the 8th ACM SIGSPATIAL Workshop on GeoStreaming, 2017

Towards Containment Checking of Behaviour in Architectural Patterns.
Proceedings of the 22nd European Conference on Pattern Languages of Programs, 2017

Towards a Framework for Detecting Containment Violations in Service Choreography.
Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2016
Temperature-Dependent Model of Multi-step Transcription Initiation in Escherichia coli Based on Live Single-Cell Measurements.
PLoS Computational Biology, 2016

Precision of Readout at the hunchback Gene: Analyzing Short Transcription Time Traces in Living Fly Embryos.
PLoS Computational Biology, 2016

Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract).
Proceedings of the 7th International Workshop on Enterprise Modeling and Information Systems Architectures, 2016

An Ontology-Based Approach for Defining Compliance Rules by Knowledge Workers in Adaptive Case Management - A Repair Service Management Case.
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Workshop, 2016

Towards a Compliance Support Framework for Adaptive Case Management.
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Workshop, 2016

Ontology-Based Behavioral Constraint Authoring.
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Workshop, 2016

Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic.
Proceedings of the CAiSE'16 Forum, 2016

A Model Checking Based Approach for Containment Checking of UML Sequence Diagrams.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015
Harmonizing architectural decisions with component view models using reusable architectural knowledge transformations and constraints.
Future Generation Comp. Syst., 2015

Supporting Structural Consistency Checking in Adaptive Case Management.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2015 Conferences, 2015

A Graph-Based Approach for Containment Checking of Behavior Models of Software Systems.
Proceedings of the 19th IEEE International Enterprise Distributed Object Computing Conference, 2015

Counterexample Analysis for Supporting Containment Checking of Business Process Models.
Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015

Embracing Process Compliance and Flexibility Through Behavioral Consistency Checking in ACM - A Repair Service Management Case.
Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015

Enabling flexibility of business processes by compliance rules - a case study from the insurance industry.
Proceedings of the Industry Track at the 13th International Conference on Business Process Management 2015 co-located with 13th International Conference on Business Process Management (BPM 2015), 2015

Towards Structural Consistency Checking in Adaptive Case Management.
Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015

2014
Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking.
Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2014

On the interdependence and integration of variability and architectural decisions.
Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

Impact analysis for event-based systems using change patterns.
Proceedings of the Symposium on Applied Computing, 2014

Clothing classification with smart phones.
Proceedings of the ISWC'14, 2014

2013
Sustainable Architectural Design Decisions.
IEEE Software, 2013

Effects of multimerization on the temporal variability of protein complex abundance.
BMC Systems Biology, 2013

Derivation of domain-specific architectural knowledge views from governance and security compliance metadata.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Change Patterns for Supporting the Evolution of Event-Based Systems.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Conferences, 2013

Low-overhead time synchronization for schedule-based multi-channel wireless sensor networks.
Proceedings of the 19th IEEE Workshop on Local & Metropolitan Area Networks, 2013

Event Actors Based Approach for Supporting Analysis and Verification of Event-Driven Architectures.
Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013

Decisions, Models, and Monitoring - A Lifecycle Model for the Evolution of Service-Based Systems.
Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013

Supporting Consistency between Architectural Design Decisions and Component Models through Reusable Architectural Knowledge Transformations.
Proceedings of the Software Architecture - 7th European Conference, 2013

Effects of inducer intake kinetics on the dynamics of gene expression.
Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life, 2013

Trustworthy distributed computing on social networks.
Proceedings of the 8th ACM Symposium on Information, Computer and Communications Security, 2013

2012
Compliance in service-oriented architectures: A model-driven and view-based approach.
Information & Software Technology, 2012

Event-Driven Actors for Supporting Flexibility and Scalability in Service-Based Integration Architecture.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

A pattern language for service-based platform integration and adaptation.
Proceedings of the 17th European Conference on Pattern Languages of Programs, 2012

Constraint-Based Consistency Checking between Design Decisions and Component Models for Supporting Software Architecture Evolution.
Proceedings of the 16th European Conference on Software Maintenance and Reengineering, 2012

On the mixing time of directed social graphs and security implications.
Proceedings of the 7th ACM Symposium on Information, Compuer and Communications Security, 2012

2011
VbTrace: using view-based and model-driven development to support traceability in process-driven SOAs.
Software and System Modeling, 2011

Zoom: a multi-resolution tasking framework for crowdsourced geo-spatial sensing.
Proceedings of the 9th International Conference on Embedded Networked Sensor Systems, 2011

Understanding Social Networks Properties for Trustworthy Computing.
Proceedings of the 31st IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2011 Workshops), 2011

Using Model-Driven Views and Trace Links to Relate Requirements and Architecture: A Case Study.
Proceedings of the Relating Software Requirements and Architectures., 2011

2010
An End-to-End Framework for Business Compliance in Process-Driven SOAs.
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

Model-driven and domain-specific architectural knowledge view for compliance meta-data in process-driven SOAs.
Proceedings of the 2010 ICSE Workshop on Sharing and Reusing Architectural Knowledge, 2010

Name-Based View Integration for Enhancing the Reusability in Process-Driven SOAs.
Proceedings of the Business Process Management Workshops, 2010

2009
Modeling Process-Driven SOAs.
Proceedings of the Handbook of Research on Business Process Modeling., 2009

2008
View-Based Integration of Process-Driven SOA Models at Various Abstraction Levels.
Proceedings of the Model-Based Software and Data Integration, 2008

View-Based Reverse Engineering Approach for Enhancing Model Interoperability and Reusability in Process-Driven SOAs.
Proceedings of the High Confidence Software Reuse in Large Systems, 2008

Modeling Human Aspects of Business Processes - A View-Based, Model-Driven Approach.
Proceedings of the Model Driven Architecture, 2008

2007
View-based and Model-driven Approach for Reducing the Development Complexity in Process-Driven SOA.
Proceedings of the Business Process and Services Computing: 1st International Working Conference on Business Process and Services Computing, 2007

2006
Web Service Indexing for Efficient Retrieval and Composition.
Proceedings of the Eighth IEEE International Conference on E-Commerce Technology (CEC 2006) / Third IEEE International Conference on Enterprise Computing, 2006


  Loading...