Leonid Kof

Publication Activity (10 Years)

Years Active: 2003-2011
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Leonid Kof, Birgit Penzenstadler
From Requirements to Models: Feedback Generation as a Result of Formalization. CAiSE (2011)
Leonid Kof, Ricardo Gacitúa, Mark Rouncefield, Pete Sawyer
Concept mapping as a means of requirements tracing. MARK@RE (2010)
Leonid Kof, Ricardo Gacitúa, Mark Rouncefield, Peter Sawyer
Ontology and Model Alignment as a Means for Requirements Validation. ICSC (2010)
Leonid Kof
From Requirements Documents to System Models: A Tool for Interactive Semi-Automatic Translation. RE (2010)
Benedikt Gleich, Oliver Creighton, Leonid Kof
Ambiguity Detection: Towards a Tool Explaining Ambiguity Sources. REFSQ (2010)
Leonid Kof
Translation of Textual Specifications to Automata by Means of Discourse Context Modeling. REFSQ (2009)
Leonid Kof
Requirements Analysis: Concept Extraction and Translation of Textual Specifications to Executable Models. NLDB (2009)
Leonid Kof
From Textual Scenarios to Message Sequence Charts: Inclusion of Condition Generation and Actor Extraction. RE (2008)
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 Aspects Comput. 20 (6) (2008)
Leonid Kof
Computerlinguistik in Requirements Engineering. Softwaretechnik-Trends 27 (1) (2007)
Leonid Kof
On the Identification of Goals in Stakeholders' Dialogs. Monterey Workshop (2007)
Leonid Kof
Scenarios: Identifying Missing Objects and Actions by Means of Computational Linguistics. RE (2007)
Leonid Kof
Treatment of Passive Voice and Conjunctions in Use Case Documents. NLDB (2007)
Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz
Towards Modularized Verification of Distributed Time-Triggered Systems. FM (2006)
Leonid Kof
Natural Language Processing: Mature Enough for Requirements Documents Analysis? NLDB (2005)
Leonid Kof, Markus Pizka
Validating Documentation with Domain Ontologies. SoMeT (2005)
Leonid Kof
An application of natural language processing to domain modelling: two case studies. Comput. Syst. Sci. Eng. 20 (1) (2005)
Jewgenij Botaschanjan, Leonid Kof, C. Kühnel, Maria Spichkova
Towards verified automotive software. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Leonid Kof
Using application domain ontology to construct an initial system model. IASTED Conf. on Software Engineering (2004)
Michael Gnatz, Leonid Kof, Franz Prilmeier, Tilman Seifert
A Practical Approach of Teaching Software Engineering. CSEE&T (2003)
Leonid Kof, Bernhard Schätz
Combining Aspects of Reactive Systems. Ershov Memorial Conference (2003)

Leonid Kof.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Leonid Kof