Vahur Kotkas

According to our database, Vahur Kotkas authored at least 12 papers between 2000 and 2023.

Collaborative distances:

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

2023

Threat Modeling of Cyber-Physical Systems - A Case Study of a Microgrid System.

Shaymaa Mamdouh Khalil, Hayretdin Bahsi, Henry Ochieng' Dola, Tarmo Korõtko, Kieran McLaughlin, Vahur Kotkas

Comput. Secur., 2023

2016

Ontology-Based Customization of a Scheduling System for Discrete Manufacturing.

Jelena Sanko, Hele-Mai Haav, Vahur Kotkas

Proceedings of the Databases and Information Systems IX, 2016

2015

Ontology-Based Integration of Software Artefacts for DSL Development.

Hele-Mai Haav, Andres Ojamaa, Pavel Grigorenko, Vahur Kotkas

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2015 Workshops, 2015

2013

A Model-based Software Technology Proposal.

Vahur Kotkas, Jaan Penjam, Ahto Kalja, Enn Tyugu

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Developing a Lean Mass Customization Based Manufacturing.

Andres Ojamaa, Vahur Kotkas, Margarita Spichakova, Jaan Penjam

Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013

2011

CoCoViLa as a multifunctional simulation platform.

Vahur Kotkas, Andres Ojamaa, Pavel Grigorenko, Riina Maigre, Mait Harf, Enn Tyugu

Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques, 2011

2006

Preconditions for Structural Synthesis of Programs.

Vahur Kotkas

Proceedings of the Perspectives of Systems Informatics, 2006

2003

Synthesis of Distributed Programs.

Vahur Kotkas

Proceedings of the Eighth Symposium on Programming Languages and Software Tools, 2003

2002

A distributed program synthesizer.

Vahur Kotkas

Acta Cybern., 2002

2001

Automated Program Synthesis for Java Programming Language.

Mait Harf, Kristiina Kindel, Vahur Kotkas, Peep Küngas, Enn Tyugu

Proceedings of the Perspectives of System Informatics, 2001

2000

The Cash-Point Service in NUT.

Vahur Kotkas, Peep Küngas, Mait Harf

Formal Aspects Comput., 2000

CAD Problem Solving and Technical Systems Modelling Using the AI Programming Environments.

Ahto Kalja, Vahur Kotkas, Tiit Tiidemann

Proceedings of the Information Modelling and Knowledge Bases XII: Tenth European-Japanese Conference on Information Modelling and Knowledge Bases, 2000