| 2008 |
|---|
| 13 | EE | Leonid Kof:
From Textual Scenarios to Message Sequence Charts: Inclusion of Condition Generation and Actor Extraction.
RE 2008: 331-332 |
| 12 | EE | Jewgenij Botaschanjan,
Manfred Broy,
Alexander Gruler,
Alexander Harhurin,
Steffen Knapp,
Leonid Kof,
Wolfgang J. Paul,
Maria Spichkova:
On the correctness of upper layers of automotive systems.
Formal Asp. Comput. 20(6): 637-662 (2008) |
| 2007 |
|---|
| 11 | EE | Leonid Kof:
On the Identification of Goals in Stakeholders' Dialogs.
Monterey Workshop 2007: 161-181 |
| 10 | EE | Leonid Kof:
Treatment of Passive Voice and Conjunctions in Use Case Documents.
NLDB 2007: 181-192 |
| 9 | EE | Leonid Kof:
Scenarios: Identifying Missing Objects and Actions by Means of Computational Linguistics.
RE 2007: 121-130 |
| 2006 |
|---|
| 8 | 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 |
|---|
| 7 | EE | Leonid Kof:
Natural Language Processing: Mature Enough for Requirements Documents Analysis?
NLDB 2005: 91-102 |
| 6 | | Leonid Kof,
Markus Pizka:
Validating Documentation with Domain Ontologies.
SoMeT 2005: 126-143 |
| 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 |
