Marc Pantel
5 SlideShares 1 Seguidor
Personal Information
Organización/Lugar de trabajo
France France
Ocupación
Associate Professor in Computer Science at FéRIA-IRIT-INPT-ENSEEIHT, University of Toulouse
Sector
Education
Sitio web
http://www.enseeiht.fr/~pantel
Acerca de
Specialties: Formal methods for software engineering Static analysis Semantics Model Driven Engineering Domain Specific Language
Datos de contacto
Etiquetas
models2016 why3 formal method executable models modevva2016 model driven engineering verification feedback dsl formal verification exe2016 models of concurrency automated code generation framac simulink modeling languages ocl gemoc ccsl semantic variation points
Ver más
  • Documentos
  • Infografías
Más reciente Más populares

A DSL to feedback formal verification results

Hace 7 años • 366 Visualizaciones

Concurrency-aware eXecutable Domain-Specific Modeling Languages as Models of Concurrency

Hace 7 años • 862 Visualizaciones

Block Library Driven Translation Validation for DataFlow Models in Safety Critical Systems

Hace 7 años • 393 Visualizaciones

Coping with Semantic Variation Points in Domain-Specific Modeling Languages

Hace 8 años • 291 Visualizaciones

A Lightweight Formal Encoding for a Constraint Language DSML Component

Hace 8 años • 249 Visualizaciones