Marc Pantel, profile picture

Marc Pantel

5 Slideshow
Sort by
A DSL to feedback formal verification results
byMarc Pantel
 
Concurrency-aware eXecutable Domain-Specific Modeling Languages as Models of Concurrency
byMarc Pantel
 
Block Library Driven Translation Validation for DataFlow Models in Safety Critical Systems
byMarc Pantel
 
Coping with Semantic Variation Points in Domain-Specific Modeling Languages
byMarc Pantel
 
A Lightweight Formal Encoding for a Constraint Language DSML Component
byMarc Pantel