Nikolay Diakov

According to our database, Nikolay Diakov authored at least 5 papers between 2006 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.

Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong

Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study.

Peter Y. H. Wong, Nikolay Diakov, Ina Schaefer

Proceedings of the Formal Verification of Object-Oriented Software, 2011

2010

HATS - A Formal Software Product Line Engineering Methodology.

Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong

Proceedings of the Software Product Lines - 14th International Conference, 2010

2006

Preface.

Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli

Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, 2006

Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation.

Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli

Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006