Ingrid Chieh Yu

According to our database1, Ingrid Chieh Yu authored at least 36 papers between 2004 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Context-aware reconfiguration in evolving software product lines.
Sci. Comput. Program., 2018

A modular reasoning system using uninterpreted predicates for code reuse.
J. Log. Algebr. Meth. Program., 2018

Anomaly analyses for feature-model evolution.
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

Using Coloured Petri Nets for Resource Analysis of Active Objects.
Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

Release the Beasts: When Formal Methods Meet Real World Data.
Proceedings of the It's All About Coordination, 2018

Dynamic Software Updates and Context Adaptation for Distributed Active Objects.
Proceedings of the Principled Software Development, 2018

Modeling and Simulation of Spark Streaming.
Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

2017
Anomaly Detection and Explanation in Context-Aware Software Product Lines.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

A Model-Based Scalability Optimization Methodology for Cloud Applications.
Proceedings of the 2017 IEEE 7th International Symposium on Cloud and Service Computing, 2017

Translating Active Objects into Colored Petri Nets for Communication Analysis.
Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

HyVar - Scalable Hybrid Variability for Distributed Evolving Software Systems.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2017

2016
Diagrammatic Development of Domain Specific Modelling Languages with WebDPF.
IJISMD, 2016

Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.
Trans. Found. Mastering Chang., 2016

Context Aware Reconfiguration in Software Product Lines.
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 2016

Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems.
Proceedings of the 29th Norsk Informatikkonferanse, 2016

WebDPF: A Web-based Metamodelling and Model Transformation Environment.
Proceedings of the MODELSWARD 2016, 2016

Towards a categorical approach for meta-modelling epistemic game theory.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

User Profiles for Context-Aware Reconfiguration in Software Product Lines.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Comparing AWS Deployments Using Model-Based Predictions.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Introduction to the Track on Variability Modeling for Scalable Software Evolution.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters.
Proceedings of the Fundamental Approaches to Software Engineering, 2016

Meeting Deadlines, Elastically.
Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015
A proof system for adaptable class hierarchies.
J. Log. Algebr. Meth. Program., 2015

Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications.
Proceedings of the 28th Norsk Informatikkonferanse, 2015

A Framework for Metamodel Composition and Adaptation with Conformance-Preserving Model Migration.
Proceedings of the Model-Driven Engineering and Software Development, 2015

A Formalisation of Analysis-based Model Migration.
Proceedings of the MODELSWARD 2015, 2015

A Diagrammatic Approach to Model Completion.
Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

2014
Deadlock detection of active objects with synchronous and asynchronous method calls.
Proceedings of the 27th Norsk Informatikkonferanse, 2014

2012
A transformational proof system for delta-oriented programming.
Proceedings of the 16th International Software Product Line Conference, 2012

Tracking Behavioral Constraints during Object-Oriented Software Evolution.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2009
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects.
Proceedings of the FM 2009: Formal Methods, 2009

2008
Backwards type analysis of asynchronous method calls.
J. Log. Algebr. Program., 2008

2007
Constructing and Refining Large-Scale Railway Models Represented by Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2007

2006
Creol: A type-safe object-oriented model for distributed concurrent systems.
Theor. Comput. Sci., 2006

Type-Safe Runtime Class Upgrades in Creol.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2004
Large scale construction of railroad models from specifications.
Proceedings of the IEEE International Conference on Systems, 2004


  Loading...