Login / Signup
David Lindecker
Publication Activity (10 Years)
Years Active: 2013-2015
Publications (10 Years): 1
Top Topics
Cyber Physical Systems
Domain Specific Ontologies
Modelling Language
Formal Semantics
Top Venues
ECBS
MoDELS
J. Object Technol.
</>
Publications
</>
David Lindecker
,
Gabor Simko
,
Tihamer Levendovszky
,
István Madari
,
Janos Sztipanovits
Validating Transformations for Semantic Anchoring.
J. Object Technol.
14 (3) (2015)
Gabor Simko
,
David Lindecker
,
Tihamer Levendovszky
,
Sandeep Neema
,
Janos Sztipanovits
Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition.
MoDELS
(2013)
Gabor Simko
,
David Lindecker
,
Tihamer Levendovszky
,
Ethan K. Jackson
,
Sandeep Neema
,
Janos Sztipanovits
A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems.
ECBS
(2013)
David Lindecker
,
Gabor Simko
,
István Madari
,
Tihamer Levendovszky
,
Janos Sztipanovits
Multi-way Semantic Specification of Domain-Specific Modeling Languages.
ECBS
(2013)