( en | de | ru )

 

Disambiguation of "Luckeneder, Christoph"

Author of the publication

copydeleteadd this publication to your clipboard
Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination.

, , and . APSEC, page 233-240. IEEE Computer Society, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christoph Müller

Der Einfluss von cis-Hydroxy-L-Prolin (CHP) auf die Pankreaskarzinom-Zelllinie DSL6A der Ratte. Uni Rostock, (2009)

Christoph Eggert

Synthese von Modellpolymeren für molekular verstärkte Ionomerblends und Werkstoffeigenschaften. Uni Stuttgart, (2009)

Christoph Thiermann

Grenzüberschreitende Verschmelzungen deutscher Gesellschaften: das Spannungsfeld zwischen Gesellschaftsrecht und Niederlassungsfreiheit des AEUV nach Cartesio. Uni Frankfurt Main, (2010)

Christoph Eibl

Bispidin-Derivate als neue nicotinische Acetylcholinrezeptor-Liganden: Synthese, In-vitro-Pharmakologie und Struktur-Wirkungsbeziehungen. Uni Bonn, (2009)

Christoph Lettowsky

Herstellung zweischichtiger Kunststoff-Hohlkörper durch Gas- und Wasserinjektionstechnik: = Production of two-layer hollow plastics articles by gas and water injection technique. TU Aachen, (2009)
 

Other publications of authors with the same name

A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification., and . SAC, page 1828-1836. ACM, (2019)Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination., , and . APSEC, page 233-240. IEEE Computer Society, (2016)Towards Using Structural Abstraction for Model Checking., , and . DSA, page 105-113. IEEE, (2023)Automated Unit Testing in Model-based Embedded Software Development., , and . ICSOFT, page 427-434. SciTePress, (2017)Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models., , , and . ENASE (Selected Papers), volume 1023 of Communications in Computer and Information Science, page 261-287. Springer, (2018)Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment., , , , , and . ICST Workshops, page 390-391. IEEE Computer Society, (2018)Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability., , , , , , and . RO-MAN, page 1283-1288. IEEE, (2021)Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems., , , and . HICSS, page 1-10. ScholarSpace / AIS Electronic Library (AISeL), (2018)Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation., , and . HICSS, page 1-10. ScholarSpace / AIS Electronic Library (AISeL), (2017)Systematic top-down design of cyber-physical models with integrated validation and formal verification., and . ICSE (Companion Volume), page 274-275. ACM, (2018)