We stand with Ukraine

We stand with Ukraine

Steffen Helke

Affiliations:

Brandenburg University of Technology, Cottbus, Germany
TU Berlin, Institute for Software Engineering and Theoretical Computer Science, Germany

According to our database¹, Steffen Helke authored at least 23 papers between 1997 and 2022.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

On csauthors.net:

Bibliography

2022

19th Workshop on Automotive Software Engineering (ASE'22).

[BibT_eX]

[DOI]

,

Proceedings of the Software Engineering 2022, 2022

2021

18th Workshop on Automotive Software Engineering (ASE'21).

[BibT_eX]

[DOI]

,

,

,

Andreas Vogelsang

Proceedings of the Software Engineering 2021, 2021

2020

ASE 2020 Preface.

[BibT_eX]

[DOI]

,

,

,

Andreas Vogelsang

Proceedings of the Combined Proceedings of the Workshops at Software Engineering 2020 Co-located with the German Software Engineering Conference 2020 (SE 2020), 2020

17. Workshop Automotive Software Engineering.

[BibT_eX]

[DOI]

,

,

,

Andreas Vogelsang

Proceedings of the Software Engineering 2020, 2020

2019

R2BC: Tool-Based Requirements Preparation for Delta Analyses by Conversion into Boilerplates.

[BibT_eX]

[DOI]

Konstantin Zichler

,

Proceedings of the Workshops of the Software Engineering Conference 2019, 2019

16. Workshop Automotive Software Engineering.

[BibT_eX]

[DOI]

,

,

Andreas Vogelsang

Proceedings of the Software Engineering and Software Management, 2019

Delta Analyzer: Tool-based Evaluation of Modified Requirements for an Efficient Development Effort Estimation in the RFQ Process.

[BibT_eX]

[DOI]

Konstantin Zichler

,

,

,

Proceedings of the Position Papers of the 2019 Federated Conference on Computer Science and Information Systems, 2019

2017

Ontologiebasierte Abhängigkeitsanalyse im Projektlastenheft.

[BibT_eX]

[DOI]

Konstantin Zichler

,

Proceedings of the Automotive - Safety & Security 2017, 2017

2015

Automatische Verlinkung von Anforderungen und Testfällen - Fallbasierte Filterung.

[BibT_eX]

[DOI]

,

Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015

13.Workshop Automotive Software Engineering.

[BibT_eX]

,

Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015

Secure Refactoring with Java Information Flow.

[BibT_eX]

[DOI]

,

Florian Kammüller

,

Christian W. Probst

Proceedings of the Data Privacy Management, and Security Assurance, 2015

2012

The Observer Pattern Applied to Actor Systems: A TLA/TLC-based Implementation Analysis.

[BibT_eX]

[DOI]

Rodger Burmeister

,

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Towards Static Modular Software Verification.

[BibT_eX]

[DOI]

,

Proceedings of the Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

2011

Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism.

[BibT_eX]

[DOI]

,

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

<i>LLVM2CSP</i>: Extracting CSP Models from Concurrent Programs.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the NASA Formal Methods, 2011

2010

Formalizing Statecharts using Hierarchical Automata.

[BibT_eX]

[DOI]

,

Florian Kammüller

Arch. Formal Proofs, 2010

2009

Low-Level Code Verification Based on CSP Models.

[BibT_eX]

[DOI]

,

Proceedings of the Formal Methods: Foundations and Applications, 2009

2007

Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion.

[BibT_eX]

[DOI]

PhD thesis, 2007

2005

Structure Preserving Data Abstractions for Statecharts.

[BibT_eX]

[DOI]

,

Florian Kammüller

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2003

Test Case Generation for UML Statecharts.

[BibT_eX]

[DOI]

,

,

Proceedings of the Perspectives of Systems Informatics, 2003

2001

Representing Hierarchical Automata in Interactive Theorem Provers.

[BibT_eX]

[DOI]

,

Florian Kammüller

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries.

[BibT_eX]

[DOI]

,

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

1997

Automating Test Case Generation from Z Specifications with Isabelle.

[BibT_eX]

[DOI]

,

Thomas Neustupny

,

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

Loading...