Vahur Kotkas

12 papers C 2Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2023 J jnl
Threat Modeling of Cyber-Physical Systems - A Case Study of a Microgrid System.
Comput. Secur.
Shaymaa Mamdouh Khalil, Hayretdin Bahsi, Henry Ochieng' Dola, Tarmo Korõtko, Kieran McLaughlin, Vahur Kotkas
2016 — conf
Ontology-Based Customization of a Scheduling System for Discrete Manufacturing.
DB&IS (Selected Papers)
Jelena Sanko, Hele-Mai Haav, Vahur Kotkas
2015 — conf
Ontology-Based Integration of Software Artefacts for DSL Development.
OTM Workshops
Hele-Mai Haav, Andres Ojamaa, Pavel Grigorenko, Vahur Kotkas
2013 C conf
A Model-based Software Technology Proposal.
MODELSWARD
Vahur Kotkas, Jaan Penjam, Ahto Kalja, Enn Tyugu
2013 — conf
Developing a Lean Mass Customization Based Manufacturing.
CSE
Andres Ojamaa, Vahur Kotkas, Margarita Spichakova, Jaan Penjam
2011 — conf
CoCoViLa as a multifunctional simulation platform.
SimuTools
Vahur Kotkas, Andres Ojamaa, Pavel Grigorenko, Riina Maigre, Mait Harf, Enn Tyugu
2006 — conf
Preconditions for Structural Synthesis of Programs.
Ershov Memorial Conference
Vahur Kotkas
2003 — conf
Synthesis of Distributed Programs.
SPLST
Vahur Kotkas
2002 J jnl
A distributed program synthesizer.
Acta Cybern.
Vahur Kotkas
2001 — conf
Automated Program Synthesis for Java Programming Language.
Ershov Memorial Conference
Mait Harf, Kristiina Kindel, Vahur Kotkas, Peep Küngas, Enn Tyugu
2000 C conf
CAD Problem Solving and Technical Systems Modelling Using the AI Programming Environments.
EJC
Ahto Kalja, Vahur Kotkas, Tiit Tiidemann
2000 J jnl
The Cash-Point Service in NUT.
Formal Aspects Comput.
Vahur Kotkas, Peep Küngas, Mait Harf