Christian Allmann

Publication Activity (10 Years)

Years Active: 2005-2016
Publications (10 Years): 1

Top Topics

Formal Verification

Electric Vehicles

Top Venues

Softwaretechnik-Trends

Automotive - Safety & Security

GI-Jahrestagung

Publications

Richard Mrasek, Jutta A. Mülle, Klemens Böhm, Michael Becker, Christian Allmann
Property specification, process verification, and reporting - A case study with vehicle-commissioning processes. Inf. Syst. 56 (2016)
Richard Mrasek, Jutta A. Mülle, Klemens Böhm, Michael Becker, Christian Allmann
User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes. BPM (2014)
Christoph Regler, Johannes Reim, Christian Allmann
Erfahrungsaufbau im Umgang mit neuen Diensten und Funktionen für Elektrofahrzeuge mittels einer neuen Architektur auf Basis von ADTF und UnIC. GI-Jahrestagung (2012)
Mathias Schraps, Christian Allmann
Ontologiebasierte Entwicklung von Anforderungsspezifikationen im Automotive-Umfeld. Softwaretechnik-Trends 32 (4) (2012)
Georg Gut, Christian Allmann, Markus Schurius, Karsten Schmidt
Reduction of Electronic Control Units in Electric Vehicles Using Multicore Technology. MSEPT (2012)
Rasmus Adler, Sören Kemmann, Markus Schurius, Christian Allmann
Modellbasierte Sicherheitsanalysen im BMBF-Förderprojekt e performance. Automotive - Safety & Security (2012)
Thomas Reiß, Christian Allmann
Requirements Engineering in der automotive Entwicklung - Von der Idee bis zum Produkt. Softwaretechnik-Trends 29 (1) (2009)
Christian Allmann, Ralf Kalmar
7. Workshop Automotive Software Engineering. GI Jahrestagung (2009)
Christian Allmann, Nils Oppermann
Leichtgewichtiges Anforderungsmanagement in der Automotive Vorentwicklung. Software Engineering (2008)
Kai Stapel, Eric Knauss, Christian Allmann
Lightweight Process Documentation: Just Enough Structure in Automotive Pre-development. EuroSPI (2008)
Christian Allmann
Situations- und szenariobasierte Entwicklung von Anforderungen in der technischen Entwicklung. Softwaretechnik-Trends 28 (1) (2008)
Christian Allmann
Automobile Vorentwicklung, Anforderungsmanagement auf der grünen Wiese? Softwaretechnik-Trends 27 (1) (2007)
Stefan Kubica, Wolfgang Friess, Christian Allmann, Thorsten Kölzow
Domain-Crossing Software Product Lines in Embedded, Automotive Systems. IESS (2005)