Concepedia

Christian Motika

CM

6

Publications

176

Citations

6

H-Index

2013

Active since

Affiliations

Christian-Albrechts-Universität zu Kiel(Current)

University of Bamberg

National Instruments (United States)

Christian Motika is an author at Christian-Albrechts-Universität zu Kiel specializing in formal methods, parallel programming, and program analysis.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationParallel ProgrammingSystem SoftwareProcess Safety

Publications per year

2013–2015

6

Publications

6

Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of Computation

Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado et al. · ACM Transactions on Embedded Computing Systems · 2014 · 53 citations

Engineering, Synchronous Model, Concurrent System +21

SCCharts: sequentially constructive statecharts for safety-critical applications

Reinhard von Hanxleden, Björn Duderstadt, Christian Motika et al. · 2014 · 47 citations

Safety Case, Engineering, Safety Science +24

SCCharts: sequentially constructive statecharts for safety-critical applications

Reinhard von Hanxleden, Björn Duderstadt, Christian Motika et al. · ACM SIGPLAN Notices · 2014 · 41 citations

Safety Case, Engineering, Safety Science +24

Sequentially constructive concurrency: a conservative extension of the synchronous model of computation

Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado et al. · Design, Automation, and Test in Europe · 2013 · 12 citations

Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation

Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado et al. · Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 · 2013 · 12 citations

Engineering, Computational Complexity, Synchronous Model +19

Rows per page

1–5 of 6