David Lindecker

According to our database, David Lindecker authored at least 4 papers between 2013 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Validating Transformations for Semantic Anchoring.

David Lindecker, Gabor Simko, Tihamer Levendovszky, István Madari, Janos Sztipanovits

J. Object Technol., 2015

2013

Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition.

Gabor Simko, David Lindecker, Tihamer Levendovszky, Sandeep Neema, Janos Sztipanovits

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems.

Gabor Simko, David Lindecker, Tihamer Levendovszky, Ethan K. Jackson, Sandeep Neema, Janos Sztipanovits

Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013

Multi-way Semantic Specification of Domain-Specific Modeling Languages.

David Lindecker, Gabor Simko, István Madari, Tihamer Levendovszky, Janos Sztipanovits

Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013