| 2007 |
|---|
| 8 | EE | Leonid Kof:
Treatment of Passive Voice and Conjunctions in Use Case Documents.
NLDB 2007: 181-192 |
| 2006 |
|---|
| 7 | EE | Jewgenij Botaschanjan,
Alexander Gruler,
Alexander Harhurin,
Leonid Kof,
Maria Spichkova,
David Trachtenherz:
Towards Modularized Verification of Distributed Time-Triggered Systems.
FM 2006: 163-178 |
| 2005 |
|---|
| 6 | EE | Leonid Kof:
Natural Language Processing: Mature Enough for Requirements Documents Analysis?
NLDB 2005: 91-102 |
| 5 | EE | Jewgenij Botaschanjan,
Leonid Kof,
C. Kühnel,
Maria Spichkova:
Towards verified automotive software.
ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005) |
| 4 | | Leonid Kof:
An application of natural language processing to domain modelling: two case studies.
Comput. Syst. Sci. Eng. 20(1): (2005) |
| 2004 |
|---|
| 3 | | Leonid Kof:
Using application domain ontology to construct an initial system model.
IASTED Conf. on Software Engineering 2004: 18-23 |
| 2003 |
|---|
| 2 | EE | Michael Gnatz,
Leonid Kof,
Franz Prilmeier,
Tilman Seifert:
A Practical Approach of Teaching Software Engineering.
CSEE&T 2003: 120-128 |
| 1 | EE | Leonid Kof,
Bernhard Schätz:
Combining Aspects of Reactive Systems.
Ershov Memorial Conference 2003: 344-349 |
